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

Multithreaded Concurrent Program Access Data Error Static Detection Simulation

作　　者：赵越 孙忠阁 ZHAO Yue;SUN Zhong-ge(Miyun Branch,of Capital University of Economics and Trade,Beijing 101500,China)

机构地区：[1]首都经济贸易大学密云分校,北京101500

出　　处：《计算机仿真》2021年第4期472-476,491,共6页Computer Simulation

基　　金：青年科学基金项目(61802168)。

摘　　要：针对传统方法多线程并发程序访问数据误差检测存在检测精度低、能耗高的问题,提出多线程并发程序访问数据误差静态检测方法。扫描解析出来的多线程并发程序源代码,对待检测的部分进行词法分析、语法分析,通过高效链的储存结构,建立XML中间数据模型提取代码属性;构建数据访问树,扫描出待检测部分所存在竞争关系的节点,确定竞争关系节点的时序关系,按自上而下遍历节点,将遍历结果记录在syncObjCache中,匹配前文代码属性,根据匹配结果,完成进行静态检测。仿真结果表明:检测准确性有大幅度提高,能耗减少,达到预期效果。Due to low detection accuracy and high energy consumption in traditional methods, this article focuses on a static detection method for data access error of multithreaded concurrent programs. At first, the analytical source codes of multi-threaded concurrent program were scanned. And then, lexical analysis and grammatical analysis were conducted on the detected part. Based on the efficient chain storage structure, XML intermediate data model was built to extract the code attributes. Moreover, the data access tree was constructed to scan out the competitive nodes in the part to be detected, and thus to determine the temporal relation of competitive nodes. After traversing the nodes from top to bottom, the traversal results were recorded in syncObjCache. Finally, the static detection was completed by matching the code attributes of preceding text. Simulation results show that the detection accuracy is greatly improved and the energy consumption is reduced.

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

分 类 号：TP680[自动化与计算机技术—控制理论与控制工程]