Java語言提供了一種稍弱的同步機制,即volatile變量,用來確保將變量的更新操作通知到其他線程。volatile變量具備兩種特性,volatile變量不會被緩存在寄存器或者對其他處理器不可見的地方,因此在讀取volatile類型的變量時總會返回最新寫入的值。
變量可見性
其一是保證該變量對所有線程可見,這里的可見性指的是當一個線程修改了變量的值,那么新的值對于其他線程是可以立即獲取的。
禁止重排序
volatile禁止了指令重排。
它是一種比*sychronized* 更輕量級的同步鎖。我們在訪問 volatile變量時不會執行加鎖操作,因此也就不會使執行線程阻塞,因此volatile變量是一種比 sychronized關鍵字更輕量級的同步機制。
volatile適合這種場景:一個變量被多個線程共享,線程直接給這個變量賦值。當對非volatile變量進行讀寫的時候,每個線程先從內存拷貝變量到CPU緩存中。如果計算機有多個CPU,每個線程可能在不同的CPU上被處理,這意味著每個線程可以拷貝到不同的CPU cache中。而聲明變量是 volatile 的,JVM 保證了每次讀變量都從內存中讀,跳過CPU cache這一步。
適用場景
值得說明的是對volatile變量的單次讀/寫操作可以保證原子性的,如long和double類型變量,但是并不能保證 i++這種操作的原子性,因為本質上 i++是讀、寫兩次操作。
在某些場景下可以代替Synchronized。但是,volatile的不能完全取代Synchronized的位置,只有在一些特殊的場景下,才能適用volatile。
總的來說,必須同時滿足下面兩個條件才能保證在并發環境的線程安全:
1. 對變量的寫操作不依賴于當前值(比如 i++),或者說是單純的變量賦值(boolean flag = true)。
2. 該變量沒有包含在具有其他變量的不變式中,也就是說,不同的volatile變量之間,不能互相依賴。只有在狀態真正獨立于程序內其他內容時才能使用volatile。