Brief Announcement: Self-stabilizing Virtual Synchrony - DIStributed Computing 2015 Access content directly
Conference Papers Year : 2015

Brief Announcement: Self-stabilizing Virtual Synchrony


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.
Fichier principal
Vignette du fichier
17-BA.pdf (159.33 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01207862 , version 1 (01-10-2015)


  • HAL Id : hal-01207862 , version 1


Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad M. Schiller. Brief Announcement: Self-stabilizing Virtual Synchrony. DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨hal-01207862⟩


91 View
56 Download


Gmail Facebook X LinkedIn More