用于检测并发问题的工具

Question

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

Answer 1

MS Research的国际象棋很棒（http://research.microsoft.com/en-us/projects/chess/） 它在Unittests的帮助下检测Concurrency Bugs并且很重要：它们可以用国际象棋重现。

Answer 2

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

与确实存在的证明工具最接近的是将计算建模为'Communicating Sequential Processes',，可以进行正式的数学推理。但是，这不允许您生成可以使用任意语言的任意程序并为其计算证明的工具。