C++ 庫 - <stdatomic>



C++ 中的<stdatomic> 標頭檔案提供了一組函式,用於對共享變數執行原子操作,從而實現對資料的執行緒安全操作。此標頭檔案是併發支援庫的一部分。

<stdatomic> 標頭檔案將 atomic_flag 型別定義為結構型別(提供經典的 test-and-set 功能),具有兩種狀態:設定和清除。

包含 <stdatomic> 標頭檔案

要在你的 C++ 程式中包含 <stdatomic> 標頭檔案,可以使用以下語法。

#include <stdatomic>

<stdatomic> 標頭檔案的函式

以下是 <stdatomic> 標頭檔案中所有函式的列表。

路徑操作函式

這些路徑操作函式對檔案路徑進行操作,以組合、轉換或解析它們。

序號 函式及描述
1 atomic_is_lock_free

此函式檢查原子型別的操作是否為無鎖的。

2 atomic_store, atomic_store_explicit

這些函式以原子方式將原子物件的值替換為非原子引數。

3 atomic_exchange, atomic_exchange_explicit

這些函式以原子方式將原子物件的值替換為非原子引數,並返回原子的舊值。

4 atomic_fetch_add, atomic_fetch_add_explicit

這些函式將非原子值新增到原子物件,並獲取原子的先前值。

5 atomic_fetch_sub, atomic_fetch_sub_explicit

這些函式將原子物件替換為與非原子引數按位與的結果,並獲取原子的先前值。

6 atomic_fetch_or, atomic_fetch_or_explict

這些函式將原子物件替換為與非原子引數按位或的結果,並獲取原子的先前值。

7 atomic_fetch_xor, atomic_fetch_xor_explict

這些函式將原子物件替換為與非原子引數按位異或的結果,並獲取原子的先前值。

8 atomic_flag_test_and_set, atomic_flag_test_and_set_explicit

這些函式以原子方式將標誌的值設定為 false。

9 atomic_thread_fence

此函式提供通用的依賴於記憶體順序的柵欄同步原語。

10 atomic_signal_fence

此函式在同一執行緒中執行的執行緒和訊號處理程式之間設定柵欄。

檢查操作是否為無鎖的

在下面的示例中,我們將使用 atomic_is_lock_free 來檢查特定原子型別上的原子操作是否為無鎖的。

#include <iostream>
#include <atomic>
int main() {
    std::atomic<int> atomicInt;
    bool isLockFree = atomic_is_lock_free(&atomicInt);
    std::cout << "Is atomic operation lock-free? " << std::boolalpha << isLockFree << std::endl;
    return 0;
}

輸出

如果我們執行上面的程式碼,它將生成以下輸出:

Is atomic operation lock-free? true
廣告