Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer

Autor:	Cohen, Shir, Keidar, Idit
Rok vydání:	2021
Předmět:	Computer Science - Distributed Parallel and Cluster Computing
Druh dokumentu:	Working Paper
DOI:	10.4230/LIPIcs.DISC.2021.18
Popis:	We formalize Byzantine linearizability, a correctness condition that specifies whether a concurrent object with a sequential specification is resilient against Byzantine failures. Using this definition, we systematically study Byzantine-tolerant emulations of various objects from registers. We focus on three useful objects -- reliable broadcast, atomic snapshot, and asset transfer. We prove that there is an $f$-resilient implementation of such objects from registers with $n$ processes $f<\frac{n}{2}$. Comment: This version includes appendix that was missing in the previous one
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2102.10597 Zobrazit plný text záznamu View this record from Arxiv