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

Zhengyu Gu zgu at openjdk.java.net
Tue Apr 12 17:50:28 UTC 2022


On Mon, 11 Apr 2022 19:32:14 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 with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains two additional commits since the last revision:
> 
>  - Merge branch 'master' into simplify-safemark
>  - Simplify stable_mark() routine

Looks reasonable to me.

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

Marked as reviewed by zgu (no project role).

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


More information about the lilliput-dev mailing list