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

摘要：

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

关键词：多线程并发程序、访问数据误差、静态检测

所属期刊栏目：38

分类号：TP680(射流技术（流控技术）)

资助基金：国家自然科学基金61802168

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

页数：共6页

页码：472-476,491