Article

Free access

The Mahler experience: using an intermediate language as the machine description

Authors:

ASPLOS II: Proceedings of the second international conference on Architectual support for programming languages and operating systems

Pages 100 - 104

https://doi.org/10.1145/36206.36190

Published: 01 October 1987 Publication History

PDF eReader

Abstract

Division of a compiler into a front end and a back end that communicate via an intermediate language is a well-known technique. We go farther and use the intermediate language as the official description of a family of machines with simple instruction sets and addressing capabilities, hiding some of the inconvenient details of the real machine from the users and the front end compilers.To do this credibly, we have had to hide not only the existence of the details but also the performance consequences of hiding them. The back end that compiles and links the intermediate language tries to produce code that does not suffer a performance penalty because of the details that were hidden from the front end compiler. To accomplish this, we have used a number of link-time optimizations, including instruction scheduling and interprocedural register allocation, to hide the existence of such idiosyncracies as delayed branches and non-infinite register sets. For the most part we have been sucessful.

References

[1]

Jack J. Dongarra. Performance of various computers using standard linear equations software in a Fortran environment. Computer Architecture News 11 (5): 22--27, December 1983.

Digital Library

Google Scholar

[2]

R. Steven Glanville and Susan L. Graham. A new method for compiler code generation. Fifth Annual ACM Symposium on Principles of Programming Languages: 231--240 (January 1978).

Digital Library

Google Scholar

[3]

John Hennessy. Stanford benchmark suite. Personal communication.

Google Scholar

[4]

John L. Hennessy and Thomas R. Gross. Code generation and reorganization in the presence of pipeline constraints. Ninth Annual ACM Symposium on Principles of Programming Languages: 120--127 (January 1982)

Digital Library

Google Scholar

[5]

John L. Hennessy, Norman P. Jouppi, Steven Przybylski, Christopher Rowen, and Thomas Gross. Design of a high performance VLSI processor. In Randal Bryant, editor, Third Caltech Conference on Very Large Scale Integration, pages 33--54. Computer Science Press, 11 Taft Court, Rockville, Maryland.

Google Scholar

[6]

David A. Patterson. Reduced instruction set computers. Communication of the ACM 28 (1): 8--21, January 1985.

Digital Library

Google Scholar

[7]

Michael L. Powell. Efficient dynamic measurement of deterministic run-time behavior. In preparation.

Google Scholar

[8]

George Radin. The 801 minicomputer. Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, pages 39--47 (March 1982). Published as SIGARCH Computer Architecture News 10 (2), March 1982, and as SIGPLAN Notices 17 (4), April 1982.

Digital Library

Google Scholar

[9]

Christopher J. Terman. User's Guide to NET, PRESIM, and RNL/NL. M. I. T. Laboratory for Computer Science, 545 Technology Square, Room 418, Cambridge, Massachusetts.

Google Scholar

[10]

David W. Wall. Global register allocation at link-time. Proceedings of the SIGPLAN '86 Symposium on Compiler Construction. Published as SIGPLAN Notices 21 (7): 264--275 (July 1986). Available in slightly longer form as WRL Research Report 86/3, 1986.

Digital Library

Google Scholar

[11]

David W. Wall and Michael L. Powell. The Mahler experience: Using an intermediate language as the machine description. WRL Research Report 87/1, 1987.

Google Scholar

Cited By

View all

Haran MKarr ALast MOrso AA. Porter ASanil AFouche S(2007)Techniques for Classifying Executions of Deployed Software to Support Software Engineering TasksIEEE Transactions on Software Engineering10.1109/TSE.2007.100433:5(287-304)Online publication date: 1-May-2007
https://dl.acm.org/doi/10.1109/TSE.2007.1004
Pettersson M(2005)Generating efficient code from continuation semanticsCompiler Compilers10.1007/3-540-53669-8_81(165-178)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-53669-8_81
Zhang XWang ZGloy NChen JSmith M(1997)System support for automatic profiling and optimizationACM SIGOPS Operating Systems Review10.1145/269005.26664031:5(15-26)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/269005.266640
Show More Cited By

Index Terms

The Mahler experience: using an intermediate language as the machine description
1. Computer systems organization
  1. Architectures
    1. Parallel architectures
      1. Very long instruction word
    2. Serial architectures
      1. Complex instruction set computing
      2. Reduced instruction set computing
2. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

The Mahler experience: using an intermediate language as the machine description

Division of a compiler into a front end and a back end that communicate via an intermediate language is a well-known technique. We go farther and use the intermediate language as the official description of a family of machines with simple instruction ...
The Mahler experience: using an intermediate language as the machine description

