Safepoints at backward branches in c2
springer at reservoir.com
Mon May 12 07:27:01 PDT 2008
Gary Benson wrote:
> Hi all,
> I've been looking through the c2 code and I noticed that safepoint
> checks are inserted before backward branches but not forward branches.
> Why is this?
I believe that safepoints should be executed within a bounded amount
of computation. Placing them at all backwards branches (and calls)
guarantees that there are no loops without at least one safepoint.
Jonathan Springer |
Reservoir Labs, Inc. | http://www.reservoir.com/
More information about the hotspot-compiler-dev