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.
2013
safe register; dynamic distributed systems; eventually synchronous distributed system; byzantine fault tolerance; churn
01 Pubblicazione su rivista::01a Articolo in rivista
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].
File allegati a questo prodotto
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/519646
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact