happens-before（關鍵）

在理論層次上分析，只要保證一下三點就可以保證多線程之間正確的同步。； 可見性：一個線程對主內存的修改可以及時的被其他線程觀察到。 有序性：一個線程觀察其他線程中的指令執行順序，由於指令 重排序的存在，該觀察結果一般雜亂無序。 原子性：提供了互斥訪問。 衝突訪問 對同一個共享字段或數組元素存在兩個訪問（讀或寫），且至少有一個訪問是寫操作，就稱作有衝突。當程序包含兩個沒有被 happens-befor

>>阅读原文<<