论文信息 - Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung

Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung

Dieser Beitrag schlagt einen neuartigen Ansatz zur optimierten Ausfuhrung von Java-Bytecode vor, der die dynamische Optimierung eines Java-Programms durch statische Programmanalyse vorbereitet. Die Analyseinformation wird unabhangig von der Programmausfuhrung bezogen auf alle Klassendateien einer Softwarebibliothek ermittelt und gespeichert. Zur Laufzeit unterstutzt die an den Bibliotheksschnittstellen komponierte Information insbesondere Optimierungen, die zusatzlich dynamische Programmeigenschaften ausnutzen.

Uwe Kastens | Michael Thies

[1] Alexandru Nicolau,et al. Annotating the Java bytecodes in support of optimization , 1997 .

[2] Wei Li,et al. Just‐in‐time optimizations for high‐performance Java programs , 1997 .

[3] Sophia Drossopoulou,et al. Java is Type Safe - Probably , 1997, ECOOP.

[4] Guy L. Steele,et al. The Java Language Specification , 1996 .

[5] John H. Hartman,et al. Toba: Java for Applications - A Way Ahead of Time (WAT) Compiler , 1997, COOTS.

[6] Thomas Kistler. Dynamic Runtime Optimization , 1997, JMLC.

[7] Michael Franz. Java – Anmerkungen eines Wirth-Schülers , 1998, Informatik-Spektrum.

[8] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .

[9] Ron Cytron,et al. Does “just in time” = “better late than never”? , 1997, POPL '97.

[10] Urs Hölzle,et al. Reconciling responsiveness with performance in pure object-oriented languages , 1996, TOPL.

[11] Wei Li,et al. Optimizing Java bytecodes , 1997 .

[12] Lars Clausen. A Java bytecode optimizer using side‐effect analysis , 1997 .