I've found an interesting article of Jeff Preshing about what are the (re)ordering guarantees of a write release with the subsequent ops: http://preshing.com/20170612/can-reordering-of-release-acquire-operations-introduce-deadlock/
Indirectly it could affect our beloved JMM too :)
Wdyt?
Do you agree with Jeff?
Regards,
Francesco