article

Free access

Levels of representation of programs and the architecture of universal host machines

Author:

B. Ramakrishna RauAuthors Info & Claims

ACM SIGMICRO Newsletter, Volume 9, Issue 4

Pages 67 - 79

https://doi.org/10.1145/1014198.804311

Published: 19 November 1978 Publication History

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.

References

[1]

M. V. Wilkes, "The best way to design an automatic calculating machine," Manchester Univ. Comput. Inaugur. Conf., 1951, p. 16.

[2]

W. T. Wilner, "Design of the B1700," AFIPS Conf. Proc., 1972 FJCC, 41, 489-497, Montvale, NJ, AFIPS Press.

[3]

W. T. Wilner, "Burroughs B-1700 Memory Utilization," AFIPS Conf. Proc., 1972 FJCC, 41, 579-586, Montvale, NJ, AFIPS Press.

[4]

L. W. Hoevel, "DELTRAN Principles of Operation: A Directly Executed Language for FORTRAN-II," Tech. Note No. 108, Digital Systems Laboratory, Stanford Univ., Stanford, CA, March 1977.

[5]

J. P. Anderson, "A computer for direct execution of algorithmic languages," Proc. EJCC, 1961, 184-193.

[6]

Y. Chu, "Introducing the high-level language computer architecture," Tech. Rep. No. TR-227, Comput. Sci. Center, Univ. Maryland, College Park, Maryland, 1973.

[7]

H. M. Bloom, "Design and simulation of an ALGOL computer," Tech. Rep. No. 70-118, Comput. Sci. Center, Maryland, College Park, Maryland, 1970.

[8]

T. R. Bashkow, A. Sasson and A. Kronfeld, "System design for a FORTRAN machine," IEEE-TEC, Aug. 1971, 485-499.

[9]

M. Sugimoto, "PL/1 reducer and direct processor," Proc. ACM, 1969, 519-538.

Digital Library

[10]

R. Rice and W. R. Smith, "SYMBOL - A major departure from classic software dominated von Neumann computing systems," SJCC, 1971, 575-587.

[11]

E. W. Reigel, V. Faber and D. A. Fisher, "The interpreter - a microprogrammable building block system," AFIPS Conf. Proc., 1972 SJCC, 40, 705-723, Montvale, NJ, AFIPS Press.

[12]

H. W. Lawson and B. K. Smith, "Functional Characteristics of a Multilingual Processor," IEEE-TC, 20, July 1971, 732-742.

Digital Library

[13]

Nanodata Corp., "QM-1 Hardware Level User's Manual," Second Edition, August 1974.

[14]

M. J. Flynn, C. J. Neuhauser and R. M. McClure, "EMMY - an emulation system for user microprogramming," AFIPS Conference Proceedings, 1975 NCC, 85-89.

[15]

L. W. Hoevel, "'Ideal' directly executed languages: an analytic argument for emulation," IEEE-TC, 23, 8, 1974, 759-767.

[16]

L. W. Hoevel and M. J. Flynn, "The Structure of Directly Executed Languages: A New Theory of Interpretive System Support," Digital Systems Lab. Tech. Rep. No. 130, Stanford Univ., March 1977.

Digital Library

[17]

G. Radin, "A note on the concept of binding," IBM Thomas J. Watson Res. Rep. No. RC 3287, Yorktown Heights, NY, March 1971.

[18]

P. Naur, (Ed.), "Revised report on the algorithmic language ALGOL 60," CACM 6, Jan. 1963, 1-17.

Digital Library

[19]

K. E. Iverson, "A Programming Language," Wiley, New York, 1962.

Digital Library

[20]

J. R. Bell, "Threaded Code," CACM, 16, 6, June 1973, 370-372.

Digital Library

[21]

J. B. Johnston, "The Contour Model of Block Structured Processes," Proceedings of the SDSPL (SIGPLAN Notices, Vol. 6) Feb. 1971, 55-82.

Digital Library

[22]

D. A. Huffman, "A method for the construction of minimum redundancy codes," I.R.E., 40, 9, Sept. 1952, 1098-1101.

[23]

C. C. Foster and R. Gonter, "Conditional Interpretation of Operation Codes," IEEE-TC, Jan. 1971, 108-111.

[24]

E. C. R. Hehner, "Computer design to minimize memory requirements," Computer, 9, 8, Aug. 1976, 65-70.

Digital Library

[25]

E. C. R. Hehner, "Information Content of Programs and Operation Encoding," JACM, 24, 2, Apr. 1977, 290-297.

Digital Library

[26]

B. S. Brawn and F. G. Gustavsen, "Program Behavior in a Paging Environment," AFIPS Proceedings, 33, FJCC, 1968, 1019-1032.

[27]

P. J. Denning, "The working set model for program behavior," CACM, 11, 5, May 1968, 323-333.

Digital Library

[28]

K. R. Kaplan and R. O. Winder, "Cache-based Computer Systems," Computer, 6, 3, March 1973, 30-36.

Digital Library

[29]

D. H. Gibson, "Considerations in Block-Oriented Systems Design," Proc. SJCC, 1967, pp. 78-80.

[30]

R. M. Meade, "Design Approaches for Cache Memory Control," Computer Design, 10, January 1971, 87-93.

[31]

T. Kilburn, D. B. G. Edwards, M. J. Lanigan, and F. H. Summer, "One-level Storage Systems," IRE Trans. Elec. Comp., 11, 2, 1962, 223-235.

[32]

P. J. Denning, "Virtual Memory," Computing Surveys, 2,3, 1970, 153-189.

Digital Library

[33]

B. Randell, "A Note on Storage Fragmentation and Program Segmentation," CACM, 12, 7, July 1969, 365-369.

