Language Mechanisms for Context Switching and Protection in Level Structured Operating Systems

One of the problems in building a general purpose operating system is the construction of interfaces between programs that are interdependent but are loaded at different times. This thesis presents a model that generalizes the interfaces between these programs, and defines any two processes or systems that are in a server-user relationship to be at different levels of abstraction. Two high-level language mechanisms are proposed to control the interface. Software capabilities control access between levels and the Execute statement controls processor context switching between levels. The mechanisms rely on data typing to implement safety. They are shown to provide safe systems and to encourage systems that are well protected and exhibit an explicit hierarchical structure.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Mckendry, Martin Stewart

• Computer Science

Identifier

(UMI)AAI8209608

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/69503