Reflections on an operating system design
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
On the criteria to be used in decomposing systems into modules
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
The Multics kernel design project
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
PROCESSOR MULTIPLEXING IN A LAYED OPERATING SYSTEM
PROCESSOR MULTIPLEXING IN A LAYED OPERATING SYSTEM
USING TYPE EXTENSION TO ORGANIZE VIRTUAL MEMORY MECHANISMS
USING TYPE EXTENSION TO ORGANIZE VIRTUAL MEMORY MECHANISMS
Implications of a virtual memory mechanism for implementing protection in a family of operating systems
Protection in programmed systems.
Protection in programmed systems.
The multics system: an examination of its structure
The multics system: an examination of its structure
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
| Hi-index | 0.00 |
Much effort is currently being devoted to producing computer systems that are easy to understand, to verify and to develop. The general methodology for designing such a system consists of decomposing it into a structured set of modules so that the modules can be understood, verified and developed individually, and so that the understanding/verification of the system can be derived from the understanding/verification of its modules. While many of the mechanisms in a computer system have been decomposed successfully into a structured set of modules, no technique has been proposed to organize the virtual memory mechanism of a system in such a way.The present paper proposes using type extension for that purpose. The virtaul memory mechanism consists of a set of type manager modules implementing abstract information containers. The structure of the mechanism reflects the structure of the containers that are implemented. While using type extension to organize a virtual memory mechanism is conceptually simple, it is hard to achieve in practice. All existing or proposed uses of type extension assume the existence of information containers that are uniformly accessible, can always be grown and are protected. Using type extension inside a virtual memory mechanism raises implementation problems since such containers are not implemented. Their implementation is precisely the objective of the virtual memory mechanism. In addition to explaining how type extension can be supported inside a virtual memory mechanism, the paper briefly discusses some aspects of its application to the reorganization of the kernal of a commercial, general-purpose, time-sharing system. It concludes by presenting some results of that case study concerning the organization of operating systems.