{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/66445"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/66445","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"The Systematic Design of a Protection Mechanism to Support a High Level Language","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Jones, Douglas Warren"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12-13T18:02:17Z","date_published":"2014-12-13T18:02:17Z","updated_at":"2026-07-22T22:25:55Z","subjects":["Computer Science"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(UMI)AAI8108556"],"render_values":[{"text":"(UMI)AAI8108556","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/66445","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Jones, Douglas Warren"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12-13T18:02:17Z","10000-01-01","1980"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/66445","(UMI)AAI8108556"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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.","Made available in DSpace on 2014-12-13T18:02:17Z (GMT). No. of bitstreams: 1 8108556.pdf: 5938548 bytes, checksum: e8d1898e196a18631e1b6e1299c1ebfe (MD5) Previous issue date: 1980","Embargo set by: Seth Robbins for item 66623 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","135 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980."]},{"key":"dc:title","label":"Title","values":["The Systematic Design of a Protection Mechanism to Support a High Level Language"]}]}],"canonical_facts":{"dc:creator":["Jones, Douglas Warren"],"dc:date":["2014-12-13T18:02:17Z","10000-01-01","1980"],"dc:description":["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.","Made available in DSpace on 2014-12-13T18:02:17Z (GMT). No. of bitstreams: 1 8108556.pdf: 5938548 bytes, checksum: e8d1898e196a18631e1b6e1299c1ebfe (MD5) Previous issue date: 1980","Embargo set by: Seth Robbins for item 66623 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","135 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980."],"dc:identifier":["http://hdl.handle.net/2142/66445","(UMI)AAI8108556"],"dc:language":["eng"],"dc:subject":["Computer Science"],"dc:title":["The Systematic Design of a Protection Mechanism to Support a High Level Language"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:55Z"}