synchronized既保證原子性，又保證內(nèi)存可見性，是一種線程同步的方式，是鎖機制的一種java實現(xiàn)。synchronized的實現(xiàn)基于JVM底層，JVM是基于monitor實現(xiàn)的，而monitor的實現(xiàn)依賴于操作系統(tǒng)的互斥實現(xiàn)。
語義
synchronized語義是同步，但同步有兩層含義：
互斥，即鎖的特點。同一時間只能有一個線程持有監(jiān)視器，因此一旦線程進(jìn)入監(jiān)視器保護(hù)的代碼塊（即臨界區(qū)），其他線程是不允許監(jiān)視器保護(hù)的代碼塊，直到前一個線程退出代碼塊?；コ庾柚沽似渌€程看到對象不一致的狀態(tài)，與原子性有相同的語義。
可見。synchronized保證進(jìn)入同步代碼塊的線程，都可以看到由同一個鎖保護(hù)的之前所有的修改效果。原因是：在釋放監(jiān)視器時（即退出同步代碼塊），會將工作內(nèi)存中未映射到主內(nèi)存的工作拷貝，強制刷新回主內(nèi)容。在獲取監(jiān)視器是（即進(jìn)入同步代碼塊時），監(jiān)視器會使本地內(nèi)存失效，強制從主內(nèi)存拷貝到工作內(nèi)存。
互斥保證在線程退出前，所有對象狀態(tài)變更都對其他線程不可見；可見保證在線程進(jìn)入同步代碼塊時，可以看到上一個線程對對象狀態(tài)變更的最終狀態(tài)。
