Explanation of the Linux-kernel memory consistency model (2017) | Not Hacker News!