Digital Library

[34]

C. J. Conti, "Concepts for Buffer Storage," Computer Group News, 2, March 1969, 9-13.

[35]

S. H. Fuller, V. R. Lesser, C. G. Bell, and C. M. Kaman, "The Effects of Emerging Technology and Emulation Requirements on Microprogramming," IEEE-TC, 25, 10, Oct. 1976, 1000-1009.

[36]

W. D. Strecker, "Cache Memories for PDP-11 Family Computers," Third Annual Symposium on Computer Architecture, 1976, 155-158.

Digital Library

Cited By

Coffin EYoung SKaur HBrown JPirvu MKent K(2020)MicroJITProceedings of the 30th Annual International Conference on Computer Science and Software Engineering10.5555/3432601.3432625(179-188)Online publication date: 10-Nov-2020
https://dl.acm.org/doi/10.5555/3432601.3432625
Cheng LIlbeyi BBolz-Tereick CBatten CMars JTang LXue JWu P(2020)Type freezing: exploiting attribute type monomorphism in tracing JIT compilersProceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3368826.3377907(16-29)Online publication date: 22-Feb-2020
https://dl.acm.org/doi/10.1145/3368826.3377907
Arnold MFink SGrove DHind MSweeney P(2005)A Survey of Adaptive Optimization in Virtual MachinesProceedings of the IEEE10.1109/JPROC.2004.84030593:2(449-466)Online publication date: Feb-2005
https://doi.org/10.1109/JPROC.2004.840305
Show More Cited By

Index Terms

Levels of representation of programs and the architecture of universal host machines

Recommendations

Levels of representation of programs and the architecture of universal host machines
MICRO 11: Proceedings of the 11th annual workshop on Microprogramming

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 ...
A dynamic model for energy-efficiently migrating a group of virtual machines from a host server to a guest server

In this paper, we newly propose a dynamic migration of a group of Ïý virtual machines [DMGÏý] algorithm to reduce the total electric energy consumption of servers in a cluster. Here, virtual machines are dynamically resumed and suspended so ...
Executing MPI programs on virtual machines in an internet sharing system
IPDPS'06: Proceedings of the 20th international conference on Parallel and distributed processing

Internet sharing systems aim at federating and utilizing distributed computing resources across the Internet. This paper presents a user-level virtual machine (VM) approach to MPI program execution in an Internet sharing framework. In this approach, the ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMICRO Newsletter

ACM SIGMICRO Newsletter Volume 9, Issue 4

Dec. 1978

160 pages

ISSN:1050-916X

DOI:10.1145/1014198

Issue’s Table of Contents

MICRO 11: Proceedings of the 11th annual workshop on Microprogramming
November 1978
160 pages
Chairmen:
Stephen D. Crocker,
Gearold Johnson,
Alice Parker,
John Ashlstrom

Copyright © 1978 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 November 1978

Published in SIGMICRO Volume 9, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
496
Total Downloads

Downloads (Last 12 months)123
Downloads (Last 6 weeks)17

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Coffin EYoung SKaur HBrown JPirvu MKent K(2020)MicroJITProceedings of the 30th Annual International Conference on Computer Science and Software Engineering10.5555/3432601.3432625(179-188)Online publication date: 10-Nov-2020
https://dl.acm.org/doi/10.5555/3432601.3432625
Cheng LIlbeyi BBolz-Tereick CBatten CMars JTang LXue JWu P(2020)Type freezing: exploiting attribute type monomorphism in tracing JIT compilersProceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3368826.3377907(16-29)Online publication date: 22-Feb-2020
https://dl.acm.org/doi/10.1145/3368826.3377907
Arnold MFink SGrove DHind MSweeney P(2005)A Survey of Adaptive Optimization in Virtual MachinesProceedings of the IEEE10.1109/JPROC.2004.84030593:2(449-466)Online publication date: Feb-2005
https://doi.org/10.1109/JPROC.2004.840305
Duesterwald E(2005)Design and Engineering of a Dynamic Binary OptimizerProceedings of the IEEE10.1109/JPROC.2004.84030293:2(436-448)Online publication date: Feb-2005
https://doi.org/10.1109/JPROC.2004.840302
Singh GSingh H(1991)A Pedagogical Tool For Learning LispTENCON '91. Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems10.1109/TENCON.1991.753888(299-303)Online publication date: 1991
https://doi.org/10.1109/TENCON.1991.753888
Santo MNigro LRusso W(1981)On the efficient implementation of retention block-structured languagesInternational Journal of Computer & Information Sciences10.1007/BF0097837710:1(39-54)Online publication date: Feb-1981
https://doi.org/10.1007/BF00978377
Campanoni SAgosta GReghizzi S(2008)A parallel dynamic compiler for CIL bytecodeACM SIGPLAN Notices10.1145/1374752.137475443:4(11-20)Online publication date: 1-Apr-2008
https://dl.acm.org/doi/10.1145/1374752.1374754
Sridhar SShapiro JNorthup EBungale PBoehm HGrove D(2006)HDTransProceedings of the 2nd international conference on Virtual execution environments10.1145/1134760.1220166(175-185)Online publication date: 14-Jun-2006
https://dl.acm.org/doi/10.1145/1134760.1220166
Aycock J(2003)A brief history of just-in-timeACM Computing Surveys10.1145/857076.85707735:2(97-113)Online publication date: 1-Jun-2003
https://dl.acm.org/doi/10.1145/857076.857077
May C(1987)Mimic: a fast system/370 simulatorACM SIGPLAN Notices10.1145/960114.2965122:7(1-13)Online publication date: 1-Jul-1987
https://dl.acm.org/doi/10.1145/960114.29651
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents