Почему этот код не работает?

Question

При просмотре this question я заметил этот код:

class MyThread extends Thread { 
    private boolean stop = false; 

    public void run() { 
    while(!stop) { 
     doSomeWork(); 
    } 
    } 

    public void setStop() { 
    this.stop = true; 
    } 
} 

Однако я не понимаю, почему бы это потерпеть неудачу. Разве другие потоки не получают доступ к «фактической» переменной остановки?

Answer 1

Переменная экземпляра stop должна быть изменчивой, в противном случае нет гарантии, что другие потоки будут видеть в ней изменения. На работе много конфликтующих интересов: потоки хотят согласованного представления состояния программы, процессоры хотят иметь возможность кэшировать данные, JVM хочет иметь возможность переупорядочивать инструкции. Создание переменной переменных volatile означает, что она не может быть кэширована и что происходит - до установления отношений, которые ограничивают переупорядочение команд.

См. this other answer (+1), что является хорошим примером того, что может произойти переупорядочение без указания переменной изменчивости.

(. Кстати using interruption for thread cancellation предпочтительнее, чтобы с помощью переменной экземпляра)

Answer 2

Другие темы, не гарантируется, чтобы увидеть обновленные значения стоп - нужно установить «происходит до» отношений. Самый простой способ - сделать стоп неустойчивым.

Answer 3

Переменная остановка должна быть объявлена ​​изменчивой.

Хотя я предпочитаю использовать прерывание, чтобы остановить поток.

Answer 4

JIT-компилятор может изменить порядок чтения и записи в приложении, пока

1. действия, последовательно последовательны и
2. измененные действия не нарушают внутри потоков семантику.

Это просто причудливый способ сказать, что все действия должны происходить так же, как если бы они выполнялись только одним потоком. Таким образом, вы можете получить JIT перекомпилировать код, чтобы посмотреть, как этот

class MyThread extends Thread { 
    private boolean stop = false; 

    public void run() { 
    if(!stop){ 
     while(true){ 

     } 
    } 
    } 

Это правовая оптимизация называется грузоподъемных. Он по-прежнему действует так же, как и серийный, но предлагает неожиданные результаты при использовании нескольких потоков.

Объявив поле volatile, вы говорите Java, чтобы он не выполнял никаких заказов. Наряду с консистенцией памяти, как упомянуто Nathan Hughes