The design of the Venus operating system
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 nucleus of a multiprogramming system
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
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Protection in programmed systems.
Protection in programmed systems.
The multics system: an examination of its structure
The multics system: an examination of its structure
A modular approach to file system design
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A design methodology for reliable software systems
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Project SUE as a learning experience
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Protection systems and protection implementations
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Automated control of concurrency in multi-user hierarchical information systems
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Hi-index | 14.98 |
The notion of level structured operating systems is receiving growing acceptance in the computing community. These systems are implemented and debugged incrementally, one level at a time. Each level provides a pseudo-machine interface upon which the next level can be implemented. Such systems offer significant advantages from the piont of view of debugging, reliability, understandability, and modifiability over conventionally organized systems. The efficiency price which must be paid for this type of organization can be overcome by providing some simple mechanisms in the hardware to support the level structure. It is the purpose of this paper to point out where the hardware support is needed and to suggest one way of implementing these features.