|
|||||
|
|
| 分布环境下容错组成员主动退出组行为的研究 | |
| 引用本文： | 汪芸.分布环境下容错组成员主动退出组行为的研究[J].中国科学(E辑),2003,33(12):1077-1086. |
| 作者姓名： | 汪芸 |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096 |
| 基金项目： | 国家自然科学基金(批准号:60273038) |
| 摘 要： | 主动复制技术是增强分布系统容错能力的有效方法之一, 它复制系统的关键部件构成容错组. 首先分析了组成员退出组行为的三种语义, 总结了组成员参与的组活动, 得出了组成员要安全退出组所需要满足的条件. 针对快速退出语义, 提出了解决方案, 详细讨论了非空协议和中继协议, 并给出了协议正确性和可终结性的理论证明. 该解决方案可作为构造实用、可操作的组管理模块的有用构件. |
| 关 键 词： | 组管理 分布式协议 可终结性 退出组行为 |
| 收稿时间： | 2003-06-20 |
| 修稿时间： | 2003-09-05 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学(E辑)》浏览原始摘要信息 | |
| 点击此处可从《中国科学(E辑)》下载免费的PDF全文 | |