Request for reviews (XS): 7170145: C1 doesn't respect the JMM with volatile field loads
vladimir.kozlov at oracle.com
Tue May 22 18:23:51 PDT 2012
On 5/22/12 5:35 PM, Christian Thalinger wrote:
> 7170145: C1 doesn't respect the JMM with volatile field loads
> ValueNumberingVisitor::do_LoadField does not include logic for
> volatile fields which allows CSE of normal field loads across volatile
> field loads. That's explicitly prohibited by the JMM.
> This patch also kills the memory across volatile field stores even it
> is too strict for now because of volatile field stores and possible
> future optimizations.
More information about the hotspot-compiler-dev