Многопоточная видимость Java?

Question

Я прочитал в книге, в котором говорится, что из-за оптимизации компилятора выполнение кода может быть переупорядочено, чтобы заставить ReaderThread быть в бесконечном цикле. Как это возможно?

public class NoVisibility { 
private static boolean ready; 
private static int number; 
private static class ReaderThread extends Thread { 
    public void run() { 
     while (!ready) 
      Thread.yield(); 
     System.out.println(number); 
     } 
    } 
    public static void main(String[] args) { 
     new ReaderThread().start(); 
     number = 42; 
     ready = true; 
    } 
} 

Answer 1

Как это возможно?

Возможно переупорядочение кода (в общем), поскольку спецификация Java Language Specification (JLS) говорит, что это возможно. Однако переупорядочение (вероятно) не будет проблемой здесь. Скорее, бесконечный цикл, вероятно, будет связан с поведением кэша аппаратной памяти.

В этом случае нет ничего в JLS, что требует операций записи в переменных, сделанных методом main быть видимой для дочернего потока. Техническое объяснение состоит в том, что нет происходит-до цепочка, связывающая записи с (последующими) чтениями. Без критического происшествие-до цепь, видимость не гарантируется.

Обратите внимание, что на самом деле существует бесконечный цикл, который будет зависеть от всех факторов. Дело в том, что это возможность, учитывая способ написания примерного кода.

Answer 2

Возможно, это связано с кешем ЦП. ReaderThread может видеть устаревшее значение переменной «ready», поэтому он может не вырваться из цикла while. Устаревшее «готовое» значение называется устаревшими данными.