Abstract
Conventional instruction sets or directly interpretable languages (DILs) have not been designed with high-level languages (HLLs) in mind. The modern design problem is to derive a space-time efficient DIL for a HLL processing system. In this paper, we present our approach to the problem of designing well-matched, space-time efficient DILs. A systematic, syntax- and semantics-directed DIL design methodology is presented. It calls for an incremental transformation of the source HLL, until a suitable target DIL is obtained. At the heart of the methodology is a canonic set of language transformations. An experimental study, involving several systematically derived DILs is carried out in order to characterize the relative merits and disadvantages of various sequences of transformations. Various space, time and interpretability trade-offs implied by the transformations are studied.
- 1 A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation and Compiling, Vol. I: Parsing, Prentice-Hall, Englewood Cliffs, N.J. 1972. Google ScholarDigital Library
- 2 A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation and Compiling, Vol. II: Compiling, Prentice-Hall, Englewood Cliffs, N.J. 1973. Google ScholarDigital Library
- 3 P. Bose, B. R. Rau and M. S. Schlansker, "Systematically Derived Instruction Sets for High-Level Language Support," Proc. 20th. Ann. ACM Southeast Reg. Conf., Knoxville, April 1982, pp. 73-84. Google ScholarDigital Library
- 4 P. Bose, B. R. Rau, M. S. Schlansker and E. S. Davidson, "Syntax- and Semantics-Directed Design and Encoding of HLL-Oriented Instruction Sets," Proc. Int'l. Wkshp. on High-Level Lang. Comp. Arch., Ft. Lauderdale, December 1982, pp. 242-250.Google Scholar
- 5 P. Bose, "Instruction Set Design for Support of High-Level Languages," Ph.D. Dissertation, Electrical Engineering, Univ. of Illinois, May 1983 (also available as Coordinated Science Laboratory Tech. Rept. R-986, Urbana, May 1983).Google Scholar
- 6 Y. Chu and M. Abrams, "Programming Languages and Direct Execution Computer Architecture," IEEE Computer, Vol. 14, No. 7, July 1981, pp. 22-32.Google ScholarDigital Library
- 7 M. J. Flynn and L. W. Hoevel, "Execution Architecture: The DELtran Experiment," IEEE Trans. Computers, Vol. C-32, No. 2, February 1983, pp. 156-175.Google Scholar
- 8 E. A. Hauck and B. A. Dent, "Burroughs B6500/B7500 Stack Mechanism," Proc. SJCC, AFIPS Press 1968, pp. 245-251.Google Scholar
- 9 L. W. Hoevel, "'Ideal' Directly Executed Languages: an Analytical Argument for Emulation," IEEE Trans. Computers, Vol. C-23, No. 8, 1974, pp. 759-769.Google Scholar
- 10 L. W. Hoevel, "Directly Executed Languages," Ph.D. Thesis, Dept. of Electrical Engineering, Johns Hopkins University, 1979.Google Scholar
- 11 J. B. Johnston, "The Contour Model of Block Structured Processes," SIGPLAN Notices, Vol. 6, 1971, pp. 127-145. Google ScholarDigital Library
- 12 D. E. Knuth, "Semantics of Context-Free Languages," Math. Syst. Theory, Vol. 2, No. 2, 1968, pp. 127-145.Google ScholarCross Ref
- 13 W. Lonergan and P. King, "Design of the B5000 System," Datamation, Vol. 7, No. 5, May 1961, pp. 28-32.Google Scholar
- 14 G. J. Myers, Advances in Computer Architecture, John Wiley, New York, 1978. Google ScholarDigital Library
- 15 E. I. Organick and J. A. Hinds, Interpreting Machines: Architecture and Programming of the B1700/B1800 Series, North-Holland, New York, 1978. Google ScholarDigital Library
- 16 B. R. Rau, "Levels of Representation of Programs and the Architecture of Universal Host Machines," Proc. 11th. Ann. Wkshp. On Microprogramming, 1978, pp. 67-79. Google ScholarDigital Library
- 17 B. R. Rau and P. Bose, "Directly Interpretable Language Design for High Level Language Support," Proc. Int'l. Wkshp. on High-Level Lang. Comp. Arch., Ft. Lauderdale, May 1980, pp. 52-63.Google Scholar
- 18 W. D. Strecker, "VAX-11/780: A Virtual Address Extension to the DEC PDP-11 Family," Proc. NCC, June 1978, pp. 967-980.Google Scholar
- 19 A. S. Tanenbaum, "Implications of Structured Programming for Machine Architecture," Comm. ACM, Vol. 21, No. 3, 1978, pp. 245-251. Google ScholarDigital Library
- 20 D. B. Wortman, "A Study of Language Directed Computer Design," Ph.D. Dissertation, Stanford University, 1972. Google ScholarDigital Library
Index Terms
- Design of instruction set architectures for support of high-level languages
Recommendations
Design of instruction set architectures for support of high-level languages
ISCA '84: Proceedings of the 11th annual international symposium on Computer architectureConventional instruction sets or directly interpretable languages (DILs) have not been designed with high-level languages (HLLs) in mind. The modern design problem is to derive a space-time efficient DIL for a HLL processing system. In this paper, we ...
Systematically derived instruction sets for high-level language support
ACM-SE 20: Proceedings of the 20th annual Southeast regional conferenceConventional machine-languages (instruction sets) were not designed with high-level languages (HLLs) in mind. The resulting semantic gap is known to cause significant inefficiencies in program representation and execution time. Direct interpretation of ...
Part-compilation in high-level languages
AbstractMany programming languages include the ability to divide large programs into smaller segments, which are compiled separately. When a small modification is made to a large program, then the affected segment only has to be re-compiled.
This paper ...
Comments