Files in this item
|(no description provided)|
|Title:||Language Mechanisms for Context Switching and Protection in Level Structured Operating Systems|
|Author(s):||Mckendry, Martin Stewart|
|Department / Program:||Computer Science|
|Degree Granting Institution:||University of Illinois at Urbana-Champaign|
|Abstract:||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.
Software capabilities and the Execute statement are illustrated with a pilot implementation on the Prime 650. An experimental operating system that shows their use is discussed. Extensions are discussed to manage interrupts, timeslicing and preemption, and hardware protection mechanisms. Requirements for inclusion in other languages are presented and issues for further research are discussed.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1982.
|Date Available in IDEALS:||2014-12-15|