Hypervisor-Based Fault-Tolerance

ACM Transactions on Computer Systems

Volumn 14, Issue 1, 1996, Pages 80-107

  Bressoud, Thomas C ^a   Schneider, Fred B ^b  

^a Isis Distributed Systems   (United States)

^b School of Operations Research and Information Engineering   (United States)

Author keywords

Algorithms; C.2.4 Computer Communication Networks : Distributed Systems Network operating systems; D.4.5 Operating Systems : Reliability Checkpoint restart; fault tolerance; Fault tolerant computing system; Primary backup approach; Reliability

Indexed keywords

ALGORITHMS; COMPUTER OPERATING SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; REDUCED INSTRUCTION SET COMPUTING; RELIABILITY;

HYPERVISOR BASED FAULT TOLERANCE; PRIMARY BACKUP APPROACH; VIRTUAL MACHINE MANAGER;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0030086704     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/225535.225538     Document Type: Article

References (28)

1. ALSBERG, P. A. AND DAY, J. D. 1976. A principle for resilient sharing of distributed resources. In Proceedings of the 2nd International Conference on Software Engineering (San Francisco, Calif.). IEEE, New York, 627-644.
2. BERNSTEIN, P. A., HADZILACOS, V., AND GOODMAN, N. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Mass.
3. BIRMAN, K. P. 1993. The process group approach to reliable distributed computing. Commun. ACM 36, 12 (Dec.), 37-52.
4. BARTLETT, J. F. 1981. A nonstop kernel. In Proceedings of the 8th Symposium on Operating Systems Principles (Asilomar, Calif, Dec.). ACM, New York, 22-29.
5. BRESSOUD, T. C. 1996. Hypervisor-based fault-tolerance. Ph.D. dissertation, Computer Science Dept., Cornell Univ., Ithaca, N.Y. Jan.
6. BORG, A., BAUMBACH, J., AND GLAZER, S. 1983. A message system for supporting fault tolerance. In Proceedings of the 9th Symposium on Operating Systems Principles (Bretton Woods, New Hamp., Oct.). ACM, New York, 90-99.
7. BORG, A., BLAU, W., GHAETSCH, W., HERRMANN, F., AND OBERLE, W. 1985. Fault tolerance under UNIX. ACM Trans. Comput. Syst. 3, 1 (Feb.), 63-75.
8. CUTTS, R. W., NIKHIL, A. M., AND JEWETT, D. E. 1990. Multiple processor system having shared memory with private-write capability. U.S. Patent 4,965,717, U.S. Patent Office, Washington, D.C. Oct.
9. ELNOZAHY, E. N. 1995. An efficient technique for tracking nondeterministic execution and its applications. Tech. Rep. CMU-CS-95-157, Carnegie-Mellon Univ., Pittsburgh, Pa. May.
10. GOLDBERG, R. P. 1974. Survey of virtual machine research. Comput. Mag. 7, 3 (June), 34-45.
11. GLEESON, B. 1994. Fault tolerant computer system with provision for handling external events. U.S. Patent 5,363,503, U.S. Patent Office, Washington, D.C. Nov.
12. GRAHAM, S. L., LUCCO, S., AND WAHBE, R. 1995. Adaptable binary programs. In Proceedings of the 1995 USENIX Winter Conference (New Orleans, La., Jan.). USENLX Assoc., Berkeley, Calif., 315-325.
13. HEWLETT PACKARD. 1987. Precision Architecture and Instruction Reference Manual. Part no. 09740-90014, Hewlett Packard, Cupertino, Calif. June.
14. IBM. 1972. IBM Virtual Machine Facility/370 Planning Guide. Pub. no. GC20-1801-0. IBM Corp., White Plains, N.Y.
15. KARGER, P. 1982. Preliminary design of a VAX-11 virtual machine monitor security kernel. DEC Tech. Rep. TR-126, Digital Equipment Corp., Hudson, Mass. Jan.
16. LAMPORT, L. 1978. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (July), 558-565.
17. MELLOR-CRUMMEY, J. M. AND LEBLANC, T. J. 1989. A software instruction counter. In Proceedings of the 3rd International Conference on Architectural Support for Programming Languages and Operating Systems (Boston, Mass., Apr.). ACM, New York, 78-86.
18. MAJOR, D., MINSHALL, G., AND POWELL, K. 1994. An overview of the NetWare operating system. In Proceedings of the 1994 Winter USENIX (San Francisco, Calif., Jan.). USENIX Assoc., Berkeley, Calif., 355-372.
19. MAJOR, D., POWELL, K., AND NELBAUR, D. 1992. Fault tolerant computer system. U.S. Patent 5,157,663, U.S. Patent Office, Washington, D.C. Oct.
20. MEYER, P. A. AND SEAWRIGHT, L. H. 1970. A virtual machine time-sharing system. IBM Syst. J. 9, 3, 199-218.
21. POPEK, G. J. AND KLINE, C. 1974. Verifiable secure operating system software. In the AFIPS Conference Proceedings. AFIPS, Montvale, N.J.
22. POPEK, G. J. AND KLINE, C. 1975. The PDP-11 virtual machine architecture: A case study. In Proceedings of the 5th Symposium on Operating Systems Principles (Austin, Tex., Nov.). ACM, New York, 97-105.
23. POWELL, M. L. AND PRESOTTO, D. L. 1983. Publishing: A reliable broadcast communication mechanism. In Proceedings of the 9th Symposium on Operating Systems Principles (Bretton Woods, New Hamp., Oct.). ACM, New York, 100-109.
24. SCHLICHTING, R. AND SCHNEIDER, F. B. 1983. Failstop processors: An approach to designing fault-tolerant computing systems. ACAf Trans. Comput. Syst. 1, 3 (Aug.), 222-238.
25. SCHNEIDER, F. B. 1990. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Comput. Surv. 22, 4 (Dec.), 299-319.
26. SITES, R. 1992. Alpha Architecture Reference Manual. Digital Press, Bedford, Mass.
27. SIEWIOREK, D. P. AND SWARZ, R. S. 1992. Reliable Computer System Design and Evaluation. Digital Press, Beford, Mass.
28. THEKKATH, C. A. AND LEVY, H. M. 1993. Low-latency communication on high-speed networks. ACM Trans. Comput. Syst. 11, 2 (May), 179-203.