Viewstamped replication: A new primary copy method to support highly-available distributed systems

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn Part F130192, Issue , 1988, Pages 8-17

  Oki, Brian M ^a   Liskov, Barbara H ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

DISTRIBUTED SYSTEMS; GENERAL NETWORKS; NODE CRASHES; PERFORMANCE PROPERTIES; POTENTIAL BENEFITS; REPLICATION ALGORITHM; TIME-STAMP;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84885903862     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/62546.62549     Document Type: Conference Paper

References (37)

1. Alsberg, P. A., and Day, J. D. A Principle for Resilient Sharing of Distributed Resources. Proc. of the 2nd International Conference on Software Engineering, October, 1976, pp. 627-644.
2. Also available in unpublished form as CAC Document number 202 Center for Advanced Computation University of Illinois, Urbana-Champaign, Illinois 61801 by Alsberg, Benford, Day, and Grapa.
3. Bartlett, J. F. A NonStop Kernel. Proc. of the 8lh ACM Symposium on Operating System Principles, SIGOPS Operating System Review, 15 5, December, 1981, pp. 22-29.
4. Bernstein, P. A., and Goodman, N. The Failure and Recovery Problem for Replicated Databases. Second ACM Symposium on the Principles of Distributed Computing, August, 1983, pp. 114-122.
5. Birman, K. P., Joseph, T. A., Rauchle, T., and El Abbadi, A. "Implementing Fault-tolerant Distributed Objects". IEEE Trans, on Software Engineering 11, 6(June 1985), 502-508.
6. Birman, K. P. and Joseph, T. A. "Reliable Communication in the Presence of Failures". ACM Trans, on Computer Systems 5, 1(February 1987), 47-76.
7. Borg, A., Baumbach, J., and Glazer, S. A Message System Supporting Fault Tolerance. Proc. of the 9th ACM Symposium on Operating System Principles, SIGOPS Operating System Review, 17, 5, October, 1983, pp. 90-99.
8. Borr, A. J. Transaction Monitoring in Encompass: Reliable Distributed Transaction Processing. Proc. of the Seventh International Conference on Very Large Data Bases, September, 1981, pp. 155-165.
9. Borr, A. J. Robustness to Crash in a Distributed Database: A Non Shared-Memory Multi-Processor Approach. Proc. of the Tenth International Conference on Very Large Data Bases, August, 1984, pp. 445-453.
10. Cooper, E. C. Replicated Distributed Programs. UCB/CSD 85/231, University of California, Berkeley, CA, May, 1985.
11. Davies, C. T. "Data Processing Spheres of Control". IBM Systems Journal 17, 2(February 78), 179-198.
12. Eager, D. L., and Sevcik, K. C. "Achieving Robustness in Distributed Database Systems". ACM Trans, on Database Systems 8, 3(September 1983), 354-381.
13. El Abbadi, A., Skeen, D., and Cristian, F. An Efficient, Fault-Tolerant Protocol for Replicated Data Management. Proc. of the 4th ACM SIGACT/SIGMOD Conference on Principles of Data Base Systems, 1985.
14. El Abbadi, A., and Toueg, S. Maintaining Availability in Partitioned Replicated Databases. Proc. of the 5th ACM SIGACT/SIGMOD Conference on Principles of Data Base Systems, 1986.
15. Eswaran, K. P., Gray, J. N., Lorie, R. A., and Traiger, I. L. "The Notions of Consistency and Predicate Locks in a Database System". Comm, of the ACM 19, 11(November 1976), 624-633.
16. Fowler, R. J. Decentralized Object Finding Using Forwarding Addresses. 85-12-1, University of Washington, Dept. of Computer Science, Seattle, WA, December, 1985.
17. Gifford, D. K. Weighted Voting for Replicated Data. Proc. of the 7th ACM Symposium on Operating Systems Principles, SIGOPS Operating Systems Review, 13, 5, December, 1979, pp. 150-162.
18. Gifford, D. K., and Donahue, J. E. Coordinating Independent Atomic Actions. Proc. of IEEE CompCon85, February, 1985, pp. 92-95.
19. Gray, J. N., Lorie, R. A. Putzolu, G. F., and Traiger, I. L. Granularity of locks and degrees of consistency in a shared data base. In Modeling in Data Base Management Systems, G. M. Nijssen, Eds., Elsevier North-Holland, New York, 1976, pp. 365-394.
20. Gray, J. N. Notes on Database Operating Systems. In Lecture Notes in Computer Science 60, Goos and Hartmanis, Eds., Springer-Verlag Berlin, 1978, pp. 393-481.
21. Henderson, C. Locating Migratory Objects in an Internet. M. I. T. Laboratory for Computer Science, Cambridge, MA, 1983.
22. Herfihy, M. P. "A Quorum-Consensus Replication Method for Abstract Data Types". ACM Trans, on Computer Systems 4, 1(February 1986), 32-53.
23. Hwang, D. J. Constructing a Highly-Available Location Service for a Distributed Environment. Technical Report MIT/LCS/TR-410, M. I. T. Laboratory for Computer Science, Cambridge, MA, January, 1988.
24. Ladin, R., Liskov, B., and Shrira, L. A Technique for Constructing Highly-Available Services. M. I. T. Laboratory for Computer Science, Cambridge, MA, January, 1988. To be published in Algorithmica.
25. Lamport, L., Shostak, R., and Pease, M. "The Byzantine Generals Problem". ACM Trans, on Programming Languages and Systems 4, 3(July 1982), 382-401.
26. Lampson, B. W., and Sturgis, H. E. Crash Recovery in a Distributed Data Storage System. Xerox Research Center, Palo Alto, Ca., 1979.
27. Liskov, B., and Scheifler, R. "Guardians and Actions: Linguistic Support for Robust Distributed Programs". ACM Trans, on Programming Languages and Systems 5, 3(July 1983), 381-404.
28. Liskov, B., Curtis, D., Johnson, P., and Scheifler, R. Implementation of Argus. Proc. of the Eleventh ACM Symposium on Operating Systems Principles, SIGOPS Operating Systems Review, 21, 5, November, 1987, pp. 111-122.
29. Liskov, B. "Distributed Programming in Argus". Comm.of the ACM 31, 3(March 1988), 300-312.
30. Liskov, B., and Ladin, R. Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Coltetion. Proc. of the Fifth ACM Symposium on the Principles of Distributed Computing, August, 1986.
31. Moss, J. E. B. Nested Transactions: An Approach to Reliable Distributed Computing. Technical Report MIT/LCS/TR-260, M. I. T. Laboratory for Computer Science, June, 1981.
32. Mullender, S., and Vitanyi, P. Distributed Match-Making for Processes in Computer Networks-Preliminary Version. Proc. of the Fourth Symposium on the Principles of Distributed Computing, ACM, August, 1985.
33. Oki, B. M. Viewstamped Replication for Highly-Available Distributed Systems. Ph. D. Th., Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA, May 1988. Forthcoming.
34. Papadimitriou, C. H. "Serializability of Concurrent Database Updates". J. of the ACM 24, 4(October 1979), 631-653.
35. Schneider, F. B. Fail-Stop Processors. Digest of Papers from Spring CompCon'83 26th IEEE Computer Society International Conference, March, 1983, pp. 66-70.
36. Skeen, D., and Wright, D. D. Increasing Availability in Partitioned Database Systems. TR 83-581, Dept. of Computer Science, Cornell University, March, 1984.
37. Stonebraker, M. "Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES". IEEE Trans, on Software Engineering 5, 3(May 1979), 188-194.