一个基于CORBA的复制对象管理框架

采用CORBA实现分布式应用越来越广泛，但CORBA缺乏对分布式可靠应用的支持，在一定程度上限制了其深入应用和发展，分析了当前研究应用领域中容错CORBA系统的优点和缺陷，综合存在的方法提出了一个容错模型，设计了一个复制对象管理框架，描述了其核心对象的管理算法，并基于自主研制的分布计算平台StarBus进行了验证，最后给出了与相关工作的比较。     

基于操作系统调用的容错计算机系统同步技术研究

同步是实现基于表决的容错计算机系统的关键过程．现有的采用基于硬件或应用软件同步技术的系统存在设计和制造困难、兼客性差和难以使用等问题．提出了一种基于操作系统调用的同步机制；描述了其同步算法；介绍了在Linux操作系统上的实现．该同步机制对应用程序完全透明，同步点无需人工设置，同步算法由软件和硬件结合的方式实现．实验结果表明该同步机制是可行的，较好地达到了系统易设计和好使用的目标．     

基于Petri网的交互式双机容错模型

传统的服务器容错模型大多采用复制和冗余机制，给系统造成大量垃圾．本文分析了数据库的体系结构，给出一个具有三层交互式的Petri网容错模型．实现了客错机制和容错策略的分离，体现了系统的动态特性．     

容错CORBA模型的研究与实现

容错CORBA是OMG组织为了适应分布式系统对容错性能的要求而对通用CORBA作的一个扩展，首先简要介绍了容错CORBA规范的一些基本概念以及相关研究，然后提出并实现了一个基于主动复制的容错CORBA模型，该模型利用全序服务实现了对象组成员处理请求的全序性，利用可靠服务保证了所有对象组的成员可以收到相同的请求报文，还在模型的调度机制上进行了研究并进行了系统的优化，实现了性能的提高．     

一种用于容错处理器的指令复制方法

介绍一种在容错处理器中实现指令复制的方法。处理器的容错机制是通过修改超标量体系结构,利用时间冗余技术实现的。指令复制是容错机制的一种重要功能。详细描述了其实现方法,同时论述了结合指令复制方法对程序控制流的正确性进行检测的问题。     

移动代理容错协议的应用比较及其SPN模型

针对移动代理的容错协议没有统一评价标准的现状,比较了移动代理的容错协议在实际系统中的应用,并根据协议所采用的容错机制对各种现有容错协议进行了分类,提出暂时复制、空间复制、管道线、中心控制点分类方法,提出了使用随机Petri网(SPN)作为容错性能评价标准,描述了暂时复制容错协议。     

CORBA分布式系统中网络分割协议可行度分析

对象管理组织(OMG)颁布的容错CORBA通过对象冗余的方式实现容错。但容错CORBA(FT-CORBA)没有对网络分割的问题提供解决方法,即在网络分割的情况下,由于分割子网之间无法传递最新的复制对象状态,导致网络处于不断重复获取复制对象状态的阶段,操作不能继续执行,从而大大降低了系统的可执行性。通过在CORBA中间件中添加附件,在原有的容错机制上,根据对象一致性的要求分级,对不同等级的对象一致性对象采取不同的容错措施来提高系统的可执行性。并对网络分割为3个子网和10个子网的情况下进行了可行度分析验证。当网络分割情况不严重,即使所有子网都没有包含大部分网络节点时,改进的容错机制仍有较好的可执行度。当网络分割成的子网数比较多,网络的可行度与单个子网包含整个分布式系统节点数的多少有关,如果没有一个子网包含分布式系统中大部分节点时,网络的可行度仍然非常低,但仍优于改进前分布式系统的可行度。整个改进机制添加在中件间附件中,无需改变原有的ORB代码。     

云服务可靠性优化方法研究

针对云服务的冗余特性和可靠性保障的需求,探讨了提高云服务可靠性的有效途径。基于云服务的可靠性体系框架和管理模式,提出了信任冗余的云服务可靠性增强总体框架;在服务准备时的冗余设计阶段,基于选举协议的云服务轮询检测机制,设计了信任感知的容错服务选择算法,给出了最小容错服务个数的求解方法;基于服务组合运行时的容错处理框架,提出了保证服务响应时间的基于失效规则的云服务调用策略。实验结果表明,提出的容错服务选择算法和云服务调用策略具有较好的实用性和有效性。     

基于补偿服务链的Web服务容错机制研究与实现

针对网络故障以及Web服务节点暂时性失效,导致Web服务请求出错的问题,提出了一种Web服务容错机制.通过建立服务补偿机制和Web服务会话管理机制达到容错的目的.首先对Web服务的容错性问题进行了分析;接着详细论述了服务补偿机制和容错框架的设计与实现方案;最后通过在政务服务集成系统中的应用实例说明了该容错机制能够有效地增强Web服务请求调用的可靠性.     

CORBA对象的复制技术研究

CORBA是一种当前流行的基于对象技术的中间件平台．CORBA对应用屏蔽了分布式系统的异构性．然而目前许多CORBA系统没有充分地考虑容错问题，而容错是运行在异构环境中的分布式应用的核心问题之一．因此，在最近几年对容错CORBA的研究成为CORBA技术的一个研究热点．本文讨论了对象复制技术的若干问题，提出了基于标准组通信机制的、能够容忍节点故障也能够容忍数值错误的基于选举的主动复制策略．     

一种容错的分布式服务器复制与更新协议

针对分布式环境提出一种容错的文件数据复制与更新机制,其算法/协议建立在分布式算法理论的基础上,具有较强的容错性、故障恢复透明性和较高的效率,支持服务器同步和异步两种复制模式以及客户机启动与服务器启动两种工作方式。该机制可广泛应用于Internet分布式文件系统、分布式数据库、WEB镜像服务器以及分布式软件分发、群集服务器等应用中。     

