Thread escape analysis for Java programs based on Soot

To reduce the synchronization overhead for parallel Java programs, we introduce a thread escape analysis based on points-to graphs. It combines the rules for determining whether an object escapes the thread that creates it with a flexible points-to analysis framework. It intra-procedurally and inter-procedurally propagates the escape status of static fields and thread fields in the whole Java program and Java libraries. Thus it can identify those objects accessed by only one thread and then remove synchronization operations on them. We have developed an implementation on the Java framework Soot. Our escape analysis framework is written in Java and thus portable. For our benchmarks, 15.7% to 99.2% (with a median of 55.9%) of synchronization operations are eliminated.