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

EN

看看Java Pathfinder吧(尽管来自美国宇航局，但它是免费的)。我认为它应该做几乎开箱即用的事情，也就是尝试不同的交错(可能需要一些组装)。

当然，您仍然需要在您感兴趣的数据上指定验证属性，比如不变量。否则，默认情况下，它可能只会告诉您是否存在死锁。请看“探索执行选项”一节。

据我所知，没有商业JVM可以做到这一点，但我建议您看看像ConTest这样的工具，它们试图在您的问题领域中帮助您：

ConTest on developerWorks

ConTest on research site

通常，因为大多数商业JVM依赖于OS来执行线程调度，所以JVM自己做这件事不是一件自然的事情。对于Jikes-RVM的绿色线程版本(可能是较旧的版本)，可能会有一些东西。