Nicht blockierende Möglichkeit zum Kopieren von Atomics im Kopierkonstruktor

Question

Ich schreibe einen Kopierkonstruktor für eine Datenstruktur, die zwei std::atomic<T> Mitglieder in ein neues Objekt kopieren muss. Während der Prozess in meinem Anwendungsfall nicht notwendigerweise atomar sein muss, würde ich es vorziehen, die bestmögliche Lösung zu haben.

Ich bin mir bewusst, dass der Kopierkonstruktor explizit mit std::atomic<T> gelöscht wird, um Benutzer zu zwingen, die atomare Schnittstelle zu verwenden.

atomar (const atomic &) = löschen;

Was ich gerade ich so etwas wie dies tue:

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

Ich glaube nicht, dass diese Operation atomar ist, noch weiß ich, ein Weg, dies zu machen ist (ohne Schleusen).

Gibt es eine Möglichkeit, diese Werte atomar (ohne Sperren) zu kopieren?

Answer 1

Die einzige Möglichkeit besteht darin, eine trivial kopierbare Struktur S mit zwei T s zu erstellen und std::atomic<S> zu verwenden.

Beachten Sie, dass dies nur funktioniert, wenn Sie diese S von Anfang an verwendet haben - es gibt keine Möglichkeit, zwei separate Atomics ohne Sperren zu laden.

Also statt:

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

tun:

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

Beachten Sie, dass dies könnte (wahrscheinlich) noch intern Schlösser verwenden. Verwenden Sie is_lock_free, um zu überprüfen, ob dies der Fall ist.