當一個線程被掛起時,加入到阻塞隊列,在一定的時間或條件下,在通過notify(),notifyAll()喚醒回來。在某個資源不可用的時候,就將cpu讓出,把當前等待線程切換為阻塞狀態。等到資源(比如一個共享數據)可用了,那么就將線程喚醒,讓他進入runnable狀態等待cpu調度。這就是典型的悲觀鎖的實現。獨占鎖是一種悲觀鎖,synchronized就是一種獨占鎖,它假設最壞的情況,并且只有在確保其它線程不會造成干擾的情況下執行,會導致其它所有需要鎖的線程掛起,等待持有鎖的線程釋放鎖。
但是,由于在進程掛起和恢復執行過程中存在著很大的開銷。當一個線程正在等待鎖時,它不能做任何事,所以悲觀鎖有很大的缺點。舉個例子,如果一個線程需要某個資源,但是這個資源的占用時間很短,當線程第一次搶占這個資源時,可能這個資源被占用,如果此時掛起這個線程,可能立刻就發現資源可用,然后又需要花費很長的時間重新搶占鎖,時間代價就會非常的高。
所以就有了樂觀鎖的概念,他的核心思路就是,每次不加鎖而是假設沒有沖突而去完成某項操作,如果因為沖突失敗就重試,直到成功為止。在上面的例子中,某個線程可以不讓出cpu,而是一直while循環,如果失敗就重試,直到成功為止。所以,當數據爭用不嚴重時,樂觀鎖效果更好。比如我們要說的AtomicInteger底層同步CAS就是一種樂觀鎖思想的應用。
CAS就是Compare and Swap的意思,比較并操作。很多的cpu直接支持CAS指令。CAS是項樂觀鎖技術,當多個線程嘗試使用CAS同時更新同一個變量時,只有其中一個線程能更新變量的值,而其它線程都失敗,失敗的線程并不會被掛起,而是被告知這次競爭中失敗,并可以再次嘗試。CAS有3個操作數,內存值V,預期值A,要修改的新值B。當且僅當預期值A和內存值V相同時,將內存值V修改為B,否則什么都不做。
線程A執行到 a==1,正準備執行a = b時,線程B也正在運行a = b,并在線程A之前把a修改為2;最后線程A又把a修改成了3。結果就是兩個線程同時修改了變量a,顯然這種結果是無法符合預期的,無法確定a的值。 解決方法也很簡單,在compareAndSwapInt方法加鎖同步,變成一個原子操作,同一時刻只有一個線程才能修改變量a。
CAS中的比較和替換是一組原子操作,不會被外部打斷,先根據paramLong/paramLong1獲取到內存當中當前的內存值V,在將內存值V和原值A作比較,要是相等就修改為要修改的值B,屬于硬件級別的操作,效率比加鎖操作高。
java.util.concurrent.atomic包下的原子操作類都是基于CAS實現的,接下去我們通過AtomicInteger來看看是如何通過CAS實現原子操作的:
//jdk1.8實現public final int getAndAdd(int delta) { return unsafe.getAndAddInt(this, valueOffset, delta);}public final int getAndAddInt(Object var1, long var2, int var4) { int var5; do { var5 = this.getIntVolatile(var1, var2); } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4)); return var5;}在jdk1.8中,比較和替換操作放在unsafe類中實現。
假設現在線程A和線程B同時執行getAndAdd操作:
AtomicInteger里面的value原始值為3,即主內存中AtomicInteger的value為3,根據Java內存模型,線程A和線程B各自持有一份value的副本,值為3。線程A通過getIntVolatile(var1, var2)方法獲取到value值3,線程切換,線程A掛起。線程B通過getIntVolatile(var1, var2)方法獲取到value值3,并利用compareAndSwapInt方法比較內存值也為3,比較成功,修改內存值為2線程切換,線程B掛起。線程A恢復,利用compareAndSwapInt方法比較,發手里的值3和內存值4不一致,此時value正在被另外一個線程修改,線程A不能修改value值。線程的compareAndSwapInt實現,循環判斷,重新獲取value值,因為value是volatile變量,所以線程對它的修改,線程A總是能夠看到。線程A繼續利用compareAndSwapInt進行比較并替換,直到compareAndSwapInt修改成功返回true。整個過程中,利用CAS保證了對于value的修改的線程安全性。value 在AtomicInteger類中是volatile修飾,保證了多線程下的可見性。 Unsafe是CAS的核心類,Java無法直接訪問底層操作系統,而是通過本地(native)方法來訪問。不過盡管如此,JVM還是開了一個后門,JDK中有一個類Unsafe,它提供了硬件級別的原子操作 Unsafe類中的compareAndSwapInt方法 。是一個本地方法調用C++代碼
新聞熱點
疑難解答