Concurrency 用于检测并发问题的工具

我看到一个工具可以告诉你项目中是否存在设计问题，我想知道是否有一个工具可以动态地告诉你项目中是否存在并发问题。

微软研究院的国际象棋很棒（）

---

它在Unittests的帮助下检测并发错误，这很重要：它们可以通过chess复制。

我想你会发现，通过静态代码分析检测这类错误基本上是伪装的，因此在一般情况下是不可判定的。这样的工具几乎肯定不存在

---

与现有的证明工具最接近的是对计算建模，因为计算可以进行形式化的数学推理。但是，这不允许您生成一个可以用任意语言编写任意程序并为其计算证明的工具。

这是一个很棒的工具，但我一直在寻找一个动态告诉您代码容易死锁的工具。例如，如果你有一个转义对象，你应该得到一个警告。