RFR: 8290892: C2: Intrinsify Reference.reachabilityFence [v2]

[Vladimir Ivanov]

On Fri, 12 Sep 2025 14:09:52 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> StressReachabilityFences only inserts RF where they are not needed. So this allows us to test the consistency of the RF machinery, but not to test if we are missing RF where they are needed. That is much harder, and we should probably invest in writing more tests for those cases, even if it is really hard. Maybe we can even write fuzzing tests for it?

That's a fair point. I'll think more about ways to automatically test RF invariants in positive/negative ways and file RFEs.

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

PR Comment: https://git.openjdk.org/jdk/pull/25315#issuecomment-3304649404