this paper we consider the arbitrary (Byzantine) failure of data repositories and present the first study of quorum system requirements and constructions that ensure data availability and consistency despite these failures. We also consider the load associated with our quorum systems, i.e., the minimal access probability of the busiest server. For services subject to arbitrary failures, we demonstrate quorum systems over n servers with a load of O( ), thus meeting the lower bound on load for benignly fault-tolerant quorum systems. We explore several variations of our quorum systems and extend our constructions to cope with arbitrary client failures
|
6121
|
Introduction to Algorithms
– Cormen, Leiserson, et al.
- 2001
|
|
2091
|
A method for obtaining digital signatures and public-key cryptosystems
– Rivest, Shamir, et al.
- 1997
|
|
1320
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
1143
|
Transaction Processing: Concepts and Techniques
– Gray, Reuter
- 1993
|
|
1072
|
How to Share a Secret
– Shamir
- 1979
|
|
1028
|
System architecture directions for network sensors
– Hill, Szewczyk, et al.
- 2000
|
|
867
|
The Byzantine Generals Problem
– Lamport, Shostak, et al.
- 1982
|
|
813
|
Myrinet: A gigabit-per-second local area network
– Boden, Cohen, et al.
- 1995
|
|
600
|
Transmission Control Protocol
– Postel
- 1981
|
|
589
|
Implementing fault-tolerant services using the state machine approach: a tutorial
– Schneider
- 1990
|
|
456
|
Weighted voting for replicated data
– Gifford
- 1979
|
|
377
|
Efficient Dispersal of Information for Security, Load Balancing and Fault Tolerance
– Rabin
- 1989
|
|
373
|
Practical Byzantine Fault Tolerance
– Castro, Liskov
- 1999
|
|
351
|
Authentication in distributed systems: Theory and practice
– LAMPSON, ABADI, et al.
- 1992
|
|
272
|
A.: A digital fountain approach to reliable distribution of bulk data
– Byers, Luby, et al.
- 1998
|
|
262
|
A Majority Consensus Approach to Concurrency Control
– Thomas
- 1979
|
|
182
|
A pn algorithm for mutual exclusion in decentralized systems
– Maekawa
- 1985
|
|
172
|
Rover: A toolkit for mobile information access
– Joseph, deLespinasse, et al.
- 1995
|
|
167
|
The bayou architecture: Support for data sharing among mobile users
– Demers
- 1994
|
|
160
|
How to assign votes in a distributed system
– Garcia-Molina, Barbara
- 1985
|
|
153
|
Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart
– Reiter
- 1994
|
|
124
|
Replication Methods for Abstract Data Types
– Herlihy
- 1984
|
|
118
|
Atomic snapshots of shared memory
– Afek, Attiya, et al.
- 1993
|
|
117
|
Autonet: A high-speed self configuring local area network using point-to-point links
– Schroeder, Birrell, et al.
- 1990
|
|
116
|
Asynchronous consensus and broadcast protocols
– Bracha, Toueg
- 1985
|
|
113
|
The Rampart Toolkit for building high-integrity Services," Theory and
– Reiter
- 1995
|
|
112
|
Measuring the capacity of a web server
– Banga, Druschel
- 1997
|
|
112
|
On interprocess communication
– Lamport
- 1985
|
|
109
|
Proactive Recovery in a Byzantine-Fault-Tolerant System
– Castro, Liskov
- 2000
|
|
101
|
The grid protocol: A high performance scheme for maintaining replicated data
– Cheung, Ammar, et al.
- 1992
|
|
89
|
Composite registers
– Anderson
- 1993
|
|
88
|
Availability in Partitioned Replicated Databases
– Abbadi, Toueg
- 1986
|
|
80
|
Hierarchical quorum consensus: A new algorithm for managing replicated data
– Kumar
- 1991
|
|
79
|
End-to-end wan service availability
– Chandra, Dahlin, et al.
- 2001
|
|
75
|
Sharing memory robustly in message-passing systems
– Attiya, Bar-Noy, et al.
- 1995
|
|
71
|
Secure and scalable replication in phalanx
– Malkhi, Reiter
- 1998
|
|
69
|
The Load, capacity and availability of quorum systems
– Naor, Wool
- 1994
|
|
63
|
An efficient and fault-tolerant solution for distributed mutual exclusion
– Agrawal, El-Abbadi
- 1991
|
|
61
|
SPX: Global Authentication using public key certificates
– Tardo, Alagappan
- 1992
|
|
61
|
using abstraction to improve fault tolerance
– Base
- 2001
|
|
60
|
The case for packet level FEC
– HUITEMA
- 1996
|
|
59
|
Internet Privacy Enhanced mail
– Kent
- 1993
|
|
51
|
The reliability of vote mechanisms
– Barbara, Garcia-Molina
- 1987
|
|
50
|
On interprocess communication; part II: Algorithms
– Lamport
- 1986
|
|
49
|
Coverings and colorings of hypergraphs
– Lov'asz
- 1973
|
|
49
|
Tolerating failures of continuous-valued sensors
– Marzullo
- 1990
|
|
44
|
A.: Efficient Program Transformations for Resilient Parallel Computation via Randomization
– Kedem, Palem, et al.
- 1992
|
|
43
|
Bounded concurrent time-stamp systems are constructible
– Dolev, Shavit
- 1989
|
|
43
|
The load and availability of Byzantine quorum systems
– Malkhi, Reiter, et al.
- 1997
|
|
41
|
How to make replicated data secure
– Herlihy, Tygar
- 1987
|