concurrency - 检测并发问题的工具

Question

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

Answer 1

MS Research 的 Chess 很棒（http://research.microsoft.com/en-us/projects/chess/）它在单元测试的帮助下检测并发错误，重要的是：它们可以用国际象棋重现。

Answer 2

我想你会发现，通过静态代码分析来检测这种类型的东西，基本上是变相的停机问题，因此在一般情况下是不可判定的。这样的工具几乎肯定不存在。

与确实存在的证明工具最接近的方法是将计算建模为“通信顺序过程”，可以对其进行正式的数学推理。但是，这不允许您生成可以使用任意语言获取任意程序并为其计算证明的工具。