Request for reviews (S): 7199742: A lot of C2 OSR compilations of the same method's bci (original) (raw)

John Rose john.r.rose at oracle.com
Wed Sep 19 23:19:19 PDT 2012

On Sep 19, 2012, at 7:28 PM, Vladimir Kozlov wrote:

http://cr.openjdk.java.net/~kvn/7199742/webrev

CI type flow analysis clone the head of OSR loop and as result the type of locals is incorrect in osrstart block in ciTypeFlow info. C2 generates runtime checks for locals and uncommontrap to verify that OSR information is correct during execution. The code hit the uncommon trap, method is deoptimized, C2 does the same osr compilation again. And this repeats until PerMethodRecompilationCutoff/2 (200) is reached. Don't clone the head of OSR loop.

This is a reasonable fix.

Here's the part I'm missing: How do we ensure that we find the problem if something similar happens again? By "similar" I mean a serious inaccuracy in the ciTypeFlow type model.

Perhaps we could add an assert which would detect the problem (e.g., null type at OSR entry point) and raise an error. Ideally, if you were to comment out your fix but put in the assert, it would fire immediately on your test case.

— John

More information about the hotspot-compiler-dev mailing list