RFR: 8373266: Strengthen constant CardTable base accesses [v2]

Aleksey Shipilev shade at openjdk.org
Wed Jan 7 19:06:02 UTC 2026


> Shenandoah and G1 are using CardTable for most of its infrastructure, but flip the card tables as they go, and maintain the actual card table reference in TLS. As such, accessing card table base from assembler and compilers runs into risk of accidentally encoding the wrong card table base in generated code. 
> 
> Most of the current code avoids this trouble by carefully implementing their GC barriers to avoid touching shared parts where card table base constness is assumed. _Except_ for JVMCI, that reads the card table base for G1 barrier set, and that is wrong. The JVMCI users would need to rectify this downstream.
> 
> Shenandoah added a few asserts to catch these errors:
>  SHENANDOAHGC_ONLY(assert(!UseShenandoahGC, "Shenandoah byte_map_base is not constant.");)
> 
> ...but G1 would also benefit from the similar safety mechanism.
> 
> This PR strengthens the code to prevent future accidents.
> 
> Additional testing:
>  - [x] Linux x86_64 server fastdebug, `hotspot_gc`
>  - [x] Linux x86_64 server fastdebug, `all` with Serial, Parallel, G1, Shenandoah, Z
>  - [x] Linux AArch64 server fastdebug, `all` with Serial, Parallel, G1, Shenandoah, Z
>  - [x] GHA, cross-compilation only

Aleksey Shipilev 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 nine additional commits since the last revision:

 - Merge branch 'master' into JDK-8373266-cardtable-asserts
 - Another build fix
 - Fix Minimal builds
 - Shenandoah non-generational can have nullptr card table
 - Also simplify CTBS builder
 - CI should also mention "const"
 - Fix JVMCI by answering proper things
 - Merge branch 'master' into JDK-8373266-cardtable-asserts
 - More fixes

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/28703/files
  - new: https://git.openjdk.org/jdk/pull/28703/files/26b6b071..040a84d7

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=28703&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=28703&range=00-01

  Stats: 25810 lines in 2653 files changed: 14810 ins; 3456 del; 7544 mod
  Patch: https://git.openjdk.org/jdk/pull/28703.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/28703/head:pull/28703

PR: https://git.openjdk.org/jdk/pull/28703


More information about the hotspot-dev mailing list