| 基于启发式的静态中断数据竞争检测方法 |
| |
| 引用本文： | 段永颢,陈睿. 基于启发式的静态中断数据竞争检测方法[J]. 计算机工程与设计, 2013, 34(1): 140-145 |
| |
| 作者姓名： | 段永颢 陈睿 |
| |
| 作者单位： | 北京控制工程研究所,北京,100190 |
| |
| 基金项目： | 国家自然科学基金项目(91018014、90818024、91118007);国家863高技术研究发展计划基金项目(2011AA010105) |
| |
| 摘 要： | 提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker.给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率.实验验证了该方法的有效性.
|
| 关 键 词： | 中断 数据竞争 嵌入式软件 启发式 静态分析 |
Heuristic static data race detection for interrupt-driven software |
| |
| DUAN Yong-hao , CHEN Rui. Heuristic static data race detection for interrupt-driven software[J]. Computer Engineering and Design, 2013, 34(1): 140-145 |
| |
| Authors: | DUAN Yong-hao CHEN Rui |
| |
| Affiliation: | (Beijing Institute of Control Engineering,Beijing 100190,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
