计算机工程

作者：孙家泽, 易刚, 舒新峰

单位：1. 西安邮电大学 计算机学院, 西安 710121;2. 西安邮电大学 陕西省网络数据分析与智能处理重点实验室, 西安 710121

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

基金：陕西省重点研发计划项目（2020GY-010）；西安市产业研究项目（2019218114GXRC017CG018-GXYD17.10）；西安邮电大学研究生创新基金（CXJJLY2019051）。

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

来源：2021年第12期

《计算机工程》期刊编辑部

查看计算机工程杂志2021年第12期