多线程程序常见Bug剖析(下)
简单来说,多线程程序各个线程之间交错执行的顺序的不确定性(Non-deterministic)是造成违反执行顺序Bug的根源[注1]。正是因为这个原因,程序员在编写多线程程序时就不能假设程序会按照你设想的某个顺序去执行,而是应该充分考虑到各种可能的顺序组合,从而采取正确的同步措施。
1. 违反执行顺序(Ordering Violation)
举例来说,下面这个来自Mozilla的多线程Bug产生的原因就是程序员错误地假设S1一定会在S2之前执行完毕,即在S2访问mThread之前S1一定已经完成了对mThread的初始化(因为线程2是由线程1创建的)。事实上线程2完全有可能执行的很快,而且S1这个初始化操作又不是原子的(因为需要几个时钟周期才能结束),从而在线程1完成初始化(即S1)之前就已经运行到S2从而导致Bug。
以下是代码片段: 例1: Thread 1 Thread 2 void init(...) void mMain(...) { ... { ... S1: mThread= ... PR_CreateThread(mMain, ...); S2: mState = mThread->State; ... ... } } |
以下是代码片段: 例2: Thread 1 Thread 2 int ReadWriteProc(...) void DoneWaiting(...) { { ... /*callback func of PBReadAsync*/ S1: PBReadAsync(&p); S2: io_pending = TRUE; ... ... S4: io_pending = FALSE; S3: while (io_pending) {...} ... ... } } |
以下是代码片段: 例3: Thread 1 Thread 2 void js_DestroyContext(...){ void js_DestroyContext(...){ /* last one entering this func */ /* non-last one entering this func */ S1: js_UnpinPinnedAtom(&atoms); S2: js_MarkAtom(&atoms,...); } |
2. Ordering Violation的解决方案
常见的解决方案主要有四种:
(1)加锁进行同步
加锁的目的就在于保证被锁住的操作的原子性,从而这些被锁住的操作就不会被别的线程的操作打断,在一定程度上保证了所需要的执行顺序。例如上面第二个例子可以给{S1,S2}一起加上锁,这样就不会出现S4打断S1,S2的情况了(即S1->S4->S2),因为S4是由S1引发的异步调用,S4肯定会在{S1,S2}这个原子操作执行完之后才能被运行。
(2)进行条件检查
进行条件检查是另一种常见的解决方案,关键就在于通过额外的条件语句来迫使该程序会按照你所想的方式执行。例如下面这个例子就会对n的值进行检查:
以下是代码片段: 例4: retry: n = block->n; ... ... if (n!=block->n) { goto retry; } ... |
这个也是很可行的方案,例如上面的例2不需要给{S1,S2}加锁,而是直接调换S2与S1的顺序,这样S2就一定会在S4之前执行了!
(4)重新设计算法/数据结构
还有一些执行顺序的问题可以通过重新设计算法/数据结构来解决。这个就得具体情况具体分析了。例如MySQL的bug #7209中,一个共享变量HASH::current_record的访问有顺序上的冲突,但是实际上这个变量不需要共享,所以最后的解决办法就是线程私有化这个变量。
3. 总结
多线程Bug确实是个非常让人头痛的问题。写多线程程序不难,难的在于写正确的多线程程序。多线程的debug现在仍然可以作为CS Top10学校的博士论文题目。在看过这两篇分析多线程常见Bug的文章之后,不知道各位同学有没有什么关于多线程Bug的经历与大家分享呢?欢迎大家留言:)
需要注意的是,违反执行顺序和违反原子性这两种Bug虽然是相互独立的,但是两者又有着潜在的联系。例如,上一篇文章中我所讲到的第一个违反原子性的例子其实是因为执行顺序的不确定性造成的,而本文的第二个例子就可以通过把{S1,S2}加锁保证原子性来保证想要的执行顺序。
参考
[1] Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics
[2] Understanding, Detecting and Exposing Concurrency Bugs
[3] Practical Parallel and Concurrent Programming
注1:严格来讲,多线程交错执行顺序的不确定性只是违反执行顺序Bug的原因之一。另一个可能造成违反执行顺序Bug的原因是编译器/CPU对代码做出的违反多线程程序语义的乱序优化,这种“错误的优化”直接引出了编程语言的内存模型(memory model)这个关键概念。后面我会专门分析下C++与Java的内存模型,敬请期待。
建议继续学习:
- 浅析C++多线程内存模型 (阅读:7087)
- C++ 多线程编程总结 (阅读:6779)
- 多线程队列的算法优化 (阅读:6500)
- 程序中的“多线程” (阅读:5622)
- php多线程扩展 (阅读:4206)
- 为什么在多线程程序中要慎用volatile关键字? (阅读:3967)
- Ameba , 一个简单的 lua 多线程实现 (阅读:3571)
- 多线程程序中操作的原子性 (阅读:2985)
- 极不和谐的 fork 多线程程序 (阅读:2682)
- linux下多线程的创建与等待详解 (阅读:2661)
扫一扫订阅我的微信号:IT技术博客大学习
- 作者:冠诚 来源: 并行实验室 | Parallel Labs
- 标签: 多线程
- 发布时间:2010-12-07 02:48:50
- [68] Go Reflect 性能
- [64] 如何拿下简短的域名
- [60] Oracle MTS模式下 进程地址与会话信
- [59] android 开发入门
- [58] IOS安全–浅谈关于IOS加固的几种方法
- [58] 【社会化设计】自我(self)部分――欢迎区
- [57] 图书馆的世界纪录
- [50] 视觉调整-设计师 vs. 逻辑
- [48] 读书笔记-壹百度:百度十年千倍的29条法则
- [46] 给自己的字体课(一)——英文字体基础