Wie kann der spezialisierte Atomtyp der Struktur frei von Sperren sein?

Question

ich den folgenden Code gefunden, setzen die aus immer:

std::atomic<A> is lock free? false 
std::atomic<B> is lock free? true 

Dies ist der Code:

struct A { int a[100]; }; 
struct B { int x, y; }; 
int main() 
{ 
    std::cout << std::boolalpha 
       << "std::atomic<A> is lock free? " 
       << std::atomic<A>{}.is_lock_free() << '\n' 
       << "std::atomic<B> is lock free? " 
       << std::atomic<B>{}.is_lock_free() << '\n'; 
} 

Ich verstehe nicht, wie kann die zweite Struktur spezialisierte Atomschloß frei sein und die 1. spezialisierte Atomart kann nicht frei von Sperren sein?

Vielen Dank im Voraus.

Answer 1

http://en.cppreference.com/w/cpp/atomic/atomic_is_lock_free erklärt es wirklich im Kommentarabschnitt. Speicherausrichtung und Registergröße können es ermöglichen, dass zwei gepackte Intets atomar behandelt werden. Mit anderen Worten, 2 ausgerichtete Ints unterscheiden sich nicht von einem einzigen langen Long bei einem 64-Bit-System mit einem 128-Bit-Register.

Answer 2

std::atomic erfordert, dass das Template-Argument trivial kopierbar ist. Das heißt, es weiß, dass Operationen (laden, speichern usw.) auf Ihrer Struktur einfach Bytes kopieren und mit entsprechenden atomaren Anweisungen ausgeführt werden können, wenn sie breit genug sind.