Partial Redundancy Elimination for Access Path Expressions

Hosking, Antony L. and Nystrom, Nate and Whitlock, David and Cutts, Quintin and Diwan, Amer

Abstract

Pointer traversals pose significant overhead to the execution of object-oriented programs, since every access to an object’s state requires a pointer dereference. Eliminating redundant pointer traversals reduces both instructions executed as well as redundant memory accesses to relieve pressure on the memory subsystem. We describe an approach to elimination of redundant access expressions that combines partial redundancy elimination (PRE) with type-based alias analysis (TBAA). To explore the potential of this approach we have implemented an optimization framework for Java class files incorporating TBAA-based PRE over pointer access expressions. The framework is implemented as a class-file-to-class-file transformer; optimized classes can then be run in any standard Java execution environment. Our experiments demonstrate improvements in the execution of optimized code for several Java benchmarks running in diverse execution environments: the standard interpreted JDK virtual machine, a virtual machine using ‘just-in-time’ compilation, and native binaries compiled off-line (‘way-ahead-of-time’). Overall, however, our experience is of mixed success with the optimizations, mainly because of the isolation between our optimizer and the underlying execution environments which prevents more effective cooperation between them. We isolate the impact of access path PRE using TBAA, and demonstrate that Java’s requirement of precise exceptions can noticeably impact code-motion optimizations like PRE.

@article{Hosking+2001SPE,
  author = {Hosking, Antony L. and Nystrom, Nate and Whitlock, David and Cutts, Quintin and Diwan, Amer},
  title = {Partial Redundancy Elimination for Access Path Expressions},
  journal = {Software --- Practice and Experience},
  year = {2001},
  volume = {31},
  number = {6},
  pages = {577--600},
  month = {May},
  doi = {10.1002/spe.371},
  gscholar = {43}
}