RFR: 8227083: ZGC: C2: Generates on_weak barrier for WeakCompareAndSwap

Stefan Karlsson stefan.karlsson at oracle.com
Tue Jul 2 12:52:46 UTC 2019


Hi all,

Please review this patch to fix so that we generate an on_strong load 
barrier for WeakCompareAndSwap.

http://cr.openjdk.java.net/~stefank/8227083/webrev.01/
https://bugs.openjdk.java.net/browse/JDK-8227083

ErikÖ spotted this problem when we were looking into the bug for 
JDK-8225770, where C2 also generated the wrong kind of barrier.

In this bug there was a mix-up of terms, the weak nature of 
WeakCompareAndSwap is unrelated to the on_weak property of some load 
barriers. The barrier in this code path should be using the normal, 
on_strong, load barries.

The verification code in JDK-8227085 did catch this bug, as expected, 
and with the fix for this bug we don't fail in the verification code 
anymore.

Tested with tier 1-7.

Thanks,
StefanK


More information about the hotspot-compiler-dev mailing list