爲什麼此代碼不會拋出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以這樣一種方式進行優化，即您可能永遠不會注意到它正在更改值，因爲它不認爲需要維護線程之間的一致性。