首页 > 代码库 > 异步陷阱之死锁篇

异步陷阱之死锁篇

提倡异步编程旨在给用户更好的前端体验,但异步编程也让学习成本和犯错几率大大升高,其中最常见且最难处理的就是死锁。

何谓“死锁”,英文术语称“Deadlock”,当两个以上的运算单元,双方都在等待对方停止运行,以取得系统资源,但是没有一方提前退出时,这种状况,就称为死锁。

举个例子吧,这里是一段经典的死锁示例代码:

 sharedResource1 = , sharedResource2 =  lockResource1 = lockResource2 = t1 = newThread(() =>++++ t2 = newThread(() =>++++

运行结果如下,永远也不会看到“thread x end”:
Deadlock-Run  
这是一个不同次序请求加锁导致死锁,归功于我们的教材对此类死锁的解释非常详细,这里我一笔带过,接下来看看日常开发中经常遇到的一些更具体的死锁情况——线程死锁。

场景1—Task之间互相等待导致死锁:

Task t1 = , t2 = = Task.Factory.StartNew(() =>= Task.Factory.StartNew(() =>);

场景2—WinForm Invoke抢夺UI线程死锁:

privatevoid button1_Click( t = Task.Factory.StartNew<>(() => text = Invoke(newFunc<>(() =>
                 text + =

场景3—WPF Dispatcher切换死锁

privatevoid Button_Click( t = Task.Factory.StartNew<Brush>((state) => clr = brush = Dispatcher.Invoke<SolidColorBrush>(() =>
                returnnewSolidColorBrush() { Color ==

这里将各种无关代码精简筛除,基本上很快就可以发现这些情况中的问题,是的,实际上以上几种场景均是同一个原因——wait线程锁:主执行线程调用子线程后挂起等待子线程结果,子线程又需要切换到主线程或者等待主线程返回,从而导致两个线程均处在阻塞状态(死锁),如下图所示:

 deadlock

解决方案很简单,去除所有的同步等待,至少确保在主线程上一定不要使用同步等待,如何操作呢?你可以到多种选择,这里我提几点,抛砖引玉,希望大家可以在实际应用中或者更多灵感和解决方法。

1、去除所有wait,使用async和await关键字重写,推荐使用。    
这里或许你会有些迷惑,为什么async和await就能保证不会线程死锁呢?如下图示意代码片段,当前线程执行完(1)之后,接着执行(2),注意这里执行(2)会切换线程,但是不是阻塞当前线程,.NET在这里耍了个“花招”,实际编译器发现async和await关键字的时候会自动插入一些代码,利用状态机在(3)的位置做了个标记,让当前线程“飞”了一会,等到await所处的子线程结束的时候,修改状态机状态,让当前线程恢复到(3)这里,接着就可以跑(4),从开发者的角度来看,好像这一段代码是顺序执行的。重要的是,这里没有wait锁。

async-await

2、去除所有wait,使用Task.ContinueWith来实现代码顺序。    
var ta = new Task(()=>{ doSome(); });    
ta.ContinueWith((tc)=>{ doAnother(tc.Result); });

3、去除所有wait,将wait之后的代码移到单独的调用中,使用事件或者回调函数的方式,在子线程结束的时候,激活主线程。以WinForm为例,如下图所示:    
winform%20async

附上文中所提到测试的代码工程:下载地址

异步陷阱之死锁篇