快捷導(dǎo)航

C++中常見(jiàn)的六種內(nèi)存序

更新時(shí)間：2025年06月09日 09:59:32 作者：源代碼分析

內(nèi)存序是多線程編程中控制原子操作內(nèi)存可見(jiàn)性和執(zhí)行順序的機(jī)制,本文主要介紹了C++中常見(jiàn)的六種內(nèi)存序,具有一定的參考價(jià)值,感興趣的可以了解一下

內(nèi)存序（Memory Order）是多線程編程中用于控制原子操作的內(nèi)存可見(jiàn)性和執(zhí)行順序的機(jī)制。它幫助開(kāi)發(fā)者在保證程序正確性的同時(shí)，優(yōu)化性能，避免不必要的同步開(kāi)銷。以下是對(duì)內(nèi)存序的詳細(xì)介紹：

為什么需要內(nèi)存序？

在多核處理器中，每個(gè)線程可能運(yùn)行在不同的核心上，每個(gè)核心有自己的緩存。編譯器和處理器為了提高性能，可能會(huì)對(duì)指令進(jìn)行重排序（Reordering），導(dǎo)致以下問(wèn)題：

可見(jiàn)性問(wèn)題：一個(gè)線程修改的數(shù)據(jù)可能不會(huì)立即被其他線程看到。
順序問(wèn)題：線程觀察到的內(nèi)存操作順序可能與實(shí)際執(zhí)行順序不同。

內(nèi)存序通過(guò)約束編譯器和處理器的重排序行為，確保多線程間共享數(shù)據(jù)的正確性。

常見(jiàn)內(nèi)存序類型（以C++為例）

C++11定義了6種內(nèi)存序，按約束強(qiáng)度從弱到強(qiáng)排列：

1. memory_order_relaxed

特性：僅保證原子性，不保證操作順序和可見(jiàn)性。

適用場(chǎng)景：不需要同步的計(jì)數(shù)器遞增，例如統(tǒng)計(jì)次數(shù)。

示例：

atomic<int> counter{0};
counter.fetch_add(1, memory_order_relaxed);

2. memory_order_acquire

特性：在讀取操作時(shí)生效，確保當(dāng)前線程中后續(xù)的所有讀/寫操作不會(huì)被重排序到該操作之前。

適用場(chǎng)景：獲取鎖（Lock）或同步讀取共享數(shù)據(jù)。

示例：

atomic<bool> flag{false};
// 線程A：
while (!flag.load(memory_order_acquire)); // 等待flag變?yōu)閠rue
// 線程A后續(xù)的操作能看到線程B在release前的所有寫入

// 線程B：
flag.store(true, memory_order_release); // 釋放鎖，寫入對(duì)其他線程可見(jiàn)

3. memory_order_release

特性：在寫入操作時(shí)生效，確保當(dāng)前線程中之前的所有讀/寫操作不會(huì)被重排序到該操作之后。
適用場(chǎng)景：釋放鎖或發(fā)布數(shù)據(jù)到其他線程。

4. memory_order_acq_rel

特性：同時(shí)具有acquire和release的語(yǔ)義，用于需要同時(shí)讀寫的操作（如compare_exchange_weak）。
適用場(chǎng)景：原子操作的讀-修改-寫（RMW）場(chǎng)景。

5. memory_order_seq_cst（默認(rèn)）

特性：嚴(yán)格順序一致性（Sequential Consistency），所有線程看到的操作順序一致。
開(kāi)銷：性能較低，但最安全。
適用場(chǎng)景：需要強(qiáng)一致性的場(chǎng)景（如無(wú)鎖數(shù)據(jù)結(jié)構(gòu)）。

6. memory_order_consume（較少使用）

特性：類似acquire，但僅約束依賴該原子變量的操作。
適用場(chǎng)景：數(shù)據(jù)依賴較強(qiáng)的場(chǎng)景（如指針發(fā)布）。

關(guān)鍵概念

Happens-Before關(guān)系：
- 如果操作A happens-before 操作B，那么A的結(jié)果對(duì)B可見(jiàn)。
- 通過(guò)acquire和release等內(nèi)存序建立這種關(guān)系。
內(nèi)存柵欄（Memory Fence）：
- 內(nèi)存序的底層實(shí)現(xiàn)可能依賴內(nèi)存柵欄，防止特定方向的重排序。

使用建議

優(yōu)先使用默認(rèn)的seq_cst：除非確定需要優(yōu)化性能。
配對(duì)使用acquire和release：確保同步正確性。
謹(jǐn)慎使用relaxed：僅在無(wú)需同步時(shí)使用（如統(tǒng)計(jì)計(jì)數(shù)器）。

示例：自旋鎖（Spin Lock）

class SpinLock {
    atomic<bool> locked{false};
public:
    void lock() {
        while (locked.exchange(true, memory_order_acquire)); // 獲取鎖
    }
    void unlock() {
        locked.store(false, memory_order_release); // 釋放鎖
    }
};

acquire：在獲取鎖時(shí)，確保后續(xù)操作能看到鎖保護(hù)的數(shù)據(jù)。
release：在釋放鎖時(shí)，確保鎖內(nèi)的修改對(duì)其他線程可見(jiàn)。

總結(jié)

內(nèi)存序是多線程編程中平衡正確性與性能的關(guān)鍵工具。理解不同內(nèi)存序的語(yǔ)義，合理選擇約束強(qiáng)度，可以有效避免競(jìng)態(tài)條件（Race Condition）和數(shù)據(jù)不一致問(wèn)題。在不確定時(shí)，優(yōu)先使用默認(rèn)的seq_cst，再逐步優(yōu)化。

到此這篇關(guān)于C++中常見(jiàn)的六種內(nèi)存序的文章就介紹到這了,更多相關(guān)C++ 內(nèi)存序內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: