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

中断驱动的嵌入式系统数据竞争检测工具
陈园军;石浚菁;王林章;李宣东
【期刊名称】《计算机科学与探索》
【年(卷),期】2015(000)008
【摘要】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 relationship on these control flow graphs. The experimental results show that this method can not only detect the data race problems in the code, but also trace and show their execution paths, which is quite helpful for the bug verification and fix.%中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域，但因系统设计复杂，运行环境多样等原因，中断不确定性导致的严重故障时有发生，数据竞争是较为棘手的问题之一。

已有工作对中断导致的数据竞争检测做了许多尝试，但目前还没有比较易用的解决方案。

为了解
决这类问题，提出了一种基于控制流图的静态检测方法。

该方法通过对源程序进行预处理分析，检测出程序中使用的共享资源和中断使能操作；根据预处理的结果，构建出源程序对应的简要控制流图；通过对简要控制流图的抢占关系分析，得到可能会导致竞争关系的执行序列。

实验结果表明，该方法能有效检测出程序中潜在的竞争关系，并指明该潜在竞争的发生路径，帮助软件测试人员对故障进行确认和修复。

【总页数】12页(P914-925)
【作者】陈园军;石浚菁;王林章;李宣东
【作者单位】南京大学计算机软件新技术国家重点实验室，南京 210023; 南京大学计算机科学与技术系，南京 210023;南京大学计算机软件新技术国家重点实验室，南京 210023; 南京大学计算机科学与技术系，南京 210023;南京大学计算机软件新技术国家重点实验室，南京 210023; 南京大学计算机科学与技术系，南京210023;南京大学计算机软件新技术国家重点实验室，南京 210023; 南京大学计算机科学与技术系，南京 210023
【正文语种】中文
【中图分类】TP311.5
【相关文献】
MD-2-R诊断标准的人格障碍检测工具的编制及其信度效度检验——人格障碍检测工具系列研究Ⅲ [J], 卢宁;刘协和;李智明;张波;谢聪
2.四种人格障碍检测工具效度的比较研究——人格障碍检测工具系列研究Ⅱ [J], 卢宁;刘协和;朱昌明;杨彦春;曹丽萍;岳振雷
3.四种人格障碍检测工具信度比较研究——人格障碍检测工具系列研究 I [J], 卢
宁;刘协和;朱昌明;杨彦春;谢聪;岳振雷
4.静态检测中断驱动程序的数据竞争 [J], 霍玮;于洪涛;冯晓兵;张兆庆
5.一种中断驱动系统的时间约束验证方法 [J], 鞠秀芳
因版权原因，仅展示原文概要，查看原文内容请购买。