Dynamic Supervisors - their design and construction

  title={Dynamic Supervisors - their design and construction},
  author={D. H. R. Huxtable and Mal Warwick},
  journal={Proceedings of the first ACM symposium on Operating System Principles},
  • D. Huxtable, M. Warwick
  • Published 1 January 1967
  • Computer Science
  • Proceedings of the first ACM symposium on Operating System Principles
The paper demonstrates the technology necessary to bring the facilities of Supervisor construction and modification to the level at which a user can, without a great deal of research and analysis modify his installation's Operating System The Supervisor is seen to be a set of processes linked by a formalised control mechanism. 

The design and implementation of a prototype exokernel operating system

This thesis motivates the need for a new operating system structure, provides a set of precepts to guide its design, discusses general issues that exokernels must deal with in multiplexing physical hardware, and describes and measures a prototype exokernel system.

The Operating System Kernel as a Secure Programmable Machine

To put abstractions traditionally implemented by the kernel out into user-space, where user-level libraries and servers abstract the exposed hardware resources, a new operating system structure, exokernel, is defined that safely exports the resources defined by the underlying hardware.

The operating system kernel as a secure programmable machine

To test and evaluate exokernels and their customization techniques a prototype system is being developed, Aegis, which allows programmable yet safe additions to the supervisor-mode execution environment.

Survey of design goals for operating systems

The paper reports the results of a literature search on the subject "design goals for operating systems" and a general set of operating system design goals is developed.

Representations for space planning

The representational requirements for this problem area are defined and compared with current computer graphic languages, and four alternative data structures that allow automated space planning are described and compared.

The nucleus of a multiprogramming system

This paper describes the philosophy and structure of a multi-programming system that can be extended with a hierarchy of operating systems to suit diverse requirements of program scheduling and