Article

Free access

Structured virtual synchrony: exploring the bounds of virtual synchronous group communication

Authors:

Katherine Guo,

Werner Vogels,

Robbert van RenesseAuthors Info & Claims

EW 7: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications

Pages 213 - 217

https://doi.org/10.1145/504450.504488

Published: 09 September 1996 Publication History

PDF eReader

Abstract

Multipoint communication protocols that offer group membership and virtually synchronous message delivery are commonly believed to be heavyweight and non-scalable. To meet the needs of large-scale computer-supported collaborative work, distributed parallel computing, and future worldwide applications, we designed the Structured Virtual Synchrony (SVS) protocol. The protocol has been implemented as part of Horus, a group communication system developed at Cornell University. It scales up to 800 members, while achieving a one-way latency of 100 milliseconds over groups of 500 members.

References

[1]

Y. Amir, D. Dolev, S. Kramer and D. MalkL Transis: A Communication Sub-System for High-Availability. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing Systems, pages 76-84. IEEE, 1992.]]

Google Scholar

[2]

O. Babaoglu and A. Schiper. On Group Communication in Large-Scale Distributed Systems. In Proceedings of ACM SIGOPS European Workshop, Dagstuhl, Germany, September, 1994]]

Digital Library

Google Scholar

[3]

K.P. Birman. The Process Group Approach to Reliable Distributed Computing. Communications of the ACM, Vol. 36, No. 12, pages 37-53, December 1993.]]

Digital Library

Google Scholar

[4]

S. Deering. Host Extension for IP Multicast. RFC 1112, August 1989.]]

Digital Library

Google Scholar

[5]

M. Hofmann, T. Braun and G. Carle. Multicast Communication in Large-Scale Networks. Third IEEE Workshop on Architecture and Implementation of High Performance Communication Subsystems. pages 147-150, 1995.]]

Google Scholar

[6]

M.G.W. Jones, S. Sorensen and S. R. Wilbur. Protocol Design for Large Group Multicasting: the Message Distribution Protocol. Computer Communications, Vol. 14, No. 5, pages 28%297, June 1991.]]

Digital Library

Google Scholar

[7]

S. Paul, K. Sabnani and D. Kristol. Multicast Transport Protocols for High Speed Networks. In Proceedings of International Conference on Network Protocols, Boston, October 1994]]

Google Scholar

[8]

R. van Renesse, K. P. Birman, B. Glade, K. Guo, M. Hayden, T. M. Hickey, D. Malki, A. Vaysburd and W. Vogels. Horus: A Flexible Group Communication Subsystem. Technical Report TR 95-1500, Comell University, Ithaca, NY, 1995.]]

Digital Library

Google Scholar

[9]

R. van Renesse, K. P. Birman, R. Friedman, M. Hayden and D. A. Karr. A Framework for Protocol Composition in Horus. In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, pages 80-89, Ottawa, Ontario, August, 1995. ACM SIGACT-SIGOPS.]]

Digital Library

Google Scholar

Cited By

View all

Al-Nayeem AKim CKang WWu PSha LErnst RSokolsky O(2013)Middleware design for physically-asynchronous logically-synchronous (PALS) systemsProceedings of the Eleventh ACM International Conference on Embedded Software10.5555/2555754.2555759(1-10)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.5555/2555754.2555759
Al-Nayeem AKim CKang WWu PSha L(2013)Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems2013 Proceedings of the International Conference on Embedded Software (EMSOFT)10.1109/EMSOFT.2013.6658583(1-10)Online publication date: Sep-2013
https://doi.org/10.1109/EMSOFT.2013.6658583
Raghavan NVitenberg R(2011)Balancing the Communication Load of State Transfer in Replicated SystemsProceedings of the 2011 IEEE 30th International Symposium on Reliable Distributed Systems10.1109/SRDS.2011.14(41-50)Online publication date: 4-Oct-2011
https://dl.acm.org/doi/10.1109/SRDS.2011.14
Show More Cited By

Structured virtual synchrony: exploring the bounds of virtual synchronous group communication
1. Networks
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles

Recommendations

Interplay between (im)perfectness, synchrony and connectivity: the case of reliable message transmission
ICDCN'12: Proceedings of the 13th international conference on Distributed Computing and Networking

