Advances in the Design and Implementation of Group Communication Middleware

  • Daniel Bünzli
  • Rachele Fuzzati
  • Sergio Mena
  • Uwe Nestmann
  • Olivier Rütti
  • André Schiper
  • Paweł T. Wojciechowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4028)


Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within the group. The goal of the project was to improve the state of the art of group communication in several directions: protocol frameworks, group communication stacks, specification, verification and robustness. The paper discusses the results obtained.


Group Communication Correct Process Operational Semantic Failure Detector Fault Injection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    The Appia project,
  2. 2.
  3. 3.
    The Ensemble project, http://www.cs.cornell/Info/Projects/Ensemble/Google Scholar
  4. 4.
    The X-kernel project,
  5. 5.
    Aguilera, M.K., Chen, W., Toueg, S.: Failure detection and consensus in the crash-recovery model. Distributed Computing 13(2), 99–125 (2000)CrossRefGoogle Scholar
  6. 6.
    Bünzli, D.C., Mena, S., Nestmann, U.: Protocol composition frameworks, a header-driven model. In: Proceedings of the IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA (2005)Google Scholar
  7. 7.
    Chandra, T.D., Hadzilacos, V., Toueg, S.: The weakest failure detector for solving consensus. Journal of ACM 43(4), 685–722 (1996)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of ACM 43(2), 225–267 (1996)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Chockler, G.V., Keidar, I., Vitenberg, R.: Group Communication Specifications: A Comprehensive Study. ACM Computing Surveys 4(33), 1–43 (2001)Google Scholar
  10. 10.
    Flanagan, C., Abadi, M.: Types for Safe Locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, p. 91. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  11. 11.
    Gensoul, C.: Implementing Nuntius in the Objective Caml System. Master’s thesis, EPFL (2004)Google Scholar
  12. 12.
    Hadzilacos, V., Toueg, S.: Fault-Tolerant Broadcasts and Related Problems. Technical Report 94-1425, Department of Computer Science, Cornell University (May 1994)Google Scholar
  13. 13.
    Mena, S., Basile, C., Kalbarczyk, Z., Schiper, A., Iyer, R.: Assessing the crash-failure assumption of group communication protocols. In: Proceedings of 16th IEEE Int’l Symp. on Software Reliability Engineering (ISSRE) (November 2005)Google Scholar
  14. 14.
    Mena, S., Cuvellier, X., Grégoire, C., Schiper, A.: Appia vs. Cactus: Comparing protocol composition frameworks. In: 22nd Symposium on Reliable Distributed Systems, Florence, Italy (October 2003)Google Scholar
  15. 15.
    Mena, S., Schiper, A.: A new look at atomic broadcast in the asynchronous crash-receovery model. In: Proceedings of the 24th Symposium on Reliable Distributed Systems (SRDS 2005), Orlando, Florida (October 2005)Google Scholar
  16. 16.
    Mena, S., Schiper, A., Wojciechowski, P.T.: A Step Towards a New Generation of Group Communication Systems. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol. 2672, pp. 414–432. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    Nestmann, U., Fuzzati, R.: Unreliable failure detectors via operational semantics. In: Saraswat, V.A. (ed.) ASIAN 2003. LNCS, vol. 2896, pp. 54–71. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  18. 18.
    Nestmann, U., Fuzzati, R., Merro, M.: Modeling consensus in a process calculus. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 399–414. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Rodrigues, L., Raynal, M.: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. IEEE Transactions on Knowledge and Data Engineering 15(5), 1205–1217 (2003)CrossRefGoogle Scholar
  20. 20.
    The SAMOA Protocol Framework,
  21. 21.
    Schiper, A.: Dependable systems. In: Kohlas, J., Meyer, B., Schiper, A. (eds.) Dependable Systems: Software, Computing, Networks. LNCS, vol. 4028, pp. 34–54. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  22. 22.
    Schiper, A.: Dynamic Group Communication. ACM Distributed Computing 18(5), 359–374 (2006)CrossRefGoogle Scholar
  23. 23.
    Tanasescu, V., Wojciechowski, P.T.: Role-based declarative synchronization for reconfigurable systems. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol. 3350, pp. 52–66. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  24. 24.
    Wojciechowski, P.T.: Concurrency combinators for declarative synchronization. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 163–178. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  25. 25.
    Wojciechowski, P.T.: Isolation-only transactions by typing and versioning. Technical Report IC-2004-104, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL), p.47 (December 2004)Google Scholar
  26. 26.
    Wojciechowski, P.T.: Isolation-only transactions by typing and versioning. In: Proceedings of PPDP 2005: The 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Lisboa, Portugal (July 2005)Google Scholar
  27. 27.
    Wojciechowski, P.T., Rütti, O.: On correctness of dynamic protocol update. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 275–289. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  28. 28.
    Wojciechowski, P.T., Rütti, O., Schiper, A.: SAMOA: Framework for Synchronisation Augmented Microprotocol Approach. In: Proceedings of IPDPS 2004: The 18th IEEE International Parallel and Distributed Processing Symposium, Santa Fe, USA (April 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Daniel Bünzli
    • 1
  • Rachele Fuzzati
    • 1
  • Sergio Mena
    • 1
  • Uwe Nestmann
    • 1
  • Olivier Rütti
    • 1
  • André Schiper
    • 1
  • Paweł T. Wojciechowski
    • 1
  1. 1.Ecole Polytechnique Fédérale de Lausanne (EPFL)LausanneSwitzerland

Personalised recommendations