by Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers
In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles
http://www-2.cs.cmu.edu/afs/cs.cmu.edu/user/satya/Web/MCSALINK/PAPERS/terry95.pdf
Add To MetaCart
Abstract:
Bayou is a replicated, weakly consmtent storage system designed for a mobile computing environment that includes portable machines with less than ideal network connectivity. To maximize availabdity, users can read and write any accessible replica. Bayou’s design has focused on supporting apphcation-specific mechanisms to detect and resolve the update conflicts that naturally arise in such a system, ensuring that replicas move towards eventual consistency, and defining a protocol by which the resolution of update conflicts stabilizes, It includes novel methods for confhct detection, called dependency checks, and per-write conflict resolution based on client-provided merge procedures. To guarantee eventual consistency, Bayou servers must be able to rollback the effects of previously executed writes and redo them according to a global serialization order. Furthermore, Bayou per-mits clients to observe the results of all writes received by a server, mchrding tentative writes whose conflicts have not been ultimately resolved. This paper presents the motivation for and design of these mechanisms and describes the experiences gained with an initial implementation of the system. 1.
Citations
|
1747
|
Time, clocks and the ordering of events in a distributed system
– Lamport
- 1978
|
|
1147
|
Tcl and the Tk Toolkit
– Ousterhout
- 1994
|
|
749
|
Disconnected Operation in the CODA file system
– Satyanarayanan, Kistler
- 1992
|
|
697
|
Using encryption for authentication in large networks of computers
– Needham, Schroeder
- 1978
|
|
417
|
Epidemic algorithms for replicated database maintenance
– Demers, Greene, et al.
- 1987
|
|
396
|
Coda: A highly available file system for a distributed workstation environment
– Satyanarayanan, Kistler, et al.
- 1990
|
|
343
|
LaTeX: A Document Preparation System
– Lamport
- 1986
|
|
192
|
Concurrency control in groupware systems
– Ellis, Gibbs
- 1989
|
|
173
|
Grapevine: An exercise in distributed computing
– BIRRELL, LEVIN, et al.
- 1982
|
|
166
|
The LOCUS Distributed Operating System
– Walker, Popek, et al.
- 1983
|
|
138
|
Mobile wireless computing: Challenges in data management
– Imielinsky, Badrinath
- 1994
|
|
111
|
Providing high availability using lazy replication
– LADIN, LISKOV, et al.
- 1992
|
|
94
|
Detection of mutual inconsistency in distributed systems
– PARKER, POPEK, et al.
- 1983
|
|
75
|
Replicated Document Management in a Group Communication System," Lotus
– Kawell
- 1988
|
|
71
|
Resolving file conflicts in the ficus file system
– Reiher, Heidemann, et al.
- 1994
|
|
65
|
Database System Issues in Nomadic Computing
– Alonso, Korth
- 1993
|
|
61
|
Conflict Detection Tradeoffs for Replicated Data
– Carey, Livny
- 1991
|
|
59
|
Logbased directory resolution in the Coda file system
– Kumar, Satyanarayanan
- 1993
|
|
31
|
Consistency in a partitioned network: a survey
– Davidson, Garcia-Molina, et al.
- 1985
|
|
30
|
A Flexible Object Merging Framework
– Munson, Dewan
|
|
28
|
Limitations on database availability when networks partition
– Coan, Oki, et al.
- 1986
|
|
14
|
Implementation of the ficus replicated file system
– Page, Popek, et al.
- 1990
|
|
12
|
The REFDBMS distributed bibliographic database system
– GOLDING, LONG, et al.
- 1994
|
|
7
|
Conflict resolution in symmetric replication
– Downing
- 1995
|
|
2
|
causal and atomic group multi cast
– Lightweight
- 1991
|
|
1
|
A weak-consistency architecture for distributed information services. Computing Systems 5(4):379-405
– Gelding
- 1992
|
|
1
|
Inter-Language Unification - ILU. ftp://ftp.parc. xerox.com/pub/ilu/ilu. html
– Janssen, Spreitzer
|
|
1
|
Concurrency control and consistency of multiple copies of data in distributed INGRES
– StonebraJcer
- 1979
|
|
1
|
Session guarantees for weakly cons]stent replicated data
– Terry, Demers, et al.
- 1994
|
