X86-TSO: A Programmer’s Model for x86 | Hacker News Reader