Processor management in a concurrent Pascal kernel

Abstract

The main purpose of this paper is to discuss processor management in a Concurrent Pascal Kernel for PDP-11 computers, by comparing three algorithms for dealing with an aspect of processor allocation.This Kernel performs functions which are comparable with those performed by central parts (often termed "executive" or "monitor") of many operating systems. As an introduction to the detailed discussion of the Kernel's processor management, an overview of its function and structure is given first. In this way this paper serves another purpose, in that it shows how such operating system "kernels" can be constructed in general.

Monitors and Concurrent Pascal

“…These observations are in sharp contrast to our experience with commercially available operating systems. Kruijer (1982a) also discovered a single (but subtle) error in the Concurrent Pascal kernel.…”