中断驱动的嵌入式系统数据竞争检测工具.pdfVIP

陈园军，石浚菁，王林章，等.中断驱动的嵌入式系统数据竞争检测工具[J].计算机科学与探索，2015，9（8）：914-925. ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@ Journal of Frontiers of Computer Science and Technology 1673-9418/2015/09(08)-0914-12 Tel: +86-10doi: 10.3778/j.issn.1673-9418.1411052 中断驱动的嵌入式系统数据竞争检测工具* 陈园军 1,2，石浚菁 1,2，王林章 1,2+，李宣东 1,2 1. 南京大学 计算机软件新技术国家重点实验室，南京 210023 2. 南京大学 计算机科学与技术系，南京 210023 Data Race Detection Tool for Interrupt-Driven Embedded System?? CHEN Yuanjun1,2, SHI Junjing1,2, WANG Linzhang1,2+, LI Xuandong1,2 1. State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing 210023, China 2. Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China + Corresponding author: E-mail: lzwang@ CHEN Yuanjun, SHI Junjing, WANG Linzhang, et al. Data race detection tool for interrupt-driven embedded system. Journal of Frontiers of Computer Science and Technology, 2015, 9(8)：914-925. Abstract: Interrupt-driven embedded systems are widely used in very high reliable and stable fields. However, due to the design complexity and the running environment diversity, uncertain interrupt faults often happen, which cause serious consequence. Data race is one of these complex problems. Lots of work has been done to detect such races, but there is still no easy solution. To solve such problems, this paper introduces a static detection method based on control flow graph. Firstly this method detects the shared resources and interrupts in the source code by preprocessing, and then constructs the corresponding simple control flow graphs according to the preprocessing result. Secondly the method points out the potential data races and their execution paths by analyzing the preemption rela