關於Java易失性數組

Question

我對易失性數組有疑問。 在互聯網上，大多數人說，不能保證數組的元素是易變的，只有數組的引用是可變的。 所以我寫了一些代碼來檢查它。 事實證明，結果是可行的。

我正在使用Windows 10 + JDK 8

我的代碼：

static volatile boolean[] keepRunnin g= { true };

public static void main(String[] args) throws Exception {

    new Thread(
        ()->{
            while (keepRunning[0]){}
        }
    ).start();

    Thread.sleep(1000);

    keepRunning[0] = false;
}

循環總是結束，它不是無限循環。

有人可以解釋嗎？

Answer 1

不可能編寫代碼證明數組中的元素始終對所有線程可見，這是不可能的。

你可以舉例證明其根據情形適用於你（我還沒有運行），但你不能肯定它會在所有的硬件工作，為所有用戶，所有的時間。

只能編寫證明某事對線程具有可見性的代碼。 編寫證明它的代碼是不可能的。