article

Free access

Systematic protection mechanism design

Author:

Douglas W. JonesAuthors Info & Claims

ACM SIGPLAN Notices, Volume 17, Issue 4

Pages 77 - 80

https://doi.org/10.1145/960120.801828

Published: 01 March 1982 Publication History

PDF eReader

Abstract

This work describes an attempt to systematically design a hardware resource protection mechanism when given the requirements of a particular language as a target. The design process is formalized as a structured walk through the multidimensional computer design space towards a hypothetical class of optimal machines. Each step in this walk involves a change in the distribution of work between the compiler and run-time system but no change in the source language semantics. The starting point for this walk is the result of a semantic analysis of the language to be implemented; typically, this produces a very high level machine where the compiler, if any, is trivial. The walk ends when no changes result in a net improvement. This does not guarantee that the result is even locally optimal, since the changes tried depend on the ingenuity and persistence of the designer.

This design approach has been used to arrive at a practical, general purpose protection mechanism oriented towards the needs of the Ada language (preliminary version). This architecture was evaluated by comparing it with the PDP-11/45. For the purpose of this comparison, the protection mechanism was incorporated into a partially specified PDP-11 like instruction set. The number of bits making up the processor state and the number of operations involved in address computation were evaluated. On this basis, the result appears to be competitive and worth further investigation.

References

[1]

C. G. Bell and A. Newell, Computer Structures, McGraw-Hill, New York, 1971; see also Siewiorek, Bell and Newell, Computer Structures, McGraw-Hill, 1981.

Google Scholar

[2]

Department of Defense, Preliminary Ada Reference Manual; published as SIGPLAN Notices 14, 6, Part A (June 1979).

Digital Library

Google Scholar

[3]

Department of Defense, Reference Manual for the Ada Programming Language, USGPO Number 008-000-00354-8 (1980).

Google Scholar

[4]

E. F. Gehringer, "Variable Length Capabilities as a Solution to the Small Object Problem," Proc. of the 7th Symp. on Operating Systems Principles, Dec. 1979, Pacific Grove, CA, 131-142.

Digital Library

Google Scholar

[5]

A. K. Jones, "Protection in Programmed Systems," Ph.D. Thesis, Carnegie-Mellon Univ., 1973.

Digital Library

Google Scholar

[6]

D. W. Jones, "Overprotection," ACM Computer Science Conference, Kansas City, MO, Feb. 1980, page 25; more detail may be found in Chapter 5 of {JonD80b}.

Google Scholar

[7]

D. W. Jones, The Systematic Design of a Protection Mechanism to Support a High Level Language, Ph.D. Thesis, University of Illinois, 1980; reprinted as Univ. of Iowa Dept. of Computer Science Report 81-04 (June 1981).

Digital Library

Google Scholar

[8]

J. L. Keedy, "A Technique for Passing Reference Parameters in an Information Hiding Architecture," Computer Architecture News 7, 9 (Aug. 1979), 11-15.

Digital Library

Google Scholar

[9]

G. J. Myers, Advances in Computer Architecture, John Wiley and Sons, New York, 1978.

Digital Library

Google Scholar

Cited By

View all

NISHIDA KAOYAMA C(1984)CLASSIFICATION SYSTEM OF DECOMPOSED GRANITE SOIL IN UNDISTURBED STATE物理強度特性からみた乱さないまさ土の分類Doboku Gakkai Ronbunshu10.2208/jscej.1984.352_1591984:352(159-168)Online publication date: 20-Dec-1984
https://doi.org/10.2208/jscej.1984.352_159
van Deursen A(2002)Software architecture recovery and modellingACM SIGAPP Applied Computing Review10.1145/568235.56823610:1(4-7)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1145/568235.568236
Grinspun EKrysl PSchröder P(2002)CHARMSACM Transactions on Graphics10.1145/566654.56657821:3(281-290)Online publication date: 1-Jul-2002
https://dl.acm.org/doi/10.1145/566654.566578
Show More Cited By

Index Terms

Systematic protection mechanism design

Recommendations

Systematic protection mechanism design
ASPLOS I: Proceedings of the first international symposium on Architectural support for programming languages and operating systems

This work describes an attempt to systematically design a hardware resource protection mechanism when given the requirements of a particular language as a target. The design process is formalized as a structured walk through the multidimensional ...
Systematic protection mechanism design

This work describes an attempt to systematically design a hardware resource protection mechanism when given the requirements of a particular language as a target. The design process is formalized as a structured walk through the multidimensional ...
The systematic design of a protection mechanism to support a high level language

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 17, Issue 4

Proceedings of the 1982 symposium on Architectural support for programming languages and operating systems

April 1982

209 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/960120

Issue’s Table of Contents

ASPLOS I: Proceedings of the first international symposium on Architectural support for programming languages and operating systems
March 1982
209 pages
ISBN:0897910664
DOI:10.1145/800050
Chairmen:
David R. Ditzel,
Lloyd I. Dickman

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1982

Published in SIGPLAN Volume 17, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
281
Total Downloads

Downloads (Last 12 months)41
Downloads (Last 6 weeks)9

Reflects downloads up to 26 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

NISHIDA KAOYAMA C(1984)CLASSIFICATION SYSTEM OF DECOMPOSED GRANITE SOIL IN UNDISTURBED STATE物理強度特性からみた乱さないまさ土の分類Doboku Gakkai Ronbunshu10.2208/jscej.1984.352_1591984:352(159-168)Online publication date: 20-Dec-1984
https://doi.org/10.2208/jscej.1984.352_159
van Deursen A(2002)Software architecture recovery and modellingACM SIGAPP Applied Computing Review10.1145/568235.56823610:1(4-7)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1145/568235.568236
Grinspun EKrysl PSchröder P(2002)CHARMSACM Transactions on Graphics10.1145/566654.56657821:3(281-290)Online publication date: 1-Jul-2002
https://dl.acm.org/doi/10.1145/566654.566578
Benson SMcInnes LMoré J(2001)A case study in the performance and scalability of optimization algorithmsACM Transactions on Mathematical Software10.1145/502800.50280527:3(361-376)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/502800.502805
Birgin EMartínez JRaydan M(2001)Algorithm 813ACM Transactions on Mathematical Software10.1145/502800.50280327:3(340-349)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/502800.502803
Yang DGrama ASarin VRamakrishnan N(2001)Compression of particle data from hierarchical approximate methodsACM Transactions on Mathematical Software10.1145/502800.50280227:3(317-339)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/502800.502802
Agrawal H(1994)On slicing programs with jump statementsACM SIGPLAN Notices10.1145/773473.17845629:6(302-312)Online publication date: 1-Jun-1994
https://dl.acm.org/doi/10.1145/773473.178456
Austin TBreach SSohi G(1994)Efficient detection of all pointer and array access errorsACM SIGPLAN Notices10.1145/773473.17844629:6(290-301)Online publication date: 1-Jun-1994
https://dl.acm.org/doi/10.1145/773473.178446
Wismüller R(1994)Debugging of globally optimized programs using data flow analysisACM SIGPLAN Notices10.1145/773473.17843029:6(278-289)Online publication date: 1-Jun-1994
https://dl.acm.org/doi/10.1145/773473.178430
Norris CPollock L(1994)Register allocation over the program dependence graphACM SIGPLAN Notices10.1145/773473.17842729:6(266-277)Online publication date: 1-Jun-1994
https://dl.acm.org/doi/10.1145/773473.178427
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations