Brief Announcement: Self-stabilizing Virtual Synchrony

Abstract : Systems satisfying the Virtual Synchrony (VS) [2] property provide message multicast and group membership services in which all system events, group membership changes, and incoming messages, are delivered in the same order. VS is an important abstraction, proven to be extremely useful when implemented over asynchronous, typically large-scale, message-passing distributed systems, as it simplifies the design of distributed applications, e.g., State Machine Replication (SMR). The VS property ensures that two or more processors that participate in two consecutive communicating groups should have delivered the same messages. Self-stabilizing systems [1,3] can tolerate transient faults that drive the system to an unpredicted arbitrary configuration. Such sys- tems automatically regain consistency from any such configuration, and then produce the desired system behavior ensuring it for a practically infinite number of successive steps, e.g., 264 steps. We present the first, to our knowledge, self-stabilizing virtual synchrony algorithm.
Document type :
Conference papers
Yoram Moses; Matthieu Roy. DISC 2015, Oct 2015, Tokyo, Japan. Springer-Verlag Berlin Heidelberg, LNCS 9363, 29th International Symposium on Distributed Computing
Liste complète des métadonnées

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01207862
Contributor : Matthieu Roy <>
Submitted on : Thursday, October 1, 2015 - 2:35:23 PM
Last modification on : Monday, October 5, 2015 - 10:45:41 AM
Document(s) archivé(s) le : Saturday, January 2, 2016 - 11:04:07 AM

File

17-BA.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01207862, version 1

Collections

Citation

Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad M. Schiller. Brief Announcement: Self-stabilizing Virtual Synchrony. Yoram Moses; Matthieu Roy. DISC 2015, Oct 2015, Tokyo, Japan. Springer-Verlag Berlin Heidelberg, LNCS 9363, 29th International Symposium on Distributed Computing. 〈hal-01207862〉

Share

Metrics

Record views

49

Files downloads

51