一种用于检测中断驱动型程序数据竞争的系统

发明专利有效专利

申请号：
CN201010611695.9
IPC分类号：G06F9/46
申请日期：
2010-12-17
申请人：
北京控制工程研究所

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种用于检测中断驱动型程序数据竞争的系统
申请号	CN201010611695.9	申请日期	2010-12-17
法律状态	授权	申报国家	中国
公开/公告日	2011-05-18	公开/公告号	CN102063328A
优先权	暂无	优先权号	暂无
主分类号	G06F9/46 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/46 多道程序装置〔3〕	IPC分类号	G;0;6;F;9;/;4;6查看分类表>
申请人	北京控制工程研究所	申请人地址	北京市2729信箱14分箱变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京控制工程研究所	当前权利人	北京控制工程研究所
发明人	陈睿;郭向英;段永顥;张西超;侯成杰;董燕;于志杰;魏鹏;吴瑾;武占峰;张金巍;曾霞;左万娟
代理机构	中国航天科技专利中心	代理人	臧春喜

摘要

本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供