摘要： 并行程序调试、测试与模型检测并行程序调试的挑战：1、由于不能确定不同线程的执行顺序，导致可能的执行路径发生组合爆炸；2、使用模型检验程序正确性能以应用到分布式系统上。名词解释确定性重放：通过记录系统中不确定性事件的发生顺序，在重放阶段按照记录的顺序执行相关事件，使得重放阶段与记录阶段的执行具有相同的程序状态，从而缓解并行程序执行的不确定性对调试带来的影响。确定性并行：在并行程序执行时，必须遵守一定的规则来执行不确定事件，从而直接将并行程序的执行本身变成确定性的。并发错误：通常来源于多线程中未能正确处理同步问题。其特点是存在于多线程环境中并且具有不确定性。本质上，并发错误可分为：原子性违例、顺序 阅读全文