非相似容错计算机系统设计及其验证技术研究

来源 :西北工业大学 | 被引量 : 0次 | 上传用户:tsao8883
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
容错计算机可分为相似余度和非相似余度两种形式。相似余度计算机是将一个版本的软件拷贝到各个相同的计算机中,由于软件是同一个版本的拷贝,而版本中的软件故障又难以避免,所以软件复制的同时,也复制了软件中的故障。在某种触发条件下,就可能导致所有余度都出现相同的错误结果。 NVFT是笔者主持研究的我国第一台非相似余度容错计算机系统。本文结合工程背景,在国内首次对采用相异性设计原理实现的非相似余度容错计算机(NVFT)所涉及到的技术及专题进行了系统的研究和探索。所做的研究工作包括:非相似余度计算机系统设计、硬件设计、软件设计,非相似余度计算机的同步/异步设计、通讯设计、软件版本之间交叉表决点、交叉表决向量及监控表决算法的设计研究。最后进行了NVFT的可靠性分析工作,介绍了在验证和测试容错系统过程中非常重要的故障注入器和飞行试验。 NVFT设计采用的相异性设计基本原理是设置多个不同的设计小组,按照同一个规范,分别独立地进行各个余度软硬件的设计、开发、测试和验证。 一般的相异性设计有两种方式实现,即N版本编程和恢复块技术。本文在多机容错系统结构基础上,独到地提出一种新的NR容错计算机结构,并进行了一定的分析,在NVFT中进行了初步的尝试。 规范设计重要的是保证其正确性和完整性。在非相似余度计算机的规范中,需要明确规定实现相异性编程所需的交叉表决点、交叉表决向量等要求。 非相似容错系统运行方式可以为同步方式,也可以是异步运行方式。本文详细地分析了这两种运行方式的特点。本文提出了一种时标机制,完成了在异步条件下通道之间的输入变量的比较和监控。 交叉表决是非相似余度计算机系统的关键设计之一,例如交叉表决点和表决向量的设置。交叉表决设计体现在我们开发的面向飞行控制的软件中。 对非相似容错系统的可靠性和性能分析是本文研究的中的重点之一,本论文提出了用故障树和马尔可夫过程对NVFT系统的可靠性进行了分析的思路。根据我们试验的数据,得到了NVFT系统的可靠性指标。 故障注入是研究容错系统的一个有力工具。软件故障注入是比较难于实现。本文提出了一种新的思路,在硬件故障注入器基础上,实现软件的故障注入。这对于实现容错软件的验证有着重要的意义。
其他文献
从思想观念、制度结构、主体行为三个维度来透析和解剖当代中国社会管理制度创新问题,可以发现,社会管理制度创新的动力主要包括:西方管理思想、科学发展观、和谐社会思想等
工业透平即工业汽轮机,用以驱动其它转动机械,是直接向外输出动力的机械。在大型化肥厂,工业透平具有重要地位,其中作为化肥厂“心脏”的五人机组均由人型汽轮机驱动。工业透
小组合作学习是目前世界上最成功的教学策略之一。几十年的研究与实践表明小组合作学习能激发学生学习的兴趣,增强学生的自信心,大面积提高学生的学业成绩,并且有利于学生形
通过准噶尔盆地百口泉油田百21井区百口泉组冲积扇相储层流动单元特征及空间分布研究,提出了一套以高分辨率层序地层学控制储层细分对比为基础,结合沉积微微相、储层岩石学特
当下中国正处于社会转型的关键期,也是基层社会矛盾的凸显期。基层社会矛盾主要是因为民众民主法治意识的提高与管理者能力缺失,利益主体和格局多元化,利益诉求多样化与社会
<正>鲁迅的《阿长与〈山海经〉》一文被收入人教版初中语文教材八年级上第二单元,"让世界充满爱"是本单元的主题。长期以来,对该文思想内涵的解读都停留在"爱"这个层面,如:"
<正>《我有一个梦想》是马丁·路德·金于1963年8月28日在华盛顿林肯纪念堂发表的著名演讲,这篇感人至深的演讲以种族平等为诉求,文章中深沉厚重的情感不仅在当时感动了美国,
<正>当今,人们的生活节奏骤然提速,在匆匆的步伐中,常常忽略掉重要的东西。反映在教学活动中,教师满足于预设教学任务的完成,学生惬意于习题的草草解答。事实证明,这样的教学
期刊
人类社会的生产方式经历了单件生产——大量生产——精益生产的历程,精益生产方式综合了单件生产和大量生产的优点,是一种高柔性、低成本,以不断消除浪费、精益求精为目的的
<正> 崇祯五年十二月,余住西湖。大雪三日,湖中人鸟声俱绝。是日,更定矣,余拿一小舟,拥毳衣炉火,独往湖心亭看雪。雾凇沆砀,天与云、与山、与水,上下一白。湖上影子,惟长堤一