Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Reflections on an operating system design
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An extensible file system for hydra
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Protection in the Hydra Operating System
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The Cambridge CAP computer and its protection system
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
The CAP project - an interim evaluation
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Theory and practice in operating system design
SOSP '69 Proceedings of the second symposium on Operating systems principles
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
iMAX: A multiprocessor operating system for an object-based computer
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
| Hi-index | 0.00 |
One approach advocated in the search for better designed and more reliable operating systems is to base the design on the use of small protection domains. This paper presents empirical evidence to show that, with a suitable architecture, the overheads associated with using small protection domains do not make this an impractical approach.