基于Happens-before的数据竞争方法汇总 （二）

上一篇文章我们谈到了Happens-before方法中最基础的方法Djit+，Djit+使用向量时钟VC进行数据竞争分析。下面这篇文章介绍的是FastTrack算法，在Djit+基础上进行的改进，将Djit+的时间复杂度从O(n)降到接近于O(1)。首次看的同学还是建议先看我之前写的有关介绍Djit+的相关基础内容。
Reference
http://race-wordpress.stor.sinaapp.com/uploads/2016/01/FastTrack-Efficient-and-Precise-Dynamic-Race-Detection.pdf

Djit+方法每次进行数据竞争分析，都会遍历历史读VC或是历史写VC，这个过程的复杂度是O(n)的，FastTrack(FT)正是在这个点上进行了算法的改进。首先需要明确的一点就是，在一个没有数据竞争的程序中，每一次的写都是有明确先后顺序的；读就不一样，不一定要是顺序读，也可以是并发的。因此的话，对于每一个共享内存单元来说，我们不必像Djit+中那样保存一个历史写VC。保存一个历史写VC无非就是想找到所有竞争的写操作，但是其中有些已经早就被检测出来了，但是线程对应的entry还是存在于VC中，造成时间和空间上的冗余。因此，对于写历史，我们不保留VC，二是直接保留最近访问的线程时间戳就行࿰