JDK-8336999 : Verification for resource area allocated data structures in C2
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 11,17,21,23,24
  • Priority: P2
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-07-23
  • Updated: 2025-06-11
  • Resolved: 2024-07-29
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 24
24 b09Fixed
Related Reports
Causes :  
JDK-8350785 - C2: resource allocation verification slows C2 down by around 4%
Causes :  
JDK-8359200 - Memory corruption in MStack::push
Duplicate :  
JDK-8321920 - C2: Node_List should check nesting depth of ResourceMark when reallocating
Relates :  
JDK-8337015 - Revisit resource arena allocations in C2
Relates :  
JDK-8336095 - Use-after-free in Superword leads to memory corruption
Description
Similar to GrowableArrayNestingCheck, we should implement a check for C2's resource allocated data structures that verifies that re-allocation happens under the same ResourceMark as the original. Otherwise, use-after-free bugs like JDK-8336095 will lead to memory corruption. Prototype attached.
Comments
Changeset: 657c0bdd Branch: master Author: Tobias Hartmann <thartmann@openjdk.org> Date: 2024-07-29 05:31:10 +0000 URL: https://git.openjdk.org/jdk/commit/657c0bddf90b537ac653817571532705a6e3643a
29-07-2024
A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/20311 Date: 2024-07-24 10:29:32 +0000
24-07-2024