点击次数：
所属单位：民航学院
发表刊物：河南科学
关键字：并行程序;不确定性;错误检测工具;辅助调试;
摘要：并行程序的应用在提高程序运行效率的同时,也带来了不确定性的错误.这种错误往往难以复现,传统的调试工具越发难以满足并行程序的调试需求.据此提出了一种面向并行程序错误检测以及确定性回放的方法,针对并行程序中容易发生的数据竞争、死锁、原子性违反这几类错误进行检测判断;对并行程序的运行进行插桩以保证程序重复执行时的次序一致.在此理论基础上设计实现了Eclipse插件.通过试验,该工具可以对并行程序易发的错误进行有效的检测判断,较大程度地减少程序调试的工作量.
是否译文：否
发表时间：2019-04-01
合写作者：周世康,蒋欣欣,姚蕊,张灿恒
通讯作者：周航