Warum wird der flüchtige Qualifier durch std :: atomic verwendet?

Question

Von was ich gelesen habe Herb Sutter und others Sie würden denken, dass volatile und gleichzeitige Programmierung vollständig orthogonale Konzepte waren, zumindest soweit C/C++ betroffen sind.

In GCC implementation haben jedoch alle Mitgliedsfunktionen des Elements volatile den Namen std::atomic. Das gleiche gilt für Anthony Williams implementation von std::atomic.

Also was ist Deal, müssen meine atomic<> Variablen volatile oder nicht sein?

Answer 1

Warum ist die volatile Qualifier im gesamten std::atomic verwendet?

Damit flüchtige Objekte auch atomar sein können. Siehe here:

Das entsprechende Angebot ist

Die Funktionen und Operationen definiert sind, mit flüchtigen Objekten zu arbeiten, so dass Variablen, die flüchtig sein sollten auch atomar sein kann. Der volatile Qualifier ist jedoch für die Atomarität nicht erforderlich.

Sie meine atomic<> Variablen volatile oder nicht sein müssen?

Nein, atomare Objekte müssen nicht flüchtig sein.

Answer 2

Als const ist flüchtig transitiv. Wenn Sie eine Methode als volatile deklarieren, können Sie keine nichtflüchtige Methode für sie oder eines ihrer Elementattribute aufrufen. Mit std::atomic Methoden volatile erlauben Sie Aufrufe von volatile Member-Methoden in Klassen, die die std::atomic Variablen enthalten.

Ich bin nicht einen guten Tag ... so verwirrend ... vielleicht ein kleines Beispiel hilft:

struct element { 
    void op1() volatile; 
    void op2(); 
}; 
struct container { 
    void foo() volatile { 
     e.op1(); // correct 
     //e.op2(); // compile time error 
    } 
    element e; 
}; 

Answer 3

Um zusammenzufassen, was andere richtig geschrieben haben:

C/C++ volatile ist für Hardwarezugriff und Interrupts. C++ 11 atomic<> dient zur Kommunikation zwischen den Threads (z. B. im Lock-Free-Code). Diese beiden Konzepte/Anwendungen sind orthogonal, aber sie haben sich überschneidende Anforderungen und deshalb haben die Leute die beiden oft verwirrt.

Der Grund, dass atomic<> flüchtige qualifizierte Funktionen hat, ist der gleiche Grund, es const qualifizierten Funktionen hat, weil es im Prinzip möglich ist, für ein Objekt sowohl atomic<> sein und auch const und/oder volatile.

Natürlich, wie mein Artikel wies darauf hin, eine weitere Quelle der Verwirrung ist, dass C/C++ volatile ist nicht die gleiche wie C#/Java volatile (letzteres ist grundsätzlich äquivalent zu C++ 11 atomic<>).