【摘 要】
：
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断
【机 构】
：
中国科学院计算技术研究所计算机体系结构国家重点实验室筹
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目(2008AA01Z115);“核高基”国家重大科技专项基金项目(2009ZX01036-001-002);国家“九七三”重点基础研究发展计划基金项目(2011CB302504);国家自然科学基金项目(60921002)
论文部分内容阅读
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.
其他文献
自2001年10月至2002年2月,我院应用思密达与硝苯吡啶佐治婴幼儿轮状病毒肠炎60例,临床观察疗效满意,现报告如下.
突变量理论广泛应用于方向保护中,在给出了突变量原理后,分析了突变量保护的一些优点,采用由幅值突变构成的方向元件作为方向保护的方向元件,以减小过渡阻抗对方向元件的影响
目的评估阻塞性睡眠呼吸暂停综合征(OSAS)患者左心室收缩功能。资料与方法 60例OSAS患者按多导睡眠监测结果分为轻度OSAS组16例,中度OSAS组18例,重度OSAS组26例;以20例健康者
概述多媒体辅助高中英语教学的重要意义。结合具体的教学实例,探究多媒体在高中英语听说教学、阅读教学、写作教学中的具体应用,以及应用多媒体应注意的问题。认为多媒体能为
中国传统水墨画讲究笔墨,更讲究意境美和境界。中国水墨画的灵魂就是其意境,对意境的渲染是水墨画家毕生追求的艺术境界。意境是中国古代画论的中心范畴,也是中国古典美学的
要想让学生主动思考和解决问题,提升学生的知识水平,就必须充分重视学生思考问题的心理,如果学生没有一个强烈的求知欲,就非常不利于养成长期思考的好习惯,尤其对中学数学教
秦汉瓦当纹样作为一种蕴含着中华民族传统艺术精髓的非物质文化遗产， 依旧作用于今天的艺术作品创造， 历史不断前进， 社会文化与人民需求发生变化， 瓦当纹样也随之演变以获得很好