国家自然科学基金创新研究群体项目(60621003)
- 作品数：2 被引量：1H指数：1
- 相关作者：高珑王之元贾佳杨学军李慧霸更多>>
- 相关机构：国防科学技术大学国防科技大学更多>>
- 发文基金：国家自然科学基金创新研究群体项目国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 通过基于COTS器件的软件容错技术提高空间高可靠计算机的性能被引量：1
- 2007年
- 在空间计算机的设计和制造中,高性能和高可靠是一对矛盾.使用防辐照器件制造空间计算机能够提高可靠性,但是防辐照器件不仅价格昂贵,而且在性能上远远落后于同时代的COTS器件,不能满足日益增长的空间高性能应用的需求;而使用COTS器件制造的计算机能够达到很高的性能,而且具有较高的性价比,但是在容错能力比不上防辐照器件,不能满足空间计算机在可靠性方面的要求.在COTS器件上实现软件容错,是提高空间高可靠计算机性能的方法之一,现已成为国际上的趋势.美国国家宇航局喷气推进实验室和Stanford大学的可靠性计算实验室在这些方面都进行了卓有成效的研究.然而在COTS器件上实现软件容错也带来了许多挑战.软件容错带来的性能和功耗开销、软件本身的容错能力等都是必须面对的问题.在介绍了基于COTS器件的软件容错技术的背景和发展情况后,又针对其中的主要问题提出了可能的解决方法,其中基于错误流模型的容错编译技术具有较高的实用价值.
- 高珑王之元贾佳杨学军
- 关键词：COTS软件容错高性能高可靠
- 超标量通信:一种面向分布式应用的运行时优化技术
- 2010年
- 并发在分布式应用中是一项实质性的需求,然而现有方法均十分复杂且容易出错.文中提出一种全新的并发途径——超标量通信,这种方法通过用语言级虚拟机SSVM在运行时自动分析应用程序,以发现潜在的并发机会;然后通过调度通信任务和计算任务,实现并发执行.超标量通信技术的构思受到了微处理器中的超标量技术的启发,然而硬件的超标量算法在许多方面都不适用于软件.SSVM是一种对运行时系统的扩展,它不需要修改现有的语言、编译器和字节码,因此具有很好的向下兼容性.超标量通信技术有可能开拓一个全新的领域,其特征是针对网络程序的动态优化.
- 李慧霸刘盛云彭宇行李东升周航军卢锡城
- 关键词：程序设计并发线程超标量
