A nonstop kernel

Proceedings of the 8th ACM Symposium on Operating Systems Principles, SOSP 1981

Volumn , Issue , 1981, Pages 22-29

  Bartlett, Joel F ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS;

ACTUAL USE; BUILDING BLOCKES; FAULT-TOLERANT; ONLINE TRANSACTION PROCESSING; RESOURCE ACCESS; SYSTEM STRUCTURES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84997712455     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800216.806587     Document Type: Conference Paper

References (14)

1. Avizennis, A., Architecture of Fault-Tolerant Computing Systems, FTC-5, IEEE and F.N.I.E., Paris, (June 1975), pp 3-16.
2. Katzman, J. A., A Fault-Tolerant Computing System, Eleventh Hawaii International Conference on System Sciences, (January 1978), pp 85-102.
3. Siewiorek, D. P, Bell, C. G., Newell, A., Computer Structures: Readings and Examples, McGraw-Hill, inc., (1982
4. Bartlett, J. F., A NonStop Operating System, Eleventh Hawaii International Conference on System Sciences, (January 1978), pp 103-117.
5. Dijkstra, E. W., The Structure of the "THE" Multiprogramming System, Comm. ACM 11, (May 1968), pp 341-346.
6. Brinch Hansen, P., The Nucleus of a Multi-programming System, Comm. ACM 13, (April 1970), pp 238-241, 250.
7. Liskov, B., Report on the Workshop on Fundamental Issues in Distributed Computing, Operating Systems Review, (July 1981), pp 9-38.
8. CCITT, recommendation X.25, Level 2, Geneva, (1976
9. Gleser, Malcolm A., Bayard, J., Lang, D. D., Benchmarking for the Best, Datamation, (May 1981
10. Tom, G. F., Checkpointing Techniques for Fault-Tolerant Process-Pairs, BS Thesis at MIT, (June 1981
11. Enslow, P. H. Jr., Multiprocessor Organization-A Survey, Computing Surveys, Vol 9, Number 1, (March 1977), pp 103-129.
12. Borr, A. J., Transaction Monitorin in ENCOMPASS: Reliable Distribute Transaction Processing, 7th International Conference on Very Large Data Bases, (September 1981
13. Blake, Russ, Tailor: A Simple Model That Works, Proc. of Conf. on Simulation, Measurement, Modelling of Computer Systems, ACM SIGMETRICS, Boulder, (August 1979
14. Blake, Russ, XPAY: Instrumentation for Multiple Computers, Proc. Intl. Symp. on Computer Performance, Modelling, Measurement, Evaluation, ACM SIGMETRICS and IFIP WG7.3, Toronto, (May 1980