C++ Memory_order的理解

在多核编程中，我们使用锁来避免多个线程修改同一个数据时产生的竞争条件。但是，锁会消耗系统资源，当锁成为性能瓶颈的时候，就需要使用另一种方法——原子指令。c++11中引入了原子类型atomic。

原子指令 (x均为std::atomic) 作用x.load()返回x的值。x.store(n)把x设为n，什么都不返回。x.exchange(n)把x设为n，返回设定之前的值。x.compare_exchange_strong(expected_ref, desired)若x等于expected_ref，则设为desired，返回成功；否则把最新值写入expected_ref，返回失败。x.compare_exchange_weak(expected_ref, desired)相比compare_exchange_strong可能有spurious wakeup。x.fetch_add(n), x.fetch_sub(n)原子地做x += n, x-= n，返回修改之前的值。

但仅靠原子指令实现不了对资源的访问控制。这造成的原因是编译器和cpu实施了重排指令，导致读写顺序会发生变化，只要不存在依赖，代码中后面的指令可能会被放在前面，从而先执行它。cpu这么做是为了尽量塞满每个时钟周期，在单位时间内尽量执行更多的指令，从而提高吞吐率。

// 【内存模型中的同步模式】 memory model synchronization modes
typedef enum memory_order {memory_order_relaxed,    // 【宽松模式】 不对执行顺序做保证memory_order_acquire,    // 【获得模式】本线程中,所有后续的读操作必须在本条原子操作完成后执行memory_order_release,    // 【释放模式】本线程中,所有之前的写操作完成后才能执行本条原子操作memory_order_acq_rel,    // 【获得/释放模式】 同时包含 memory_order_acquire 和 memory_order_releasememory_order_consume,    // 【消费模式】本线程中,所有后续的有关本原子类型的操作,必须在本条原子操作完成之后执行memory_order_seq_cst    // 【顺序一致模式】 sequentially consistent，全部存取都按顺序执行
} memory_order;

下面看个例子：

// thread 1
// ready was initialized to false
p.init();
ready = true;// thread 2
if(ready) {p.bar();
}

线程2在ready为true的时候会访问p，对线程1来说，如果按照正常的执行顺序，那么p先被初始化，然后在将ready赋为true。但对多核的机器而言，情况可能有所变化：

线程1中的ready = true可能会被cpu或编译器重排到p.init()的前面，从而优先执行ready = true这条指令。在线程2中，p.bar()中的一些代码可能被重排到if(ready)之前。

即使没有重排，ready和p的值也会独立地同步到线程2所在核心的cache，线程2仍然可能在看到ready为true时看到未初始化的p。

为了解决这个问题，cpu和编译器提供了memory fence，让用户可以声明访存指令的可见性关系，c++11总结为以下memory order：

memory order	作用
memory_order_relaxed	无fencing作用，cpu和编译器可以重排指令
memory_order_consume	后面依赖此原子变量的访存指令勿重排至此条指令之前
memory_order_acquire	后面访存指令勿重排至此条指令之前
memory_order_release	前面的访存指令勿排到此条指令之后。当此条指令的结果被同步到其他核的cache中时，保证前面的指令也已经被同步
memory_order_acq_rel	acquare + release
memory_order_seq_cst	acq_rel + 所有使用seq_cst的指令有严格的全序关系

有了memoryorder，我们可以这么改上面的例子：

// Thread1
// ready was initialized to false
p.init();
ready.store(true, std::memory_order_release);// Thread2
if (ready.load(std::memory_order_acquire)) {p.bar();
}

线程2中的acquire和线程1的release配对，确保线程2在看到ready==true时能看到线程1 release之前所有的访存操作。

注意，memory fence不等于可见性，即使线程2恰好在线程1在把ready设置为true后读取了ready也不意味着它能看到true，因为同步cache是有延时的。memory fence保证的是可见性的顺序：“假如我看到了a的最新值，那么我一定也得看到b的最新值”。

C++ Memory_order的理解相关推荐

深入理解C++内存管理
深入理解C++内存管理一文了解所有C++内存的问题 AlexCool 目录一 C++内存模型二 C++对象内存模型三 C++程序运行内存空间模型四 C++栈内存空间模型五 C++堆内 ...
深入理解Memory Order
深入理解Memory Order cpu 保证 cache 编程技术 lock-free wait-free Read–modify–write Compare-And-Swap(CAS) cas原理 ...
理解 C++ 的 Memory Order 以及 atomic 与并发程序的关系
为什么需要 Memory Order 如果不使用任何同步机制(例如 mutex 或 atomic),在多线程中读写同一个变量,那么,程序的结果是难以预料的.简单来说,编译器以及 CPU 的一些行为,会 ...
深入理解C++11pdf
下载地址:网盘下载内容简介 · · · · · · <深入理解C++11:C++11新特性解析与应用>内容简介:国内首本全面深入解读C++11新标准的专著,由C++标准委员会代表和IB ...
atomic 内存序_如何理解 C++11 的六种 memory order？
GTHub:高并发编程--多处理器编程中的一致性问题(下)zhuanlan.zhihu.com 4 C++ Memory model 4.0 写在前面 C++ memory order是对atomi ...
通用解题法——回溯算法（理解+练习）
积累算法经验,积累解题方法--回溯算法,你必须要掌握的解题方法! 什么是回溯算法呢? 回溯算法实际上一个类似枚举的搜索尝试过程,主要是在搜索尝试过程中寻找问题的解,当发现已不满足求解条件时,就&quo ...
stream流对象的理解及使用
我的理解:用stream流式处理数据,将数据用一个一个方法去 . (点,即调用) 得到新的数据结果,可以一步达成. 有多种方式生成 Stream Source: 从 Collection 和数组 Co ...
Linux shell 学习笔记（11）— 理解输入和输出（标准输入、输出、错误以及临时重定向和永久重定向）
1. 理解输入和输出 1.1 标准文件描述符 Linux 系统将每个对象当作文件处理.这包括输入和输出进程.Linux 用文件描述符(file descriptor)来标识每个文件对象.文件描述符是一 ...
java局部变量全局变量,实例变量的理解
java局部变量全局变量,实例变量的理解局部变量可以理解为写在方法中的变量. public class Variable {//类变量static String name = "小明&q ...

C++ Memory_order的理解

C++ Memory_order的理解

C++ Memory_order的理解相关推荐

最新文章

热门文章