409 research outputs found
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version)
Many distributed systems work on a common shared state; in such systems,
distributed agreement is necessary for consistency. With an increasing number
of servers, these systems become more susceptible to single-server failures,
increasing the relevance of fault-tolerance. Atomic broadcast enables
fault-tolerant distributed agreement, yet it is costly to solve. Most practical
algorithms entail linear work per broadcast message. AllConcur -- a leaderless
approach -- reduces the work, by connecting the servers via a sparse resilient
overlay network; yet, this resiliency entails redundancy, limiting the
reduction of work. In this paper, we propose AllConcur+, an atomic broadcast
algorithm that lifts this limitation: During intervals with no failures, it
achieves minimal work by using a redundancy-free overlay network. When failures
do occur, it automatically recovers by switching to a resilient overlay
network. In our performance evaluation of non-failure scenarios, AllConcur+
achieves comparable throughput to AllGather -- a non-fault-tolerant distributed
agreement algorithm -- and outperforms AllConcur, LCR and Libpaxos both in
terms of throughput and latency. Furthermore, our evaluation of failure
scenarios shows that AllConcur+'s expected performance is robust with regard to
occasional failures. Thus, for realistic use cases, leveraging redundancy-free
distributed agreement during intervals with no failures improves performance
significantly.Comment: Overview: 24 pages, 6 sections, 3 appendices, 8 figures, 3 tables.
Modifications from previous version: extended the evaluation of AllConcur+
with a simulation of a multiple datacenters deploymen
Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information
This paper addresses the problem of resilient consensus in the presence of
misbehaving nodes. Although it is typical to assume knowledge of at least some
nonlocal information when studying secure and fault-tolerant consensus
algorithms, this assumption is not suitable for large-scale dynamic networks.
To remedy this, we emphasize the use of local strategies to deal with
resilience to security breaches. We study a consensus protocol that uses only
local information and we consider worst-case security breaches, where the
compromised nodes have full knowledge of the network and the intentions of the
other nodes. We provide necessary and sufficient conditions for the normal
nodes to reach consensus despite the influence of the malicious nodes under
different threat assumptions. These conditions are stated in terms of a novel
graph-theoretic property referred to as network robustness.Comment: This report contains the proofs of the results presented at HiCoNS
201
Broadcast Gossip Algorithms for Consensus on Strongly Connected Digraphs
We study a general framework for broadcast gossip algorithms which use
companion variables to solve the average consensus problem. Each node maintains
an initial state and a companion variable. Iterative updates are performed
asynchronously whereby one random node broadcasts its current state and
companion variable and all other nodes receiving the broadcast update their
state and companion variable. We provide conditions under which this scheme is
guaranteed to converge to a consensus solution, where all nodes have the same
limiting values, on any strongly connected directed graph. Under stronger
conditions, which are reasonable when the underlying communication graph is
undirected, we guarantee that the consensus value is equal to the average, both
in expectation and in the mean-squared sense. Our analysis uses tools from
non-negative matrix theory and perturbation theory. The perturbation results
rely on a parameter being sufficiently small. We characterize the allowable
upper bound as well as the optimal setting for the perturbation parameter as a
function of the network topology, and this allows us to characterize the
worst-case rate of convergence. Simulations illustrate that, in comparison to
existing broadcast gossip algorithms, the approaches proposed in this paper
have the advantage that they simultaneously can be guaranteed to converge to
the average consensus and they converge in a small number of broadcasts.Comment: 30 pages, submitte
- …