Skip to main content
SpringerLink
Log in

Active leave behavior of members in a fault-tolerant group

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Polledna, S., Fault Tolerant Real-Time Systems: The Problem of Replica Determinism, Boston: Kluwer Academic Publishers, 1995.

    Google Scholar 

  2. Guerraoui, R., Schiper, A., The generic consensus service, IEEE Transactions on Software Engineering, 2001, 27(1): 29–41.

    Article  MathSciNet  Google Scholar 

  3. Chandra, T., Toueg, S., Unreliable failure detectors for reliable distributed systems, Journal of ACM, 1996, 34(1):225–267.

    Article  MathSciNet  Google Scholar 

  4. Schiper, A., Early consensus in an asynchronous system with a weak failure detector, Distributed Computing, 1997, 10(3): 149–157.

    Article  Google Scholar 

  5. Hurfin, M., Mostefaoui, A., Raynal, M., Consensus in asynchronous systems where processes can crash and recover, in Proceedings of 17th IEEE Symposium on Reliable Distributed Systems, 1998, 280–286.

  6. Chandra, T., Hadzilacos, V., Toueg, S., The weakest failure detector for solving consensus, Journal of ACM, 1996, 43(4): 685–722.

    Article  MATH  MathSciNet  Google Scholar 

  7. Chockler, G., Keidar, I., Vitenberg, R., Group communication specification: A comprehensive survey, ACM Computing Surveys, 2001, 33(4): 427–469.

    Article  Google Scholar 

  8. Renesse, R., Birman, K., Maffeis, S., Horus: A flexible group communication system, Comm. ACM, 1996, 39(4): 76–83.

    Article  Google Scholar 

  9. Amir, Y., Moser, L., Melliar-Smith, M. et al., The Totem single-ring ordering and membershuo protocol, ACM Transactions on Computer Systems, 1995, 13(4): 311–342.

    Article  Google Scholar 

  10. Moser, L., Melliar-Smith, P., Agarwal, D. et al., Totem: A fault-Tolerant multicast group communication system, Comm. ACM, 1996, 39(4): 54–63.

    Article  Google Scholar 

  11. Dolev, D., Malki, D., The transis approach to high availability cluster communication, Comm ACM, 1996, 39(4): 64–70.

    Article  Google Scholar 

  12. Dolev, D., Malki, D., The design of the transis system, Theory and Practice in Distributed Systems, 1995, 83–98.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Southeast University, 210096, Nanjing, China

    Wang Yun

Authors
  1. Wang Yun
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, Y. Active leave behavior of members in a fault-tolerant group. Sci China Ser F 47, 260–272 (2004). https://doi.org/10.1360/03yf0280

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1360/03yf0280

Keywords

Search

Navigation