尽管之前的我们提出的动态数据竞争验证和检测方法能够比较精确地找到数据竞争,但是该方法还是会存在一部分误检,误检主要就是由于ad-hoc类型的同步引起的,下图展示了两个例子。
图(a)中动态数据竞争验证和检测方法会报告出两个数据竞争[L1,L4]和[L2,L3]。其中L2和L3对于FLAG的访问其实就是一个ad-hoc类型的同步,是一种良性的数据竞争,同时L1必定在L4之前发生,这两个操作不存在数据竞争。
图(b)中动态数据竞争验证和检测方法会报告出来两个数据竞争[L1,L3]和[L2,L3]。其中这三个访问构成一个ad-hoc类型的同步,也是一种良性的数据竞争。
Ad-hoc类型的同步指的就是用户自定义的一些简单同步。程序员使用ad-hoc类型的同步主要的目的就是尽量减少程序中过多使用确定性同步带来的性能开销。这篇文章主要研究的是由对端写(counterpart write)和自旋读(spinning read)构成的ad-hoc类型的同步,如上图所示。本文提出一种动静结合ad-hoc类型同步识别方法,主要分为如下几个阶段:
Phase1:静态识别潜在的ad-hoc类型的同步
静态识别潜在的ad-hoc类型的同步主要是为在动态时更加精确地定位ad-hoc类型同步收集必要相关的信息。由于在静态时精确地定位对端写比较困难,因此我们在静态时主要用来识别潜在的自旋读循环相关信息。这部分主要分为如下几个步骤:
找到所有的循环
对于C/C++程序来说,循环主要包括while、do-while、for以及goto-label这