在C++11标准之前，多线程编程长期处于“未定义行为的灰色地带”——编译器优化、CPU乱序执行与程序员直觉之间存在着巨大鸿沟。一个看似无害的标志位检查，可能因指令重排而永远无法观测到更新；一段精心设计的双检锁（Double-Checked Locking），在某些平台上悄然失效。直到C++11引入标准化的内存模型（memory Model），C++才真正拥有了可推理、可验证、跨平台一致的并发语义基
