何涛
- 作品数:3 被引量:2H指数:1
- 供职机构:国防科学技术大学继续教育学院更多>>
- 相关领域:自动化与计算机技术更多>>
- GCC编译器中间代码层控制流检测扩充研究
- 太空运行的计算机受到来自宇宙射线的辐射,对计算机运行的稳定性和正确性带来了很大影响。空间辐射环境对电子器件的影响可分为单粒子效应和总剂量效应两类,其中单粒子效应尤其是单粒子翻转故障构成了对星载计算机安全的主要威胁/[1/...
- 何涛
- 关键词:单粒子效应控制流检测
- 文献传递
- 基于GCC的容错编译器的研究与实现被引量:1
- 2011年
- 在COTS微处理器上实现面向硬件故障的软件容错技术,与硬件容错技术相比,其性能、成本、功耗和灵活性上都拥有巨大的优势。其中容错编译技术通过在编译的时候自动地插入指令实现容错,实现简单、高效,不需要重写源代码,减轻了程序员的负担,有利于利用已有的大量程序,是软件容错研究中较为活跃的分支。本文以GNU开源编译器GCC为平台,结合现有容错编译算法,讨论一款初步具有容错编译能力的编译器的设计与实现。
- 王发鸿周会平贾丽丽何涛
- 关键词:GCC冗余计算软件容错
- GCC编译器中间代码层控制流扩充研究被引量:1
- 2012年
- 本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。
- 何涛周会平贾丽丽王发鸿
- 关键词:GCC