[master] RFR: Simplify stable_mark() routine [v3]

Roman Kennke rkennke at openjdk.java.net
Thu Apr 14 12:38:57 UTC 2022


On Thu, 14 Apr 2022 09:47:42 GMT, Roman Kennke <rkennke at openjdk.org> wrote:

>> The code in ObjectSynchronizer::stable_mark() is a bit over-complicated: it has a 'fast' path (which really isn't a fast-path, because the really-fast path is already in the various oopDesc::klass() methods), and for the slow-path loop dives into ObjectSynchronizer::safe_load_mark(). This change proposes to remove the stable_mark() method, and rename safe_load_mark() to stable_mark() instead.
>> 
>> I also propose a small improvement: we can use read_stable_mark() to deal with INFLATING mark properly, and handle the remaining cases in the loop: monitor and stack-locked are the most common - deal with them first. Stack-locked can safely access the mark when current thread is owning thread of the lock - avoid CASing INFLATING into the header in this case. Neutral and Marked cases go last, because they should not be very common (neutral is already caught in oopDesc::klass() variants, marked should only happen during full GCs by GC internal code).
>> 
>> Testing:
>>  - [x] tier1
>>  - [x] tier2
>>  - [x] tier3
>>  - [x] tier4
>
> Roman Kennke has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Replace guarantee with assert

One remaining GHA failure in Windows/x64 but looks unrelated:
jdk/jshell/HighlightUITest.java

Let's

-------------

PR: https://git.openjdk.java.net/lilliput/pull/46


More information about the lilliput-dev mailing list