Бесконечная петля в режиме освобождения

Question

Когда я запустил следующий код в debug режиме, он успешно завершит и выйдет. Однако, если я запустил следующий код в релиз, он застрянет в бесконечном цикле и никогда не закончится.

static void Main(string[] args) 
{ 
    bool stop = false; 

    new Thread(() => 
    { 
     Thread.Sleep(1000); 
     stop = true; 
     Console.WriteLine("Set \"stop\" to true."); 

    }).Start(); 

    Console.WriteLine("Entering loop."); 

    while (!stop) 
    { 
    } 

    Console.WriteLine("Done."); 
} 

Какая оптимизация заставляет застревать в бесконечном цикле?

Answer 1

Мое предположение было бы кешированием процессора переменной stop главной темой. В режиме отладки модель памяти более строгая, потому что отладчик должен иметь возможность обеспечить разумное представление состояния переменной по всем потокам.

Попробуйте сделать поле и маркировки как volatile:

volatile bool stop = false; 

static void Main(string[] args) 
{ 

    new Thread(() => 
    { 
     Thread.Sleep(1000); 
     stop = true; 
     Console.WriteLine("Set \"stop\" to true."); 

    }).Start(); 

    Console.WriteLine("Entering loop."); 

    while (!stop) 
    { 
    } 

    Console.WriteLine("Done."); 
} 

Answer 2

Поскольку он не является потокобезопасным, вы обновляете переменную основного потока stop внутри дочерней нити. Это всегда будет непредсказуемо. Чтобы работать с такой ситуацией, посмотрите на this article.

Летучие ключевое слово инструктирует компилятор генерировать -забор сбора по на каждом чтении из этой области, и релиз-забор на каждый запись в этой области. Забор-ограждение предотвращает перемещение других записей перед забором; забор предотвращает перемещение других прочтений/записей после забора. Эти «полузащитники» быстрее, чем полные заборы, потому что они дают время выполнения и аппаратные средства для оптимизации.

Answer 3

Thread небезопасный код непредсказуемо. Основная проблема заключается в изменении одной переменной потока из другого потока. Сделайте переменную глобальной или изменчивой. Вы можете сделать это, следуя

static volatile bool stop = false; 

static void Main(string[] args) 
{  
    new Thread(() => 
    { 
     Thread.Sleep(1000); 
     stop = true; 
     Console.WriteLine("Set \"stop\" to true."); 

    }).Start(); 

    Console.WriteLine("Entering loop."); 

    while (!stop) 
    { 
    } 

    Console.WriteLine("Done."); 
} 

Answer 4

Похоже, какой-то оптимизации для значения локальной переменной - изменение в поле сделать его прекратить нормально (обратите внимание, что летучее или правильный замок должен быть использован в настоящем коде):

using System; 
using System.Threading; 

class Program 
{ 
    static bool stop = false; 
    static void Main(string[] args) 
    { 

     new Thread(() => 
     { 
      Thread.Sleep(1000); 
      stop = true; 
      Console.WriteLine("Set \"stop\" to true."); 

     }).Start(); 

     Console.WriteLine("Entering loop."); 

     while (!stop) 
     { 
     } 

     Console.WriteLine("Done."); 
    } 
}