文章目录

前文介绍了六种内存顺序以及三种内存模型本文通过代码示例讲解六种内存顺序使用方法并实现相应的内存模型。

1、Relaxed

表示“最宽松的内存序”不提供任何同步保证。

具体来说memory_order_relaxed

memory_order_relaxed

的语义下编译器和处理器可能会对原子操作进行重排序以提高性能。

在多线程环境中使用

memory_order_relaxed

的原子操作可能会产生不可预测的结果因为线程之间的操作顺序可能会因为重排序而发生变化。

例如

std::atomicbool

(!y.load(std::memory_order_relaxed))

3std::cout

(x.load(std::memory_order_relaxed))

//4z;}

t2(read_y_***n_x);t1.join();t2.join();assert(z.load()

0);

}在上面的程序中断言有可能被触发线程A执行write_x_***n_y函数线程B执行read_y_***n_x函数。

由于使用宽松内存序操作1对应的指令可能重排到操作2对应的指令后面此时当线程A执行完操作2时操作1还没有被执行x对应的值还没有写入到内存xfalse、ytrue。

线程2执行到操作3时读到y为true退出循环线程2看到的x的值为false时可以从指令重排与缓存结构两个角度来理解不会执行操作4进而导致断言触发。

注意虽然

不提供同步保证但它仍然可以用于某些不需要严格同步的场景。

例如在某些计数器或统计场景中可以使用宽松内存序来提高性能因为这些场景通常不需要严格的同步语义。

2、Sequencial

Consistent的内存模型。

这种内存序提供了最严格的同步保证它确保所有线程都将看到相同的操作顺序并且所有原子操作都将按照程序顺序执行。

具体来说当使用

进行原子操作时编译器和处理器不会对这些操作进行任何形式的重排序以确保在所有线程中看到的操作顺序是一致的。

这种内存序适用于那些需要强一致性的场景但也可能带来一定的性能开销。

使用memory_order_seq_cst内存序解决前面遇到的问题如下

void

(!y.load(std::memory_order_seq_cst))

3std::cout

(x.load(std::memory_order_seq_cst))

//4z;}

t2(read_y_***n_x);t1.join();t2.join();assert(z.load()

0);

}上面的代码x和y采用的是memory_order_seq_cst当线程2执行到操作3读出来y的值为true时会退出循环。

因为使用的是全局一致性模型不会对指令顺序进行优化操作1一定会在操作2前面执行所以当y的值被修改成成true时执行操作2操作1一定被执行了此时在线程2看到的x的值为true会执行操作4进而断言不会被触发。

注意实现

通常有多核每个核心还有自己的缓存为了做到全局顺序一致每次写入操作都必须同步给其他核心。

为了减少性能开销如果不需要全局顺序一致应该考虑使用更加宽松的顺序模型。

3、Acquire

memory_order_acquire、memory_order_release

memory_order_acq_rel

操作memory_order_acq_relread-modify-write

操作即读

memory_order_acquire、memory_order_release

acquire

关系该关系的解释可以参考11.5章节可以通过Acquire-release

void

(!ry.load(std::memory_order_acquire));

//3assert(rx.load(std::memory_order_relaxed));

}采用Acquire-release

关系操作2的结果对操作3可见。

当操作3读取到y的值为true时说明操作2一定被执行了操作2使用的是memory_order_release内存序操作1指令不会被优化到操作2后面参考11.3对memory_order_release内存序的介绍操作2执行了那么操作1也一定会被执行线程2此时读到ytrue、xtrue操作4一定会被执行断言不会被触发。