atomic_compare_exchange_weak, atomic_compare_exchange_strong, atomic_compare_exchange_weak_explicit, atomic_compare_exchange_strong_explicit

 

C

編譯器支援

語言

標頭檔案

型別支援

程式工具

變參函式支援

錯誤處理

動態記憶體管理

字串庫

演算法

數值

日期和時間工具

輸入/輸出支援

本地化支援

併發支援 (C11)

技術規範

符號索引

 

併發支援庫

執行緒 thrd_create thrd_equal thrd_current    thrd_sleep thrd_yield thrd_exit thrd_detach thrd_join thrd_successthrd_timedoutthrd_busythrd_nomemthrd_error    原子操作 atomic_init ATOMIC_VAR_INIT (直至 C23) ATOMIC_***_LOCK_FREE atomic_is_lock_free atomic_store atomic_load atomic_exchange atomic_compare_exchange atomic_fetch_add atomic_fetch_sub atomic_fetch_or atomic_fetch_xor atomic_fetch_and

原子標誌 atomic_flag ATOMIC_FLAG_INIT atomic_flag_test_and_set atomic_flag_clear 記憶體排序 memory_order kill_dependency atomic_thread_fence atomic_signal_fence 互斥 mtx_init mtx_lock mtx_timedlock mtx_trylock call_once mtx_unlock mtx_destroy mtx_plainmtx_recursivemtx_timed 條件變數 cnd_init cnd_signal cnd_broadcast cnd_wait cnd_timedwait cnd_destroy 執行緒區域性儲存 thread_local TSS_DTOR_ITERATIONS    tss_create tss_get tss_set tss_delete

 

在標頭檔案 <stdatomic.h> 中定義
_Bool atomic_compare_exchange_strong( volatile A* obj,                                       C* expected, C desired );	(1)	(C11 起)
_Bool atomic_compare_exchange_weak( volatile A *obj,                                     C* expected, C desired );	(2)	(C11 起)
_Bool atomic_compare_exchange_strong_explicit( volatile A* obj,                                                C* expected, C desired,                                                memory_order succ,                                                memory_order fail );	(3)	(C11 起)
_Bool atomic_compare_exchange_weak_explicit( volatile A *obj,                                              C* expected, C desired,                                              memory_order succ,                                              memory_order fail );	(4)	(C11 起)

原子性地比較 obj 所指向記憶體的內容與 expected 所指向記憶體的內容，如果它們在位模式上相等，則將前者替換為 desired（執行讀-修改-寫操作）。否則，將 obj 所指向記憶體的實際內容載入到 *expected 中（執行載入操作）。

讀-修改-寫和載入操作的記憶體模型分別為 succ 和 fail。(1-2) 版本預設使用 memory_order_seq_cst。

函式的弱形式（(2) 和 (4)）允許發生偽故障，即即使它們相等，也表現得像 *obj != *expected。當比較並交換在迴圈中時，弱版本在某些平臺上會產生更好的效能。當弱比較並交換需要迴圈而強比較並交換不需要時，強比較並交換是首選。

這是一個針對所有 原子物件型別 A 定義的泛型函式。引數是指向 volatile 原子型別的指標，以接受非 volatile 和 volatile（例如記憶體對映 I/O）原子物件的地址，並且當對此 volatile 原子物件執行此操作時，volatile 語義得以保留。C 是對應於 A 的非原子型別。

泛型函式的名稱是宏還是具有外部連結的識別符號未指定。如果為了訪問實際函式而抑制了宏定義（例如用括號括起來，如 (atomic_compare_exchange)(...)），或者程式定義了一個與泛型函式同名的外部識別符號，則行為未定義。

引數

obj	-	指向要測試和修改的原子物件的指標
expected	-	指向期望在原子物件中找到的值的指標
desired	-	如果原子物件符合預期，則儲存到原子物件中的值
succ	-	如果比較成功，則為讀-修改-寫操作的記憶體同步順序。允許所有值。
fail	-	如果比較失敗，則為載入操作的記憶體同步順序。不能是 memory_order_release 或 memory_order_acq_rel，也不能指定比 succ 更強的順序

返回值

比較的結果：如果 *obj 等於 *exp，則為 true，否則為 false。

注意

atomic_compare_exchange_* 家族的行為如同原子性地執行了以下操作

if (memcmp(obj, expected, sizeof *obj) == 0) {
    memcpy(obj, &desired, sizeof *obj);
    return true;
} else {
    memcpy(expected, obj, sizeof *obj);
    return false;
}

參考

• C17 標準 (ISO/IEC 9899:2018)

• 7.17.7.4 atomic_compare_exchange 泛型函式 (p: 207)

• C11 標準 (ISO/IEC 9899:2011)

• 7.17.7.4 atomic_compare_exchange 泛型函式 (p: 283-284)

另請參閱

atomic_exchangeatomic_exchange_explicit (C11)	與原子物件的值交換 (function)
C++ 文件 for atomic_compare_exchange_weak, atomic_compare_exchange_strong, atomic_compare_exchange_weak_explicit, atomic_compare_exchange_strong_explicit