| Active leave behavior of members in a fault-tolerant group |
| |
| 引用本文： | WANG Yun Department of Computer Science and Engineering,Southeast University,Nanjing 210096,China (email: yunwang@seu.edu.cn). Active leave behavior of members in a fault-tolerant group[J]. 中国科学F辑(英文版), 2004, 47(2): 260-272. DOI: 10.1360/03yf0280 |
| |
| 作者姓名： | WANG Yun Department of Computer Science and Engineering Southeast University Nanjing 210096 China (email: yunwang@seu.edu.cn) |
| |
| 摘 要： | With the fast development of network applications, there are more asynchronous distributed systems and more requirements for fault tolerance. Asynchrony means there is no upper bound for either message transfer or operation execution. Active replication is an effective means to enhance fault tolerant capability in distributed systems. A key component in a system is replicated and all the replicas make up of a fault-tolerant group. Members in such a group execute all client requests and then re…
|
Active leave behavior of members in a fault-tolerant group |
| |
| Wang Yun. Active leave behavior of members in a fault-tolerant group[J]. Science in China(Information Sciences), 2004, 47(2): 260-272. DOI: 10.1360/03yf0280 |
| |
| Authors: | Wang Yun |
| |
| Affiliation: | Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China |
| |
| Abstract: | Active replication is an effective means to enhance fault tolerant capability in distributed systems. A fault-tolerant group is composed of replicas of key components in a system. This paper analyzes three types of leave semantics of group members, and manifests activities a group member involves. Then it educes requirements for a group member to safely leave. As to quick-leave semantics, this paper proposes a solution and discusses the non-empty protocol and relay protocol in detail. Further, it gives proofs of correctness and termination property of the protocols. The solution is a building block for a practical and operational group membership module. |
| |
| Keywords: | leave behavior group membership distributed protocol termination. |
| 本文献已被 CNKI 万方数据 SpringerLink 等数据库收录！ |
