CS577 Modern Language Processors Winter 2004

Instructor: Andrew Tolmach

Course Information

• Syllabus (pdf)

Homework

• Homework 1 (due Feb. 4th)
  • interp.c (BUG FIX 1/31/04 1:10am)
  • class.c
  • class.h
  • basics.c
  • basics.h
  • bytecode.h
  • makefile
  • sample solution interp.c
• Homework 2 (due Mar. 3)
  • IR.java
  • Cfg.java (improved 21Feb04 11:15am)
  • OperandSet.java (improved 21Feb04 11:15am)
  • ProcessIR.java
  • lexparse.jar
  • IR Grammar
  • PCAT Language Reference Manual (pdf)
  • Sample PCAT Programs
    • 2d_array.pcat 2d_array.ir
    • 8q.pcat 8q.ir liveness
    • fib.pcat fib.ir liveness
    • hanoi.pcat hanoi.ir
    • hello.pcat hello.ir
    • prime.pcat prime.ir
    • sort.pcat sort.ir
    • square.pcat square.ir
    • tsort.pcat tsort.ir

Readings

• Read for Jan. 12:
  • Appel, Modern Compiler Implementation, Ch. 1.
  • Bill Venners, Inside the Java 2 Virtual Machine, Chs. 1 and 5.
  • If you are unfamiliar with Java, skim a good introductory textbook, such as Arnold, Gosling, and Holmes, The Java Programming Language, Addison-Wesley.
• Read for Jan. 21:
  • Lindholm & Yellin,The Java Virtual Machine Specification, 2nd ed., Read Chapter 3 and skim Chapter 6.
  • Ertl and Gregg, Optimizing Indirect Branch Prediction Accuracy in Virtual Machine Interpreters, PLDI 2003. (or you get the pdf from the ACM digital library if you are running from a .pdx.edu address).
• Read for Jan. 28:
  • Daniel Scales, et al.,The Swift Java Compiler: Design and Implementation, Compaq WRL Research Report 2000/2.
  • B. Alpern, et al.,"The Jalapeno Virtual Machine," IBM System Journal, Vol 39, No. 1, Nov 2000.
• Read for Feb. 4:
  • Appel textbook, Ch. 10 and 17.
  Read for Feb. 11:
  • Appel textbook, Ch. 18 and 19.
  Read for Feb. 23:
  • Appel textbook Ch. 13.
  Read for Mar. 3:
  • Xavier Leroy,"Java bytecode verification: algorithms and formalizations," Journal of Automated Reasoning, 30(3-4):235-269, 2003.
  Read for Mar. 8:
  • Wolfram Amme, et al.,SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form, PLDI 2001.

Lecture Materials

• 1/21/04 Java Virtual Machine; Interpreters (pdf) (4-up pdf)
• 1/28/04 Simple Compilation to Native Code (code examples)
• 2/2/04 Value Numbering (slides from Rice course by Keith Cooper) part 1 part 2
• 2/4/04 Value Numbering and CSE (slides from Rice course by Keith Cooper) part 3
• 2/23/04 Garbage Collection (pdf) (4-up pdf)
• 2/25/04 More Garbage Collection (pdf) (4-up pdf)

Useful Resources

• JVM Implementations with sourcecode
  • Sun's Hotspot Compiler ("Community Source")
  • IBM Research's Jikes RVM
  • Kaffe
  • SableVM from McGill Univ
  • Intel's Open Runtime Platform

• Benchmarks
  The single most useful set of meaningful benchmarks available for free is from the Java Grande Forum. Users on the CS Solaris network can access the source and .class files in directory /u/apt/jgf/v2.0. These benchmarks are biased towards floating point array computations. I'd recommend running a combination of floating point and integer benchmarks, including some that create lots of objects, from sections 2 and 3. Good possibilities include raytracer, heapsort, and crypt. Note that some of the benchmarks run a long time, even in the smallest ("A") size; be kind to your fellow users if running these on a shared machine.

• Books about Java Bytecode
  • Tim Lindholm & Frank Yellin, The Java Virtual Machine Specification, 2nd ed., happily available on-line
  • Bill Venners, Inside the Java 2 Virtual Machine, McGraw-Hill, 1999. Substantial portions of this book are also available on-line. This is probably the best book to look at first.
  • Jon Meyer & Troy Downing,Java Virtual Machine, O'Reilly 1997. This is available from the PSU library as an ebook.
  • Joshua Engel,Progrmamming for the Java Virtual Machine, Addison-Wesley, 1999.

• General Books on Compilers
  • Al Aho, Ravi Sethi, and Jeff Ullman, Compilers: Principles, Tools, and Techniques, Addison-Wesley, 1986. (PSU Reserve)
  • Steve Muchnick, Advanced Compiler Design & Implmentation, Morgan Kaufmann, 1997. (PSU Reserve)
  • Christopher Fraser and David Hanson,A Retargetable C Compiler: Design and Implementation, Benjamin/Cummings, 1995. (PSU Reserve)
  • Keith Cooper and Linda Torczon,Engineering a Compiler, Morgan Kaufmann, 2003.
  • Randy Allen and Ken Kennedy,Optimizing Compilers for Modern Architectures, Morgan Kaufmann, 2002.
  • Robert Morgan,Building an Optimizing Compiler, Digital Press, 1998.

• Books on Garbage Collection
  • Richard Jones and Rafael Lins, Garbage Collection: Algorithms for Automatic Dynamic Memory Management, Wiley, 1996.