Levels of representation of programs and the architecture of universal host machines
- 19 November 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMICRO Newsletter
- Vol. 9 (4) , 67-79
- https://doi.org/10.1145/1014198.804311
Abstract
The issue of high level language support is treated in a systematic top-down manner. Program representations are categorized into three classes with respect to a host processor: high level representations, directly interpretable representations and directly executable representations. The space of intermediate languages for high level language support is explored and it is shown that whereas the ideal intermediate language from the point of view of execution time is a directly executable one, the best candidate from the viewpoint of memory requirements is a heavily encoded directly interpretable representation. The concept of dynamic translation is advanced as a means for achieving both goals simultaneously; the program is present in the memory in a compact static representation, but its working set is maintained in a dynamic representation which minimizes execution time. The architecture and organization of a universal host machine, incorporating this strategy, is outlined and the potential performance gains due to dynamic translation are studied.Keywords
This publication has 15 references indexed in Scilit:
- Information Content of Programs and Operation EncodingJournal of the ACM, 1977
- Special Feature: Computer Design to Minimize Memory RequirementsComputer, 1976
- Threaded codeCommunications of the ACM, 1973
- Functional Characteristics of a Multilingual ProcessorIEEE Transactions on Computers, 1971
- The contour model of block structured processesACM SIGPLAN Notices, 1971
- SYMBOLPublished by Association for Computing Machinery (ACM) ,1971
- PL/I Reducer and Direct ProcessorPublished by Association for Computing Machinery (ACM) ,1969
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963
- A programming languagePublished by Association for Computing Machinery (ACM) ,1962
- A Method for the Construction of Minimum-Redundancy CodesProceedings of the IRE, 1952