Блокировка геттера и сеттера булевых свойств

Ну, вам не обязательно нужны блокировки - но если вы хотите, чтобы один поток определенно прочитал значение, которое записал другой поток, вам нужны либо блокировки, либо переменная volatile.

Я лично отказался от попыток понять точное значение слова volatile. Я стараюсь избегать написания собственного кода без блокировки, вместо этого полагаясь на экспертов, которые действительно понимают модель памяти.

EDIT: в качестве примера проблемы, которую это может вызвать, рассмотрим следующее код:

using System;
using System.Threading;

public class Test
{
    private static bool stop = false;

    private bool Stop
    {
        get { return stop; }
        set { stop = value; }
    }

    private static void Main()
    {
        Thread t = new Thread(DoWork);
        t.Start();
        Thread.Sleep(1000); // Let it get started
        Console.WriteLine("Setting stop flag");
        Stop = true;
        Console.WriteLine("Set");
        t.Join();
    }

    private static void DoWork()
    {
        Console.WriteLine("Tight looping...");
        while (!Stop)
        {
        }
        Console.WriteLine("Done.");
    }
}

Эта программа может или не может завершиться. Я видел и то, и другое. Нет никакой гарантии, что поток" чтения " будет На самом деле Читать из основной памяти - он может поместить начальное значение stop в регистр и просто продолжать использовать его вечно. Я видел, как это происходит на самом деле. Этого не происходит на моих текущих машинах, но это может произойти на моих следующих.

Установка блокировок в геттере/сеттере свойств в соответствии с кодом в вопросе сделает этот код правильное и предсказуемое его поведение.

Подробнее об этом смотрите в этом блоге Эрика Липперта.