F#：异步返回之前 SwitchToThreadPool 的用途

Question

在 Async.SwitchToNewThread 的 MS 文档中，给出的示例之一是：

let asyncMethod f = 
    async {  
        do! Async.SwitchToNewThread() 
        let result = f() 
        do! Async.SwitchToThreadPool() 
        return result
    } 

在 return 语句之前切换到线程池的目的是什么？我理解为什么当异步块有更多工作要做时您可能希望从专用线程切换到线程池，但这里的情况并非如此。

这不是主要问题的一部分，但我也很好奇为什么 SwitchToNewThread 和 SwitchToThreadPool 返回 Async。是否存在您不想立即“执行！”的用例？这些任务？谢谢

Answer 1

这个例子可能更清楚，因为它没有演示任何真实场景。

然而，在返回之前切换到另一个线程是有充分理由的。原因是调用您的函数（例如asyncMethod）的工作流程将继续在您返回之前切换到的上下文/线程中运行。例如，如果您编写：

Async.Start (async {
  // Starts running on some thread (depends on how it is started - 'Async.Start' uses
  // thread pool and 'Async.StartImmediate' uses the current thread
  do! asyncMethod (fun () -> 
      Thread.Sleep(1000) ) // Blocks a newly created thread for 1 sec
  // Continues running on the thread pool thread 
  Thread.Sleep(1000) }) // Blocks thread pool thread

我认为示例中使用的模式不太正确 - 异步工作流应始终返回到启动它们的 SynchronizationContext （例如，如果工作流启动于GUI 线程，它可以切换到新线程，但随后应返回到 GUI 线程）。如果我正在编写 asyncMethod 函数，我会使用：

let asyncMethod f = async {  
    let original = System.Threading.SynchronizationContext.Current
    do! Async.SwitchToNewThread() 
    let result = f() 
    do! Async.SwitchToContext(original)
    return result } 

回答你的第二个问题 - SwitchTo 操作返回 Async 的原因和需要使用do!调用的一个问题是没有办法直接切换到不同的线程。只有当您使用 do! 或 let! 时，您才能将工作流程的其余部分作为函数（可以在新线程上执行）获得。 >Async类型本质上只是一些获取函数（工作流程的其余部分）并可以在任何想要的地方执行它的对象，但没有其他方法可以“破坏”工作流程。