Attributed Transformational Code Generation for Dynamic Compilers

by John Boyland, Charles Farnum and Susan Graham.

Abstract

The design of dynamic compilers, that is, compilers that preserve execution state when newly compiled code is patched into an executing image, presents the compiler writer with a number of difficulties. First, all the complexity of a standard compiler is present. Second, enough intermediate information must be maintained to allow the compilation to proceed incrementally. Third, the incremental incorporation of newly compiled segments of code must disturb the existing execution state as little as possible. The last two factors are compounded when the desired level of granularity is small, such as at the level of statements or expressions. We describe our proposed method for automatically generating dynamic compilers and explain how the method will handle these issues.

BibTeX Style Reference

@incollection{boyland/farnum/graham:92wics,
  author = {John Boyland and Charles Farnum and Susan L. Graham},
  title = {Attributed Transformational Code Generation
           for Dynamic Compilers},
  booktitle = {Code Generation - Concepts, Tools, Techniques.
               Workshops in Computer Science},
  editor = {R. Giegerich and S. L. Graham},
  publisher = {Springer-Verlag},
  year = {1992},
  pages = {227--254}
}

FTP'able versions of the paper

The paper is available in postscript form.


Last Modified: September 27, 1996

Attributed Transformational Code Generation for Dynamic Compilers / boyland@cs.uwm.edu