c - 这足以检测竞争条件吗？

Question

假设我有一个多线程应用程序，我使用相同的输入 运行它。是否足以检测每个加载和存储以检测写-写和写-读数据竞争？我的意思是从记录的加载和存储地址中，如果我们可以看到哪个线程执行了哪个加载以及哪个线程执行了哪个存储，我们就可以通过注意重叠地址来检测写-读和写-写数据竞争。还是我遗漏了什么？

Answer 1

Or am I missing something?

你错过了很多。正如 Pubby 所说，如果你在 T1 中看到读，然后写，然后在 T2 中读，然后写，你不能说 anything 没有种族。您需要了解所涉及的锁。

您可能需要使用工具，例如 Google 的 ThreadSanitizer相反。

更新:

But will my approach cover all races or at least some of the races?

您在这里和其他答案的评论似乎表明您不了解种族是什么。

您的方法可能会暴露一些种族，是的。它保证不会覆盖其中的大部分(这将使练习变得徒劳)。