Чи є bool читанням / записом атомарним на C #

Чи є доступ до поля bool атомним у C #? Зокрема, чи потрібно мені ставити замок навколо:

class Foo
{
   private bool _bar;

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

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

Так.

Читає та записує такі типи даних атомарними: bool, char, byte, sbyte, short, ushort, uint, int, float та reference reference.

як знайдено в мові C # Spec .

Редагувати: Напевно, також варто розуміти нестабільне ключове слово.

Як було зазначено вище, бул є атомним, але все одно потрібно пам'ятати, що це також залежить від того, що ви хочете з ним робити.

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

не є атомною операцією, що означає, що значення b може змінитися до того, як поточний потік виконає код після оператора if.

bool-доступ справді є атомним, але це ще не вся історія.

Вам не потрібно турбуватися про читання значення, яке написано "не повністю" - незрозуміло, що це може означати для bool у будь-якому випадку, - але вам доведеться турбуватися про кеш процесора, принаймні, якщо питання часу. Якщо нитка # 1 працює на ядрі A має ваш _barв кеші, і _barоновлюється по темі # 2 працює на іншому ядрі, нитка # 1 не бачитиме зміни негайно , якщо не додати блокування, оголосіть в _barякості volatile, або в явному вигляді вставки викликів Thread.MemoryBarrier()в знецінюють кешоване значення.

підхід, який я використав, і я вважаю правильним, є

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;
       }
     }
}

метою було в основному уникнути необхідності повторно блокувати об’єкт на кожній ітерації, лише щоб перевірити, чи потрібно нам його блокувати, щоб надати велику кількість інформації про зміну стану, яка трапляється рідко. Я думаю , що цей підхід працює. І якщо потрібна абсолютна узгодженість, я думаю, що мінливе значення буде доречним для b bool.