DeepAI AI Chat
Log In Sign Up

Accountability and Reconfiguration: Self-Healing Lattice Agreement

by   Luciano Freitas de Souza, et al.

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.


page 1

page 2

page 3

page 4


Reconfigurable Lattice Agreement and Applications

Reconfiguration is one of the central mechanisms in distributed systems....

Linearizable Replicated State Machines with Lattice Agreement

This paper studies the lattice agreement problem in asynchronous systems...

Asynchronous Reconfiguration with Byzantine Failures

Replicated services are inherently vulnerable to failures and security b...

Byzantine Generalized Lattice Agreement

The paper investigates the Lattice Agreement (LA) problem in asynchronou...

Byzantine Approximate Agreement on Graphs

Consider a distributed system with n processors out of which f can be By...

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...

Asynchronous Diffusion of Data on Networked Lattices

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