Principles for Reliable Operating Systems
Loading...
Authors
Denning, Peter J.
Advisors
Second Readers
Subjects
Software Publications
Date of Issue
2002
Date
2002
Publisher
Language
Abstract
Back in the summer of 1975, Dorothy Denning and I, then still newlyweds, spent
a month at Cambridge. During that time Roger Needham and I met daily to
discuss topics in the design of operating systems. We were searching for
fundamental principles for reliable systems. One fruit of those discussions was
my paper, “Fault tolerant operating systems,” in ACM Computing Surveys,
December 1976. Two topics of our discussions have stuck in my mind for all
these years because the principles were sound and relevant to real systems. They
are interrupts and capability addressing.
Type
Article
Description
Peter J. Denning reminisces about joint work in 1975 with Roger Needham on design principles for reliable operating systems. He recounts vivid memories of two findings, about interrupts and about capability addressing. These principles are still valid a quarter century later and remain in wide use.
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Principles for Reliable Operating Systems. 2002. PJD reminisces about joint work in 1975 with Roger Needham on design principles for reliable operating systems. He recounts vivid memories of two findings, about interrupts and about capability addressing. These principles are still valid a quarter century later and remain in wide use.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.