Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Replication in the harp file system
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Integrating runtime consistency models for distributed computing
Journal of Parallel and Distributed Computing
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
ACM Transactions on Computer Systems (TOCS)
Transaction Model vs. Virtual Synchrony Model: Bridging the Gap
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
Replicated File Management in Large-Scale Distributed Systems
Replicated File Management in Large-Scale Distributed Systems
RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems
Newtop: A Fault-Tolerant Group Communication Protocol
Newtop: A Fault-Tolerant Group Communication Protocol
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers
Group communication support for distributed collaboration systems
Cluster Computing
Ad Hoc Membership for Scalable Applications
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
The Bancomat problem: an example of resource allocation in a partitionable asynchronous system
Theoretical Computer Science - Special issue: Distributed computing
A transparent light-weight group service
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
SCADA with Fault Tolerant CORBA on Fault Tolerant LANE ATM
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 16 - Volume 17
Worm-IT - A wormhole-based intrusion-tolerant group communication system
Journal of Systems and Software
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
A step towards a new generation of group communication systems
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
A Stability Criteria Membership Protocol for Ad Hoc Networks
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Future directions in distributed computing
| Hi-index | 0.00 |
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 useful in developing applications, since it helps in minimizing the amount of context information that needs to be sent on messages, and the amount of computation which is required in order to process a message. However, it is shown that in order to support this property, the application program has to block messages during view changes. An alternative definition, called weak virtual synchrony, which can be implemented without blocking messages, is then presented. This definition still guarantees that messages will be delivered within the view in which they were sent, only that it uses a slightly weaker notion of what the view in which a message was sent is. An implementation of weak virtual synchrony that does not block messages during view changes as also developed in this paper.