Files in this item

FilesDescriptionFormat

application/pdf

application/pdf8209608.pdf (4MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Language Mechanisms for Context Switching and Protection in Level Structured Operating Systems
Author(s):Mckendry, Martin Stewart
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
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.
Issue Date:1982
Type:Text
Description:150 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1982.
URI:http://hdl.handle.net/2142/69503
Other Identifier(s):(UMI)AAI8209608
Date Available in IDEALS:2014-12-15
Date Deposited:1982


This item appears in the following Collection(s)

Item Statistics