Division of a compiler into a front end and a back end that communicate via an intermediate language is a well-known technique. We go farther and use the intermediate language as the official description of a family of machines with simple instruction ...
The Mahler experience: using an intermediate language as the machine description

Division of a compiler into a front end and a back end that communicate via an intermediate language is a well-known technique. We go farther and use the intermediate language as the official description of a family of machines with simple instruction ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ASPLOS II: Proceedings of the second international conference on Architectual support for programming languages and operating systems

October 1987

205 pages

ISBN:0818608056

DOI:10.1145/36206

Editor:
Randy Katz
Univ. of California, Berkeley
,
General Chair:
Martin Freeman
Stanford University and Philips/Signetics

ACM SIGARCH Computer Architecture News Volume 15, Issue 5
Oct. 1987
189 pages
ISSN:0163-5964
DOI:10.1145/36177
Editor:
Randy H. Katz
Univ. of California, Berkeley
Issue’s Table of Contents
ACM SIGPLAN Notices Volume 22, Issue 10
Oct. 1987
189 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/36205
Editor:
Randy Katz
Univ. of California, Berkeley
Issue’s Table of Contents
ACM SIGOPS Operating Systems Review Volume 21, Issue 4
Oct. 1987
189 pages
ISSN:0163-5980
DOI:10.1145/36204
Editor:
Randy Katz
Univ. of California, Berkeley
Issue’s Table of Contents

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1987

Check for updates

Qualifiers

Article

Conference

ASPLOS II

Sponsor:

SIGARCH

ASPLOS II: Architectual support for programming languages and operating systems

October 5 - 8, 1987

California, Palo Alto, USA

Acceptance Rates

Overall Acceptance Rate 535 of 2,713 submissions, 20%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
732
Total Downloads

Downloads (Last 12 months)233
Downloads (Last 6 weeks)42

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Haran MKarr ALast MOrso AA. Porter ASanil AFouche S(2007)Techniques for Classifying Executions of Deployed Software to Support Software Engineering TasksIEEE Transactions on Software Engineering10.1109/TSE.2007.100433:5(287-304)Online publication date: 1-May-2007
https://dl.acm.org/doi/10.1109/TSE.2007.1004
Pettersson M(2005)Generating efficient code from continuation semanticsCompiler Compilers10.1007/3-540-53669-8_81(165-178)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-53669-8_81
Zhang XWang ZGloy NChen JSmith M(1997)System support for automatic profiling and optimizationACM SIGOPS Operating Systems Review10.1145/269005.26664031:5(15-26)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/269005.266640
Zhang XWang ZGloy NChen JSmith MBanâtre MLevy H(1997)System support for automatic profiling and optimizationProceedings of the sixteenth ACM symposium on Operating systems principles10.1145/268998.266640(15-26)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/268998.266640
Grunwald DNeves R(1996)Whole-program optimization for time and space efficient threadsACM SIGPLAN Notices10.1145/248209.23714931:9(50-59)Online publication date: 1-Sep-1996
https://dl.acm.org/doi/10.1145/248209.237149
Grunwald DNeves R(1996)Whole-program optimization for time and space efficient threadsACM SIGOPS Operating Systems Review10.1145/248208.23714930:5(50-59)Online publication date: 1-Sep-1996
https://dl.acm.org/doi/10.1145/248208.237149
Grunwald DNeves RDally BEggets S(1996)Whole-program optimization for time and space efficient threadsProceedings of the seventh international conference on Architectural support for programming languages and operating systems10.1145/237090.237149(50-59)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/237090.237149
Larus JBall T(1994)Rewriting executable files to measure program behaviorSoftware—Practice & Experience10.1002/spe.438024020424:2(197-218)Online publication date: 1-Feb-1994
https://dl.acm.org/doi/10.1002/spe.4380240204
Andrews KSand D(1992)Migrating a CISC computer family onto RISC via object code translationACM SIGPLAN Notices10.1145/143371.14352027:9(213-222)Online publication date: 1-Sep-1992
https://dl.acm.org/doi/10.1145/143371.143520
Andrews KSand DFlahive B(1992)Migrating a CISC computer family onto RISC via object code translationProceedings of the fifth international conference on Architectural support for programming languages and operating systems10.1145/143365.143520(213-222)Online publication date: 1-Sep-1992
https://dl.acm.org/doi/10.1145/143365.143520
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.

Cited By

Index Terms

Recommendations