如何在async上下文为后台线程任务添加超时机制？

我希望在后台线程中运行一个函数，然后在async上下文中带超时获取结果。原本期望代码在1秒后抛出异常，但它却永久挂起，请问该如何修复？

原代码：

open System.Threading.Tasks

let forever () =
  while true do
    ()
  123

async {
  printfn "Computing..."

  let! ct = Async.CancellationToken

  let! c =
    Task.Run(forever, ct)
    |> Async.AwaitTask
    |> fun t -> Async.StartChild(t, millisecondsTimeout = 1_000)

  let! x = c

  printfn $"%i{x}"
}
|> Async.RunSynchronously

问题原因 #

• 核心问题是forever函数是死循环，完全不响应取消令牌。虽然Task.Run传入了取消令牌，但该令牌仅在任务启动前生效；任务启动后，函数内部不检查取消状态，Task会一直运行下去。
• Async.StartChild的超时仅会尝试取消子异步的等待操作，但后台Task本身未终止，导致异步等待永久挂起。

修复方案 #

方案1：让后台函数响应取消令牌+使用Async.WithTimeout #

修改后台函数，使其检查取消令牌状态，同时用Async.WithTimeout简化超时逻辑：

open System.Threading.Tasks
open System

let forever (ct: CancellationToken) =
  while not ct.IsCancellationRequested do
    ()
  ct.ThrowIfCancellationRequested()
  123

async {
  printfn "Computing..."

  let! ct = Async.CancellationToken

  let taskAsync = 
    Task.Run(fun () -> forever ct, ct)
    |> Async.AwaitTask

  // 超时后自动触发取消令牌
  let! x = Async.WithTimeout(taskAsync, 1000)

  printfn $"%i{x}"
}
|> Async.RunSynchronously

方案2：纯F# Async实现（更贴合异步模型） #

直接用F# Async编写后台逻辑，无需依赖Task.Run：

open System

let forever (ct: CancellationToken) = async {
  while not ct.IsCancellationRequested do
    ()
  ct.ThrowIfCancellationRequested()
  return 123
}

async {
  printfn "Computing..."

  let! x = Async.WithTimeout(forever, 1000)

  printfn $"%i{x}"
}
|> Async.RunSynchronously

说明 #

• 修改后的forever函数会在循环中持续检查取消状态，一旦收到取消请求就抛出异常终止执行。
• Async.WithTimeout会在超时后触发取消令牌，后台逻辑检测到取消后停止，异步操作会抛出TimeoutException，符合预期的超时行为。

内容的提问来源于stack exchange，提问作者sdgfsdh