并行化的动态数据竞争验证和检测方法

上一篇文章提到的动态数据竞争验证和检测方法是结合了验证和检测两部分。这篇文章主要介绍一下并行化的动态数据竞争验证和检测方法。
首先我们来谈谈有关利用Pin编写Pintool来检测数据竞争。由于动态二进制插桩就是在原始程序指令前后加入跳转指令，而跳转的目的地就是所谓的分析函数，分析函数中包含了相关的检测逻辑。因此，从这个角度也能发现，我们变现的分析函数和应用程序线程是绑定在一起的。由于应用程序许本身是多线程的程序，因此我们自己编写的Pintool也是多线程的。数据竞争检测用到的相关公共的数据结构包括向量时钟以及锁集等都有可能被多线程访问。为了保证一致性，我们在分析函数中都会加入锁来保护共享的访问操作，并且大部分的操作都可能会涉及到锁保护，尤其是针对读写指令的分析函数中会涉及到比较复杂的验证过程和检测过程分析。因此，频繁使用加锁可能会导致程序在执行过程中不能够有效利用多核的硬件优势。
最近有一篇文章提到了一种并行化的动态数据竞争检测方法。这种方法扩展性非常好而且不用修改之前已经提出的动态数据竞争检测方法，如下图所示。

该方法的核心就是将动态数据竞争检测逻辑从分析函数中分离出来，让单独的检测线程执行相关的逻辑，检测线程之间相互不干扰，因此就不用再使用锁来保护。这里对共享内存空间进行分块，不同的块映射到不同的检测线程上。而原始的应用程序线程则是将程序的行为以事件的形式发送到队列中，对于内存读写事件先缓存到线程TLS中，当缓存慢了之后再发送到队列中，而其他事件则是复制并且发送到各个检测线程队列中。这样的话，唯一需要加锁保护就是针对事件队列的相关访问。
同时我们也能够证明，每个检测线程看到的都是完整程序执行的行为，除了访问的内存块有所不同。