内存顺序（Memory Order）问题

先理清几个前提：

1、CPU不能直接操作内存，CPU是通过 寄存器、缓存 等间接修改内存变量中的值

2、编译器在编译的时候，基于优化可能会对进行指令重排

3、运行期，为了提升执行效率，CPU内部可能也会进行指令重排

内存模型

对于大部分开发者而言，在写单线程程序，或者基于锁（Mutex）和信号量（Semaphore）之类编程框架提供的同步元语写多线程程序的时候，并不需要关心内存顺序的问题。 这是因为编译器和硬件架构保证了，虽然指令执行顺序可能跟开发者写的代码语句的顺序不一致，但是执行后的结果是一样的，即语义一致。 换句话讲，编译器和硬件架构提供了一层抽象用以屏蔽内存顺序问题，保证代码和编译出来的程序执行语义一致。 这样一方面提高程序性能，另一方面让开发者不用关心底层细节。编译器和硬件架构提供的这一层抽象叫作内存模型（Memory Model）；对于多线程并发访问（或读或写）共享数据，使用原子操作，而不是基于锁互斥访问数据，即无锁化编程的时候， 这时内存模型的抽象被打破，开发者必须考虑内存顺序问题。

先看一段代码：

int x, y = 0;   void thread_func1() {     x = 1;     y = 2; }   void thread_func2() {     if (y == 2) {         x = 3;         y = 4;     } }

线程1执行thread_func1，线程2执行thread_func2，上面的代码运行完之后，x,y的值 有几种可能？

情况1，线程1执行完 thread_func1，线程2开始执行thread_func2，结果： x = 3;y = 4;

情况2，线程2执行完 thread_func2，线程1开始执行thread_func1，结果： x = 1;y = 2;

情况3，线程1执行完 y = 2,线程2执行结束（x = 3;y = 4;），线程1再执行 x = 1，结果： x = 1;y = 4;这种情况有可能发生在编译器指令重排的时候

情况1和2都是可预知的结果，情况三不可预知，原因在于指令的执行顺序没有一个强约束关系，我们可以采用编程框架提供的同步元语来实现线程间同步，这里用锁来实现共享资源互斥访问

int x, y = 0; std::mutex g_mutex; void thread_func1() {     g_mutex.lock();     x = 1;     y = 2;     g_mutex.unlock(); }   void thread_func2() {     g_mutex.lock();     if (y == 2) {         x