C++原子操作的內存序使用及說明(memory ordering)

更新時間：2026年05月20日 16:29:30 作者：當歸. z Z

內存序主要用于控制多線程環(huán)境下的操作可見性和執(zhí)行順序,包括無序、消費序、獲取、Release、Acq_Rels和_Seq_Cstt等等滿足不同MW操作和嚴格順序需求,根據不同場景選擇合適的內存序,如可有助于優(yōu)化性能和確保數據一致性

1.memory_order_relaxed（松散順序）

特點

無同步或順序約束：僅保證原子操作的原子性，不保證操作順序。
性能最高：適合不需要同步的場景（如計數器）。

示例

std::atomic<int> counter{0};

void increment() {
    counter.fetch_add(1, std::memory_order_relaxed); // 無同步保證
}

適用場景

統(tǒng)計計數、無競爭場景（如性能計數器）。

2.memory_order_consume（消費順序）

特點

比 acquire 更弱：僅保證依賴該原子變量的操作不被重排。
用于數據依賴鏈（如指針解引用）。

示例

std::atomic<int*> ptr{nullptr};
int data = 0;

void producer() {
    data = 42;
    ptr.store(&data, std::memory_order_release); // 發(fā)布指針
}

void consumer() {
    int* p;
    while (!(p = ptr.load(std::memory_order_consume))) { // 消費指針
        // 等待
    }
    assert(*p == 42); // 僅保證 p 依賴的操作有序
}

適用場景

適用于指針或數據依賴的場景（比 acquire 更高效）。

3.memory_order_acquire（獲取順序）

特點

與 release 配對，確保后續(xù)操作不會重排到 acquire 之前。
讀取同步：保證看到 release 之前的修改。

示例

std::atomic<bool> ready{false};
int data = 0;

void producer() {
    data = 42;
    ready.store(true, std::memory_order_release); // 發(fā)布數據
}

void consumer() {
    while (!ready.load(std::memory_order_acquire)) { // 等待 release
        // 自旋
    }
    assert(data == 42); // 保證看到 data = 42
}

適用場景

鎖的獲取、線程間數據同步。

4.memory_order_release（釋放順序）

特點

與 acquire 配對，確保之前的操作不會重排到 release 之后。
寫入同步：保證修改對 acquire 線程可見。

示例

std::atomic<int> flag{0};
int data = 0;

void producer() {
    data = 42;
    flag.store(1, std::memory_order_release); // 確保 data = 42 在 flag = 1 之前
}

void consumer() {
    while (flag.load(std::memory_order_acquire) != 1) { // 等待 release
        // 自旋
    }
    assert(data == 42); // 保證看到 data = 42
}

適用場景

鎖的釋放、線程間數據發(fā)布。

5.memory_order_acq_rel（獲取-釋放順序）

特點

同時具備 acquire 和 release 語義：

如果是讀-修改-寫（RMW）操作（如 fetch_add），則：
讀取部分 采用 acquire 語義（防止后續(xù)操作重排到前面）。
寫入部分 采用 release 語義（防止前面操作重排到后面）。

適用于 CAS（Compare-And-Swap）等操作。

示例

std::atomic<int> counter{0};

void increment() {
    counter.fetch_add(1, std::memory_order_acq_rel); // 讀-修改-寫
}

適用場景

自旋鎖、無鎖數據結構（如隊列、棧）。

6.memory_order_seq_cst（順序一致性）

特點

最強約束：所有 seq_cst 操作按全局順序執(zhí)行（類似互斥鎖）。
默認選項（如果不指定內存序，原子操作默認使用 seq_cst）。
性能較低，但最安全。

示例

std::atomic<bool> x{false}, y{false};
int z = 0;

void write_x() {
    x.store(true, std::memory_order_seq_cst); // 全局可見順序
}

void write_y() {
    y.store(true, std::memory_order_seq_cst); // 全局可見順序
}

void read() {
    while (!x.load(std::memory_order_seq_cst)) {}
    if (y.load(std::memory_order_seq_cst)) {
        z++; // 保證 x 和 y 的修改順序一致
    }
}

適用場景

需要嚴格順序的場景（如 Dekker 算法、Peterson 鎖）。

7.總結

內存序	作用	適用場景
relaxed	僅保證原子性，無順序約束	計數器、無競爭統(tǒng)計
consume	僅保證依賴該原子變量的操作有序	指針發(fā)布（較少使用）
acquire	保證后續(xù)操作不會重排到它之前（讀同步）	鎖獲取、數據同步
release	保證之前操作不會重排到它之后（寫同步）	鎖釋放、數據發(fā)布
acq_rel	同時具備 acquire 和 release（用于 RMW 操作）	自旋鎖、無鎖數據結構
seq_cst	全局順序一致（最強約束，性能最低）	需要嚴格順序的算法