肖贺
- 作品数:3 被引量:7H指数:1
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:国防科技技术预先研究基金国家高技术研究发展计划国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 采用基本块规约的控制流检测性能优化方法被引量:1
- 2009年
- 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术,但是该技术引入的检测指令过多,导致程序效率低下.本文使用基本块规约的技术,在原基本块的基础上,选择合适的约束量重新划分基本块,减少引入的检测指令.与8个常见算法的性能比较表明,该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.
- 肖贺王永吉潘远明丁丽萍
- 关键词:软错误控制流检测
- 基于基本块的控制流检错方法优化研究
- 系统的高可靠性是研究航空航天领域的一个重要指标,由于太空环境的特殊性,辐射和高能粒子会造成计算机系统的出现瞬时性错误,这种错误被称作软错误,它对航空航天器件造成了很大的影响,严重降低系统的可靠性.检测和防护这种软错误是航...
- 肖贺
- 关键词:软错误控制流检测系统可靠性
- 基于RTEMS的软件容错系统设计被引量:6
- 2009年
- 在空间环境下运行的计算机系统,高空辐射可能引发各种各样的异常或错误而导致故障。为了提高系统的可靠性,同时尽可能减少对系统实时性能的影响,需要对其进行有效的容错。针对节点和应用软件的故障检测和故障恢复进行研究与分析,提出了多种灵活有效的软件容错策略与设计方案,并基于四节点的多机硬件体系结构和RTEMS软件操作系统,设计并实现了一个系统原型。运行结果显示,该方案有效地提高了嵌入式实时系统的可靠性。
- 李小群张文君潘远明肖贺郭亮姜志颖
- 关键词:实时多处理器系统软件容错高可用高可靠硬实时