基于启发式的静态中断数据竞争检测方法

作     者：段永颢 陈睿 DUAN Yong-hao;CHEN Rui

作者机构：北京控制工程研究所北京100190 

基　　金：国家自然科学基金项目(91018014 90818024 91118007) 国家863高技术研究发展计划基金项目(2011AA010105) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2013年第34卷第1期

页      码：140-145页

摘      要：提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker。给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率。实验验证了该方法的有效性。

主 题 词：中断 数据竞争 嵌入式软件 启发式 静态分析 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2013.01.027

馆 藏 号：203350135...