数据库集群的"无应答严次序发布传播"复制策略

数据库集群服务器的关键技术是数据复制，本文在对比分布式文件系统、可靠型多播、对象组服务以及分布式内存等技术的基础上，提出了“无应答严次序发布传播”复制策略，“发布传播”类似但不同于“发布订阅”模型。该策略采用了IP多播、双钥锁和基于全局／局部／状态次序编号的次序管理机制。双钥锁允许加锁者或下一个申请者释放互斥锁。次序管理遵循4个原则来避免“乱序”、“意图歪曲”、“因果牵制”和“反向因果牵制”四个数据不一致问题。本文详细讨论了该策略的设计目标、主要问题及解决途径、特征、基本原则以及算法轮廓。     

一种通用的动态Web应用加速方案

在内容分发网络基础上,提出一个针对动态Web应用的数据库缓存应用模型。该应用模型采用内容无关缓存和部分复制的机制,通过内容无关缓存方法、基于主从协议模型的缓存一致性策略和基于相似关系的空间聚类算法等,可满足多种动态Web应用加速的需求。实验结果表明,该方法可有效地提高系统负载量,改善用户体验,抵御洪水用户的侵袭。     

一种复制数据库恢复协议研究

数据复制是提高数据库系统性能和可用性的重要技术。近年来出现的基于组通信技术的数据库复制协议较之传统的数据库复制协议因其实现简单灵活、性能较优,在构建实用复制数据库系统时得到广泛应用,维持各节点副本一致性是数据复制技术研究的核心问题。本文讨论了当故障节点恢复后重新加入系统或增加新节点后如何恢复、维护系统节节点副本间的一致性的问题。本文提出了一个针对分布复制数据库系统的恢复协议,该协议结合基于组通信技术的复制协议,可在不影响系统正常事务处理的情况下,实现故障恢复后节点或全新节点重新加入系统时的系统正确恢复,并给出了理论证明。同时还证明,该恢复协议对于分布在不可靠网络上的复制数据库的恢复问题同样适用。     

基于信道占用及优先级的MAC协议退避算法

针对Ad Hoc网络MAC协议（SPMA协议）的退避时间问题,为降低包与包之间的冲突并提高信道利用率,提出了一种基于信道占用及优先级的自适应退避算法（A-COP算法）。分析了退避时间对系统性能的影响以及现有退避算法的不足;根据SPMA协议的特点以及初等函数模型建立退避算法模型;基于OPNET对该模型进行系统仿真,并与原算法协议模型进行比较。仿真结果表明,基于该算法的SPMA协议通过对低优先级业务的接入控制,可使系统吞吐量更加稳定,并且可满足高优先级业务高通信质量的要求。     

带窗口的净增量数据库复制优化算法

数据库复制是保持数据一致性、提高灾难应对能力和数据可访问性的途径。目前常用的复制工具大多采用异步方式,需要处理增量的问题。本文在Daffodil Replicator的基础上,针对数据库净增量复制技术做一些探讨和研究,提出利用窗口算法来平衡产生、传输和解析净增量数据的资源压力和时间代价,对该算法的时间复杂度做出估计,使用采样的方法来拟合时间函数曲线,确定最优情况。     

基于PM-chord算法的数据网格副本定位方法

提出一种数据网格环境下的分布式副本定位算法PM—chord,以完成对所需数据副本的快速定位,降低存储和更新开销。PM—chord取逆时针方向为chord环的正方向,对节点和数据编码后按前缀匹配的原则查询数据,同时增加前继副本机制。分析及实验表明,该算法具有很高的副本定位效率,能够有效解决网格中的查询“热点”问题,具有良好的可靠性和可行性。     

聚类的逻辑文件复制服务机制研究

网格环境下资源的管理和调度是一个非常复杂且具有挑战性的问题。在数据密集型应用中,数据文件的读取延迟时间是至关重要的。提出了一种基于聚类预处理的数据文件复制算法（CBR）,将传输带宽满足一定条件的网格结点通过聚类方法构成一个“逻辑区域”;并介绍了一种改进的LRU算法,考虑了其他计算任务需要的数据文件请求,避免删除未来将使用的数据文件。通过实验证明,该算法得到的计算任务完成时间优于其他两种算法。     

用OAKLEY密钥确定协议在Internet2上建立安全通信连接

该文论述了用ＯＡＫＬＥＹ密钥确定协议在Ｉｎｔｅｒｎｅｔ２上建立安全通信密钥的方法,ＯＡＫＬＥＹ密钥确定协议使得经过身份认证双方可以通过一定的协商建立起安全的保密连接,包括采用何种加密算法,保密通信协议和通信密钥等。这个协议的核心是基于Ｄｉｆｆｉｅ－Ｈｅｌｌｍａｎ密钥交换算法的。     

基于攻击者和秘密的安全协议验证算法的研究与实现

网络的普及便得网络安全问题日益重要,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。本文介绍了几种有代表性的安全协议的形式化验证工具,研究并使用了JAVA语言实现了基于攻击者和秘密的安全协议验证算法。我们提出了身份验证协议必须交换秘密的概念,还为协议的形式化验证过程设计了框架。框架是指针对攻击者和其冒充的角色对原安全协议的改造。我们实现的验证工具是证伪的,即如果攻击者能够成功冒充某主体,则该安全协议是有漏洞的,反之则该协议的安全性得到某种程度的保证。本文还给出了该算法的攻击实例,并且对以后的研究工作进行了展望。