CHESS：并发软件的系统压力测试

摘要

并发性是系统软件的一个基本属性。异步计算是操作系统、数据库和web服务器等重要软件组件中的规范。随着多核架构进入主流台式计算机，我们很可能会看到多线程在应用软件中的使用越来越多。不幸的是，并发程序的设计是一项非常具有挑战性的任务。此任务的主要智能困难在于推理并发执行线程之间的交互。不确定性线程调度使得从程序的一次运行到另一次运行的行为极难再现。因此，调试并发软件的过程变得单调乏味，导致程序员的生产力急剧下降。由于并发性很重要，而且很难纠正，因此我们必须开发技术和工具来自动检测和查明并发程序中的错误。