Efficient simulation of view synchrony

Authors:
Frej Drejhammar;Seif Haridi
Affiliations:
Swedish Institute of Computer Science, Kista, Sweden;Swedish Institute of Computer Science, Kista, Sweden
Venue:
Proceedings of the Winter Simulation Conference
Year:
2012

Citing 3
Cited 0

Reliable communication in the presence of failures

ACM Transactions on Computer Systems (TOCS)
Group Communication in Partitionable Systems: Specification and Algorithms

IEEE Transactions on Software Engineering
Reliable Distributed Systems: Technologies, Web Services, and Applications

Reliable Distributed Systems: Technologies, Web Services, and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

View synchrony is a communications paradigm for building reliable distributed systems. Testing a protocol using view synchrony with a simulated implementation of view synchrony allows the tested protocol to be exposed to the full timing range allowed by the view synchrony model. This both reduces the complexity of the test environment and increases the confidence in the tested protocol. This paper outlines an algorithm for efficiently simulating view synchrony, including failure-atomic total-order multicast in a discrete-time event simulator.