Java提供了種類豐富的鎖礼患,每種鎖因其特性的不同寨昙,在適當的場景下能夠展現出非常高的效率。本文旨在對鎖相關源碼(本文中的源碼來自JDK 8)老翘、使用場景進行舉例芹啥,為讀者介紹主流鎖的知識點,以及不同的鎖的適用場景铺峭。
Java中往往是按照是否含有某一特性來定義鎖墓怀,我們通過特性將鎖進行分組歸類,再使用對比的方式進行介紹逛薇,幫助大家更快捷的理解相關知識捺疼。下面給出本文內容的總體分類目錄:
1. 樂觀鎖 VS 悲觀鎖
樂觀鎖與悲觀鎖是一種廣義上的概念,體現了看待線程同步的不同角度永罚。在Java和數據庫中都有此概念對應的實際應用啤呼。
先說概念。對于同一個數據的并發(fā)操作呢袱,悲觀鎖認為自己在使用數據的時候一定有別的線程來修改數據官扣,因此在獲取數據的時候會先加鎖,確保數據不會被別的線程修改羞福。Java中惕蹄,synchronized關鍵字和Lock的實現類都是悲觀鎖。
而樂觀鎖認為自己在使用數據時不會有別的線程修改數據,所以不會添加鎖卖陵,只是在更新數據的時候去判斷之前有沒有別的線程更新了這個數據遭顶。如果這個數據沒有被更新,當前線程將自己修改的數據成功寫入泪蔫。如果數據已經被其他線程更新棒旗,則根據不同的實現方式執(zhí)行不同的操作(例如報錯或者自動重試)。
樂觀鎖在Java中是通過使用無鎖編程來實現撩荣,最常采用的是CAS算法铣揉,Java原子類中的遞增操作就通過CAS自旋實現的。
根據從上面的概念描述我們可以發(fā)現:
- 悲觀鎖適合寫操作多的場景餐曹,先加鎖可以保證寫操作時數據正確逛拱。
- 樂觀鎖適合讀操作多的場景,不加鎖的特點能夠使其讀操作的性能大幅提升台猴。
光說概念有些抽象朽合,我們來看下樂觀鎖和悲觀鎖的調用方式示例:
通過調用方式示例,我們可以發(fā)現悲觀鎖基本都是在顯式的鎖定之后再操作同步資源卿吐,而樂觀鎖則直接去操作同步資源旁舰。那么,為何樂觀鎖能夠做到不鎖定同步資源也可以正確的實現線程同步呢嗡官?我們通過介紹樂觀鎖的主要實現方式 “CAS” 的技術原理來為大家解惑。
CAS全稱 Compare And Swap(比較與交換)毯焕,是一種無鎖算法衍腥。在不使用鎖(沒有線程被阻塞)的情況下實現多線程之間的變量同步。java.util.concurrent包中的原子類就是通過CAS來實現了樂觀鎖纳猫。
CAS算法涉及到三個操作數:
- 需要讀寫的內存值 V婆咸。
- 進行比較的值 A。
- 要寫入的新值 B芜辕。
當且僅當 V 的值等于 A 時菠齿,CAS通過原子方式用新值B來更新V的值(“比較+更新”整體是一個原子操作)常侣,否則不會執(zhí)行任何操作。一般情況下,“更新”是一個不斷重試的操作殉了。
之前提到java.util.concurrent包中的原子類,就是通過CAS來實現了樂觀鎖嗓奢,那么我們進入原子類AtomicInteger的源碼除呵,看一下AtomicInteger的定義:
根據定義我們可以看出各屬性的作用:
- unsafe: 獲取并操作內存的數據。
- valueOffset: 存儲value在AtomicInteger中的偏移量轧坎。
- value: 存儲AtomicInteger的int值宏邮,該屬性需要借助volatile關鍵字保證其在線程間是可見的。
接下來,我們查看AtomicInteger的自增函數incrementAndGet()的源碼時蜜氨,發(fā)現自增函數底層調用的是unsafe.getAndAddInt()械筛。但是由于JDK本身只有Unsafe.class,只通過class文件中的參數名飒炎,并不能很好的了解方法的作用埋哟,所以我們通過OpenJDK 8 來查看Unsafe的源碼:
根據OpenJDK 8的源碼我們可以看出,getAndAddInt()循環(huán)獲取給定對象o中的偏移量處的值v厌丑,然后判斷內存值是否等于v定欧。如果相等則將內存值設置為 v + delta,否則返回false怒竿,繼續(xù)循環(huán)進行重試砍鸠,直到設置成功才能退出循環(huán),并且將舊值返回耕驰。整個“比較+更新”操作封裝在compareAndSwapInt()中爷辱,在JNI里是借助于一個CPU指令完成的,屬于原子操作朦肘,可以保證多個線程都能夠看到同一個變量的修改值饭弓。
后續(xù)JDK通過CPU的cmpxchg指令,去比較寄存器中的 A 和 內存中的值 V媒抠。如果相等弟断,就把要寫入的新值 B 存入內存中。如果不相等趴生,就將內存值 V 賦值給寄存器中的值 A阀趴。然后通過Java代碼中的while循環(huán)再次調用cmpxchg指令進行重試,直到設置成功為止苍匆。
CAS雖然很高效刘急,但是它也存在三大問題,這里也簡單說一下:
- ABA問題浸踩。CAS需要在操作值的時候檢查內存值是否發(fā)生變化叔汁,沒有發(fā)生變化才會更新內存值。但是如果內存值原來是A检碗,后來變成了B据块,然后又變成了A,那么CAS進行檢查時會發(fā)現值沒有發(fā)生變化后裸,但是實際上是有變化的瑰钮。ABA問題的解決思路就是在變量前面添加版本號,每次變量更新的時候都把版本號加一微驶,這樣變化過程就從“A-B-A”變成了“1A-2B-3A”浪谴。
JDK從1.5開始提供了AtomicStampedReference類來解決ABA問題开睡,具體操作封裝在compareAndSet()中。compareAndSet()首先檢查當前引用和當前標志與預期引用和預期標志是否相等苟耻,如果都相等篇恒,則以原子方式將引用值和標志的值設置為給定的更新值。
循環(huán)時間長開銷大凶杖。CAS操作如果長時間不成功胁艰,會導致其一直自旋,給CPU帶來非常大的開銷智蝠。
只能保證一個共享變量的原子操作腾么。對一個共享變量執(zhí)行操作時,CAS能夠保證原子操作杈湾,但是對多個共享變量操作時解虱,CAS是無法保證操作的原子性的。
Java從1.5開始JDK提供了AtomicReference類來保證引用對象之間的原子性漆撞,可以把多個變量放在一個對象里來進行CAS操作殴泰。
2. 自旋鎖 VS 適應性自旋鎖
在介紹自旋鎖前,我們需要介紹一些前提知識來幫助大家明白自旋鎖的概念浮驳。
阻塞或喚醒一個Java線程需要操作系統(tǒng)切換CPU狀態(tài)來完成悍汛,這種狀態(tài)轉換需要耗費處理器時間。如果同步代碼塊中的內容過于簡單至会,狀態(tài)轉換消耗的時間有可能比用戶代碼執(zhí)行的時間還要長离咐。
在許多場景中,同步資源的鎖定時間很短奉件,為了這一小段時間去切換線程健霹,線程掛起和恢復現場的花費可能會讓系統(tǒng)得不償失。如果物理機器有多個處理器瓶蚂,能夠讓兩個或以上的線程同時并行執(zhí)行,我們就可以讓后面那個請求鎖的線程不放棄CPU的執(zhí)行時間宣吱,看看持有鎖的線程是否很快就會釋放鎖窃这。
而為了讓當前線程“稍等一下”,我們需讓當前線程進行自旋征候,如果在自旋完成后前面鎖定同步資源的線程已經釋放了鎖杭攻,那么當前線程就可以不必阻塞而是直接獲取同步資源,從而避免切換線程的開銷疤坝。這就是自旋鎖兆解。
自旋鎖本身是有缺點的,它不能代替阻塞跑揉。自旋等待雖然避免了線程切換的開銷锅睛,但它要占用處理器時間埠巨。如果鎖被占用的時間很短,自旋等待的效果就會非常好现拒。反之辣垒,如果鎖被占用的時間很長,那么自旋的線程只會白浪費處理器資源印蔬。所以勋桶,自旋等待的時間必須要有一定的限度,如果自旋超過了限定次數(默認是10次侥猬,可以使用-XX:PreBlockSpin來更改)沒有成功獲得鎖例驹,就應當掛起線程。
自旋鎖的實現原理同樣也是CAS退唠,AtomicInteger中調用unsafe進行自增操作的源碼中的do-while循環(huán)就是一個自旋操作鹃锈,如果修改數值失敗則通過循環(huán)來執(zhí)行自旋,直至修改成功铜邮。
自旋鎖在JDK1.4.2中引入仪召,使用-XX:+UseSpinning來開啟。JDK 6中變?yōu)槟J開啟松蒜,并且引入了自適應的自旋鎖(適應性自旋鎖)扔茅。
自適應意味著自旋的時間(次數)不再固定,而是由前一次在同一個鎖上的自旋時間及鎖的擁有者的狀態(tài)來決定秸苗。如果在同一個鎖對象上召娜,自旋等待剛剛成功獲得過鎖,并且持有鎖的線程正在運行中惊楼,那么虛擬機就會認為這次自旋也是很有可能再次成功玖瘸,進而它將允許自旋等待持續(xù)相對更長的時間。如果對于某個鎖檀咙,自旋很少成功獲得過雅倒,那在以后嘗試獲取這個鎖時將可能省略掉自旋過程,直接阻塞線程弧可,避免浪費處理器資源蔑匣。
在自旋鎖中 另有三種常見的鎖形式:TicketLock、CLHlock和MCSlock棕诵,本文中僅做名詞介紹裁良,不做深入講解,感興趣的同學可以自行查閱相關資料校套。
3. 無鎖 VS 偏向鎖 VS 輕量級鎖 VS 重量級鎖
這四種鎖是指鎖的狀態(tài)价脾,專門針對synchronized的。在介紹這四種鎖狀態(tài)之前還需要介紹一些額外的知識笛匙。
首先為什么Synchronized能實現線程同步侨把?
在回答這個問題之前我們需要了解兩個重要的概念:“Java對象頭”犀变、“Monitor”。
Java對象頭
synchronized是悲觀鎖座硕,在操作同步資源之前需要給同步資源先加鎖弛作,這把鎖就是存在Java對象頭里的,而Java對象頭又是什么呢华匾?
我們以Hotspot虛擬機為例映琳,Hotspot的對象頭主要包括兩部分數據:Mark Word(標記字段)、Klass Pointer(類型指針)蜘拉。
Mark Word:默認存儲對象的HashCode萨西,分代年齡和鎖標志位信息。這些信息都是與對象自身定義無關的數據旭旭,所以Mark Word被設計成一個非固定的數據結構以便在極小的空間內存存儲盡量多的數據谎脯。它會根據對象的狀態(tài)復用自己的存儲空間,也就是說在運行期間Mark Word里存儲的數據會隨著鎖標志位的變化而變化持寄。
Klass Point:對象指向它的類元數據的指針源梭,虛擬機通過這個指針來確定這個對象是哪個類的實例。
Monitor
Monitor可以理解為一個同步工具或一種同步機制稍味,通常被描述為一個對象废麻。每一個Java對象就有一把看不見的鎖,稱為內部鎖或者Monitor鎖模庐。
Monitor是線程私有的數據結構烛愧,每一個線程都有一個可用monitor record列表,同時還有一個全局的可用列表掂碱。每一個被鎖住的對象都會和一個monitor關聯怜姿,同時monitor中有一個Owner字段存放擁有該鎖的線程的唯一標識,表示該鎖被這個線程占用疼燥。
現在話題回到synchronized沧卢,synchronized通過Monitor來實現線程同步,Monitor是依賴于底層的操作系統(tǒng)的Mutex Lock(互斥鎖)來實現的線程同步醉者。
如同我們在自旋鎖中提到的“阻塞或喚醒一個Java線程需要操作系統(tǒng)切換CPU狀態(tài)來完成搏恤,這種狀態(tài)轉換需要耗費處理器時間。如果同步代碼塊中的內容過于簡單湃交,狀態(tài)轉換消耗的時間有可能比用戶代碼執(zhí)行的時間還要長”。這種方式就是synchronized最初實現同步的方式藤巢,這就是JDK 6之前synchronized效率低的原因搞莺。這種依賴于操作系統(tǒng)Mutex Lock所實現的鎖我們稱之為“重量級鎖”,JDK 6中為了減少獲得鎖和釋放鎖帶來的性能消耗掂咒,引入了“偏向鎖”和“輕量級鎖”才沧。
所以目前鎖一共有4種狀態(tài)迈喉,級別從低到高依次是:無鎖、偏向鎖温圆、輕量級鎖和重量級鎖挨摸。鎖狀態(tài)只能升級不能降級。
通過上面的介紹岁歉,我們對synchronized的加鎖機制以及相關知識有了一個了解得运,那么下面我們給出四種鎖狀態(tài)對應的的Mark Word內容,然后再分別講解四種鎖狀態(tài)的思路以及特點:
1. 無鎖
無鎖沒有對資源進行鎖定锅移,所有的線程都能訪問并修改同一個資源熔掺,但同時只有一個線程能修改成功。
無鎖的特點就是修改操作在循環(huán)內進行非剃,線程會不斷的嘗試修改共享資源置逻。如果沒有沖突就修改成功并退出,否則就會繼續(xù)循環(huán)嘗試备绽。如果有多個線程修改同一個值券坞,必定會有一個線程能修改成功,而其他修改失敗的線程會不斷重試直到修改成功肺素。上面我們介紹的CAS原理及應用即是無鎖的實現恨锚。無鎖無法全面代替有鎖,但無鎖在某些場合下的性能是非常高的压怠。
2. 偏向鎖
偏向鎖是指一段同步代碼一直被一個線程所訪問眠冈,那么該線程會自動獲取鎖,降低獲取鎖的代價菌瘫。
在大多數情況下蜗顽,鎖總是由同一線程多次獲得,不存在多線程競爭雨让,所以出現了偏向鎖雇盖。其目標就是在只有一個線程執(zhí)行同步代碼塊時能夠提高性能。
當一個線程訪問同步代碼塊并獲取鎖時栖忠,會在Mark Word里存儲鎖偏向的線程ID崔挖。在線程進入和退出同步塊時不再通過CAS操作來加鎖和解鎖,而是檢測Mark Word里是否存儲著指向當前線程的偏向鎖庵寞。引入偏向鎖是為了在無多線程競爭的情況下盡量減少不必要的輕量級鎖執(zhí)行路徑狸相,因為輕量級鎖的獲取及釋放依賴多次CAS原子指令,而偏向鎖只需要在置換ThreadID的時候依賴一次CAS原子指令即可捐川。
偏向鎖只有遇到其他線程嘗試競爭偏向鎖時脓鹃,持有偏向鎖的線程才會釋放鎖,線程不會主動釋放偏向鎖古沥。偏向鎖的撤銷瘸右,需要等待全局安全點(在這個時間點上沒有字節(jié)碼正在執(zhí)行)娇跟,它會首先暫停擁有偏向鎖的線程,判斷鎖對象是否處于被鎖定狀態(tài)太颤。撤銷偏向鎖后恢復到無鎖(標志位為“01”)或輕量級鎖(標志位為“00”)的狀態(tài)苞俘。
偏向鎖在JDK 6及以后的JVM里是默認啟用的×湔拢可以通過JVM參數關閉偏向鎖:-XX:-UseBiasedLocking=false吃谣,關閉之后程序默認會進入輕量級鎖狀態(tài)。
3. 輕量級鎖
是指當鎖是偏向鎖的時候瓦堵,被另外的線程所訪問基协,偏向鎖就會升級為輕量級鎖,其他線程會通過自旋的形式嘗試獲取鎖菇用,不會阻塞澜驮,從而提高性能。
在代碼進入同步塊的時候惋鸥,如果同步對象鎖狀態(tài)為無鎖狀態(tài)(鎖標志位為“01”狀態(tài)杂穷,是否為偏向鎖為“0”),虛擬機首先將在當前線程的棧幀中建立一個名為鎖記錄(Lock Record)的空間卦绣,用于存儲鎖對象目前的Mark Word的拷貝耐量,然后拷貝對象頭中的Mark Word復制到鎖記錄中。
拷貝成功后滤港,虛擬機將使用CAS操作嘗試將對象的Mark Word更新為指向Lock Record的指針廊蜒,并將Lock Record里的owner指針指向對象的Mark Word。
如果這個更新動作成功了溅漾,那么這個線程就擁有了該對象的鎖山叮,并且對象Mark Word的鎖標志位設置為“00”,表示此對象處于輕量級鎖定狀態(tài)添履。
如果輕量級鎖的更新操作失敗了屁倔,虛擬機首先會檢查對象的Mark Word是否指向當前線程的棧幀,如果是就說明當前線程已經擁有了這個對象的鎖暮胧,那就可以直接進入同步塊繼續(xù)執(zhí)行锐借,否則說明多個線程競爭鎖。
若當前只有一個等待線程往衷,則該線程通過自旋進行等待钞翔。但是當自旋超過一定的次數,或者一個線程在持有鎖席舍,一個在自旋嗅战,又有第三個來訪時,輕量級鎖升級為重量級鎖。
4. 重量級鎖
升級為重量級鎖時驮捍,鎖標志的狀態(tài)值變?yōu)椤?0”,此時Mark Word中存儲的是指向重量級鎖的指針脚曾,此時等待鎖的線程都會進入阻塞狀態(tài)东且。
整體的鎖狀態(tài)升級流程如下:
綜上,偏向鎖通過對比Mark Word解決加鎖問題本讥,避免執(zhí)行CAS操作珊泳。而輕量級鎖是通過用CAS操作和自旋來解決加鎖問題,避免線程阻塞和喚醒而影響性能拷沸。重量級鎖是將除了擁有鎖的線程以外的線程都阻塞色查。
4. 公平鎖 VS 非公平鎖
公平鎖是指多個線程按照申請鎖的順序來獲取鎖,線程直接進入隊列中排隊撞芍,隊列中的第一個線程才能獲得鎖秧了。公平鎖的優(yōu)點是等待鎖的線程不會餓死。缺點是整體吞吐效率相對非公平鎖要低序无,等待隊列中除第一個線程以外的所有線程都會阻塞验毡,CPU喚醒阻塞線程的開銷比非公平鎖大。
非公平鎖是多個線程加鎖時直接嘗試獲取鎖帝嗡,獲取不到才會到等待隊列的隊尾等待晶通。但如果此時鎖剛好可用,那么這個線程可以無需阻塞直接獲取到鎖哟玷,所以非公平鎖有可能出現后申請鎖的線程先獲取鎖的場景狮辽。非公平鎖的優(yōu)點是可以減少喚起線程的開銷,整體的吞吐效率高巢寡,因為線程有幾率不阻塞直接獲得鎖喉脖,CPU不必喚醒所有線程。缺點是處于等待隊列中的線程可能會餓死讼渊,或者等很久才會獲得鎖动看。
直接用語言描述可能有點抽象,這里作者用從別處看到的一個例子來講述一下公平鎖和非公平鎖爪幻。
如上圖所示菱皆,假設有一口水井,有管理員看守挨稿,管理員有一把鎖仇轻,只有拿到鎖的人才能夠打水,打完水要把鎖還給管理員奶甘。每個過來打水的人都要管理員的允許并拿到鎖之后才能去打水篷店,如果前面有人正在打水,那么這個想要打水的人就必須排隊。管理員會查看下一個要去打水的人是不是隊伍里排最前面的人疲陕,如果是的話方淤,才會給你鎖讓你去打水;如果你不是排第一的人蹄殃,就必須去隊尾排隊携茂,這就是公平鎖。
但是對于非公平鎖诅岩,管理員對打水的人沒有要求讳苦。即使等待隊伍里有排隊等待的人,但如果在上一個人剛打完水把鎖還給管理員而且管理員還沒有允許等待隊伍里下一個人去打水時吩谦,剛好來了一個插隊的人鸳谜,這個插隊的人是可以直接從管理員那里拿到鎖去打水,不需要排隊式廷,原本排隊等待的人只能繼續(xù)等待咐扭。如下圖所示:
接下來我們通過ReentrantLock的源碼來講解公平鎖和非公平鎖。
根據代碼可知懒棉,ReentrantLock里面有一個內部類Sync草描,Sync繼承AQS(AbstractQueuedSynchronizer),添加鎖和釋放鎖的大部分操作實際上都是在Sync中實現的策严。它有公平鎖FairSync和非公平鎖NonfairSync兩個子類穗慕。ReentrantLock默認使用非公平鎖,也可以通過構造器來顯示的指定使用公平鎖妻导。
下面我們來看一下公平鎖與非公平鎖的加鎖方法的源碼:
通過上圖中的源代碼對比逛绵,我們可以明顯的看出公平鎖與非公平鎖的lock()方法唯一的區(qū)別就在于公平鎖在獲取同步狀態(tài)時多了一個限制條件:hasQueuedPredecessors()。
再進入hasQueuedPredecessors()倔韭,可以看到該方法主要做一件事情:主要是判斷當前線程是否位于同步隊列中的第一個术浪。如果是則返回true,否則返回false寿酌。
綜上胰苏,公平鎖就是通過同步隊列來實現多個線程按照申請鎖的順序來獲取鎖,從而實現公平的特性醇疼。非公平鎖加鎖時不考慮排隊等待問題硕并,直接嘗試獲取鎖,所以存在后申請卻先獲得鎖的情況秧荆。
5. 可重入鎖 VS 非可重入鎖
可重入鎖又名遞歸鎖倔毙,是指在同一個線程在外層方法獲取鎖的時候,再進入該線程的內層方法會自動獲取鎖(前提鎖對象得是同一個對象或者class)乙濒,不會因為之前已經獲取過還沒釋放而阻塞陕赃。Java中ReentrantLock和synchronized都是可重入鎖,可重入鎖的一個優(yōu)點是可一定程度避免死鎖。下面用示例代碼來進行分析:
在上面的代碼中么库,類中的兩個方法都是被內置鎖synchronized修飾的傻丝,doSomething()方法中調用doOthers()方法。因為內置鎖是可重入的诉儒,所以同一個線程在調用doOthers()時可以直接獲得當前對象的鎖桑滩,進入doOthers()進行操作。
如果是一個不可重入鎖允睹,那么當前線程在調用doOthers()之前需要將執(zhí)行doSomething()時獲取當前對象的鎖釋放掉,實際上該對象鎖已被當前線程所持有幌氮,且無法釋放缭受。所以此時會出現死鎖。
而為什么可重入鎖就可以在嵌套調用時可以自動獲得鎖呢该互?我們通過圖示和源碼來分別解析一下米者。
還是打水的例子,有多個人在排隊打水宇智,此時管理員允許鎖和同一個人的多個水桶綁定蔓搞。這個人用多個水桶打水時,第一個水桶和鎖綁定并打完水之后随橘,第二個水桶也可以直接和鎖綁定并開始打水喂分,所有的水桶都打完水之后打水人才會將鎖還給管理員。這個人的所有打水流程都能夠成功執(zhí)行机蔗,后續(xù)等待的人也能夠打到水蒲祈。這就是可重入鎖。
但如果是非可重入鎖的話萝嘁,此時管理員只允許鎖和同一個人的一個水桶綁定梆掸。第一個水桶和鎖綁定打完水之后并不會釋放鎖,導致第二個水桶不能和鎖綁定也無法打水牙言。當前線程出現死鎖酸钦,整個等待隊列中的所有線程都無法被喚醒。
之前我們說過ReentrantLock和synchronized都是重入鎖咱枉,那么我們通過重入鎖ReentrantLock以及非可重入鎖NonReentrantLock的源碼來對比分析一下為什么非可重入鎖在重復調用同步資源時會出現死鎖卑硫。
首先ReentrantLock和NonReentrantLock都繼承父類AQS,其父類AQS中維護了一個同步狀態(tài)status來計數重入次數庞钢,status初始值為0拔恰。
當線程嘗試獲取鎖時,可重入鎖先嘗試獲取并更新status值基括,如果status == 0表示沒有其他線程在執(zhí)行同步代碼颜懊,則把status置為1,當前線程開始執(zhí)行。如果status != 0河爹,則判斷當前線程是否是獲取到這個鎖的線程匠璧,如果是的話執(zhí)行status+1,且當前線程可以再次獲取鎖咸这。而非可重入鎖是直接去獲取并嘗試更新當前status的值夷恍,如果status != 0的話會導致其獲取鎖失敗,當前線程阻塞媳维。
釋放鎖時酿雪,可重入鎖同樣先獲取當前status的值,在當前線程是持有鎖的線程的前提下侄刽。如果status-1 == 0指黎,則表示當前線程所有重復獲取鎖的操作都已經執(zhí)行完畢,然后該線程才會真正釋放鎖州丹。而非可重入鎖則是在確定當前線程是持有鎖的線程之后醋安,直接將status置為0,將鎖釋放墓毒。
6. 獨享鎖 VS 共享鎖
獨享鎖和共享鎖同樣是一種概念吓揪。我們先介紹一下具體的概念,然后通過ReentrantLock和ReentrantReadWriteLock的源碼來介紹獨享鎖和共享鎖所计。
獨享鎖也叫排他鎖柠辞,是指該鎖一次只能被一個線程所持有。如果線程T對數據A加上排它鎖后醉箕,則其他線程不能再對A加任何類型的鎖钾腺。獲得排它鎖的線程即能讀數據又能修改數據。JDK中的synchronized和JUC中Lock的實現類就是互斥鎖讥裤。
共享鎖是指該鎖可被多個線程所持有放棒。如果線程T對數據A加上共享鎖后,則其他線程只能對A再加共享鎖己英,不能加排它鎖间螟。獲得共享鎖的線程只能讀數據,不能修改數據。
獨享鎖與共享鎖也是通過AQS來實現的,通過實現不同的方法蒸辆,來實現獨享或者共享。
下圖為ReentrantReadWriteLock的部分源碼:
我們看到ReentrantReadWriteLock有兩把鎖:ReadLock和WriteLock摩泪,由詞知意,一個讀鎖一個寫鎖劫谅,合稱“讀寫鎖”见坑。再進一步觀察可以發(fā)現ReadLock和WriteLock是靠內部類Sync實現的鎖嚷掠。Sync是AQS的一個子類,這種結構在CountDownLatch荞驴、ReentrantLock不皆、Semaphore里面也都存在。
在ReentrantReadWriteLock里面熊楼,讀鎖和寫鎖的鎖主體都是Sync霹娄,但讀鎖和寫鎖的加鎖方式不一樣。讀鎖是共享鎖鲫骗,寫鎖是獨享鎖犬耻。讀鎖的共享鎖可保證并發(fā)讀非常高效,而讀寫执泰、寫讀香追、寫寫的過程互斥,因為讀鎖和寫鎖是分離的坦胶。所以ReentrantReadWriteLock的并發(fā)性相比一般的互斥鎖有了很大提升。
那讀鎖和寫鎖的具體加鎖方式有什么區(qū)別呢晴楔?在了解源碼之前我們需要回顧一下其他知識顿苇。
在最開始提及AQS的時候我們也提到了state字段(int類型,32位)税弃,該字段用來描述有多少線程獲持有鎖纪岁。
在獨享鎖中這個值通常是0或者1(如果是重入鎖的話state值就是重入的次數),在共享鎖中state就是持有鎖的數量则果。但是在ReentrantReadWriteLock中有讀幔翰、寫兩把鎖,所以需要在一個整型變量state上分別描述讀鎖和寫鎖的數量(或者也可以叫狀態(tài))西壮。于是將state變量“按位切割”切分成了兩個部分遗增,高16位表示讀鎖狀態(tài)(讀鎖個數),低16位表示寫鎖狀態(tài)(寫鎖個數)款青。如下圖所示:
了解了概念之后我們再來看代碼做修,先看寫鎖的加鎖源碼:
- 這段代碼首先取到當前鎖的個數c,然后再通過c來獲取寫鎖的個數w抡草。因為寫鎖是低16位饰及,所以取低16位的最大值與當前的c做與運算( int w = exclusiveCount(c); ),高16位和0與運算后是0康震,剩下的就是低位運算的值燎含,同時也是持有寫鎖的線程數目。
- 在取到寫鎖線程的數目后腿短,首先判斷是否已經有線程持有了鎖屏箍。如果已經有線程持有了鎖(c!=0)绘梦,則查看當前寫鎖線程的數目,如果寫線程數為0(即此時存在讀鎖)或者持有鎖的線程不是當前線程就返回失斚吵(涉及到公平鎖和非公平鎖的實現)谚咬。
- 如果寫入鎖的數量大于最大數(65535,2的16次方-1)就拋出一個Error尚粘。
- 如果當且寫線程數為0(那么讀線程也應該為0择卦,因為上面已經處理c!=0的情況),并且當前線程需要阻塞那么就返回失斃杉蕖秉继;如果通過CAS增加寫線程數失敗也返回失敗。
- 如果c=0泽铛,w=0或者c>0尚辑,w>0(重入),則設置當前線程或鎖的擁有者盔腔,返回成功杠茬!
tryAcquire()除了重入條件(當前線程為獲取了寫鎖的線程)之外,增加了一個讀鎖是否存在的判斷弛随。如果存在讀鎖瓢喉,則寫鎖不能被獲取,原因在于:必須確保寫鎖的操作對讀鎖可見舀透,如果允許讀鎖在已被獲取的情況下對寫鎖的獲取栓票,那么正在運行的其他讀線程就無法感知到當前寫線程的操作。
因此愕够,只有等待其他讀線程都釋放了讀鎖走贪,寫鎖才能被當前線程獲取,而寫鎖一旦被獲取惑芭,則其他讀寫線程的后續(xù)訪問均被阻塞坠狡。寫鎖的釋放與ReentrantLock的釋放過程基本類似,每次釋放均減少寫狀態(tài)遂跟,當寫狀態(tài)為0時表示寫鎖已被釋放擦秽,然后等待的讀寫線程才能夠繼續(xù)訪問讀寫鎖,同時前次寫線程的修改對后續(xù)的讀寫線程可見漩勤。
接著是讀鎖的代碼:
可以看到在tryAcquireShared(int unused)方法中感挥,如果其他線程已經獲取了寫鎖,則當前線程獲取讀鎖失敗越败,進入等待狀態(tài)触幼。如果當前線程獲取了寫鎖或者寫鎖未被獲取,則當前線程(線程安全究飞,依靠CAS保證)增加讀狀態(tài)置谦,成功獲取讀鎖堂鲤。讀鎖的每次釋放(線程安全的,可能有多個讀線程同時釋放讀鎖)均減少讀狀態(tài)媒峡,減少的值是“1<<16”瘟栖。所以讀寫鎖才能實現讀讀的過程共享,而讀寫谅阿、寫讀半哟、寫寫的過程互斥。
此時签餐,我們再回頭看一下互斥鎖ReentrantLock中公平鎖和非公平鎖的加鎖源碼:
我們發(fā)現在ReentrantLock雖然有公平鎖和非公平鎖兩種寓涨,但是它們添加的都是獨享鎖。根據源碼所示氯檐,當某一個線程調用lock方法獲取鎖時戒良,如果同步資源沒有被其他線程鎖住,那么當前線程在使用CAS更新state成功后就會成功搶占該資源冠摄。而如果公共資源被占用且不是被當前線程占用糯崎,那么就會加鎖失敗。所以可以確定ReentrantLock無論讀操作還是寫操作河泳,添加的鎖都是都是獨享鎖拇颅。