Java Concurrency in Practice 聲明如下：當(dāng)線程 A 執(zhí)行一個同步塊，隨后線程 B 進(jìn)入一個由同一個鎖保護(hù)的同步塊時，在釋放鎖之前對A 可見的變量值保證在獲取鎖時對 B 可見。換句話說，當(dāng) B 執(zhí)行由同一鎖保護(hù)的同步塊時，A 在同步塊中或之前所做的一切對 B 都是可見的。沒有同步，就沒有這樣的保證。同樣的邏輯適用于 volatile 變量：volatile 變量的可見性影響超出了 volatile 變量本身的值。當(dāng)線程 A 寫入一個 volatile 變量，隨后線程 B 讀取同一個變量時，在寫入 volatile 變量之前對 A 可見的所有變量的值在讀取該 volatile 變量后對 B 可見。從描述中可以清楚地看出，當(dāng)您需要訪問某些共享狀態(tài)時，您可以使用這種可見性效果來實際替換（或限制使用）傳統(tǒng)鎖。在圖中的示例中，您可以看到線程 B 可以安全地讀取變量y，即使它在同步塊外的線程 A 中發(fā)生了更改。因此，當(dāng)您在線程上鎖定之前更改某些共享狀態(tài)時使用它是否安全visibility guarantee，然后獲取鎖定，做某事（或者什么都不做，我猜），釋放鎖然后在另一個線程中獲得相同的鎖鎖定，釋放它，然后安全地從第一個線程中更新的共享變量中讀取最新值？