I just noticed https://github.com/openjdk/jdk/pull/387 seems to claim that hotspot internally needs to specifically enforce IRIW ordering in places. I haven't had time to explore in detail ... Hans