Mailing-List: contact harmony-dev-help@incubator.apache.org; run by ezmlm
Precedence: bulk
Reply-To: harmony-dev@incubator.apache.org
Received-SPF: pass (asf.osuosl.org: domain of joewhaley@gmail.com designates
 64.233.162.202 as permitted sender)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=hLbWlTbhNMSx1S0rXgkEKDzwZwtjgPD6nnJKlA8eVqwYFSEuGmAa/hsr4hRqHEH/y84hluefCoUHHbOxfT73WBpOUOQONupuZ4Xrgm9OMfO5Jj6fzEB5/ub22uJx+BU1ysy2M5MYMPfu+S7l1Ma7pNo76/qvw2VfFyFzU7Wclic=
Message-ID: <e978f6210510050937m6203e4dcv2d5956a2557cc197@mail.gmail.com>
Date: Wed, 5 Oct 2005 09:37:39 -0700
From: John Whaley <joewhaley@gmail.com>
Reply-To: jwhaley@alum.mit.edu
To: harmony-dev@incubator.apache.org
Subject: Re: RT: Escape analysis
In-Reply-To: <4341E548.9040207@anu.edu.au>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <72145349.1128221529793.JavaMail.root@set.superlinksoftware.com>
	 <87psqmmxcn.fsf@mid.deneb.enyo.de> <4341E548.9040207@anu.edu.au>

On 10/3/05, Robin Garner <Robin.Garner@anu.edu.au> wrote:
> Florian Weimer wrote:
>
> The conclusion reached in the OOPSLA paper referred to (Choi et al 1999)
> is that stack allocation produced a relatively insignificant speedup,
> but that locking optimizations for objects that don't escape thread
> context was significant.
>
> In a heap with a bump-pointer allocator, allocation is cheap.  Stack
> allocation can potentially produce a slow-down by reducing locality in
> the stack, and complicating the task of scanning the stack.
>

Another problem with stack allocation is that it increases object
lifetimes because you cannot reclaim the storage until the stack frame
disappears.  It is possible to work around this if your escape
analysis is sophisticated enough.

Synchronization overhead definitely improves, but synchronization was
so slow for such a long time that many mature programs already
eliminate the synchronization by hand (consider ArrayList vs. Vector).

Doing escape analysis in a JIT is not difficult; see, for example, my
OOPSLA'01 paper or Suganuma et al PLDI'03.

The real performance benefit of escape analysis is when you can do
scalar replacement, replacing each of the object's fields/array
elements with a register.  Thus, you eliminate the object entirely,
and making its fields into registers allows many more optimizations.

John Whaley