从具体执行场景理解 ARMv8 宽松内存模型允许的指令重排
从写缓冲出发，理解 x86 TSO 允许的写读乱序和 Bypassing
用四种多核执行顺序解释顺序一致性，以及哪些结果符合 SC
从一个双核读写问题开始，理解内存模型约束的对象和意义
