论文部分内容阅读
主动复制技术是增强分布系统容错能力的有效方法之一,它复制系统的关键部件构成容错组.首先分析了组成员退出组行为的三种语义,总结了组成员参与的组活动,得出了组成员要安全退出组所需要满足的条件.针对快速退出语义,提出了解决方案,详细讨论了非空协议和中继协议,并给出了协议正确性和可终结性的理论证明.该解决方案可作为构造实用、可操作的组管理模块的有用构件.
Active replication technology is one of the effective ways to enhance the fault-tolerant ability of distributed systems, and its key components of the replication system constitute a fault-tolerant group.Firstly, the three semantics of the group member’s exit group behavior are analyzed, the group activities that the group members participate in are summarized, Group members need to meet the conditions of the group to be safely exited.For the rapid exit semantics, a solution is proposed, the non-null protocol and the relay protocol are discussed in detail, and the theoretical proof of the correctness and feasibility of the protocol is given. The solution serves as a useful component for constructing a practical and actionable group management module.