Julia Distributed.rmprocs用法及代码示例

rmprocs(pids...; waitfor=typemax(Int))

删除指定的工人。请注意，只有进程 1 可以添加或删除工作人员。

参数 waitfor 指定等待工作人员关闭的时间：

• 如果未指定，rmprocs 将等到所有请求的 pids 被删除。
• 如果在请求的 waitfor 秒之前无法终止所有工作人员，则会引发 ErrorException 。
• waitfor 值为 0 时，调用会立即返回，同时安排在不同任务中移除的工作人员。返回计划的 Task 对象。在调用任何其他并行调用之前，用户应在任务上调用 wait 。

例子

$ julia -p 5

julia> t = rmprocs(2, 3, waitfor=0)
Task (runnable) @0x0000000107c718d0

julia> wait(t)

julia> workers()
3-element Array{Int64,1}:
 4
 5
 6