運行異步計算超時

Question

我不明白Async.RunSynchronously的語義，當給出超時參數。爲什麼下面的例子沒有終止？

let runInMaxTime (time: int) (work: Async<'T>) = 
    try 
     Async.RunSynchronously(work,time) 
     |> Some 
    with 
    | _  -> 
     None 

let rec forever() : unit = 
    printfn "Forever looping" 
    forever() 

// Never terminates 
let x = runInMaxTime 10 <| async {return forever()} 

runInMaxTime的正確實施是什麼樣的？我唯一想出來的作品是基於Task s和取消標記。

Answer 1

超時和取消標記不能任意停止異步計算，它們只能在計算得出時通過使用let!,do!等等來執行。您的示例計算不會這樣做。

這將按照您的預期工作。

let rec forever() : Async<unit> = 
    async { 
     printfn "Forever looping" 
     return! forever() 
    } 

let x = runInMaxTime 1000 <| forever()