Escape Analysis for Object Oriented Languages. Application to Java

Escape Analysis for Object Oriented Languages. Application to Java (1999)

by Bruno Blanchet

Venue:	IN PROCEEDINGS OF THE 14TH ANNUAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS
Citations:	89 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	Escape Analysis for Object Oriented Languages. Application to Java	INFERENCE
AUTHOR NAME	Bruno Blanchet	user correction
AUTHOR AFFIL	INRIA Rocquencourt	user correction
AUTHOR ADDR	Domaine de Voluceau- BP 105; 78153 Le Chesnay Cedex, France	user correction
ABSTRACT	Escape analysis [27, 14, 5] is a static analysis that determines whether the lifetime of data exceeds its static scope. The main originality of our escape analysis is that it determines precisely the effect of assignments, which is necessary to apply it to object oriented languages with promising results, whereas previous work [27, 14, 5] applied it to functional languages and were very imprecise on assignments. Our implementation analyses the full Java TM Language. We have applied our analysis to stack allocation and synchronization elimination. We manage to stack allocate 13% to 95% of data, eliminate more than 20% of synchronizations on most programs (94% and 99% on two examples) and get up to 44% speedup (21% on average). Our detailed experimental study on large programs shows that the improvement comes more from the decrease of the garbage collection and allocation times than from improvements on data locality [7], contrary to what happened for ML [5].	user correction
YEAR	1999	INFERENCE
VENUE	IN PROCEEDINGS OF THE 14TH ANNUAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	20--34	INFERENCE
CITATIONS	31 found	ParsCit 1.0