【异步编程】Part2:掌控SynchronizationContext避免deadlock

引言:

  多线程编程/异步编程非常复杂,有很多概念和工具需要去学习,贴心的.NET提供Task线程包装类await/async异步编程语法糖简化了异步编程方式。

相信很多开发者都看到如下异步编程实践原则:

  实践原则  说明  例外情况
 ①  避免 Async Void  最好使用 async Task 方法而不是 async void 方法  事件处理程序
 ②  始终使用 await  不要混合阻塞式代码和异步代码  控制台 main 方法
 ③  配置上下文  尽可能使用ConfigureAwait(false)  需要上下文的方法
  
  遵守以上冷冰冰的②③条的原则,可保证异步程序按照预期状态正常运作;我们在各大编程论坛常看到违背这2条原则引发的莫民奇妙的死锁问题。

  UI 例子:点击按钮触发了一个远程HTTP请求,用请求的返回值修改UI控件, 以下代码会引发deadlock (类似状态出现在Windows Form、WPF)

public static async Task GetJsonAsync(Uri uri)
{
  using (var client = new HttpClient())
  {
    var jsonString = await client.GetStringAsync(uri);
    return JObject.Parse(jsonString);
  }
}

// 顶层调用方法
public void Button1_Click(...)
{
  var jsonTask = GetJsonAsync(...);
  textBox1.Text = jsonTask.Result;
}
  ASP.NET例子: API Action发起远程HTTP请求,等待请求的json结果,并解析json字符串,以下代码也会引发deadlock
public static async Task GetJsonAsync(Uri uri)
{
  using (var client = new HttpClient())
  {
    var jsonString = await client.GetStringAsync(uri);
    return JObject.Parse(jsonString);
  }
}
// My "top-level" method.
public class MyController : ApiController
{
  public string Get()
  {
    var jsonTask = GetJsonAsync(...);
    return jsonTask.Result.ToString();
  }
}
 
    解决以上deadlock需利用以上第②③条编程原则:
  • 不要混合使用异步、同步代码,始终使用async/await语法糖编写异步代码

  • 在等待的异步任务内应用ConfigureAwait(false)方法 (:不再尝试从捕获的同步上下文执行异步编程的后续代码)

   第②③条原则与我们今天的主角SynchronizationContext 密切相关,大多数时候SynchronizationContext 是在异步编程后面默默工作的, 但是了解这个对象对于理解Task、await/sync 工作原理大有裨益。本文会解释
  • 为什么要有SynchronizationContext 对象

  • 阐述await关键字与SynchronizationContext对象交互原理

  • 以上代码为什么会有deadlock, 另外ASP.NET Core为什么不会发生以上死锁

 

1. The Need for SynchronizationContext

  先看下MSDN中关于SynchronizationContext的定义:
提供在各种同步模型中传播同步上下文的基本功能。此类实现的同步模型的目的是允许公共语言运行库的内部异步/同步操作使用不同的同步模型正常运行。

  上面的定义给我的印象是:在线程切换过程中保存前置线程执行的上下文环境。

  我们大家都知道:Windows Form和WPF都基于类似的原则: 不允许在非UI线程上操作 UI元素

   【异步编程】Part2:掌控SynchronizationContext避免deadlock_第1张图片 

  这个时候我们可以捕获当前执行环境SynchronizationContext,利用这个对象切换回原UI线程。

public static void DoWork()
{
    //On UI thread
    var sc = SynchronizationContext.Current;

    ThreadPool.QueueUserWorkItem(delegate
    {
       // do work on ThreadPool
        sc.Post(delegate
        {
             // do work on the original context (UI)
        }, null);
    });
}

      SynchronizationContext表示代码正在运行的当前环境,每个线程都有自己的SynchronizationContext,通过SynchronizationContext.Current可获取当前线程的同步上下文。在异步线程切换场景中,我们并不需要代码在哪个线程上启动,只需要使用SynchronizationContext ,就可以返回到启动线程。

  不同的.NET框架因各自独特的需求有不同SynchronizationContext子类(通常是重写Post虚方法):

  - 默认SynchronizationContext封装的是线程池内线程,将执行委托发送到线程池中任意线程。

  - asp.Net有AspNetSynchronizationContext,在一个异步page处理过程中,context始终使用的是线程池中某个特定线程

  - Windows Form有WindowsFormSynchronizationContext,封装单个UI线程,Post方法将委托传递给 Control.BeginInvoke

  - WPF 有DispatcherSynchronizationContext, 了解到与WinForm 类似。

 

2. await/async语法糖与SynchronizationContext 的关系?

  以上ThreadPool.QueueUserWorkItem 涉及线程底层,微软提出Task线程包装类和 await/async 简化了异步编程的方式:
 
   【异步编程】Part2:掌控SynchronizationContext避免deadlock_第2张图片
  ① 调用异步方法GetStringAsync时,.NET框架为我们创建了异步任务T;

  ② 应用await时,框架捕获当前环境, 存储在SynchronizationContext 对象并附加于以上Task;

  ③ 同时,控制权返回到原上层调用函数,返回一个未完成的Task对象,这个时候需要关注上层调用函数使用 await异步等待还是使用Result/Wait()方式同步等待

  ④ 异步任务T执行完成,await之后的代码将会成为continuation block, 默认情况下利用捕获的SynchronizationContext 对象执行该continuation block 代码。

    内部实际是将continuation block代码放入SynchronizationContext 的Post方法。

    

3.引言代码为什么发生deadlock, 而ASP.NET Core/控制台程序为什么不会发生类似deadlock?

        仔细观察引言代码,控制返回到 上层调用函数时, 该调用函数使用Result属性去等待任务结果,Result/Wait()等同步方式会导致调用线程挂起等待任务完成。而在异步方法内部,await触发的异步任务执行完成后,会尝试利用捕获的同步上下文执行剩余代码,而该同步上下文中的线程正同步等待整个异步任务完成,形成死锁。

正因为如此,我们提出:

  - 在原调用函数始终 使用 await方法,这样该线程是异步等待 任务完成。

  - 在异步任务内部应用ConfigureAwait(false)方法, 不尝试使用捕获的同步上下文执行后继代码

MSDN ConfigureAwait(): true to attempt to marshal the continuation back to the original context captured; otherwise, false

  另外注意:ASP.NET Core,,控制台程序不存在SynchronizationContext , 故不会发生类似的死锁。

 

 总结:

  虽然await/async 语法糖让我们在编写.NET 异步程序时得心应手、随心所欲,但是不要忘记了SynchronizationContext 在其中转承起合的作用。

利用能够保存当前执行代码的上下文特性,SynchronizationContext在线程切换后帮我们有能力执行各种骚操作。

 
作者: JulianHuang

感谢您的认真阅读,如有问题请大胆斧正,如果您觉得本文对你有用,不妨右下角点个或加关注。

本文版权归作者所有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置注明本文的作者及原文链接,否则保留追究法律责任的权利。

 

你可能感兴趣的:(【异步编程】Part2:掌控SynchronizationContext避免deadlock)