本文探讨了一种结合Djit+和改进Lockset方法的动态数据竞争检测技术。通过分析共享对象状态变迁，特别是引入的barrier概念，揭示了状态间的生命周期特征。优化后的Lockset算法减少了不必要的检测，提高了效率。同时，Djit+算法用于进一步确认潜在的数据竞争，实现了精度和效率的提升。下文将继续研究基于Threadset的Lockset状态转换。
上一篇文章中我们看到了有关共享对象状态变迁在Eraser基础上进行的改进，但是改进的不是特别明显，下面这篇论文不是单纯的用Lockset作为数据竞争检测方法，而是采用的Djit+以及改进的Lockset方法结合来进行动态数据竞争检测。
Djit+方法在这篇文章中已经说得比较明白了，想了解的同学可以看这里。
改进的Lockset方法用到了Djit+中的一些概念（后面会提到），不过这里我们还是主要看一下共享对象状态变迁，如下图所示:
从这张状态变迁图中可以很明显的发现有点生命周期的味道，至少乍一看我们发现状态之间有些是可逆的，这点和前两篇文章有很大的不同，那么下面就介绍一下在这张状态变迁图中各个状态所传达的信息。
<
最低0.47元/天 解锁文章
扫一扫
40
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
