rust中Atomic Ordering含义总结

最新推荐文章于 2025-11-27 22:23:02 发布

原创

最新推荐文章于 2025-11-27 22:23:02 发布 · 1.2k 阅读

9 ·

CC 4.0 BY-SA版权

文章标签：

#rust #Ordering #Atomic

本文介绍了内存排序中的Acquire,Release和SeqCst等内存屏障概念，强调了它们在保证线程间数据可见性和顺序一致性中的作用，以及在构建临界区时的应用。

Relaxed
最基础的内存排序要求，只要求当前原子操作是要么完全执行，要么还未执行，其操作结果的可见性同步在其他线程没有任何顺序的保证
Acquire
适用于读取数据操作，要求：
当前线程不能有其他的读或写被 reorder 在 load 之前其他线程的同一数据已发生的 Release 写入操作都是对其可见的。
Release
适用于写数据操作，要求：
当前线程不能有其他的读或写被 reorder 在 store 之后当前写入后的结果对其他线程的同一数据 Acquire 读取操作是可见的。
也就是说，这里线程间可见性要求，acquire load总是可以同步到其他线程已发生的release store

use std::{
   
   
    sync::atomic::{
   
   AtomicBool, Ordering},
    thread,
};
fn main() {
   
   
    // 更严谨的测试可以用loom
    for _ in 0..100000 {
   
   
        acquire_release()
    }
}

fn acquire_release() {
   
   
    static FLAG: AtomicBool = AtomicBool