A Retrospective on the VAX VMM Security Kernel
IEEE Transactions on Software Engineering
The structuring of systems using upcalls
Proceedings of the tenth ACM symposium on Operating systems principles
Synchronization with eventcounts and sequencers
Communications of the ACM
Survey of recent operating systems research, designs and implementations
ACM SIGOPS Operating Systems Review
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
VM/370 security retrofit program
ACM '77 Proceedings of the 1977 annual conference
Hi-index | 0.02 |
This thesis presents a simply structured design for the implementation of process in a kernel-structured operating system. The design provides a minimal mechanism for the support of two distinct classes of processes found in the computer system - those which are part of the kernel operating system itself, and those used to execute user-specified computations. The design is broken down into two levels, one which implements a fixed number of virtual processors, which are then used to run kernel processes, and are multiplexed to provide processes for user computation. Eventcount primitives are provided, in order to provide a simple unified interprocess control communication mechanism. The design is intended to be used in the creation of a secure kernel for the Multics Operating System.