java - 是否有旨在调试并发软件的 JVM？

Question

我使用了 Concurrent Pascal，这是一种有助于调试并发算法的工具，因为当它运行您的代码时，它会随机化在每个可能的步骤中切换到哪个线程，并尝试尽可能多的路径。

是否有 JVM 可以做到这一点？

Answer 1

看看 Java Pathfinder (尽管如此，来自 NASA——而且它是免费的)。我认为它应该几乎开箱即用地满足您的需求，即尝试不同的交错(可能需要一些组装)。

当然，您仍然需要在您感兴趣的数据上指定验证属性，例如不变量。否则，默认情况下它可能只会告诉您是否存在死锁。查看“探索执行替代方案”部分。