Почему этот код не выдает исключение NullPointerException?

Question

фон

Я хотел бы понять, почему фрагмент кода делает не бросить NullPointerException.

Исходный код

Рассмотрим следующий код:

public class Agent { 
    public List files = new ArrayList(); 

    public void deliver() { 
    if(files != null && files.iterator().hasNext()) { 
     File file = (File)files.iterator().next(); 
    } 

    files = new ArrayList(); 
    } 
} 

Метод deliver вызывается несколько раз, в то время как следующий код запускается в отдельном потоке:

public void run() { 
    agent.files = null; 
    } 

Существует только одиночный agent экземпляр.

Проблема

NullPointerException никогда не выброшен.

Однако, когда deliver метод паузы, даже на 0 миллисекунд, NullPointerException отбрасывается, как и ожидалось:

public void deliver() { 
    if(files != null) { 
     Thread.currentThread().sleep(0); 

     if(files.iterator().hasNext()) { 
     File file = (File)files.iterator().next(); 
     } 
    } 

    files = new ArrayList(); 
    } 

Мое понимание было то, что есть, в теории, состояние гонки между проверкой для files == null и вызова files.iterator().hasNext(). На практике я не могу вызвать состояние гонки без введения паузы (т. Е. Разделения нулевой проверки из последующего вызова метода).

Вопрос

Почему первый deliver метод не сгенерирует исключение, когда проверка нулевой и использование объединены в одном заявлении?

Answer 1

Две вещи:

1. Thread.sleep (0) по-прежнему останавливает выполнение (потенциально более 0 миллисекунд). В принципе, даже спящий режим 0 заставляет выполнение в этом потоке останавливаться ненадолго, а затем перезапускать. Это дает другой поток шанс запустить и закончить, поэтому вы можете вызвать состояние гонки.

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