DeepAI AI Chat
Log In Sign Up

Amortized Constant Round Atomic Snapshot in Message-Passing Systems

by   Vijay Garg, et al.

We study the lattice agreement (LA) and atomic snapshot problems in asynchronous message-passing systems where up to f nodes may crash. Our main result is a crash-tolerant atomic snapshot algorithm with amortized constant round complexity. To the best of our knowledge, the best prior result is given by Delporte et al. [TPDS, 18] with amortized O(n) complexity if there are more scans than updates. Our algorithm achieves amortized constant round if there are Ω(√(k)) operations, where k is the number of actual failures in an execution and is bounded by f. Moreover, when there is no failure, our algorithm has O(1) round complexity unconditionally. To achieve amortized constant round complexity, we devise a simple early-stopping lattice agreement algorithm and use it to "order" the update and scan operations for our snapshot object. Our LA algorithm has O(√(k)) round complexity. It is the first early-stopping LA algorithm in asynchronous systems.


page 1

page 2

page 3

page 4


Lattice Agreement in Message Passing Systems

This paper studies the lattice agreement problem and the generalized lat...

Byzantine Lattice Agreement in Asynchronous Systems

We study the Byzantine lattice agreement (BLA) problem in asynchronous d...

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

Dynamic Distributed MIS with Improved Bounds

The problem of maintaining a maximal independent set (MIS) in a dynamic ...

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Message-passing models of distributed computing vary along numerous dime...

Reconfigurable Lattice Agreement and Applications

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

The Athena Class of Risk-Limiting Ballot Polling Audits

The main risk-limiting ballot polling audit in use today, BRAVO, is desi...