java synchronized Очистка проводов

Question

Ответ на эту программу должен быть «Замедление» через 5 секунд, но я получаю «Смена сделанного» и «Совершено». У меня нет метода getDone как синхронизированный. Любые идеи, что я делаю для потока, чтобы закончить обработку.

public class Main { 
    private static boolean done = false; 
    private static int count; 

    public static void main(String[] args)throws InterruptedException { 
     new Thread(() -> { 
      while (!getDone()) { 
       count = count + 1; 
      } 
      System.out.println("DONE!!!!"); 
     }).start(); 
      Thread.sleep(5000); 
     System.out.println("Changing done"); 
     synchronized (Main.class) { 
      done = true; 
     } 
    } 

    public static boolean getDone() { 
     return done; 
    } 
} 

Answer 1

У меня нет метода getDone как синхронизированный. Любые идеи, что я делаю для потока, чтобы закончить обработку.

Как вы отметили, нет явной синхронизации памяти между done, как видно из вращающейся нити и основного потока. Хотя основной поток пересекает барьер памяти записи при выходе из блока synchronized, нет явного барьера памяти чтения, пересеченного прядильной нитью.

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

Кроме того, хотя ваш пример кода не показывает, если звонить в другие synchronized метод (такие как System.out.println()) или пересекать другие барьеры памяти (доступ к другим volatile полю), то это также приведет к done обновить ,

Answer 2

Если вы не синхронизации доступа к done должным образом, это означает, что ваш код может потерпеть неудачу, то есть нить может не увидеть обновленное значение.

Это не означает, что гарантированное значение не будет видно, если синхронизация не будет выполнена правильно. Таким образом, во многих случаях запись до done по-прежнему остается видимой (факт, что сломанный код все еще работает во многих случаях, затрудняет параллельное программирование). В каждом случае это не гарантируется.