6、C++内存模型

原文： https://my.oschina.net/u/2516597/blog/805489

背景

C++11开始支持多线程，其中提供了原子类型atomic, 和atomic关系比较密切的是memory_order，所有的内存模型都是指atomic类型

enum memory_order {memory_order_relaxed,memory_order_consume,memory_order_acquire,memory_order_release,memory_order_acq_rel,memory_order_seq_cst
};a

具体

std::memory_order_relaxed

该模式仅仅保证了读写的完整性（不会读取到写一半的数据，要么是新值，要么是旧值），而且要求单个线程内的同样一个原子变量的各种操作顺序不能进行重排。

#include <atomic>
#include <thread>
#include <cassert>std::atomic<bool> x,y;
std::atomic<int> z;void write_x_then_y()
{x.store(true,std::memory_order_relaxed);  // 1y.store(true,std::memory_order_relaxed);  // 2
}
void read_y_then_x()
{while(!y.load(std::memory_order_relaxed));  // 3if(x.load(std::memory_order_relaxed))  // 4++z;
}
int main()
{x=false; //5y=false; //6z=0; //7std::thread a(write_x_then_y); //Astd::thread b(read_y_then_x);  //Ba.join();b.join();assert(z.load()!=0);  // 8return 0;
}

assert是仍然有可能触发的! 內存模型是std::memory_order_relaxed, 根据这个内存模型的说明，1，2处可能乱序，5,6和7也可能重拍乱序。所以在3和4处的read操做就可能即便y load到了true, 而x仍然load到false.