BASE: Using abstraction to improve fault tolerance

ACM Transactions on Computer Systems

Volumn 21, Issue 3, 2003, Pages 236-269

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

^a MICROSOFT RESEARCH   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Asynchronous systems; Byzantine fault tolerance; N version programming; Proactive recovery; State machine replication

Indexed keywords

COMPUTER-COMMUNICATION NETWORKS; PROACTIVE RECOVERY; STATE MACHINE REPLICATION;

COMPUTER NETWORKS; COMPUTER PROGRAMMING; CRYPTOGRAPHY; DATABASE SYSTEMS; ERROR ANALYSIS; PERFORMANCE; PROBABILITY;

COMPUTER SOFTWARE;

EID: 2442619381     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/859716.859718     Document Type: Review

References (48)

1. ADYA, A., GRUBER, R., LISKOV, B., AND MAHESHWARI, U. 1995. Efficient Optimistic Concurrency Control using Loosely Synchronized Clocks. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data. San Jose, California, 23-34.
2. AMIR, Y., DANILOV, C., MISKIN-AMIR, M., STANTON, J., AND TUTU, C. 2002. Practical Wide-Area Database Replication. Tech. Rep. CNDS-2002-1, Johns Hopkins University.
3. BIRMAN, K., SCHIPER, A., AND STEPHENSON, P. 1991. Lightweight causal and atomic group multicast. In ACM Trans. Comput. Syst. Vol. 9(3).
4. BKESSOUD, T. AND SCHNEIDER, F. 1995. Hypervisor-based Fault Tolerance. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles. Copper Mountain Resort, Colorado, 1-11.
5. CALLAGHAN, B. 1999. NFS Illustrated. Addison-Wesley, Reading, Massachusetts.
6. CAREY, M. J., DEWITT, D. J., AND NAUGHTON, J. F. 1993. The OO7 Benchmark. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data. Washington D.C., 12-21.
7. CASTRO, M. 2000. Practical Byzantine fault-tolerance. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts.
8. CASTRO, M., ADYA, A., LISKOV, B., AND MYEHS, A. 1997. HAC: Hybrid Adaptive Caching for Distributed Storage Systems. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles. Saint Malo, France, 102-115.
9. CASTRO, M. ANP LISKOV, B. 1999. Practical Byzantine fault tolerance. In Proceedings of the Third Symposium on Operating Systems Design and Implementation. New Orleans, Louisiana, 173-186.
10. CASTRO, M. AND LISKOV, B. 2000. Proactive recovery in a Byzantine-fault-tolerant system. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation. San Diego, California, 273-288.
11. CASTRO, M. AND LISKOV, B. 2002. Practical Byzantine Fault Tolerance and Proactive Recovery. ACM Trans. Comput. Syst. 20, 4 (Nov.), 398-461.
12. CHEN, L. AND AVIZIENIS, A. 1978. N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation. In Fault Tolerant Computing, FTCS-8. 3-9.
13. CHEN, P. M., LED, E. K., GIBSON, G. A., KATZ, R. H., AND PATTERSON, D. A. 1994. RAID: High-performance, reliable secondary storage. ACM Comput. Surv. 26, 2, 145-185.
14. COOPER, E. 1985. Replicated Distributed Programs. In Proceedings of the Tenth ACM Symposium on Operating System Principles. Orcas Island, Washington, 63-78.
15. GEIGER, K. 1995. Inside ODBC. Microsoft Press.
16. GHEMAWAT, S. 1995. The Modified Object Buffer: a storage management technique for object-oriented databases. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts.
17. GRAY, J. AND SIEWIOREK, D. 1991. High-availability computer systems. IEEE Comput. 24, 9 (Sept.), 39-48.
18. GRAY, J. N. AND REUTER, A. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc.
19. HAYDEN, M. 1998. The Ensemble System. Tech. Rep. TR98-1662, Cornell University, Ithaca, New York. Jan.
20. HERLIHY, M. P. AND WING, J. M. 1987. Axioms for Concurrent Objects. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages. Munich, Germany, 13-26.
21. HOWARD, J., KAZAH, M., MENEES, S., NICHOLS, D., SATYANARAYANAN, M., SIDEBOTHAM, R., AND WEST, M. 1988. Scale and performance in a distributed file system. ACM Trans. Comput. Syst. 6,1 (Feb.), 51-81.
22. HUANG, Y., KINTALA, C., KOLETTIS, N., AND FULTON, N. D. 1995. Software rejuvenation: Analysis, modules and applications. In Digest of Papers: FTCS-25, The Twenty-Fifth International Symposium on Fault-Tolerant Computing. Pasadena, California, 381-390.
23. JIMÉNEZ-PERIS, R., PATIÑO-MARTÍNEZ, M., KEMME, B., AND ALONSO, G. 2002. Improving the Scalability of Fault-Tolerant Database Clusters. In Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02). Vienna, Austria.
24. KEMME, B. AND ALONSO, G. 2000. Don't be lazy be consistent: Postgres-R, a new way to implement Database Replication. In VLDB 2000, Proceedings of 26th International Conference on Very Large Data Bases. Cairo, Egypt.
25. LAMPORT, L. 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM 21, 7 (July), 558-565.
26. LISKOV, B., CASTRO, M., SHBIRA, L., AND ADYA, A. 1999. Providing persistent objects in distributed systems. In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP '99). Lisbon, Portugal, 230-257.
27. LISKOV, B., GHEMAWAT, S., GRUBER, R., JOHNSON, P., SHRIRA, L., AND WILLIAMS, M. 1991. Replication in the Harp File System. In Proceedings of the Thirteenth ACM Symposium on Operating System Principles. Pacific Grove, California, 226-238.
28. LISKOV, B. AND GUTTAG, J. 2000. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley.
29. MAFFEIS, S. 1995. Adding group communication and fault tolerance to CORBA. In Proceedings of the Second USENIX Conference on Object-Oriented Technologies. Toronto, Canada, 135-146.
30. MARZULLO, K. AND SCHMUCK, F. 1988. Supplying high availability with a standard network file system. In Proceedings of the 8th International Conference on Distributed Computing Systems. San Jose, California, 447-453.
31. MILLS, D. L. 1992. Network Time Protocol (Version 3) Specification, Implementation and Analysis. Network Working Report RFC 1305.
32. MINNICH, R. 2000. The Linux BIOS Home Page, http://www.acl.lanl.gov/ linuxbios.
33. MOSER, L., MELLIAR-SMITH, P., AND NAEASIMHAN, P. 1998. Consistent object replication in the eternal system. Theory and Practice of Object Systems 4, 2 (Jan.), 81-92.
34. NARASIMHAN, P., KIHLSTROM, K., MOSER, L., AND MELLIAR-SMITH, P. 1999. Providing Support for Survivable CORBA Applications with the Immune System. In Proceedings of the 19th International Conference on Distributed Computing Systems. Austin, Texas, 507-516.
35. OBJECT MANAGEMENT GROUP. 1999. The Common Object Request Broker: Architecture and Specification. OMG techical committee document formal/98-12-01. June.
36. OBJECT MANAGEMENT GROUP. 2000. Fault Tolerant CORBA. OMG techical committee document orbos/2000-04-04. Mar.
37. OUSTERHOUT, J. 1990. Why Aren't Operating Systems Getting Faster as Fast as Hardware? In Proceedings of the Usenix Summer 1990 Technical Conference. Anaheim, California, 247-256.
38. PEASE, M., SHOSTAK, R., AND LAMPORT, L. 1980. Reaching Agreement in the Presence of Faults. J. ACM 27, 2 (Apr.), 228-234.
39. RAMKUMAH, B. AND STRUMPEN, V. 1997. Portable checkpointing for heterogeneous architectures. In Digest of Papers: FTCS-27, The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing. Seattle, Washington, 58-67.
40. RFC-1014 1987. Network working group request for comments: 1014. XDR: External data representation standard.
41. RFC-1094 1989. Network working group request for comments: 1094. NFS: Network file system protocol specification.
42. RODRIGUES, R. 2001. Combining abstraction with Byzantine fault-tolerance. M.S. thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts.
43. ROMANOVSKY, A. 2000. Faulty version recovery in object-oriented N-version programming. IEE Proc. Soft. 147, 3 (June), 81-90.
44. SALLES, F., RODRÍGUEZ, M., FABRE, J., AND ARLAT, J. 1999. MetaKernels and Fault Containment Wrappers. In Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Madison, Wisconsin, 22-29.
45. SCHNEIDER, F. 1990. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv. 22, 4 (Dec.), 299-319.
46. STONEBRAKER, M., ROWE, L. A., AND HIROHAMA, M. 1990. The implementation of POSTGRES. IEEE Trans. Knowl. Data Eng. 2, 1 (Mar.), 125-142.
47. TSO, K. AND AVIZIENIS, A. 1987. Community error recovery in N-version software: A design study with experimentation. In Digest of Papers: FTCS-17, the Seventeenth Annual Symposium on Fault Tolerant Computing. Pittsburgh, Pennsylvania, 127-133.
48. W3C. 2000. Extensible Markup Language (XML) 1.0 (Second Edition). W3C recommendation.