C++多线程编程一直是程序员容易犯错误的难点。为了避免多线程BUG,设计代码时采用了一种防御性编程规范,以解决此难题。宁可在一些场景下降低性能表现,也要预防多线程BUG和问题。
1)在设计多线程代码时,按照最苛刻的CPU顺序性进行代码设计。假定Intel X86系列CPU的所有顺序性的保证均不存在,方便移植到各种CPU下。
2)大量的检测。假定所有的线程同步措施都有漏洞,封装检测代码,只要能够检测的都设法进行检测,处处检测,步步设防。
3)任何有疑点的数据存取,均使用同步原语,宁可多用,不可放过,更频繁的使用内存屏障。
4)使用mutex锁,不使用spin_lock锁(减少cas指令的广播风暴)。
5)外部调用没有把握时,使用mutex锁进行保护(一部分操作系统的系统调用,因为对旧Linux版本没有把握,也使用了mutex锁进行保护,超过了多线程编程规范要求)。
6)使用更高并发度的wait_free的无锁无等待架构,基于cas指令的lock_free无锁架构只允许用于并发冲突较小的场合(减少cas指令的广播风暴)。
7)所有需要锁保护的变量或者对象,全部在命名的最前面标记locking_,表示提醒程序员这个变量或对象需要锁的额外保护。