Атомный элемент данных, вызывающий из потока

Question

Может кто-то, пожалуйста, помогите мне понять, что я делаю неправильно здесь? Когда я делаю члены данных класса не атомарными, он работает нормально.

class AtomicTest 
{ 
    atomic<int> A{ 0 }; 
    atomic<int> B{ 0 }; 
public : 
    AtomicTest() { } 
    void func1() 
    { 
     A = 1; 
     cout << "func1 " << A << endl;; 
    } 
    void func2() 
    { 
     cout << "func2 " << A << endl; 
     A = A + 1; 
     cout << A << endl; 
    } 
}; 

int main() 
{ 
    AtomicTest a; 
    thread t1(&AtomicTest::func1, std::ref(a)); // I tried to move as well, i know ref would share data between two threads but i can use mutex to protect data if its needed but i cannot even call the func1 

    //thread t2(&AtomicTest::func2, std::ref(a)); 
    t1.join(); 
    //t2.join(); 

    return 0; 
} 

Answer 1

Благодаря параллельности без дополнительной синхронизации в этом случае невозможно предсказать поведение программы:

A = A + 1; 

Эта простая линия состоит из 1 атомное load и 1 атомных store операций. Даже заказ памяти по умолчанию (std::memory_order_seq_cst) не даст вам никаких гарантий относительно смешанного одновременного выполнения этих двух потоков. Стандарт говорит, что такой случай имеет неопределенное поведение - есть гонка данных для вашей переменной (неважно, это atomic или нет).

Попробуйте добавить некоторые блокирующие примитивы (например, std::mutex) или изменить логику для использования специальных атомных функций (таких как fetch_add, exchange и т. Д.). См. Больше на странице cpp-reference.