Implementing Language Support in High-Level Languages

Martin S. Mckendry, Roy H. Campbell

Research output: Contribution to journalArticle

Abstract

One of the requirements for building an operating system in a high-level operating system language, such as Ada, Concurrent Pascal, or Modula, is the construction of a language support system, or kernel. This paper presents a model that generalizes the concept of a kernel, and defines a kernel and the processes it supports to be at different levels of abstraction. A high-level language mechanism, the Execute statement, is then proposed as the basis of the interface between a kernel and the processes it supports. Software capabilities control access between levels and the Execute statement controls processor context switching between levels. The mechanisms rely on data typing for reliability and protection. They encourage systems that are well protected and exhibit an explicit hierarchical structure. Software capabilities and the Execute statement are illustrated with a pilot implementation on the Prime 650. An experimental operating system that encompasses their use is discussed Extensions are presented which manage interrupts, timeslicing and preemption, and hardware protection mechanisms.

Original languageEnglish (US)
Pages (from-to)227-236
Number of pages10
JournalIEEE Transactions on Software Engineering
VolumeSE-10
Issue number3
DOIs
StatePublished - May 1984

    Fingerprint

Keywords

  • Capabilities
  • Pascal run-time kernel
  • context switching
  • high-level languages
  • operating systems

ASJC Scopus subject areas

  • Software

Cite this