.NET Async/Await：状态机如何知晓何时继续执行？

核心结论 #

Windows Forms的UI线程并没有专门的“Task队列”，但它依赖**Windows消息循环+APC（异步过程调用）**的组合来触发状态机的MoveNext()方法，完全契合UI线程的单线程模型。

详细流程拆解 #

1. 内核层异步完成通知
   你已经理清了网卡响应后的内核流程：中断→DPC处理→内核发起APC。在.NET异步操作中，如果发起线程是UI线程，这个APC会被注册到UI线程的APC队列中，同时内核会向UI线程的Windows消息队列发送一个唤醒信号，让原本处于等待状态的消息循环苏醒。

2. UI线程的消息循环处理APC
   Windows Forms的UI线程自Application.Run()启动后，就一直在循环执行以下逻辑：

• 从线程的Windows消息队列中获取消息
• 处理消息（比如绘制窗口、响应按钮点击）
• 若队列无消息则进入等待状态

当收到内核的唤醒信号后，消息循环会先执行APC队列中所有待处理的回调。.NET在这里注册的APC回调会完成两件关键事：

• 标记对应的Task为已完成状态
• 获取当前的WindowsFormsSynchronizationContext，并将状态机的MoveNext()方法作为委托，通过Post()方法投放到UI线程的Windows消息队列中。

3. 消息队列触发MoveNext()
   当UI线程的消息循环处理到这个被Post进来的消息时，就会调用状态机的MoveNext()方法，继续执行异步方法中await之后的代码逻辑。

关键澄清 #

• 不存在“操作系统注入代码到任意线程”的情况：所有后续执行逻辑都严格遵循UI线程的单线程模型，由UI线程自身的消息循环主动处理，保证了线程安全。
• 所谓的“Task队列”其实是依托Windows消息队列实现的：SynchronizationContext.Post()本质就是把异步后续操作包装成普通的Windows消息，和用户输入、窗口绘制消息一样排队等待执行。

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