使用 Java Pathfinder 测试并发应用程序

Java Pathfinder（或者说 JPF）是 NASA 的一个开源执行环境，可以用于验证 Java 应用程序。

它含有自己的虚拟机，用于执行 Java 字节码。

从内部来看，它探测代码中那些可以有多条执行路径的节点，并且执行所有可能的路径。
在并发应用程序中，这意味着它将执行应用程序中线程之间所有可能的执行顺序。

它还含有一些工具，可以帮助检测竞争条件和死锁。

优缺点

该工具的主要优点在于，它允许你完整地测试并发应用程序，保证应用程序不会出现竞争条件和死锁。

该工具还有一些不太方便的地方。