1.記憶體可見性

    synchronized關鍵字同步有兩方面的作用：

 （1）實現原子性或者確定臨界區

（2）確保記憶體可見性

所謂記憶體可見性，即當一個執行緒修改了物件狀態後，其他執行緒能夠看到修改後的狀態。

     多執行緒程式在沒有同步的情況下，編譯器、處理器及執行時等都可能對操作執行順序進行一些意想不到的調整。在缺乏足夠同步的多執行緒程式中，要想對記憶體操作的執行順序進行判斷，幾乎無法得出正確的結論。

1.1 失效資料

比如執行緒在沒有同步的情況下讀取變數時得到的可能是失效資料（之前某個執行緒設定的值）。

1.2 非原子的64位操作

非volatile的64位數值變數，比如long，double，JVM允許將64位的讀操作或寫操作分解為兩個32位的操作。如果對該變數的讀操作和寫操作在不同的執行緒中執行，那麼很可能讀取到某個值的高32位和另一個值的低32位而導致錯誤。

1.3加鎖與可見性

加鎖的含義不僅包括互斥行為，還包括記憶體可見性，為了確保所有執行緒都能看到共享變數的最新值，所有執行讀或寫操作的執行緒都必須在同一個鎖上同步。

1.4 volatile變數

volatile變數是一種稍弱的同步機制，用來確保將變數的更新操作通知到其他執行緒。

volatile變數只能確保可見性，而不能確保原子性。

2.釋出與逸出

TODO