The Systematic Design of a Protection Mechanism to Support a High Level Language
Jones, Douglas Warren
This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.
Permalink
https://hdl.handle.net/2142/66445
Description
Title
The Systematic Design of a Protection Mechanism to Support a High Level Language
Author(s)
Jones, Douglas Warren
Issue Date
1980
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Computer Science
Language
eng
Abstract
The protection structures of most computers in commercial use today are the results of a haphazard design process. This work represents an attempt to correct this state of affairs by integrating a wide variety of previous work in the areas of programming language design, memory protection, and design methodology. The design process is formalized as a structured walk through the multidimensional computer design space towards an optimal machine. The starting point for this walk is the result of a semantic analysis of the problem to be solved, and the walk ends when no changes to the design result in any improvement.
This design approach is used to arrive at a practical general purpose protection architecture from the programming language Ada. This architecture is shown to be comparable in complexity and performance to that of the PDP-11/45. The semantic analysis of Ada required for this effort suggests a number of ways in which Ada or similar languages could be improved, and many of these improvements are anticipated by the proposed protection architecture. In the process of examining problems with Ada, a new protection structure design principle is identified: That the static and dynamic rights transfer mechanisms should parallel each other. Although this principle is violated by Ada and most existing languages, it is obeyed by the proposed architecture.
Measures of protection are required in order to identify desirable changes to an architecture or language. A number of existing protection measures are surveyed here, and these are extended to take into account the effects of combining different protection mechanisms, as is commonly done in the process of language implementation. A new overprotection measure is proposed for identifying redundancy in such situations, and this is used as a heuristic to guide the search for an acceptable protection mechanism.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
