-
题名多线程并发程序访问数据误差静态检测仿真
- 1
-
-
作者
赵越
孙忠阁
-
机构
首都经济贸易大学密云分校
-
出处
《计算机仿真》
北大核心
2021年第4期472-476,491,共6页
-
基金
青年科学基金项目(61802168)。
-
文摘
针对传统方法多线程并发程序访问数据误差检测存在检测精度低、能耗高的问题,提出多线程并发程序访问数据误差静态检测方法。扫描解析出来的多线程并发程序源代码,对待检测的部分进行词法分析、语法分析,通过高效链的储存结构,建立XML中间数据模型提取代码属性;构建数据访问树,扫描出待检测部分所存在竞争关系的节点,确定竞争关系节点的时序关系,按自上而下遍历节点,将遍历结果记录在syncObjCache中,匹配前文代码属性,根据匹配结果,完成进行静态检测。仿真结果表明:检测准确性有大幅度提高,能耗减少,达到预期效果。
-
关键词
多线程并发程序
访问数据误差
静态检测
-
Keywords
Multithreaded concurrent program
Access data error
Static detection
-
分类号
TP680
[自动化与计算机技术—控制理论与控制工程]
-
