Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

Vallée-Rai, Raja; Gagnon, Etienne; Hendren, Laurie; Lam, Patrick; Pominville, Patrice et Sundaresan, Vijay (2001). « Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? », dans Compiler Construction, sous la dir. de Watt, David A.. Heidelberg, Springer Berlin Heidelberg, coll. «Lecture Notes in Computer Science », vol. 1781, no 1781, pp. 18-34.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (252kB)

Résumé

This paper presents Soot, a framework for optimizing Java™ bytecode. The framework is implemented in Java and supports three intermediate representations for representing Java bytecode: Baf, a streamlined representation of Java’s stack-based bytecode; Jimple, a typed three-address intermediate representation suitable for optimization; and Grimp, an aggregated version of Jimple. Our approach to class file optimization is to first convert the stack-based bytecode into Jimple, a three-address form more amenable to traditional program optimization, and then convert the optimized Jimple back to bytecode. In order to demonstrate that our approach is feasible, we present experimental results showing the effects of processing class files through our framework. In particular, we study the techniques necessary to effectively translate Jimple back to bytecode, without losing performance. Finally, we demonstrate that class file optimization can be quite effective by showing the results of some basic optimizations using our framework. Our experiments were done on ten benchmarks, including seven SPECjvm98 benchmarks, and were executed on five different Java virtual machine implementations.

Type:	Chapitre de livre
Mots-clés ou Sujets:	Programming Languages, Compilers, Interpreters, Operating Systems, Software Engineering, Mathematical Logic and Formal Languages, Logics and Meanings of Programs
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Ã�tienne M. Gagnon
Date de dépôt:	28 avr. 2016 18:34
Dernière modification:	19 mai 2016 18:51
Adresse URL :	http://archipel.uqam.ca/id/eprint/8369

Modifier les métadonnées (propriétaire du document)

Statistiques