Segmentation and the Design of Multiprogrammed Computer Systems
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
TENEX, a paged time sharing system for the PDP - 10
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The working set model for program behavior
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Protection in an information processing utility
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
Programming semantics for multiprogrammed computations
Communications of the ACM
A position paper on computing and communications
SOSP '67 Proceedings of the first ACM symposium on Operating System Principles
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY
COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A COMPUTER UTILITY
COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A COMPUTER UTILITY
Structure of multiple activity algorithms
SOSP '69 Proceedings of the second symposium on Operating systems principles
The multics system: an examination of its structure
The multics system: an examination of its structure
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Engineering a security kernel for Multics
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
An implementation of capabilities on the PDP-11/45
ACM SIGOPS Operating Systems Review
A hardware implementation of capability-based addressing
ACM SIGOPS Operating Systems Review
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
Coupling small computers for performance enhancement
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Hi-index | 0.00 |
As part of its effort to periodically investigate various new promising concepts and techniques, the Digital Equipment Corporation has sponsored a research project whose purpose it was to effect a limited implementation of a protective operating system framework, based on the kernel/domain architecture which has increasingly been propounded in recent years. The project was carried out in 1972, and its successful completion has led to a substantial number of observations and insights. This paper reports on the more significant ones, specifically: 1) the techniques used in mapping a conceptual model onto commercially available hardware (the PDP-11/45 mini-computer), 2) the domain's memory mapping properties, and their impact on programming language storage-class semantics, 3) this architecture's impact on the apparent simplification of various traditionally-complex operating systems monitor functions, and 4) the promise this architecture holds in terms of increased functional flexibility for future-generation geodesic operating systems.