Asynchronous Reconfiguration with Byzantine Failures

05/27/2020
by   Petr Kuznetsov, et al.
0

Replicated services are inherently vulnerable to failures and security breaches. In a long-running system, it is, therefore, indispensable to maintain a reconfiguration mechanism that would replace faulty replicas with correct ones. An important challenge is to enable reconfiguration without affecting the availability and consistency of the replicated data: the clients should be able to get correct service even when the set of service replicas is being updated. In this paper, we address the problem of reconfiguration in the presence of Byzantine failures: faulty replicas or clients may arbitrarily deviate from their expected behavior. We describe a generic technique for building asynchronous and Byzantine fault-tolerant reconfigurable objects: clients can manipulate the object data and issue reconfiguration calls without reaching consensus on the current configuration. Our solution makes sure that superseded and possibly compromised configurations are harmless, that slow clients cannot be fooled into reading stale data, and that Byzantine clients cannot cause a denial of service by affluent reconfiguration calls. Our approach is modular and based on dynamic lattice agreement abstraction, and we discuss how to extend it to enable Byzantine-fault-tolerant implementations of a large class of reconfigurable replicated services.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/21/2019

Reconfigurable Lattice Agreement and Applications

Reconfiguration is one of the central mechanisms in distributed systems....
research
02/17/2020

Byzantine Lattice Agreement in Asynchronous Systems

We study the Byzantine lattice agreement (BLA) problem in asynchronous d...
research
07/27/2023

Self-stabilizing Byzantine-tolerant Recycling

Numerous distributed applications, such as cloud computing and distribut...
research
05/11/2021

Accountability and Reconfiguration: Self-Healing Lattice Agreement

An accountable distributed system provides means to detect deviations of...
research
09/29/2021

Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol

Causal consistency is a widely used weak consistency model that allows h...
research
07/04/2022

On implementing SWMR registers from SWSR registers in systems with Byzantine failures

The implementation of registers from (potentially) weaker registers is a...
research
04/09/2023

On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)

We uncover the extend-only directed posets (EDP) structure as a unificat...

Please sign up or login with your details

Forgot password? Click here to reset