vmlens：在JVM上对多线程应用程序进行单元测试变得容易

vmlens，在JVM上进行单元测试的多线程应用程序变得容易 为什么是vmlens？ 使用多个线程运行测试不起作用。 错误取决于特定的线程交织，通常仅需多次重新运行测试就无法实现。 并且数据争用仅发生在特定的硬件体系结构和JVM上。 因此，vmlens使用Java内存模型执行所有可能的线程交织并检查程序流中的数据竞争。 描述了vmlens如何使用Java内存模型来测试所有线程交织。 易于使用 使用vmlens很容易。 使用class AllInterleaving类在所有线程交织上进行while循环迭代，以包围测试。 例 以下示例显示如何使用vmlens编写多线程测试： import