Accountability and Reconfiguration: Self-Healing Lattice Agreement

05/11/2021
by   Luciano Freitas de Souza, et al.
0

An accountable distributed system provides means to detect deviations of system components from their expected behavior. It is natural to complement fault detection with a reconfiguration mechanism, so that the system could heal itself, by replacing malfunctioning parts with new ones. In this paper, we describe a framework that can be used to implement a large class of accountable and reconfigurable replicated services. We build atop the fundamental lattice agreement abstraction lying at the core of storage systems and cryptocurrencies. Our asynchronous implementation of accountable lattice agreement ensures that every violation of consistency is followed by an undeniable evidence of misbehavior of a faulty replica. The system can then be seamlessly reconfigured by evicting faulty replicas, adding new ones and merging inconsistent states. We believe that this paper opens a direction towards asynchronous "self-healing" systems that combine accountability and reconfiguration.

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
10/13/2018

Linearizable Replicated State Machines with Lattice Agreement

This paper studies the lattice agreement problem in asynchronous systems...
research
05/27/2020

Asynchronous Reconfiguration with Byzantine Failures

Replicated services are inherently vulnerable to failures and security b...
research
10/13/2019

Byzantine Generalized Lattice Agreement

The paper investigates the Lattice Agreement (LA) problem in asynchronou...
research
08/07/2019

Byzantine Approximate Agreement on Graphs

Consider a distributed system with n processors out of which f can be By...
research
03/17/2020

Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement

We present an algorithm for implementing a store-collect object in an as...
research
04/01/2022

Asynchronous Diffusion of Data on Networked Lattices

We study time-dependent dynamics on a network of algebraic lattices, whe...

Please sign up or login with your details

Forgot password? Click here to reset