是原子的 <T*> 永遠鎖定免費？

Question

在我的MAC OS上， atomic<T*>是無鎖的。

#include <iostream>
#include <atomic>

int main() {
    std::cout << std::atomic<void*>().is_lock_free() << std::endl;
    return 0;
}

output: 1

我想知道atomic<T*>是否總是無鎖？

有參考介紹嗎？

Answer 1

該標准允許使用鎖實現任何原子類型（std :: atomic_flag除外）。 即使平台允許某些類型的無鎖原子，標准庫開發人員也可能沒有實現。

如果在使用鎖時需要以不同的方式實現某些內容，可以在編譯時使用ATOMIC_POINTER_LOCK_FREE宏來檢查。

Answer 2

不，假設任何特定平台的std::atomic實現總是無鎖是不安全的。

該標准指定了一些標記宏，包括ATOMIC_POINTER_LOCK_FREE ，它指示對於所討論的平台，指針永遠不會，有時或總是無鎖。

您還可以從std::atomic<T *>::is_always_lock_free獲取特定T的答案。 ¹

注1：給定的指針類型必須一致 ，因此實例方法std::atomic<T *>::is_lock_free()是多余的。