F# 线程中的取消标记

Question

我正在努力解决以下问题：

我有一个系统，它有主流程和两个可以启动和停止的后台线程，但它们通常很长运行，因为它们仅在配置更改期间停止。

我发现 F# 中的取消标记在代码的异步点得到检查。工作线程不执行任何异步操作；他们正在做后台工作，但没有什么是异步的。

简化版如下所示：

let workerThread (someParameters) =
    async {
        while true do
            setup some event driven system that has a callback when work is finished
            on callback, signal
            waitHandle.WaitOne()                
}

它是这样开始的：

Async.StartAsTask(workerThread parameter, cancellationToken = cancellationSource.Token)

由于系统中绝对没有异步，因此永远不会检查取消令牌，此外，我需要能够在两个工作线程不断设置的事件驱动系统中手动检查它.

如何做到这一点？在 C# 中，令牌是直接传递的，我可以随时检查它。

Answer 1

F# 将取消令牌传播到创建的任务，但如果辅助函数在等待句柄时被阻塞，则它无法检查取消令牌。要解决此问题，您还应该等待取消令牌等待句柄：

let workerThread () =
  async {
      let! token = Async.CancellationToken // this way you can get cancellation token
      while true do
          // whatever
          WaitHandle.WaitAny([| waitHandle; token.WaitHandle |]) |> ignore
  }

F# 线程中的取消标记

cancellation token in F# threads

f#

multithreading

cancellationtokensource

cancellation-token