论文部分内容阅读
上个世纪九十年代以来,网络通信技术和面向对象软件技术的快速发展极大地促进了人们对分布对象应用需求的增长。可信计算技术对于分布对象应用具有非常重要的作用,但由于传统容错技术大都针对集中式计算环境,缺乏面向对象的可信性保障机制;同时,在面临节点失效、对象崩溃、应用值故障和网络分区等问题时,也日益暴露出局限性。因此,传统容错技术在分布对象环境中往往并不适用。研究面向分布对象环境的可信计算技术无论从研究或工程应用角度都有相当重要的意义和价值。 以中间件、分布对象计算、可信计算和容错计算等相关领域技术为背景,论文研究了面向分布对象环境的可信中间件技术,内容主要涉及组通信复制一致性技术、基于多数表决的主动复制技术、故障管理等,研究工作取得了如下创新性成果: ● 提出一种适用于分区网络环境的组通信复制一致性协议。分布对象环境由于网络的动态性和不确定性的特点以及应用自身的特性将产生频繁的网络分区,传统的以虚同步机制为基础的组通信复制一致性协议对可靠网络硬件连接具有较强的依赖性,并对网络分区的处理存在明显缺陷。针对这种情况,论文提出了一种适用于分区网络环境的组通信复制一致性协议。该协议引入了最终路径,实现了更新信息在网络分区情况下的传播;采用了基于版本号的动态线性选举算法保证复制更新的全局一致性;弥补了依赖于可靠硬件网络连接的虚拟同步机制的缺陷和现有复制一致性协议的不足。仿真研究证明了该协议对网络分区的处理是可行、高效的。 ● 提出一种可支持屏蔽崩溃故障和值故障的复制协议。分布对象环境中,不仅节点失效、对象崩溃和网络分区会导致故障,而且不正确的应用行为也会产生值故障,输出错误的结果。针对这个问题,论文提出了一种可支持屏蔽崩溃故障和值故障的复制协议。该协议引入了基组的概念,实现了不同组之间成员关系改变信息的传播;采用了基于客户端和服务端的主动复制和多数表决算法,支持对崩溃故障和值故障的同时处理;考虑了表决过程中组成员数和多数值大小的改变问题,在保证表决算法的正确性的同时克服了已有协议处理值故障的不足和性能不佳的缺陷。性能测试的结果说明了该协议对于支持屏蔽崩溃故障和