Eventually-serializable data services

Theoretical Computer Science

Volumn 220, Issue 1, 1999, Pages 113-156

  Fekete, Alan ^c   Gupta, David ^a   Luchangco, Victor ^a   Lynch, Nancy ^a   Shvartsman, Alex ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CONNECTICUT   (United States)

^c NONE

Author keywords

Consistency; Distributed storage; Replication; Weak coherence

Indexed keywords

EID: 0345765268     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00239-4     Document Type: Article

References (28)

1. P. Alsberg, J. Day, A principle for resilient sharing of distributed resources, in: Proc. 2nd Internat. Conf. on Software Engineering, Oct. 1976, pp. 627-644.
2. H. Attiya, J. Welch, Sequential consistency versus linearizability, ACM Trans. Comput. Systems 12(2) (1994).
3. H. Bal, M. Kaashoek, A. Tanenbaum, Orca: a language for parallel programming of distributed systems, IEEE Trans. Software Eng. 18 (3) (1992) 190-205.
4. P. Bernstein, V. Hadzilacos, N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Welsey, Reading, MA, 1987.
5. A. Birrell, R. Levin, R. Needham, M. Schroeder, Grapevine: an exercise in distributed computing, Comm. ACM 25 (4) (1982) 260-274.
6. O. Cheiner, Implementation and evaluation of an eventually-serializable data service, Master of Engineering thesis, Massachusetts Institute of Technology, August 1997.
7. O. Cheiner, A. Shvartsman, Implementing and evaluating an eventually-seriablizable data service, in: Proc. 17th ACM Symp. on Principles of Distributed Computing, June/July 1997, p. 317; Full paper will appear in: M. Mavronicolas, M. Merritt, N. Shavit (Eds.), Networks and Distributed Computing, a DIMACS volume, 1998.
8. O. Cheiner, A. Shvartsman, Implementing and evaluating an eventually-seriablizable data service, in: Proc. 17th ACM Symp. on Principles of Distributed Computing, June/July 1997, p. 317; Full paper will appear in: M. Mavronicolas, M. Merritt, N. Shavit (Eds.), Networks and Distributed Computing, a DIMACS volume, 1998.
9. J. Dongarra, S. Otto, M. Snir, D. Walker, A message passing standard for MPP and workstations, Comm. ACM 39 (7) (1996) 84-90.
10. M. Fischer, A. Michael, Sacrificing serializability to attain high availability of data in an unreliable network, in: Proc. ACM Symp. on Database Systems, March 1982, pp. 70-75.
11. H. Garcia-Molina, N. Lynch, B. Blaustein, C. Kaufman, O. Schmueli, Notes on a reliable broadcast protocol, Technical memorandum, Computer Corporation America, October 1985.
12. D. Gifford, Weighted voting for replicated data, in: Proc. 7th ACM Symp. on Principles of Operating Systems Principles, December 1979, pp. 150-162.
13. M. Herlihy, A quorum-consensus replication method for abstract data types, ACM Trans. Comput. Systems 4 (1) (1986) 32-53.
14. IETF, RFC 1034 and RFC 1035 Domain Name System, 1990.
15. International Standard 9594-1, Information Processing Systems - Open Systems Interconnection - The Directory, ISO and IEC, 1988.
16. R. Ladin, B. Liskov, L. Shrira, S. Ghemawat, Lazy replication: exploiting the semantics of distributed services, ACM Trans. Computer Systems 10 (4) (1992) 360-391.
17. L. Lamport, How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Trans. Computers 28 (9) (1979) 690-691.
18. B. Lampson, Desiging a global name service, in: Proc. 5th ACM Symp. on Principles of Distributed Computing, August 1986, pp. 1-10.
19. N. Lynch, Distributed Algorithms, Morgan Kaufmann, Los Altos, CA, 1996.
20. N. Lynch, M. Tuttle, An introduction to input/output automata, CWI-Quart. 2 (3) (1989) 219-246.
21. N. Lynch, F. Vaandrager, Forward and backward simulations - part I: untimed systems, Inform, and Comput. 121 (2) (1995) 214-233.
22. N. Lynch, F. Vaandrager, Forward and backward simulations - part II: timing-based systems, Inform. and Comput. 128 (1) (1996) 1-25.
23. Object Management Group, Framingham, MA, Common Object Request Broker Architecture, 1992.
24. B. Oki, B. Liskov, Viewstamp replication: a new primary copy method to support highly-available distributed systems, in: Proc. 7th ACM Symp. on Principles of Distributed Computing, August 1988.
25. Open Software Foundation, Cambridge, MA, Introduction to OSF DCE, 1992.
26. A. Shvartsman, C. Strutt, Distributed object management and generic applications, Computer Science TR 94-176, Brandeis University, 1994.
27. M. Stonebraker, Concurrency control and consistency of multiple copies of data in distributed INGRES, IEEE Trans. Software Eng. 5 (3) (1979) 188-194.
28. R. Thomas, A majority consensus approach to concurrency control for multiple copy database, ACM Trans. Database Systems 4 (2) (1979) 180-209.