数据竞争示例和数据竞争检测示例

Question

我正在寻找一个例子，显示所有类型的数据竞争(例如，没有有效的锁)和检测方法的例子来检测它。

如果这两个示例都是源代码格式(编程语言不受限制)，那就太好了！

顺便说一句，有什么好的数据竞争检测工具推荐吗？

Answer 1

您可以在http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4下的java中找到竞争条件的示例。

要查找争用条件，可以使用插装记录所有字段修改的线程。如果一个字段被多个线程修改而没有同步，那么您发现了一场数据竞争。

这是在http://vmlens.com中实现的。我推荐在java中使用http://vmlens.com进行竞态条件检测。