基于深度学习的数据竞争检测方法
Deep Learning Based Data Race Detection Approach作者机构:河北科技大学信息科学与工程学院石家庄050018
出 版 物:《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期:2022年第59卷第9期
页 面:1914-1928页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家自然科学基金项目(61440012) 河北省高等学校科学研究计划重点项目(ZD2019093) 河北省科技支撑计划项目(16210312D) 河北省研究生创新能力培养资助项目(CXZZSS2022081)
主 题:数据竞争 并发程序 深度学习 特征抽取 CNN-LSTM模型
摘 要:针对目前已有的基于深度学习的数据竞争检测方法提取特征单一和准确率低的问题,提出一种基于深度学习的数据竞争检测方法DeleRace,该方法首先利用程序静态分析工具WALA从多个实际应用程序中提取指令、方法和文件等多个级别的特征,对其向量化并构造训练样本数据;然后通过ConRacer工具对真实数据竞争进行判定进而标记样本数据,采用SMOTE增强算法使正负数据样本分布均衡化;最后构建并训练CNN-LSTM深度神经网络进行数据竞争检测.从DaCapo,JGF,IBM Contest,PJBench基准测试程序套件中分别选取26个不同应用领域的基准测试程序进行训练数据样本抽取和数据竞争检测,结果表明DeleRace的数据竞争检测准确率为96.79%,与目前已有的基于深度学习的检测方法DeepRace相比提升了4.65%.此外还将DeleRace与已有的动态数据竞争检测工具(Said和RVPredict)和静态数据竞争检测工具(SRD和ConRacer)进行比较,验证了DeleRace的有效性.