并发程序数据竞争检测方法的研究.pdfVIP

中国电机工程学会第十三届青年学术会议论文集 并发程序数据竞争检测方法研究 艾解清 1,2 ，黄巨涛 1,2 ，魏理豪 1,2 （1.广东电网公司信息中心，广州，广东，510000； 2. 中国南方电网公司信息化评测重点实验室，广州，广东，510000 ） Research on data race detection methods concurrent program Ai Jieqing [1,2] Huang Jutao[1,2] Wei Lihao[1,2] （1.Information Center of Guangdong Power Grid，Guangzhou，Guangdong，510000； 2.CSG key laboratory of of Information Technology Testing，Guangzhou，Guangdong，510000 ） ABSTRACT ： When multiple threads simultaneously 发程序，提出了一个基于模型的数据竞争检测方法，并 without effective access to a shared data synchronization, 实现了原型工具 Toc4j 。该方法用扩展了数据访问标记 and at least one thread writes the data, said the data race 的 UML 活动图来描述程序的行为模型，并基于活动图 occurs concurrent systems. Phylogenetic data race is 插装被测试程序，然后用基于路径分析和随机方法生成 uncertain, even if the input may be different manifestations 的用例来执行插装后的程序。对执行得到的数据访问事 of the same behavior. In this paper, Java concurrent 件序列进行离线分析。首先，通过检验不同线程进入和 programs, proposed a data model-based detection methods 退出数据关键区的时间区间是否重合来发现数据竞争。 of competition and realize a prototype tool Toc4j. This Toc4j 的测试报告包含出错的位置和对应测试用例，可 method extends the behavioral model data access token 以帮助调试人员排错。 UML activity diagram to describe the program and is based 关键词:并发程序；数据竞争；活动图； on activity diagrams Cartridge test program, and then use the resulting path analysis and stochastic methods based on 1 引言 the use cases to implement the program after insertion. 并发程序在工业界中有着广泛的应用。在并 Access to the data obtained by the sequence of events to 发程序中，多线程同时运行，互相合作以完成一 perform offline analysis. First, by examining the different 定的任务。以飞行器的视觉系统为例，分布于飞 threads of data into and out of key areas of overlap to 行器各部