For unconditionally reliable message transmission (URMT) in synchronous directed networks of n nodes, a subset of which may be malicious, it is well-known that the minimum connectivity requirements for zero-error (perfect) protocols to exist is strictly ...
Synchrony within Triads using Virtual Reality
CSCW2

Synchrony, the natural time-dependence of behavior in human interaction, is a pervasive feature of communication. However, most studies of synchrony have focused on dyadic interaction. In the current work, we explore synchrony in three-person teams using ...
Strong and weak virtual synchrony in Horus
SRDS '96: Proceedings of the 15th Symposium on Reliable Distributed Systems

This paper presents two variants of virtual synchrony, which are supported by Horus. The first variant, called strong virtual synchrony, includes the property that every message is delivered within the view in which it is sent. This property is very ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

EW 7: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications

September 1996

326 pages

ISBN:9781450373395

DOI:10.1145/504450

General Chair:
Andrew Herbert
APM Ltd, Cambridge, UK
,
Program Chair:
Andrew S. Tanenbaum
Vrije Universiteit, Amsterdam

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 September 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

EW96

Sponsor:

EW96: 1996 ACM SIGOPS European Workshop

September 9 - 11, 1996

Connemara, Ireland

Acceptance Rates

Overall Acceptance Rate 37 of 37 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
297
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)1

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Al-Nayeem AKim CKang WWu PSha LErnst RSokolsky O(2013)Middleware design for physically-asynchronous logically-synchronous (PALS) systemsProceedings of the Eleventh ACM International Conference on Embedded Software10.5555/2555754.2555759(1-10)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.5555/2555754.2555759
Al-Nayeem AKim CKang WWu PSha L(2013)Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems2013 Proceedings of the International Conference on Embedded Software (EMSOFT)10.1109/EMSOFT.2013.6658583(1-10)Online publication date: Sep-2013
https://doi.org/10.1109/EMSOFT.2013.6658583
Raghavan NVitenberg R(2011)Balancing the Communication Load of State Transfer in Replicated SystemsProceedings of the 2011 IEEE 30th International Symposium on Reliable Distributed Systems10.1109/SRDS.2011.14(41-50)Online publication date: 4-Oct-2011
https://dl.acm.org/doi/10.1109/SRDS.2011.14
Miller SCofer DSha LMeseguer JAl-Nayeem A(2009)Implementing logical synchrony in integrated modular avionics2009 IEEE/AIAA 28th Digital Avionics Systems Conference10.1109/DASC.2009.5347579(1.A.3-1-1.A.3-12)Online publication date: Oct-2009
https://doi.org/10.1109/DASC.2009.5347579
Burns RHuskamp J(2004)Fastpath Optimizations for Cluster Recovery in Shared-Disk SystemsProceedings of the 2004 ACM/IEEE conference on Supercomputing10.1109/SC.2004.25Online publication date: 6-Nov-2004
https://dl.acm.org/doi/10.1109/SC.2004.25
Frølund SPedone F(2003)Dealing efficiently with data-center disastersJournal of Parallel and Distributed Computing10.1016/S0743-7315(03)00062-563:11(1064-1081)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1016/S0743-7315%2803%2900062-5
Bakr OKeidar IRicciardi A(2002)Evaluating the running time of a communication round over the internetProceedings of the twenty-first annual symposium on Principles of distributed computing10.1145/571825.571864(243-252)Online publication date: 21-Jul-2002
https://dl.acm.org/doi/10.1145/571825.571864
Frølund SPedone F(2002)Ruminations on Domain-Based Reliable BroadcastDistributed Computing10.1007/3-540-36108-1_10(148-162)Online publication date: 24-Oct-2002
https://doi.org/10.1007/3-540-36108-1_10
Heejeong Kim Dongman Lee Hee Yong Youn (2000)A scalable membership service for group communications in WANsProceedings. 2000 Pacific Rim International Symposium on Dependable Computing10.1109/PRDC.2000.897285(59-66)Online publication date: 2000
https://doi.org/10.1109/PRDC.2000.897285
Keidar IKhazan R(2000)A client-server approach to virtually synchronous group multicast: specifications and algorithmsProceedings 20th IEEE International Conference on Distributed Computing Systems10.1109/ICDCS.2000.840946(344-355)Online publication date: 2000
https://doi.org/10.1109/ICDCS.2000.840946
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Interplay between (im)perfectness, synchrony and connectivity: the case of reliable message transmission

Synchrony within Triads using Virtual Reality

Strong and weak virtual synchrony in Horus