Fault Tolerant Operating Systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Fault Tolerant Operating Systems

Full text

Pdf (2.69 MB)

Source

ACM Computing Surveys (CSUR) archive
Volume 8 , Issue 4 (December 1976) table of contents

Pages: 359 - 389

Year of Publication: 1976

ISSN:0360-0300

Author

Peter J. Denning

Computer Science Department, Purdue University, West Lafayette, Indiana

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 46, Downloads (12 Months): 228, Citation Count: 41

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356678.356680 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	BES75	BERNSTEIN, A J.; AND SIEGEL, ., computer architecture for level structured operating systems," IEEE Trans. Computers C-24, 8 (August 1975), 785- 793.
	BRH70	Per Brinch Hansen, The nucleus of a multiprogramming system, Communications of the ACM, v.13 n.4, p.238-241, April 1970 [doi>10.1145/362258.362278]
	BRH73	BRINCH HXSSEN, P. Operating systems principles, Prentice-Hall, Englewood Cliffs, N.J., 1973.
	COJ75	Ellis Cohen , David Jefferson, Protection in the Hydra Operating System, Proceedings of the fifth ACM symposium on Operating systems principles, p.141-160, November 19-21, 1975, Austin, Texas, United States
	DAN65	DALEY, R. C.; AND NEUMANN, P. G. "A general-purpose file system for secondary storage," in Proc. AFIPS Fall Jr. Computer Conf., Vol. 27, Thompson Book Co., Washington D.C., 1967, pp. 213-229.
	DEN76	Dorothy E. Denning, A lattice model of secure information flow, Communications of the ACM, v.19 n.5, p.236-243, May 1976 [doi>10.1145/360051.360056]
	DEN70	Peter J. Denning, Virtual Memory, ACM Computing Surveys (CSUR), v.2 n.3, p.153-189, Sept. 1970 [doi>10.1145/356571.356573]
	DEN71	Peter J. Denning, Third Generation Computer Systems, ACM Computing Surveys (CSUR), v.3 n.4, p.175-216, Dec. 1971 [doi>10.1145/356593.356595]
	DEN74	DENNING, P.J. "Structuring operating systems for reliability," in Infotech state of the art report ~0: computer systems reliability, 1974, Infoteeh International Ltd., Maidenhead, Berkshire, England, pp. 481-504.
	DVH66	Jack B. Dennis , Earl C. Van Horn, Programming semantics for multiprogrammed computations, Communications of the ACM, v.9 n.3, p.143-155, March 1966 [doi>10.1145/365230.365252]
	DIJ68	Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
	ENG72	ENGLAND, D.M. "Architectural features of system 250," in I~fotech state of the art report 1~: operating systems, 1972, infotech International Ltd.,Maidenhead, Berkshire, England, pp. 395- 428.
	FAB68	FABRY, R. S. "Preliminary descriptmn of a supervisor for a computer organized around capabilities," in Quarterly progress report, No. 18, Sect. IIA, Inst. Computer Research, Univ. Chicago, Chicago, Ill., 1968.
	FAB73	R. S. Fabry, Dynamic verification of operating system decisions, Communications of the ACM, v.16 n.11, p.659-668, Nov. 1973 [doi>10.1145/355611.362535]
	FAB74	R. S. Fabry, Capability-based addressing, Communications of the ACM, v.17 n.7, p.403-412, July 1974 [doi>10.1145/361011.361070]
	FEU73	FEUSTEL, E. A. "On the advantages of tagged architecture," IEEE Trans. Computer8 C-22, (July 1973), 644-656.
	GAI74	GAINES, R.S. "A new boss/slave relation between processes," in Proc. 8th Princeton Conf. on Information Science and Systems, 1974.
	GAI75	GAINES, R. S. "Control of processes in operating systems: The boss-slave relation." in Proc. 5th Syrup. on Operating Systems Principles, 1975, ACM, New York, 1975.
	GOO75	GOOVWSouGH, J.B. "Exception hand- ~og:~ss~~nld a ~r~ P~e~ d l~at i~'' 696.
	GRA75	Robert M. Graham, Principles of Systems Programming, Krieger Publishing Co., Inc., Melbourne, FL, 1975
	HAB76	A. Nico Habermann, Introduction to Operation Systems Design, Science Research Associates, 1976
	HFC76	A. N. Habermann , Lawrence Flon , Lee Cooprider, Modularization and hierarchy in a family of operating systems, Communications of the ACM, v.19 n.5, p.266-272, May 1976 [doi>10.1145/360051.360076]
	HOL72	Richard C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys (CSUR), v.4 n.3, p.179-196, Sept. 1972 [doi>10.1145/356603.356607]
	HOR73	J. J. Horning , B. Randell, Process Structuring, ACM Computing Surveys (CSUR), v.5 n.1, p.5-30, March 1973 [doi>10.1145/356612.356614]
	INF74	INFOTECH INTERNATIONAL LTD. Report ~0: computer system8 reliability, C. Bunyan, Ed., 1974 Infotech International Ltd, Maidenhead, Berkshire, England.
	LAM69	LAMPSON, B. W. "Dynamic protection structures, in Proc. AFIP8 1969 Fall Jr. Computer Conf., Vol. 35, AFIPS Press, Montvale, N.J., 1969, pp. 27-38.
	LAM71	Butler W. Lampson, Protection, ACM SIGOPS Operating Systems Review, v.8 n.1, p.18-24, January 1974 [doi>10.1145/775265.775268]
	LAM73	Butler W. Lampson, A note on the confinement problem, Communications of the ACM, v.16 n.10, p.613-615, Oct. 1973 [doi>10.1145/362375.362389]
	LAS76	Butler W. Lampson , Howard E. Sturgis, Reflections on an operating system design, Communications of the ACM, v.19 n.5, p.251-265, May 1976 [doi>10.1145/360051.360074]
	LIP75	Steven B. Lipner, A comment on the confinement problem, Proceedings of the fifth ACM symposium on Operating systems principles, p.192-196, November 19-21, 1975, Austin, Texas, United States
	LIS72	Barbara H. Liskov, The design of the Venus operating system, Communications of the ACM, v.15 n.3, p.144-149, March 1972 [doi>10.1145/361268.361272]
	MAD74	Stuart E. Madnick , John J. Donovan, Operating Systems, McGraw-Hill, Inc., New York, NY, 1974
	MEL75	MELLIAR-SMITH, P.M. A project to investigate data-base reliability, Report, Computing Lab., Univ. Newcastle-upon-Tyne, England, 1975.
	MES70	MEYER, R. A.; ANY SEAWRIGHT, L. H. "A virtual machine time-sharing systern," IBM Systems J. 9, 3 (1970), 199-218.
	NEE72	NEEDHAM, R.M. "Protection systems and protection implications," in Proc. AFIPS 1972 Fall Jr. Computer Conf., Vol. 41, AFIPS Press, Montvale, N.J., 1972, pp. 572-578.
	NEE74	NEEDHAM, R. M., quoted by C. Bunyan in Infotech state of the art report $0: computer systems reliability, 1974, Infotech International Ltd., Maidenhead, Berkshire, England, pp. 104-105.
	NEH75	NEHUER, J. "Dispatcher primitives for the construction of operating system kernel," Acts Informatica ~, 4 (1975), 237-256.
	NEU75	NEUMANN P. G.; RomssoN, L.; LE- WTT, K. N'.; BOYER, R. S.; AND SAXENA, A.R. "A provably secure operating System," in Project ~581 final report, Stanford Research Inst., Menlo Park, Calif., 1975.
	ONE67	O'NEILL, R.W. "Experience using a time-sharing multiprogramming system with dynamic address relocation hardware," in Proc. AFIP8 1967 Spring Jr. Computer Conf., Vol.30, Thompson Book Co., Washington, D.C ., 1967, pp.611-621.
	ORG72	Elliott I. Organick, The Multics System: An Examination of Its Structure, The MIT Press, 1972
	ORG73	Elliott Irving Organick, Computer system organization: The B5700/B6700 series (ACM monograph series), Academic Press, Inc., Orlando, FL, 1973
	PA72a	D. L. Parnas, A technique for software module specification with examples, Communications of the ACM, v.15 n.5, p.330-336, May 1972 [doi>10.1145/355602.361309]
	PA72b	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	PAR75	D. L. Parnas, The influence of software structure on reliability, Proceedings of the international conference on Reliable software, p.358-362, April 21-23, 1975, Los Angeles, California
	POG74	Gerald J. Popek , Robert P. Goldberg, Formal requirements for virtualizable third generation architectures, Communications of the ACM, v.17 n.7, p.412-421, July 1974 [doi>10.1145/361011.361073]
	PK75a	Gerald J. Popek , Charles S. Kline, A verifiable protection system, Proceedings of the international conference on Reliable software, p.294-304, April 21-23, 1975, Los Angeles, California
	PK75b	Gerald J. Popek , Charles S. Kline, The PDP-11 virtual machine architecture: A case study, Proceedings of the fifth ACM symposium on Operating systems principles, p.97-105, November 19-21, 1975, Austin, Texas, United States
	RAN75	RANDE~L, B. "System structure for software fault tolerance" IEEE Trans on Software Engineering, SE-1, 2 (June 1975), 220-232. {Also in Op. Cit., 437-449.}
	RUB75	David L. Russell , Thomas H. Bredt, Error resynchronization in producer-consumer systems, Proceedings of the fifth ACM symposium on Operating systems principles, p.106-113, November 19-21, 1975, Austin, Texas, United States
	SAS75	SALTZER, J. H.; AND SCHROEDER, M. D. "The protection of information in com- ~ uter systems," in Proc. IEEE 63, 9 Sept. 1975), 1278-1308.
	SCS72	Michael D. Schroeder , Jerome H. Saltzer, A hardware architecture for implementing protection rings, Communications of the ACM, v.15 n.3, p.157-170, March 1972 [doi>10.1145/361268.361275]
	SHA74	Alan C. Shaw, The Logical Design of Operating Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1974
	THO70	J. E. Thornton, Design of a Computer—The Control Data 6600, Scott Foresman & Co, 1970
	WAL73	WALKER, R. "The structure of a well ~ rotected computer," PhD Thesis, omputing Laboratory, Cambridge Univ., England, 1973.
	WIL75	M. V. Wilkes, Time Sharing Computer Systems, Elsevier Science Inc., New York, NY, 1975
	WUL74	W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974 [doi>10.1145/355616.364017]
	WUL75	WULF, W. A. "Reliable hardware/ software architecture," IEEE TSE. 2 (June 1975), 233-240.
	YOU74	John W. Young, A first order approximation to the optimum checkpoint interval, Communications of the ACM, v.17 n.9, p.530-531, Sept. 1974 [doi>10.1145/361147.361115]

