MultiRace-Efficient on-the-fly data race detection

     最近在研究数据竞争检测方法，之前的工作是参考了Eraser这个工具1997年提出的基于Lockset方法的动态数据检测，

在Interl的Pin框架的基础上对方法进行了复现（论文中有关动态注解没有完成，这部分以后再整合）。在后续的论文研读中

发现大多数的方法都是基于Happens-Before和Lockset方法结合的思路，于是就看了下面这篇非常具有代表性的两种方法综

合的论文。

Reference：

Pozniansky E, Schuster A. Efficient on-the-fly data race detection in multithreaded C++ programs[M]. ACM, 2003.

      这篇论文也是中所说的方法也是on-the-fly方法（个人理解就是程序执行过程中监测，与之相对应的就是