Understanding Fault-Tolerant Distributed Systems

Communications of the ACM

Volumn 34, Issue 2, 1991, Pages 56-78

  Cristian, Flavin ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE - RELIABILITY; COMPUTER SOFTWARE - RELIABILITY; COMPUTER SYSTEMS, DIGITAL - DISTRIBUTED;

GROUP FAILURE MASKING; HIERARCHIAL FAILURE MASKING; IBM RXF ARCHITECTURE; SOFTWARE FAILURE SEMANTICS; VAX CLUSTER PROCESSOR ARCHITECTURE;

COMPUTER SYSTEMS, DIGITAL;

EID: 0026104130     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/102792.102801     Document Type: Article

References (73)

1. Abbadi, A.E., Skeen, D., Cristian, F. An efficient fault-tolerant protocol for replicated data management.
2. Fourth ACM Conference on Principles of Database Systems (1985).
3. Anderson, T., Lee, P. Fault-tolerance-Principles and Practice. Prentice Hall, 1981.
4. Avizienis, A. Software fault tolerance. IFIP Computer Congress (San Francisco, Aug. 1989).
5. Avizienis, A., Gunningberg, P., Kelly, J., Strigini, L., Traverse, P., Tso, K., Voges, U. The UCLA Dedix system: A distributed testbed for multi-version software. 15th International Conference on Fault-tolerant
6. Computing (Ann Arbor, Mich. 1985).
7. Babaoglu, O., Drumond, R. Streets of Byzantium: Network architectures for fast reliable broadcast. IEEE Trans. Softw. Eng. SE-11, 6, (1985).
8. Barbara, D., Garcia-Molina, H., Spauster, A. Increasing availability under mutual exclusion constraints with dynamic vote reassignment. ACM Trans. Comput. Syst. 7, 4 (Nov. 1989).
9. Bartlett, J. A NonStop Kernel.
10. Eighth Symposium on Operating System Principles (Dec. 1981).
11. Bernstein, P. Sequoia: A fault-tolerant tightly coupled multiprocessor for transaction processing. IEEE Comput. (Feb. 1988).
12. Bernstein, P., Hadzilacos, V., Goodman, N. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Mass., 1987.
13. Birman, K., Joseph, T. Reliable communication in the presence of failures. ACM Trans. Comput. Syst. 5, 1 (Feb. 1987).
14. Borg, A., Blau, W., Graetsch, W., Herrmann, F., Oberle, W. Fault-tolerance under Unix. ACM Trans. Comput. Syst. 7, 1 (Feb. 1989).
15. Carr, R. The Tandem global update protocol. Tandem Syst. Rev. 1, 2 (June 1985).
16. Chang, J.M., Maxemchuck, N. Reliable broadcast protocols. ACM Trans. Comput. Syst. 2, 3 (Aug. 1984).
17. Cheriton, D., Zwaenepoel, W. Distributed process groups in the V Kernel. ACM Trans Comput. Syst. 3, 2 (May 1985).
18. Clark, D. The structuring of systems using up-calls. 10th ACM Symposium on Operating Systems Principles (1985).
19. Comer, D., Peterson, L. Understanding naming in distributed systems. Distributed Comput. 3 (1989), 51-60.
20. Cooper, E. Replicated distributed programs. Ph.D dissertation, UC Berkeley, 1985.
21. Cristian, F. A rigorous approach to fault-tolerant programming. IEEE Trans. Softw. Eng. SE 11, 1 (1985).
22. Cristian, F. Agreeing on who is present and who is absent in a synchronous distributed system. 18th International Conference on Fault-Tolerant Computing (Tokyo, June 1988).
23. Cristian, F. Exception handling. In
24. Dependability of Resilient Computers
25. T. Anderson, Ed., Blackwell Scientific Publications, Oxford, 1989.
26. Cristian, F. Probabilistic clock synchronization. Distributed Computing 3 (1989), 146-158.
27. Cristian, F. Synchronous atomic broadcast for redundant broadcast channels. IBM Res. Rep. RJ 7203, Dec. 1989.
28. Cristian, F., Aghili, H., Strong, R., Dolev, D. Atomic broadcast: From simple diffusion to Byzantine agreement. 15th International Conference on Fault-tolerant Computing (Ann Arbor, Mich., 1985).
29. Cristian, F., Dancey, R., Dehn, J. Fault-tolerance in the advanced automation system. 20th International Conference on Fault-tolerant Computing (Newcastle upon Tyne, England, June 1990).
30. Dijkstra, E. Hierarchical ordering of sequential processes. Acta Informatica 1 (1971), 115-138.
31. Ezhilchelvan, P., Shrivastava, S., A characterization of faults in systems. Fifth Symposium on Reliability in Distributed Software and Database systems (Los Angeles, Jan. 1986).
32. Garcia-Molina, H., Spauster, A. Message ordering in a multicast environment. Ninth International Conference on Distributed Systems (Newport Beach, Calif., June 1989).
33. Gray, J., Notes on Database Operating Systems. Operating Systems - An Advanced Course. Vol. 60, Lecture Notes in Computer Science, Springer Verlag, 1978.
34. Gray, J. Why do computers stop and what can be done about it? Fifth Symposium on Reliability in Distributed Software and Database systems (Los Angeles, Jan. 1986).
35. Harper, R., Lala, J., Deyst, J. Fault tolerant parallel processor architecture overview. 18th International Conference Fault-Tolerant Computing (Tokyo, June 1988).
36. Hopkins, A., Smith, B., Lala, J. FTMP-A highly reliable fault-tolerant multi-processor for aircraft. In Proceedings IEEE, Vol. 66, Oct. 1978.
37. IBM International Technical Support Centers: IMS/VS extended recovery facility (XRF). Tech. Ref. 1987.
38. Johnson, D., Zwaenepoel, W. Sender based message logging. 17th International Conference on Fault-Tolerant Computing (Tokyo, June 1987).
39. Kaashoek, F., Tanenbaum, A.
40. Fault-tolerance using group communication. Fourth ACM SIGOPS European Workshop (Bologna, Sept. 1990).
41. Knight, J., Amann, P. Issues influencing the use of N-version programming. In Proceedings of the IFIP Congress (San Francisco, Aug. 1989).
42. Koo, R., Toueg, S. Check-pointing and rollback recovery for distributed systems. IEEE Trans. Softw. Eng. SE-13, 1 (1986).
43. Kopetz, H., Grunsteidl, G., Reisinger, J. Fault-tolerant membership in a synchronous real-time system. IFIP Working Conference on Dependable Computing for Critical Applications (Santa Barbara, Aug. 1989).
44. Kronenberg, N., Levy, H., Strecker, W. VAXclusters: A Closely coupled distributed system. ACM Trans. Comput. Syst. 4, 2 (1986).
45. Ladin, R., Liskov, B., Shrira, L. Lazy replication: A method for managing replicated data. Ninth Annual ACM Symposium on Principles of Distributed Computing (Aug. 1990).
46. Lamport, L. Using time instead of time-outs in fault-tolerant systems. ACM Trans. Prog. Lan. Syst. 6, 2 (1984).
47. Lamport, L. The part time parliament. DEC SRC Rep. 49, Sept. 1989.
48. Lampson, L. Sturgis, H., Atomic Transactions. In Distributed Systems: An Advanced Course. Lecture Notes in Computer Science Vol. 105, Springer Verlag, 1981.
49. Laprie, J.C. Dependability: A Unifying Concept for Reliable Computing and Fault-tolerance, T. Anderson, Ed., Blackwell Scientific Publications, Oxford, 1989.
50. Laprie, J.C., Arlat, J., Beounes, C., Kanoun, K. Definition and analysis of hardware and software-fault-tolerant architectures. IEEE Comput. (July 1990).
51. Luan, S., Gligor, V. A fault-tolerant protocol for atomic broadcast. 10th International Conference on Distributed Computing Systems (Paris, May 1990).
52. McCluskey, E. Fault-tolerant systems. Tech. Rep. CSL-199 Stanford Univ., 1982.
53. Melliar-Smith, M., Moser, L., Agrawala, V. Broadcast protocols for distributed systems. IEEE Trans. Parallel and Distributed Syst. 1, 1 (Jan. 1990).
54. Oki, B., Liskov, B. Viewstamped replication: A new primary copy method to support highly available distributed systems. Seventh ACM Symposium on Principles of Distributed Computing (Aug. 1988).
55. Palumbo, D., Butler, R. Measurement of SIFT operating system overhead. NASA Tech. Mem. 86322, 1985.
56. Parnas, D. Designing software for ease of extension and contraction. IEEE Trans. Softw. Eng. SE-5, 2 (Mar. 1979).
57. Peterson, W., Weldon, E. Error Correcting Codes. MIT Press, Cambridge, Mass., 1972.
58. Powell, D. La tolerance aux fautes dans les systemes repartis: Les hypotheses d'drreur et leur importance. LAAS Res. Rep. 89-258, Sept. 1989.
59. Randell, B. System structure for software fault-tolerance. IEEE Trans. Softw. Eng. SE-1, 2 (1975).
60. Saltzer, J., Reed, D., Clark, D. End-to-end arguments in system design. ACM Trans. Comput. Syst., 2, 4 (Nov. 1984).
61. Schmuck, F. The use of efficient broadcast protocols in asynchronous distributed systems. Ph.D dissertation TR88-928 Cornell Univ., 1988.
62. Schneider, F. The state machine approach: A tutorial. TR 86-800, Cornell Univ., 1986.
63. Siewiorek, D. Fault-tolerance in commercial computers. IEEE Comput. (July 1990).
64. Strom, R., Yemini, S. Optimistic recovery in distributed systems. ACM Trans. Comput. Syst., 3, 3 (1985).
65. Strong, R., Skeen, D., Cristian, F., Aghili, H. Handshake protocols.
66. Seventh International Conference on Distributed Computing Systems (Berlin, Sept. 1987).
67. Tanenbaum, A. Computer Networks. Prentice Hall, Englewood Cliffs, N.J., 1981.
68. Taylor, D. and Wilson, G. The stratus system architecture. In Dependability of Resilient Computers. T. Anderson, Ed., Blackwell Scientific Publications, Oxford, 1989.
69. Trivedi, K. Probability and Statistics with Reliability, Queuing and Computer Science Applications. Prentice Hall, Englewood Cliffs, N.J., 1982.
70. Verissimo, P., Rodrigues, L., Baptista, M. AMp: A highly parallel atomic multicast protocol. In Proceedings ACM SIGCOM'89 (Austin, Tex., Sept. 89).
71. Wakerly, J. Error detecting codes, self-checking circuits, and applications. Elsevier North Holland, Inc., N.Y., 1978.
72. Wensley, J., Lamport, L., Goldberg, J., Green, M., Levitt, K., Melliar-Smith, M., Shostak, R., Weinstock, C. SIFT: Design and analysis of a fault tolerant computer for aircraft control. Proceedings IEEE, Vol. 66, Oct. 1978.
73. Wulf, W. Reliable hardware-software architecture. 1975 International Conference on Reliable Software, SIGPLAN 10, 6 (1975).