假设asyncSendMsg
没有返回任何内容并且我想在另一个异步块内启动它,但不等待它完成,这是否有任何区别:
async {
//(...async stuff...)
for msg in msgs do
asyncSendMsg msg |> Async.Start
//(...more async stuff...)
}
和
async {
//(...async stuff...)
for msg in msgs do
let! child = asyncSendMsg msg |> Async.StartChild
()
//(...more async stuff...)
}
答案 0 :(得分:21)
关键区别在于,当您使用Async.StartChild
启动工作流程时,它将与父级共享取消令牌。如果您取消父母,所有孩子也将被取消。如果您使用Async.Start
启动孩子,那么这是一个完全独立的工作流程。
这是一个展示差异的最小例子:
// Wait 2 seconds and then print 'finished'
let work i = async {
do! Async.Sleep(2000)
printfn "work finished %d" i }
let main = async {
for i in 0 .. 5 do
// (1) Start an independent async workflow:
work i |> Async.Start
// (2) Start the workflow as a child computation:
do! work i |> Async.StartChild |> Async.Ignore
}
// Start the computation, wait 1 second and than cancel it
let cts = new System.Threading.CancellationTokenSource()
Async.Start(main, cts.Token)
System.Threading.Thread.Sleep(1000)
cts.Cancel()
在此示例中,如果使用(1)
开始计算,则所有工作项将在2秒后完成并打印。如果您使用(2)
,则在取消主工作流程时将全部取消。