C++并发编程（五）：内存模型与原子类型

对象与内存位置

---

1、内存模型

C++内存模型可以被看作是C++程序和计算机系统（包括编译器，多核CPU等可能对程序进行乱序优化的软硬件）之间的契约，它规定了多个线程访问同一个内存地址时的语义，以及某个线程对内存地址的更新何时能被其它线程看见。

2、对象与内存位置

在一个C++程序中的所有数据都是由对象(objects)构成。像int或float这样的对象就是简单基本类型；当然，也有用户定义类的实例。无论对象是怎么样的一个类型，一个对象都会存储在一个或多个内存位置上。需要注意的主要有4点：

    1. 每一个变量都是一个对象，包括作为其成员变量的对象。

    2. 每个对象至少占有一个内存位置

    3. 基本类型都有确定的内存位置(无论类型大小如何，即使他们是相邻的，或是数组的一部分)。

    4. 相邻位域是相同内存中的一部分。

原子类型

---

为了避免条件竞争，两个线程就需要一定的执行顺序。第一种方式，使用 互斥量来确定访问的顺序。另一 种方式是使用原子操作(atmic operations)同步机制。原子操作是一类不可分割的操作，它的状态要不就是完成，要不就是不做。

1、atomic_flag

std::atomic_flag 是最简单的标准原子类型，声明在<atomic>头文件。它表示了一个布尔标志。这个类型的对象可以 在两个状态间切换：设置和清除。std::atomic_flag 类型的对象必须被ATOMIC_FLAG_INIT初始化，初始化的状态为“”清除“”。</