-
Enhancement
-
Resolution: Fixed
-
P2
-
11, 17, 21, 23, 24
-
b09
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.
- causes
-
JDK-8350785 C2: resource allocation verification slows C2 down by around 4%
-
- Closed
-
- relates to
-
JDK-8336095 Use-after-free in Superword leads to memory corruption
-
- Resolved
-
-
JDK-8337015 Revisit resource arena allocations in C2
-
- Open
-
- links to
-
Commit(master) openjdk/jdk/657c0bdd
-
Review(master) openjdk/jdk/20311