基于Adaboost模型的并发程序数据竞争语句级检测

摘要：

针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法.对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并发程序Adaboost数据竞争检测模型,实现多线程程序数据竞争检测工具ADR.实验结果表明,相比于Eraser、Djit+和Thread Sanitizer工具,ADR能够在降低时间及内存开销的同时,有效提高分类准确率,验证了所提方法的有效性.

关键词：数据竞争;并发程序;程序插桩;Adaboost模型;语句级

所属期刊栏目：47

分类号：TP306(计算技术、计算机技术)

资助基金：陕西省重点研发计划项目;西安市产业研究项目;西安邮电大学研究生创新基金

在线出版日期：2021-12-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：215-220