RFR (XS) 8059595: Verifier::verify is wasting time before is_eligible_for_verification check

Keith McGuigan kmcguigan at twitter.com
Thu Oct 2 12:34:03 UTC 2014


Hi Aleksey,

I think this looks fine (and safe).  Reviewed.

--
- Keith

On Thu, Oct 2, 2014 at 6:17 AM, Aleksey Shipilev <
aleksey.shipilev at oracle.com> wrote:

> Hi,
>
> Please review a tiny performance improvement in Verifier:
>   http://cr.openjdk.java.net/~shade/8059595/webrev.00/
>   https://bugs.openjdk.java.net/browse/JDK-8059595
>
> The minuscule performance problem is that we check for verification
> eligibility after doing a heavy-lifting for klass->external_name() and
> such. The solution is to move the local initialization after the
> eligibility check. That involves moving the PENDING_EXCEPTION checking
> block under the eligibility check, since the locals are used there.
> After you do that, it seems prudent to just invert the branch for the
> same effect.
>
> Anyone savvy with Verifier code (Harold?) can confirm this is safe change?
>
> Testing: JPRT, targeted performance test on Linux x86_64/fastdebug.
>
> Thanks,
> -Aleksey.
>
>


-- 

[image: twitter-icon-large.png]

Keith McGuigan

@kamggg

kmcguigan at twitter.com


More information about the hotspot-runtime-dev mailing list