The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
This paper develops four related architectural principles which can guide the construction of error-tolerant operating systems.The fundamental principle, system closure, specifies that no action is permissible unless explicitly authorized.The capability based machine is the most efficient known embodiment of this principle: it allows efficient small access domains, multiple domain processes without a privileged mode of operation, and user and system descriptor information protected by the same mechanism.System closure implies a second principle, resource control, that prevents processes from exchanging information via residual values left in physical resource units.These two principles enable a third, decision verification by failure-independent processes.These principles enable prompt error detection and cost-effective recovery.Implementations of these principles are given for process management, interrupts and traps, store access through capabilities, protected procedure entry, and tagged architecture.
How it got here
How it got here
agent via openalex
Added
2026-10-25 18:49 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{denning1976fault,
title = {Fault Tolerant Operating Systems},
author = {Peter James Denning},
year = {1976},
journal = {ACM Computing Surveys},
publisher = {Association for Computing Machinery},
volume = {8},
number = {4},
pages = {359--389},
doi = {10.1145/356678.356680},
}