容错计算机及其同步机制研究.pdfVIP

第十届全国容错计算学术会议 容错计算机及其同步机制研究 戴新发 袁由光 杨升春 (中船重工第709研究所产品研发部 武汉 430074) daixinfa@ 摘要 具有高可靠、高可用的容错计算机在当前各行业需求紧迫。本文分析总结当前国内容错 计算机研发概况，重点对容错计算机同步机制进行分析，将容错计算机研究中经常采用的时钟 同步、松散同步和任务同步原理进行总结论述.提出一种基于COTS技术，利用LINUX操作系 统研发具有透明容错功能任务同步的容错计算机. 关键词 容错计算机 同步机制 任务同步 透明 1引言 日前，计算机的应用日益广一泛，已深入到各个领域，对计算机可靠性的要求也越来越高。不仅航空、 航天、航海这样的高技术和军事领域要求高可靠的计算机，而且银行、证券、交通、石油、化I:.钢铁 等部门也要求具有高可靠的计算机。因此，具有高可靠、高可用的容错计算机研究开发越来越迫切。 容错计算机是在冗余 (硬件冗余、时间兀余、信息冗余、软件冗余)基础上，通过合理的体系结构， 在系统软件的有效管理下而形成的高可靠、高可用计算机。如采用表决技术的三模冗余结构、采用比较 技术的双机冗余结构等。容错计算机的关键是故障检测，而高覆盖的故障检测率都是通过比较或表决实 现，因此容错计算机的核心又是比较表决信息的同步问题，称容错同步问题，它也是容错计算技术中一 个难点。特别是，当前软硬件技术发展水平突飞猛进，芯片集成度不断提高，COTS(commercialofthe shelf)技术日益盛行，己渗透到各个领域，研究开发基于COTS的容错计算机及其同步问题更加突出 2国内外容错计算机系统及其同步机制概述 当前容错计算技术己经进入实用化和工程化阶段。各种主要的、关键的容错技术都己得到了应用， 再加上超大规模集成技术的飞速发展，元器件的功能愈来愈完善，使得容错技术的应用逐步移到功能模 块、子系统，甚至是整个计算机层次上来，出现了一批研制容错计算机的专业公司，如NORDEN公司、 EMM公司、ROLM公司、MILTOPE公司、TANDEM公司和STRATUS公司等。 2.1Stratus容错计算机系列 Stratus产品系列包括支持UNIX操作系统的Continuum)01，容错计算机系统，以及支持Microsoft Windows2000的ftServer)，硬件级容错服务器产品。ftServer硬件级容错服务器结构如图I所示。 侮个StratusftServer产品采用冗余的容错硬件体系结构以消除单点故障，保护数据的完整性、 一致性。冗余部件采用时钟锁步运行— 在同一时间执行相同的指令处理，这样就保证了冗余部件间的 同步。因而即使在部件发生故P9,的情况下，无处理中断、无数据丢失，并且系统性能不降低。部件的热 插拔使服务器保持在线运行时可以进行替换和重配置。 }五国防预研顶目(413160201)资助: 作者简介:峨新发，1974年出生，博士研究生.工程师，主要从事容错技术、实时操作系统研究:袁由光.1941年出生，博导，研究员。IEEE computersocieyt高级会员，主要从事可信性计算、容错计算技术及分布计算系统的研究:杨升春，1971年出生。工程师 主要从事容错技术、 嵌入式系统研究。 第十届全国容错计算学术会议 Lockstep CPUs 图1StratusftServer体系结构示意图 2.2TANDEM(COMPAQ)INTEGRIT丫S2容错计算机 INTEGRITYS20容错计算机由美国Tandem公司研制。其硬件结构见图2所示。该容错计算机有 三个同构的CPU模块，每个都有自己的Cache、局部存储器等，它们执行相同的指令流。两个全局存储 器存放完全相同的数据。四个工//0处理器构成两组对称的工//0子系统。 其同步机制