C#中SynchronizationContext的选择逻辑、Current属性变更机制及IAsyncStateMachine.MoveNext跨上下文执行原理问询

1. C#如何确定要检查哪个SynchronizationContext来判断awaiter是否已完成？ #

其实这里的逻辑是反过来的：await机制并不是“检查某个SynchronizationContext来判断awaiter是否完成”，而是当await的操作完成时，会根据当前捕获的SynchronizationContext来决定后续代码在哪里执行。

具体来说：

• 当你执行await someTask时，编译器会生成代码捕获当前线程的SynchronizationContext.Current（如果存在的话；如果没有，就捕获当前的TaskScheduler）。
• 当someTask完成后，awaiter会尝试把后续的异步状态机（也就是IAsyncStateMachine.MoveNext的剩余逻辑）调度到之前捕获的那个SynchronizationContext上执行。
• 所以根本不存在“检查哪个SynchronizationContext来判断awaiter是否完成”——awaiter的完成状态是由异步操作本身（比如Task的状态）决定的，SynchronizationContext只负责后续代码的调度。

你提到的SynchronizationContextAwaiter，它的核心作用是确保后续代码回到预期的上下文，而不是判断awaiter是否完成。它的逻辑是：捕获当前上下文，在await完成后，对比当前上下文是否和捕获的一致，如果不一致就调度过去。

2. SynchronizationContext.Current是如何变化的？它是循环轮换的，还是随机选取的？以及IAsyncStateMachine.MoveNext如何在不同上下文执行？ #

SynchronizationContext.Current的变化完全是显式设置或由执行环境自动切换的，既不是循环轮换也不是随机选取，规则非常明确：

• 每个线程的SynchronizationContext存储在线程的本地存储（TLS）中，各自独立。
• 进入特定执行环境时，环境会自动设置这个值：
  • 比如WPF、WinForms的UI线程，启动时会设置对应的DispatcherSynchronizationContext/WindowsFormsSynchronizationContext；
  • 传统ASP.NET的请求线程会设置AspNetSynchronizationContext；
  • 普通控制台线程默认是null。
• 你也可以通过代码手动修改：调用SynchronizationContext.SetSynchronizationContext(new MyCustomContext())，就能替换当前线程的上下文。

至于IAsyncStateMachine.MoveNext的执行上下文，完全由await的调度逻辑决定：

1. 第一次执行MoveNext：在调用异步方法的线程上执行，此时SynchronizationContext.Current就是该线程的上下文。
2. 当await的操作完成后：
   • 如果之前捕获到了有效的SynchronizationContext，awaiter会调用该上下文的Post方法，把MoveNext的剩余逻辑调度到该上下文对应的线程（比如UI线程）执行；
   • 如果没有捕获到上下文（比如控制台程序），就会使用默认的TaskScheduler（通常是线程池调度器），把MoveNext放到线程池线程上执行；
   • 如果你用了ConfigureAwait(false)，哪怕捕获到了上下文，也会跳过上下文调度，直接在线程池线程上执行剩余的MoveNext逻辑。

举个直观的例子：

async void Button_Click(object sender, EventArgs e)
{
    // 这里在UI线程，SynchronizationContext.Current是DispatcherSynchronizationContext
    await Task.Run(() => {
        // 这里在线程池线程，SynchronizationContext.Current是null
        Thread.Sleep(1000);
    });
    // 这里回到UI线程，因为await捕获了UI上下文，MoveNext被调度到UI线程执行
    label.Text = "Done";
}

如果加上ConfigureAwait(false)：

await Task.Run(...).ConfigureAwait(false);
// 这里大概率在线程池线程执行，SynchronizationContext.Current是null

总结一下：SynchronizationContext.Current的变化由执行环境或显式代码控制，MoveNext的执行上下文则由await时捕获的上下文决定，完全是可控的逻辑，不存在随机或轮换的情况。

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