RFR: 8322630: Remove ICStubs and related safepoints [v6]

Doug Simon dnsimon at openjdk.org
Wed Jan 31 14:16:07 UTC 2024


On Tue, 30 Jan 2024 09:08:01 GMT, Erik Österlund <eosterlund at openjdk.org> wrote:

>> ICStubs solve an atomicity problem when setting both the destination and data of an inline cache. Unfortunately, it also leads to occasional safepoint carpets when multiple threads need to ICRefill the stubs at the same time, and spurious GuaranteedSafepointInterval "Cleanup" safepoints every second. This patch changes inline caches to not change the data part at all during the nmethod life cycle, hence removing the need for ICStubs.
>> 
>> The new scheme is less stateful. Instead of adding and removing callsite metadata back and forth when transitioning inline cache states, it installs all state any shape of call will ever need at resolution time in a struct that I call CompiledICData. This reduces inline cache state changes to simply changing the destination of the call, and it doesn't really matter what state transitions to what other state.
>> 
>> With this patch, we get rid of ICStub and ICBuffer classes and the related ICRefill and almost all Cleanup safepoints in practice. It also makes the inline cache code much simpler.
>> 
>> I have tested the changes from tier1-7, and run through full aurora performance tests.
>
> Erik Österlund has updated the pull request incrementally with one additional commit since the last revision:
> 
>   ARM32 fixes

The PR to adapt Graal for this change: https://github.com/oracle/graal/pull/8287

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

PR Comment: https://git.openjdk.org/jdk/pull/17495#issuecomment-1919186059


More information about the shenandoah-dev mailing list