CITED BY 41

	Marvin V. Zelkowitz, Perspectives in Software Engineering, ACM Computing Surveys (CSUR), v.10 n.2, p.197-216, June 1978
	Dorothy E. Denning , Peter J. Denning, Data Security, ACM Computing Surveys (CSUR), v.11 n.3, p.227-249, Sept. 1979
	L. Boi , P. Michel, An approach to a fault-tolerant system architecture, Proceedings of the 5th annual symposium on Computer architecture, p.123-130, April 03-05, 1978
	John K. Ousterhout , Donald A. Scelza , Pradeep S. Sindhu, Medusa: an experiment in distributed operating system structure, Communications of the ACM, v.23 n.2, p.92-105, Feb. 1980
	Naftaly H. Minsky , David Rozenshtein, A software development environment for law-governed systems, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.65-75, November 1988
	Virgil D. Gligor, Architectural implications of abstract data type implementation, Proceedings of the 6th annual symposium on Computer architecture, p.20-30, April 23-25, 1979
	John Kershaw, Two implementations of the 'FLEX' machine, ACM SIGMICRO Newsletter, v.12 n.4, p.25-37, Dec. 1981
	Roy Levin, Surveyor's Forum: An Amplification on Hydra's Capabilities, ACM Computing Surveys (CSUR), v.9 n.2, p.165, June 1977
	Ariel Pashtan, Object oriented operating systems: An emerging design methodology, Proceedings of the ACM '82 conference, p.126-131, January 1982
	Michael Marcotty , Henry F. Ledgard, Surveyor's Forum: A Criticism of Sampler, ACM Computing Surveys (CSUR), v.9 n.2, p.167-168, June 1977
	Anita Borg , Jim Baumbach , Sam Glazer, A message system supporting fault tolerance, ACM SIGOPS Operating Systems Review, v.17 n.5, p.90-99, October 1983
	Kevin C. Kahn , William M. Corwin , T. Don Dennis , Herman D'Hooge , David E. Hubka , Linda A. Hutchins , John T. Montague , Fred J. Pollack, iMAX: A multiprocessor operating system for an object-based computer, ACM SIGOPS Operating Systems Review, v.15 n.5, p.127-136, December 1981
	Naftaly H. Minsky , Abe D. Lockman, Ensuring integrity by adding obligations to privileges, Proceedings of the 8th international conference on Software engineering, p.92-102, August 28-30, 1985, London, England
	Fred J. Pollack , George W. Cox , Dan W. Hammerstrom , Kevin C. Kahn , Konrad K. Lai , Justin R. Rattner, Supporting ada memory management in the iAPX-432, ACM SIGARCH Computer Architecture News, v.10 n.2, p.117-131, March 1982
	James Donahue, Surveyor's Forum: A Criticism of Sampler, ACM Computing Surveys (CSUR), v.9 n.2, p.166-167, June 1977
	L. Casey , N. Shelness, A domain structure for distributed computer systems, ACM SIGOPS Operating Systems Review, v.11 n.5, p.101-108, November 1977
	Joost S. M. Verhofstad, Recovery Techniques for Database Systems, ACM Computing Surveys (CSUR), v.10 n.2, p.167-195, June 1978
	G. J. Myers , B. R. S. Buckingham, A hardware implementation of capability-based addressing, ACM SIGARCH Computer Architecture News, v.8 n.6, p.12-24, October 1980
	MM. L. Boi , P. Michel, Design and principles of a fault tolerant system, Proceedings of the 3rd international conference on Software engineering, p.207-214, May 10-12, 1978, Atlanta, Georgia, United States
	Michael Marcotty , Henry Ledgard and Gregor V. Bochmann, Corrigendum: “A Sampler of Formal Definitions”, ACM Computing Surveys (CSUR), v.9 n.2, p.168, June 1977
	Christie D. Michelsen , Wayne D. Dominick , Joseph E. Urban, A methodology for the objective evaluation of the user/system interfaces of the MADAM system using software engineering principles, Proceedings of the 18th annual Southeast regional conference, March 24-26, 1980, Tallahassee, Florida
	Russell J. Abbott, Resourceful systems for fault tolerance, reliability, and safety, ACM Computing Surveys (CSUR), v.22 n.1, p.35-68, March 1990
	Naftaly H. Minsky, Locality in software systems, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.299-312, January 24-26, 1983, Austin, Texas
	N. H. Minsky , D. Rozenshtein, System = program + users + law, Proceedings of the 1st international conference on Artificial intelligence and law, p.170-180, May 27-29, 1997, Boston, Massachusetts, United States
	G. J. Myers , B. R. S. Buckingham, A hardware implementation of capability-based addressing, ACM SIGOPS Operating Systems Review, v.14 n.4, p.13-25, October 1980
	Michele Bugliesi , Giuseppe Castagna, Secure safe ambients, ACM SIGPLAN Notices, v.36 n.3, p.222-235, March 2001
	F. Baiardi , L. Ricci , M. Vanneschi, Static checking of interprocess communication in ECSP, ACM SIGPLAN Notices, v.19 n.6, p.290-299, June 1984
	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983
	Randall B. Smith , Ranald Hixon , Bernard Horan, Supporting flexible roles in a shared space, Proceedings of the 1998 ACM conference on Computer supported cooperative work, p.197-206, November 14-18, 1998, Seattle, Washington, United States
	Walter H. Kohler, A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.149-183, June 1981
	Charlie McDowell, Protection at the micromachine level, ACM SIGARCH Computer Architecture News, v.10 n.1, p.4-8, January 1982
	J. L. Keedy, On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, v.13 n.1, p.5-9, January 1979
	B. Randell , P. Lee , P. C. Treleaven, Reliability Issues in Computing System Design, ACM Computing Surveys (CSUR), v.10 n.2, p.123-165, June 1978
	L. Ciminiera , A. Valenzano, Authentication Mechanisms in Microprocessor-Based Local Area Networks, IEEE Transactions on Software Engineering, v.15 n.5, p.654-658, May 1989
	Michael M. Swift , Brian N. Bershad , Henry M. Levy, Improving the reliability of commodity operating systems, ACM Transactions on Computer Systems (TOCS), v.23 n.1, p.77-110, February 2005
	Mario Tokoro , Takashi Takizuka, On the semantic structure of information - A proposal of the abstract storage architecture, ACM SIGARCH Computer Architecture News, v.10 n.3, p.211-217, April 1982
	Vincenzo De Florio , Chris Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computing Surveys (CSUR), v.40 n.2, p.1-37, April 2008
	Dave Johnson , Dave Budde , Dave Carson , Craig Peterson, Intel iAPX 432: VLSI building blocks for a fault-tolerant computer, Proceedings of the May 16-19, 1983, national computer conference, May 16-19, 1983, Anaheim, California
	G. J. Battarel , R. J. Chevance, Design of a high level language machine, ACM SIGARCH Computer Architecture News, v.6 n.9, p.5-17, June 1978
	Bernard Adam , Ian F. C. Smith, Active tensegrity: A control framework for an adaptive civil-engineering structure, Computers and Structures, v.86 n.23-24, p.2215-2223, December, 2008
	Peter J. Denning , Walter F. Tichy , Edward D. Lazowska , Jochen Liedtke, Operating systems, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003