CancellationTokenSource.Cancel() 挂起

Question

当其中一个异步处于活动循环中时，我观察到 CancellationTokenSource.Cancel 挂起。

完整代码：

static async Task doStuff(CancellationToken token)
{
    try
    {
        // await Task.Yield();
        await Task.Delay(-1, token);
    }
    catch (TaskCanceledException)
    {
    }

    while (true) ;
}

static void Main(string[] args)
{
    var main = Task.Run(() =>
    {
        using (var csource = new CancellationTokenSource())
        {
            var task = doStuff(csource.Token);
            Console.WriteLine("Spawned");
            csource.Cancel();
            Console.WriteLine("Cancelled");
        }
    });
    main.GetAwaiter().GetResult();
}

打印Spawned 并挂起。调用堆栈看起来像：

ConsoleApp9.exe!ConsoleApp9.Program.doStuff(System.Threading.CancellationToken token) Line 23   C#
[Resuming Async Method] 
[External Code] 
ConsoleApp9.exe!ConsoleApp9.Program.Main.AnonymousMethod__1_0() Line 34 C#
[External Code] 

取消await Task.Yield 将导致Spawned\nCancelled 输出。

任何想法为什么？ C# 是否保证一次生成的异步永远不会阻塞其他异步？

Answer 1

CancellationTokenSource 没有任何任务调度程序的概念。如果回调未注册到自定义同步上下文，CancellationTokenSource 将在与.Cancel() 相同的调用堆栈中执行它。在您的情况下，取消回调完成Task.Delay 返回的任务，然后内联延续，导致CancellationTokenSource.Cancel 内部出现无限循环。

您的 Task.Yield 示例仅适用于竞争条件。当令牌被取消时，线程还没有开始执行Task.Delay，因此没有继续内联。如果您更改 Main 以添加暂停，您会发现即使使用 Task.Yield，它仍会冻结：

static void Main(string[] args)
{
    var main = Task.Run(() =>
    {
        using (var csource = new CancellationTokenSource())
        {
            var task = doStuff(csource.Token);
            Console.WriteLine("Spawned");

            Thread.Sleep(1000); // Give enough time to reach Task.Delay

            csource.Cancel();
            Console.WriteLine("Cancelled");
        }
    });
    main.GetAwaiter().GetResult();
}

目前，保护对CancellationTokenSource.Cancel 的调用的唯一可靠方法是将其包装在Task.Run 中。