Synchronization有多種語義，其中最容易理解的是互斥，對(duì)于一個(gè)monitor對(duì)象，只能夠被一個(gè)線程持有，意味著一旦有線程進(jìn)入了同步代碼塊，那么其它線程就不能進(jìn)入直到第一個(gè)進(jìn)入的線程退出代碼塊（這因?yàn)槎寄芾斫猓?/p>

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

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

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

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

這實(shí)際上是沒有操作的操作，編譯器完成可以刪除這個(gè)同步語義，因?yàn)榫幾g知道沒有其它線程會(huì)在同一個(gè)monitor對(duì)象上同步。

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

作者：占小狼