基于Adaboost模型的并发程序数据竞争语句级检测
来源：计算机工程杂志2021年第12期北京时间：
作者：孙家泽, 易刚, 舒新峰
单位：1. 西安邮电大学 计算机学院, 西安 710121;2. 西安邮电大学 陕西省网络数据分析与智能处理重点实验室, 西安 710121
摘要：针对并发程序数据竞争检测时准确率低和开销大的问题，基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作，记录指令的相关内存信息，并对提取出的指令集做语句级转化处理，利用语句对相关属性特征构建并发程序Adaboost数据竞争检测模型，实现多线程程序数据竞争检测工具ADR。实验结果表明，相比于Eraser、Djit+和Thread Sanitizer工具，ADR能够在降低时间及内存开销的同时，有效提高分类准确率，验证了所提方法的有效性。
关键词：数据竞争,并发程序,程序插桩,Adaboost模型,语句级
基金资助：陕西省重点研发计划项目（2020GY-010）；西安市产业研究项目（2019218114GXRC017CG018-GXYD17.10）；西安邮电大学研究生创新基金（CXJJLY2019051）。
