BASE: Using abstraction to improve fault tolerance

Operating Systems Review (ACM)

Volumn 35, Issue 5, 2001, Pages 15-28

  Rodrigues, Rodrigo ^a   Castro, Miguel ^b   Liskov, Barbara ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; DATABASE SYSTEMS; HTTP; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING;

ABSTRACTION; SOFTWARE ERRORS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036036816     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/502059.502037     Document Type: Article

References (36)

1. A. Adya, R. Gruber, B. Liskov, and U. Maheshwari. Efficient Optimistic Concurrency Control using Loosely Synchronized Clocks. In Proceedings of ACM SIGMOD International Conference on Management of Data, pages 23-34, San Jose, CA, May 1995.
2. T. Bressoud and F. Schneider. Hypervisor-based Fault Tolerance. In Proceeding of the 15th ACM Symposium on Operating System Principles, pages 1-11, Dec. 1995.
3. B. Callaghan. NFS Illustrated. Addison-Wesley, 1999.
4. M. J. Carey, D. J. DeWitt, and J. F. Naughton. The OO7 Benchmark. In Proceedings of ACM SIGMOD International Conference on Management of Data, pages 12-21, Washington D.C., May 1993.
5. M. Castro. Practical Byzantine Fault-Tolerance. PhD thesis, Massachusetts Institute of Technology, 2000.
6. M. Castro, A. Adya, B. Liskov, and A. Myers. HAC: Hybrid Adaptive Caching for Distributed Storage Systems. In Proceeding of the 16th ACM Symposium on Operating System Principles, pages 102-115, St. Malo, France, Oct. 1997.
7. M. Castro and B. Liskov. Practical Byzantine fault tolerance. In Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, LA, Feb. 1999.
8. M. Castro and B. Liskov. Proactive recovery in a Byzantine-fault-tolerant system. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA, Oct. 2000.
9. L. Chen and A. Avizienis. N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation. In Fault Tolerant Computing, FTCS-8, pages 3-9, 1978.
10. E. Cooper. Replicated Distributed Programs. In Proceedings of the 10th ACM Symposium on Operating Systems Principles, pages 63-78, Dec. 1985.
11. K. Geiger. Inside ODBC. Microsoft Press, 1995.
12. S. Ghemawat. The Modified Object Buffer: a Storage Management Technique for Object-Oriented Databases. PhD thesis, Massachusetts Institute of Technology, 1995.
13. J. Gray and D. Siewiorek. High-availability computer systems. IEEE Computer, 24(9):39-48, Sept. 1991.
14. J. N. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., 1993.
15. J. Howard, M. Kazar, S. Menees, D. Nichols, M. Satyanarayanan, R. Sidebotham, and M. West. Scale and performance in a distributed file system. ACM Transactions on Computer Systems, 6(1):51-81, Feb. 1988.
16. Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton. Software rejuvenation: Analysis, modules and applications. In Proceedings of the 25th Annual International Symposium on Fault-Tolerant Computing, pages 381-390, Pasadena, CA, June 1995.
17. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
18. B. Liskov, M. Castro, L. Shrira, and A. Adya. Providing persistent objects in distributed systems. In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP '99), Lisbon, Portugal, June 1999.
19. B. Liskov, S. Ghemawat, R. Gruber, P. Johnson, L. Shrira, and M. Williams. Replication in the Harp File System. In Proceeding of the 13th ACM Symposium on Operating System Principles, pages 226-238. ACM Press, 1991.
20. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
21. S. Maffeis. Adding group communication and fault tolerance to CORBA. In Proceedings of the 2nd USENIX Conference on Object-Oriented Technologies, pages 135-146, June 1995.
22. K. Marzullo and F. Schmuck. Supplying high availability with a standard network file system. In Proceedings of the 8th International Conference on Distributed Computing Systems, pages 447-453. IEEE, June 1988.
23. R. Minnich. The Linux BIOS Home Page. http://www.acl.lanl.gov/linuxbios, 2000.
24. L. Moser, P. Melliar-Smith, and P. Narasimhan. Consistent object replication in the eternal system. Theory and Practice of Object Systems, 4(2):81-92, Jan. 1998.
25. P. Narasimhan, K. Kihlstrom, L. Moser, and P. Melliar-Smith. Providing Support for Survivable CORBA Applications with the Immune System. In Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, pages 507-516, May 1999.
26. Network working group request for comments: 1014. XDR: External data representation standard, June 1987.
27. Network working group request for comments: 1094, NFS: Network file system protocol specification, March 1989.
28. Object Management Group. The Common Object Request Broker: Architecture and Specification. OMG techical committee document formal/98-12-01, June 1999.
29. Object Management Group. Fault Tolerant CORBA. OMG techical committee document orbos/2000-04-04, Mar. 2000.
30. J. Ousterhout. Why Aren't Operating Systems Getting Faster as Fast as Hardware? In Proceedings of USENIX Summer Conference, pages 247-256, Anaheim, CA, June 1990.
31. M. Pease, R. Shostak, and L. Lamport. Reaching Agreement in the Presence of Faults. Journal of the ACM, 27(2):228-234, Apr. 1980.
32. R. Rodrigues. Combining abstraction with Byzantine fault-tolerance. Master's thesis, Massachusetts Institute of Technology, 2001.
33. A. Romanovsky. Faulty version recovery in object-oriented N-version programming. IEE Proceedings - Software, 147(3):81-90, June 2000.
34. F. Salles, M. Rodriguez, J. Fabre, and J. Arlat. MetaKernels and Fault Containment Wrappers. In Proceedings the 29th Annual International Symposium on Fault-Tolerant Computing, pages 22-29, June 1999.
35. F. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299-319, Dec. 1990.
36. K. Tso and A. Avizienis. Community error recovery in N-version software: A design study with experimentation. In Proceedings of the 17th Annual International Symposium on Fault-Tolerant Computing, pages 127-133, Pittsburgh, PA, July 1987.