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