以寬松的順序修改原子值

Question

假設我有以下代碼片段：

std::atomic<int> a(0);

void thread1()
{
    int x = a.fetch_add(1, std::memory_order_relaxed);
    std::cout << x << std::endl;
}

void thread2()
{
    int x = a.fetch_add(1, std::memory_order_relaxed);
    std::cout << x << std::endl;
}

int main()
{
    std::thread t1(thread1);
    std::thread t2(thread2);

    t1.join();
    t2.join();
}

問題是：結果是否可以得到0 0 ？

這兩個線程讀取和修改a在輕松愉快的記憶順序，這樣看來他們兩人可以看到的零值a 。 但實際上，我只看到0 1或1 0 。

Answer 1

不， 0 0是不可能的。 寬松的內存順序並不意味着操作不是原子的，並且發生0 0的唯一方法是將讀取-修改-寫入操作設為非原子的。 但是由於std::atomic::fetch_add是原子操作的，因此我們知道一次只能操作一個fetch_add ，因此只能使用0 1或1 0 。