一种有效的检测Ad-hoc同步的方法

摘要：

　　Ad-hoc同步在多线程程序中非常常见。和phtread 库中的正规同步语句不同( 比如pthread_cond_wait),Ad-hoc 同步会隐含地引入happen-before 关系。对于很多错误检测工具来说,这种隐含的happen-before 关系难以被检测,正是这个问题影响着这些错误检测软件的正确性。在本文中提出一种有效地检测ad-hoc 同步的方法,此方法包含编译时分析和运行时分析两个部分。这个检测工具可以和其他的错误检测工具以及程序推理工具结合使用。由于错误检测工具和程序推理工具都极大地依赖于对程序中happen-before 关系的分析。工具可以作为它们的前端,大大增加它们的准确性。从实验结果来看,检测ad-hoc 同步的方法能够检测出程序中绝大部分的ad-hoc 同步,同时误报很低。

关键词： 并行程序 ad-hoc同步 错误检测 程序推理

作者: ZHANG Wen-Zhe 张文喆 LU Kai 卢凯 ZHOU Xu 周旭

作者单位: Department of Computer Science and Technology, National University of Defense Technology, ChangSha 4 国防科技大学 计算机学院,湖南 长沙 410072

会议类型: 国内会议

会议名称: 2012全国高性能计算学术年会

会议地点: 张家界

会议语种:中文

页码: 1-8

在线出版日期: 2012-10-29（万方平台首次上网日期，不代表论文的发表时间）