Brief Announcement: Self-stabilizing Virtual Synchrony - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Brief Announcement: Self-stabilizing Virtual Synchrony

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01207862 , version 1

Citer

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⟩

Collections

DISC2015
130 Consultations
79 Téléchargements

Partager

More