分布环境下容错组成员主动退出组行为的研究

主动复制技术是增强分布系统容错能力的有效方法之一,它复制系统的关键部件构成容错组.首先分析了组成员退出组行为的三种语义,总结了组成员参与的组活动,得出了组成员要安全退出组所需要满足的条件.针对快速退出语义,提出了解决方案,详细讨论了非空协议和中继协议,并给出了协议正确性和可终结性的理论证明.该解决方案可作为构造实用、可操作的组管理模块的有用构件.