论文部分内容阅读
本文研究容错协同编辑通信层最主要的目的在于透明地进行容错故障的恢复,尽可能地减少由于回滚产生的计算量,为实时协同编辑系统提供一个可靠的通信层。本文引入故障检测器,建立实时编辑的容错模型,给出相关算法。然后在容错通信模型的基础上,结合实时编辑系统进程失效和链路失效的特点,提出了处理容错实时编辑系统的报文控制的解决方案,通过编辑距离和文档相似度减少网络数据的流量,提高系统可靠性的效率。另一方面,在复制式容错环境下,按照分割理论对网络异常导致的网络分割进行讨论,并用k一致性理论来解释网络分割和网络合并路径的存在性,探索了容错k一致性的解决方法。 在行文结构上,本文首先对Z-Office实时编辑系统通信进行了需求分析。然后介绍相关技术,提出了实时编辑的容错模型,结合k一致性理论分析了网络分割现象。接下来,借助编辑距离和文档相似度,以提高容错报文的效率为主线,设计了一种容错报文的方案,并通过OPNET进行仿真实验测试。然后,基于以上研究分析,设计了通信协议和各种数据结构,实现了Z-Office的容错通信层。最后,对Z-Office容错通信层进行了测试,分析并讨论了系统可用度、MTTR可靠性指标。 本文在CSCW容错通信层上作了一些探索,如容错通信模式和进程转换、容错报文控制、k一致性理论在网络分割中的运用等,可以为同类的容错系统提供参考,具有一定的借鉴意义。