发明授权
- 专利标题: 基于绝对地址汇聚的数据访问冲突检测方法
- 专利标题(英): Absolute address convergence based data access conflict detection method
-
申请号: CN201310744736.5申请日: 2013-12-30
-
公开(公告)号: CN103699388B公开(公告)日: 2015-07-08
- 发明人: 王政 , 綦艳霞 , 顾斌 , 董晓刚 , 陈睿 , 陈尧 , 赵雷 , 郭向英
- 申请人: 北京控制工程研究所
- 申请人地址: 北京市海淀区北京2729信箱
- 专利权人: 北京控制工程研究所
- 当前专利权人: 北京控制工程研究所
- 当前专利权人地址: 北京市海淀区北京2729信箱
- 代理机构: 中国航天科技专利中心
- 代理商 陈鹏
- 主分类号: G06F9/44
- IPC分类号: G06F9/44
摘要:
基于绝对地址汇聚的数据访问冲突检测方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础,结合领域知识,更准确地识别的数据竞争,降低数据竞争检测的漏报率。该方法对C源程序进行语法分析,构造源程序中使用的绝对地址集合,利用绝对地址集合,构造间接影响关系。根据C源程序中的中断响应函数,寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系,判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比,本发明所提出的方法,能够降低漏报,提高分析准确度。
公开/授权文献
- CN103699388A 基于绝对地址汇聚的数据访问冲突检测方法 公开/授权日:2014-04-02