Advances in Computer Architecture
Advances in Computer Architecture
Variable-length capabilities as a solution to the small-object problem
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
A technique for passing reference parameters in an information-hiding architecture
ACM SIGARCH Computer Architecture News
Protection in programmed systems.
Protection in programmed systems.
The systematic design of a protection mechanism to support a high level language
The systematic design of a protection mechanism to support a high level language
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
ACM SIGARCH Computer Architecture News
ACM SIGARCH Computer Architecture News
Performance effects of architectural complexity in the Intel 432
ACM Transactions on Computer Systems (TOCS)
Hi-index | 0.00 |
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.