WPF中Parallel.ForEach内Dispatcher与循环后UI更新的执行顺序问题

核心认知澄清 #

• Parallel.ForEach 确实是阻塞调用，会等到所有循环分支的委托执行完成后才返回，这一点和你的预期一致。但需要明确：分支的执行完成仅指分支内的同步代码走完，不包含分支中通过Dispatcher.BeginInvoke提交的排队任务。
• Dispatcher.BeginInvoke 的本质是入队操作：调用后会把指定的UI更新动作塞进UI线程的Dispatcher任务队列，立刻返回，完全不会等待这个动作真正在UI线程上执行完成。

实际执行流顺序（和直觉的偏差来源） #

整个代码的实际执行先后顺序和你直观预期的差异，完全来自Dispatcher的消息调度规则：

1. 按钮点击事件本身运行在UI线程上，执行入口先清空TextBlock内容
2. 启动Parallel.ForEach，将计算任务分派到多个线程池工作线程并行执行
3. 每个工作线程跑完SomeComputation计算逻辑后，调用Dispatcher.BeginInvoke把追加partial_result的更新动作塞进UI线程的Dispatcher队列，随即从循环分支返回
4. 等所有工作线程的分支代码全部走完，Parallel.ForEach在UI线程上解除阻塞，继续向下执行
5. 这一步是顺序异常的核心：Parallel.ForEach后面紧跟着的txbResultsInfo.Text += "-- COMPUTATION DONE --" 是直接运行在当前UI线程执行栈上的同步代码，完全不经过Dispatcher队列。只要当前UI线程的同步代码块没有执行完毕回到消息循环，Dispatcher队列里之前排队的所有BeginInvoke任务都不会被触发执行——哪怕队列里的任务已经排了几秒钟。
6. 只有当整个按钮点击事件处理程序的所有同步代码全部执行完，UI线程回到Dispatcher的消息泵循环状态，才会依次执行队列里之前提交的所有partial_result更新动作。

两个常见疑问的解答 #

• 为什么加了Task.Delay(5000).Wait() 没有改变顺序？
  因为这行代码本质还是在UI线程上做同步阻塞，阻塞的5秒里Dispatcher队列里的任务依旧不会被调度。等5秒阻塞结束，依然是先执行同步的“-- COMPUTATION DONE --”赋值，再处理队列任务，顺序不会有任何变化。
• 为什么把最终更新也用Dispatcher.BeginInvoke包裹就符合预期了？
  因为此时这个“-- COMPUTATION DONE --”的更新动作会被放到所有循环内提交的更新任务的队列尾部，等队列里所有之前提交的partial_result更新执行完成后，才会执行这个最终更新，自然就会出现在文本的最末尾。

关键误区提醒：Dispatcher只有在UI线程处于空闲、回到消息循环状态时，才会处理队列中排队的BeginInvoke任务。只要UI线程上还有同步代码在执行（哪怕是处于阻塞等待的状态），队列中的所有待执行任务都会处于挂起状态，不会被调度。

内容的提问来源于stack exchange，提问作者urza.cc