Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it