Synchronization有多種語義，其中最容易理解的是互斥，對于一個monitor對象，只能夠被一個線程持有，意味著一旦有線程進(jìn)入了同步代碼塊，那么其它線程就不能進(jìn)入直到第一個進(jìn)入的線程退出代碼塊（這因為都能理解）。

但是更多的時候，使用synchronization并非單單互斥功能，Synchronization保證了線程在同步塊之前或者期間寫入動作，對于后續(xù)進(jìn)入該代碼塊的線程是可見的（又是可見性，不過這里需要注意是對同一個monitor對象而言）。在一個線程退出同步塊時，線程釋放monitor對象，它的作用是把CPU緩存數(shù)據(jù)（本地緩存數(shù)據(jù)）刷新到主內(nèi)存中，從而實現(xiàn)該線程的行為可以被其它線程看到。在其它線程進(jìn)入到該代碼塊時，需要獲得monitor對象，它在作用是使CPU緩存失效，從而使變量從主內(nèi)存中重新加載，然后就可以看到之前線程對該變量的修改。

但從緩存的角度看，似乎這個問題只會影響多處理器的機(jī)器，對于單核來說沒什么問題，但是別忘了，它還有一個語義是禁止指令的重排序，對于編譯器來說，同步塊中的代碼不會移動到獲取和釋放monitor外面。

下面這種代碼，千萬不要寫，會讓人笑掉大牙：

synchronized?(new?Object())?{
}

這實際上是沒有操作的操作，編譯器完成可以刪除這個同步語義，因為編譯知道沒有其它線程會在同一個monitor對象上同步。

所以，請注意：對于兩個線程來說，在相同的monitor對象上同步是很重要的，以便正確的設(shè)置happens-before關(guān)系。

作者：占小狼