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