多线程并发程序访问数据误差静态检测仿真

• 作者: 赵越 孙忠阁
• 来源期刊: 计算机仿真
• 关键词: 多线程并发程序 访问数据误差 静态检测
• 年，卷（期）: 2021,（4）
• 所属期刊栏目: 仿真服务化
• 页码范围: 472-476,491
• 页数: 6页
• 分类号: TP680
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2021.04.096

摘要

针对传统方法多线程并发程序访问数据误差检测存在检测精度低、能耗高的问题,提出多线程并发程序访问数据误差静态检测方法.扫描解析出来的多线程并发程序源代码,对待检测的部分进行词法分析、语法分析,通过高效链的储存结构,建立XML中间数据模型提取代码属性;构建数据访问树,扫描出待检测部分所存在竞争关系的节点,确定竞争关系节点的时序关系,按自上而下遍历节点,将遍历结果记录在syncObjCache中,匹配前文代码属性,根据匹配结果,完成进行静态检测.仿真结果表明:检测准确性有大幅度提高,能耗减少,达到预期效果.