Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The Appia project, http://appia.di.fc.ul.pt/
The Cactus project, http://www.cs.arizona.edu/Cactus/
The Ensemble project, http://www.cs.cornell/Info/Projects/Ensemble/
The X-kernel project, http://www.cs.arizona.edu/xkernel/
Aguilera, M.K., Chen, W., Toueg, S.: Failure detection and consensus in the crash-recovery model. Distributed Computing 13(2), 99–125 (2000)
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)
Chandra, T.D., Hadzilacos, V., Toueg, S.: The weakest failure detector for solving consensus. Journal of ACM 43(4), 685–722 (1996)
Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of ACM 43(2), 225–267 (1996)
Chockler, G.V., Keidar, I., Vitenberg, R.: Group Communication Specifications: A Comprehensive Study. ACM Computing Surveys 4(33), 1–43 (2001)
Flanagan, C., Abadi, M.: Types for Safe Locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, p. 91. Springer, Heidelberg (1999)
Gensoul, C.: Implementing Nuntius in the Objective Caml System. Master’s thesis, EPFL (2004)
Hadzilacos, V., Toueg, S.: Fault-Tolerant Broadcasts and Related Problems. Technical Report 94-1425, Department of Computer Science, Cornell University (May 1994)
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)
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)
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)
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)
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)
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)
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)
The SAMOA Protocol Framework, http://lsrwww.epfl.ch/samoa
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)
Schiper, A.: Dynamic Group Communication. ACM Distributed Computing 18(5), 359–374 (2006)
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)
Wojciechowski, P.T.: Concurrency combinators for declarative synchronization. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 163–178. Springer, Heidelberg (2004)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bünzli, D. et al. (2006). Advances in the Design and Implementation of Group Communication Middleware. In: Kohlas, J., Meyer, B., Schiper, A. (eds) Dependable Systems: Software, Computing, Networks. Lecture Notes in Computer Science, vol 4028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11808107_8
Download citation
DOI: https://doi.org/10.1007/11808107_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36821-2
Online ISBN: 978-3-540-36823-6
eBook Packages: Computer ScienceComputer Science (R0)