10.3969/j.issn.1674-7259.2003.12.003
分布环境下容错组成员主动退出组行为的研究
主动复制技术是增强分布系统容错能力的有效方法之一, 它复制系统的关键部件构成容错组. 首先分析了组成员退出组行为的三种语义, 总结了组成员参与的组活动, 得出了组成员要安全退出组所需要满足的条件. 针对快速退出语义, 提出了解决方案, 详细讨论了非空协议和中继协议, 并给出了协议正确性和可终结性的理论证明. 该解决方案可作为构造实用、可操作的组管理模块的有用构件.
退出组行为、组管理、分布式协议、可终结性
33
TP3(计算技术、计算机技术)
国家自然科学基金60273038
2004-02-13(万方平台首次上网日期,不代表论文的发表时间)
共10页
1077-1086