PROTEUS：提供可靠的CORBA应用的软件BRIJBHUSHANSHRIKANTSABNISB.S.，伊利诺伊大学，1997主题:在提交完成要求的科学硕士学位在计算机科学的大学毕业伊利诺伊大学香槟分校,1998年伊利诺斯州厄巴纳1.介绍许多现代的应用随着分布式计算成长，其标准应运而生，其中之一是通用对象请求代理体系结构（CORBA）的[1]。CORBA提供了一个接口来构建分布式面向对象应用程序的应用开发。对象管理集团（OMG）的CORBA的开发，能够解决或缓和，分布式应用程序开发过程中发生的几个常见问题。他们的成果包括一个语言是编程语言和平台独立的接口定义。他们还提供了一个并在运行时发现的动态调用接口允许执行分布式通信接口，CORBA还设置了应用，如命名，事件和生命周期服务的服务标准。然而，CORBA没有提供一个简单的架构，允许分布式应用程序容错。1.2.容错在本节所介绍的许多概念，是从Delta-4project[2]里得出的。当系统故障发生时，由系统所提供的服务不再符合规格。一个错误是系统状态的一部分，很容易导致失败。这个错误的原因可能是某个环节出错。因此这可以作为一个错误的系统故障的表现，在这个系统中，一个失败的影响是一个错误的服务。容错是在不管错误的前提下提供服务的能力符合规范对服务的效果。容错是通过错误处理和故障处理来实现的，错误处理的目的是消除错误的计算状态，最好是在一个失败发生之前。错误处理也可以进行错误检测和恢复或通过误差补偿。误差补偿是为了防止再次被激活故障。而旨在防止错误成为可见的错误处理，防止进一步的错误造成的故障，用户故障处理是很有必要的。故障处理带来故障诊断，故障钝化，如果可能的话，恢复系统重构程度的冗余，使系统能够承受进一步的故障。故障诊断是确定观测到的错误的原因的过程。故障钝化是阻止故障再次被激活。设计一个容错系统的故障诊断，重要的是要明确界定系统的目的是什么类型的故障容忍和假设的行为发生故障的组件（或故障模式）。如果发生故障的组件从系统的的错误和故障处理设施可以应付不同的行为，那么系统将会失败。在分布式系统中，一个节点的行为可以被定义在消息方面，故障节点发送或不发送。有关节点故障的最常见的假设是无声故障节点（也叫事故故障）。当一个节点停止发送消息或内部状态丢失时，就会发生事故故障。当信息及时到达但是包含错误的内容时就会发生价值故障。时间故障包括故障延误和遗漏。当信息包含正确的内容但是延迟发送了就会发生延迟故障。当没有收到信息时就会发生遗漏故障。1.3。自适应的服务质量样本自适应的服务质量（AQUA）[3]项目旨在通过软件复制来容错CORBA应用程序，软件复制意味着一个软件过程是在多个位置的初始整个系统容忍缺点在一个或多个实例(复制)。AQUA提供了处理错误以及不同类型故障的机制。对于许多应用，容错是在应用程序特定的方式处理。这往往导致嵌入代码内的代码实现的功能要求提供容错。进而会使开发成本和开发时间增加。这是因为软件工程师只有开发代码直到认识到它只是一个被复制的代码。因此软件工程师必须在这种罕见的技能-容错中实践，并开发出更多的代码。CORBA对象请求代理(ORB)简化开发的分布式应用程序自动生成的代码通过远程对象间通讯基于规范接口定义语言(IDL)描述。同样的,旨在提供水份的代码,实现容错应用程序开发者不需要开发代码,弄清其容错性。因为不同的应用程序需要容忍不同类型和数量的缺点,AQUA提供应用程序开发者浅绿色的一个简单的界面指明容错所需的应用价值。许多具有动态的分布式应用的要求。因此,服务提供给分布式应用程序也需要充满活力。因此。服务提供分布式应用程序也必须是动态的。因此，AUQA的另一个目标是提供在运行时可以动态重新配置的容错功能。此外，假设系统总有可用的资源来提供所需的水平的容错性是不可能的。因此，AUQA旨在适应更改系统的配置的同时，提供容错性。AUQA架构是分层的。四层,从上到下,都是CORBA应用本身,质量目标（QUO）。Proteus和Maestro/Ensemble[6.7]。每一层一层高于或低于它的通信。QUO提供与CORBA应用程序接口指定一个高层次的容错要求。Proteus的目的，将其转化为一个系统配置应用程序的高层次需求，提供容错功能，并适应现状层和Maestro/Ensemble层输入的变化。Maestro/Ensemble是为Proteus管理系统提供服务的的一组系统通信系统。为提供可靠性分布式CORBA应用已经做了大量工作。在OpenDREAMS项目[8]旨在提供一个真正的软件复制服务。OpenDREAMS方法有可能成为正式服务，它是建立基于分布式通信,因此可能不相同。该方法可以很容易地使用任何CORBA2.0兼容