Ist ein Bool-Lese- / Schreibatom in C #?

Ist der Zugriff auf ein Bool- Feld in C # atomar? Muss ich insbesondere ein Schloss schließen:

class Foo
{
   private bool _bar;

   //... in some function on any thread (or many threads)
   _bar = true;

   //... same for a read
   if (_bar) { ... }
}

Ja.

Lese- und Schreibvorgänge der folgenden Datentypen sind atomar: Bool-, Char-, Byte-, Sbyte-, Short-, Ushort-, Uint-, Int-, Float- und Referenztypen.

wie in C # Language Spec gefunden .

Bearbeiten: Es lohnt sich wahrscheinlich auch, das flüchtige Schlüsselwort zu verstehen .

Wie oben erwähnt, ist bool atomar, aber Sie müssen sich immer noch daran erinnern, dass es auch davon abhängt, was Sie damit machen möchten.

if(b == false)
{
    //do something
}

ist keine atomare Operation, was bedeutet, dass sich der b-Wert ändern kann, bevor der aktuelle Thread den Code nach der if-Anweisung ausführt.

Bool-Zugriffe sind in der Tat atomar, aber das ist nicht die ganze Geschichte.

Sie müssen sich nicht um das Lesen eines Werts kümmern, der "unvollständig geschrieben" ist - es ist nicht klar, was dies möglicherweise für einen Bool bedeuten könnte -, aber Sie müssen sich um Prozessor-Caches kümmern, zumindest wenn Details von Timing sind ein Problem. Wenn Thread 1, der auf Kern A ausgeführt wird, Ihren _barCache hat und _barvon Thread 2, der auf einem anderen Kern ausgeführt wird, aktualisiert wird, wird Thread 1 die Änderung nicht sofort sehen, es sei denn, Sie fügen Sperren hinzu, deklarieren _barals volatileoder fügen explizit Aufrufe ein Thread.MemoryBarrier(), um den zu ungültig zu machen zwischengespeicherter Wert.

Der Ansatz, den ich verwendet habe und den ich für richtig halte, ist

volatile bool b = false;

.. rarely signal an update with a large state change...

lock b_lock
{
  b = true;
  //other;
}

... another thread ...

if(b)
{
    lock b_lock
    {
       if(b)
       {
           //other stuff
           b = false;
       }
     }
}

Das Ziel bestand im Wesentlichen darin, zu vermeiden, dass ein Objekt bei jeder Iteration wiederholt gesperrt werden muss, um zu überprüfen, ob es gesperrt werden muss, um eine große Menge an Statusänderungsinformationen bereitzustellen, die selten vorkommen. Ich denke, dieser Ansatz funktioniert. Und wenn absolute Konsistenz erforderlich ist, denke ich, dass Volatilität auf dem B- Bool angemessen wäre.