Nonlocking Way to Copy Atomics in Copy Constructor

Question

Piszę konstruktora kopiowania dla struktury danych, która musi skopiować dwa elementy std::atomic<T> do nowego obiektu. Chociaż proces ten niekoniecznie musi być atomowy w moim przypadku użycia, wolałbym mieć możliwie najbardziej poprawne rozwiązanie.

Jestem świadomy, że konstruktor kopii został jawnie usunięty z std::atomic<T>, aby zmusić użytkowników do korzystania z interfejsu atomowego.

atomowa (stała atomowa &) = usuń;

Co Ja obecnie robie tak:

SomeObject(const SomeObject& other): 
    _atomic1(other._atomic1.load()),    
    _atomic2(other._atomic2.load()) { 
... 
} 

Nie wierzę, ta operacja jest atomowa, ani nie znam sposób, aby to tak (bez zamków).

Czy istnieje sposób na kopiowanie tych wartości atomowo (bez blokad)?

Answer 1

Jedynym sposobem jest utworzenie banalnie kopiowalnej struktury S zawierającej dwa T s i użycie std::atomic<S>.

Zauważ, że działa to tylko wtedy, gdy używasz tego S od samego początku - nie ma sposobu na atomowe ładowanie dwóch oddzielnych atomów bez blokad.

Więc zamiast:

struct SomeObject { 
    SomeObject(const SomeObject& other) : i(other.i.load()), j(other.j.load()) { } 
    std::atomic<int> i, j; 
}; 

Wykonaj:

struct SomeObject { 
    SomeObject(const SomeObject& other) : data(other.data.load()) { } 
    struct Data { int i, j; }; 
    std::atomic<Data> data; 
}; 

Należy pamiętać, że może to (najprawdopodobniej) nadal korzystać z blokady wewnętrznie. Użyj is_lock_free, aby sprawdzić, czy to robi.