[JDK-8337981] ShenandoahHeap::is_in should check for alive regions - Java Bug System

Type: Enhancement
Resolution: Fixed
Priority: P4
Fix Version/s: 24
Affects Version/s: 17, 21, 23, 24
Component/s: hotspot
Labels:

Subcomponent:
gc
Resolved In Build:
b12

Issue	Fix Version	Assignee	Priority	Status	Resolution	Resolved In Build
JDK-8353654	21.0.8	Satyen Subramaniam	P4	Resolved	Fixed	master

The expected behavior of `CollectedHeap::is_in` is to check whether the object belongs to the committed parts of the heap. This is useful to check if object resides in the parts of the heap the GC knows are not dead. Yet, Shenandoah's check just verifies that oop is within the heap bounds. So `is_in` check for an object that is in trashed/empty region would pass by accident, and we will miss detecting bugs. This should be rectified.

Among other things, the fix would enable ~~JDK-8337978~~ checks to work for ~~JDK-8337941~~ failure detection.

backported by

JDK-8353654 ShenandoahHeap::is_in should check for alive regions

Resolved

relates to

JDK-8337941 Shenandoah: JFR crashes during class unloading

Closed

JDK-8337978 Verify OopHandles oops on access

Resolved

links to

Commit(master) openjdk/jdk21u-dev/73f92061

Commit(master) openjdk/jdk/b9d49dce

Commit(master) openjdk/shenandoah-jdk21u/320b3afe

Review(master) openjdk/jdk21u-dev/1496

Review(master) openjdk/jdk/20492

Review(master) openjdk/shenandoah-jdk21u/181

(4 links to)

Assignee:: Aleksey Shipilev

Reporter:: Aleksey Shipilev

Votes:: 0 Vote for this issue

Watchers:: 4 Start watching this issue

Created:: 2024-08-07 03:44

Updated:: 5 days ago 08:50

Resolved:: 2024-08-20 01:44

Details

Backports

Description

Attachments

Issue Links

Activity

People

Dates