Processor Multiplexing in a Layered Operating System

Abstract

This thesis presents a simply structured design for the implementation of processes 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 computations. 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1976
Accession Number
ADA061135

Entities

People

  • David P. Reed

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Communication Channels
  • Computations
  • Computer Access Control
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Databases
  • Debugging
  • Electrical Engineering
  • Engineering
  • Governments
  • Instruction Set Architecture
  • Load Monitoring
  • Network Protocols
  • Operating Systems

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Database Systems and Applications
  • Parallel and Distributed Computing.