kill 方法

void kill({
  1. int priority = beforeNextEvent,
})

请求隔离进程关闭。

请求隔离进程自行终止。参数 priority 指定何时必须发生。

当提供 priority 时,它必须是 immediatebeforeNextEvent(默认值)之一。关闭的时间取决于优先级

  • immediate: 隔离进程尽可能快地关闭。控制消息按顺序处理,因此来自此隔离进程的所有先前发送的控制事件都将被处理。关闭应不晚于使用 beforeNextEvent 发送的情况。如果系统有在更早时间干净关闭的方法,即使在执行另一个事件期间,也可能更早发生。
  • beforeNextEvent: 关闭被安排在控制消息返回接收隔离进程的事件循环的下一个时间点,在当前事件以及任何已安排的控制事件完成后。

如果 terminateCapabilitynull,或者它不是由 controlPort 确定的隔离进程的终止能力,则接收隔离进程会忽略终止请求。

实现

external void kill({int priority = beforeNextEvent});