Distributed storage service is one of the main abstractions provided to the developers of distributed applications due to its capability to hide the complexity generated by the messages exchanged between processes. Many protocols have been proposed to build byzantine-fault-tolerant storage services on top of a message-passing system, but they do not consider the possibility to have servers joining and leaving the computation (churn phenomenon). This phenomenon, if not properly mastered, can either block protocols or violate the safety of the storage. In this paper, we address the problem of building a safe register storage resilient to byzantine failures in a distributed system affected from churn. A protocol implementing a safe register in an eventually synchronous system is proposed and some feasibility constraints on the arrival and departure of the processes are given. The protocol is proved to be correct under the assumption that the constraint on the churn is satisfied. (C) 2013 Elsevier B.V. All rights reserved.
A protocol for implementing byzantine storage in churn-prone distributed systems / Baldoni, Roberto; Bonomi, Silvia; Amir Soltani, Nezhad. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 512:(2013), pp. 28-40. (Intervento presentato al convegno 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) tenutosi a Grenoble, FRANCE nel OCT 10-12, 2011) [10.1016/j.tcs.2013.04.005].
A protocol for implementing byzantine storage in churn-prone distributed systems
BALDONI, Roberto;BONOMI, Silvia;
2013
Abstract
Distributed storage service is one of the main abstractions provided to the developers of distributed applications due to its capability to hide the complexity generated by the messages exchanged between processes. Many protocols have been proposed to build byzantine-fault-tolerant storage services on top of a message-passing system, but they do not consider the possibility to have servers joining and leaving the computation (churn phenomenon). This phenomenon, if not properly mastered, can either block protocols or violate the safety of the storage. In this paper, we address the problem of building a safe register storage resilient to byzantine failures in a distributed system affected from churn. A protocol implementing a safe register in an eventually synchronous system is proposed and some feasibility constraints on the arrival and departure of the processes are given. The protocol is proved to be correct under the assumption that the constraint on the churn is satisfied. (C) 2013 Elsevier B.V. All rights reserved.File | Dimensione | Formato | |
---|---|---|---|
VE_2013_11573-519646.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
630.28 kB
Formato
Adobe PDF
|
630.28 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.