See this document in CiteSeerX!

Experience with a Software-Defined Machine Architecture (1991)  (Make Corrections)  (6 citations)
David W. Wall
ACM Transactions on Programming Languages and Systems



  Home/Search   Context   Related

 
View or download:
dec.com/pub/DEC/WRL/r...WRLTR91.10.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  indiana.edu/pub/ucstri/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We built a system in which the compiler back end and the linker work together to present an abstract machine at a considerably higher level than the actual machine. The intermediate language translated by the back end is the target language of all high-level compilers and is also the only assembly language generally available. This lets us do intermodule register allocation, which would be harder if some of the code in the program had come from a traditional assembler, out of sight of the ... (Update)

Context of citations to this paper:   More

...optimization and code generation. There are other optimizing linkers, but they are intended for a family of related architectures [13, 23] or use machinelevel intermediate representations such as register transfers [2, 21] In this paper, we present the results of applying...

...into several broad categories. Chief among them have been triples and quadruples [11] Abstract Syntax Trees [5] and Virtual Machines [12, 2]. The notion of machine independence as an attribute of intermediate representation has certainly been around for a long time [3] More...

Cited by:   More
Adaptive Compression of Syntax Trees and Iterative Dynamic Code.. - Franz (1997)   (Correct)
Understanding and Improving the Performance of Modern Programming.. - Diwan (1997)   (Correct)
Adaptable Binary Programs - Robert Wahbe Steven (1994)   (Correct)

Active bibliography (related documents):   More   All
1.6:   Systems for Late Code Modification - Wall (1992)   (Correct)
0.5:   Register Windows vs. Register Allocation - Wall (1987)   (Correct)
0.5:   Limits of Instruction-Level Parallelism - Wall (1990)   (Correct)

Similar documents based on text:   More   All
0.2:   Virtual Memory vs. The File System - Nelson (1990)   (Correct)
0.2:   Efficient Generation of Test Patterns Using Boolean Satisfiability - Larrabee (1990)   (Correct)
0.1:   Unreachable Procedures in Object-oriented Programming - Srivastava (1993)   (Correct)

Related documents from co-citation:   More   All
3:   A practical system for intermodule code optimization at link-time - Srivastava, Wall - 1993
3:   Global register allocation at link time - Wall - 1986
2:   A Retargetable Compiler for ANSI C - Fraser, Hanson - 1991

BibTeX entry:   (Update)

D. Wall. Experience with a software-defined machine architecture. ACM Transactions on Programming Languages and Systems, 14(3), July 1992. http://citeseer.ist.psu.edu/wall91experience.html   More

@article{ wall92experience,
    author = "David W. Wall",
    title = "Experience with a Software-Defined Machine Architecture",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "14",
    number = "3",
    month = "July",
    publisher = "ACM Press",
    pages = "299--338",
    year = "1992",
    url = "citeseer.ist.psu.edu/wall91experience.html" }
Citations (may not include all citations):
1450   The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
1399   Compilers: Principles (context) - Aho, Sethi et al. - 1986
216   Performance of various computers using standard linear equat.. - Dongarra - 1983
201   Register allocation via coloring (context) - Chaitin, Auslander et al. - 1981
183   Profile guided code positioning (context) - Pettis, Hansen - 1990
150   gprof: a call graph execution profiler - Graham, Kessler et al. - 1982
99   Global register allocation at link time - Wall - 1986
79   A portable global optimizer and linker (context) - Benitez, Davidson - 1988
73   ATUM: A new technique for capturing address traces using mic.. (context) - Agarwal, Sites et al. - 1986
72   ACM Transactions on Programming Languages and Systems (context) - Hennessy, of - 1982
68   Performance and Evaluation of Lisp Systems (context) - Gabriel - 1985
60   Postpass code optimization of pipeline constraints (context) - Hennessy, Gross - 1983
60   Predicting program behavior using real or estimated profiles - Wall - 1991
51   Precision Architecture (context) - Lee - 1989
47   Personal communication (context) - Ousterhout
47   Minimizing register usage penalty at procedure calls (context) - Chow - 1988
40   A Portable Machine-Independent Global Optimizer --- Design a.. (context) - Chow - 1983
35   spilling via graph coloring (context) - Chaitin - 1982
28   A simple interprocedural register allocation algorithm and i.. (context) - Steenkiste, Hennessy - 1989
16   MIPS Computer Systems (context) - Systems, Guide - 1989
16   Assembling code for machines with span-dependent instruction.. (context) - Szymanski - 1978
14   Postloading for fun and profit (context) - Johnson - 1990
14   Software --- Practice and Experience (context) - Bernstein, integer - 1986
14   The problem of programming communication with changing machi.. (context) - Strong - 1958
13   Lisp on a Reduced-Instruction-Set Processor: Characterizatio.. (context) - Steenkiste - 1987
12   Register windows vs (context) - Wall - 1988
11   Register allocation across procedure and module boundaries (context) - Santhanam, Odnert - 1990
6   Personal communication (context) - Killian
5   Link-time code modification - Wall - 1989
4   The Scalable Processor Architecture (context) - Garner - 1988
4   Third International Symposium on Architectural Support for P.. (context) - McFarling, for - 1989
4   Cross-module optimizations: Its implementation and benefits (context) - Himelstein, Chow et al. - 1987
4   Advanced Micro Devices (context) - Devices, Streamlined et al. - 1987
3   EXPERIENCE WITH A SOFTWARE-DEFINED MACHINE ARCHITECTURE (context) - Patterson, set et al. - 1985
3   WRL Research Report (context) - Nielsen, manual - 1986
2   Stanford benchmark suite (context) - Hennessy
2   Atkinson and Edward M (context) - Russell - 1987
1   MIPS sustained 32 bit CMOS microprocessor with high ratio of.. - Jouppi, Tang - 1989
1   EXPERIENCE WITH A SOFTWARE-DEFINED MACHINE ARCHITECTURE (context) - Clark, in et al. - 1983
1   Laboratory for Computer Science (context) - Terman, to et al.



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index):   More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998)   (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992)   (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning..   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC