-
Enhancement
-
Resolution: Fixed
-
P4
-
17, 21, 23, 24
-
b12
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 forJDK-8337941 failure detection.
Among other things, the fix would enable JDK-8337978 checks to work for
- relates to
-
JDK-8337941 Shenandoah: JFR crashes during class unloading
- Closed
-
JDK-8337978 Verify OopHandles oops on access
- Open
- links to
-
Commit(master) openjdk/jdk/b9d49dce
-
Review(master) openjdk/jdk/20492