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