欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

Golang?Mutex互斥鎖源碼分析

 更新時(shí)間:2022年10月08日 16:17:36   作者:漫漫Coding路  
本篇文章,我們將一起來探究下Golang?Mutex底層是如何實(shí)現(xiàn)的,知其然,更要知其所以然。文中的示例代碼講解詳細(xì),感興趣的可以了解一下

前言

在上一篇文章中,我們一起學(xué)習(xí)了如何使用 Go 中的互斥鎖 Mutex,那么本篇文章,我們就一起來探究下 Mutex 底層是如何實(shí)現(xiàn)的,知其然,更要知其所以然!

說明:本文中的示例,均是基于Go1.17 64位機(jī)器

Mutex 特性

Mutex 就是一把互斥鎖,可以想象成一個(gè)令牌,有且只有這一個(gè)令牌,只有持有令牌的 goroutine 才能進(jìn)入房間(臨界區(qū)),在房間內(nèi)執(zhí)行完任務(wù)后,走出房間并把令牌交出來,如果還有其余的 goroutine 等著獲取這個(gè)令牌,讓他們再去搶這個(gè)令牌,搶到的重復(fù)上述過程,沒搶到的繼續(xù)等。

上述是從宏觀角度來看待互斥鎖的,但是在 Mutex 內(nèi)部,有著非常復(fù)雜的搶鎖邏輯,Mutex 的發(fā)展也經(jīng)歷了幾個(gè)版本,我們可以用拿令牌進(jìn)餐廳吃飯來形象比喻下幾個(gè)主要版本的變化。

前提:餐廳一次只能進(jìn)入一個(gè)人,餐廳有一個(gè)令牌,只有持有這個(gè)令牌的人才能進(jìn)去;從餐廳出來后,需要把這個(gè)令牌歸還

版本一

餐廳在門外設(shè)置了一個(gè)隊(duì)伍,如果令牌空閑,拿著令牌去餐廳用餐;如果令牌不是空閑的,新來的人就要去隊(duì)伍后面排隊(duì)等待叫號。(不是空閑包含兩種情況:持有令牌的人在餐廳里面,隊(duì)伍是空的;隊(duì)伍有人排隊(duì)。)

此版本的問題就是:只要令牌不是空閑的,新來的人必須直接去排隊(duì),沒有商量的余地。這樣看起來很公平,遵循先來后到的原則,但是對于餐廳來說,營業(yè)效率就會有所降低,即單位時(shí)間內(nèi)接待顧客的數(shù)量(IO)會減少。為什么這樣說呢,舉個(gè)例子,有個(gè)顧客從餐廳出來歸還令牌后,需要去等待隊(duì)列去叫號,被叫到號的這個(gè)人需要花費(fèi)時(shí)間走到餐廳(獲取到CPU),這中間就浪費(fèi)了不少時(shí)間。

版本二

為了提高營業(yè)效率,允許剛到門口的顧客和被叫到號的顧客一起去搶令牌,而不是直接去排隊(duì),這樣就給了新人機(jī)會。舉個(gè)例子:當(dāng)持有令牌的人從餐廳出來歸還令牌后,去等待隊(duì)列叫個(gè)號,如果此時(shí)有顧客剛到門口,被叫到號的和新到的顧客一起搶令牌,搶到的就可以直接進(jìn)入餐廳,搶不到的接著去排隊(duì),由于剛到的顧客離門口近(正在占據(jù)CPU),被叫到號的顧客離得遠(yuǎn)(需要等CPU),而且剛到的顧客可能不只一個(gè),所以被叫到號的顧客很大概率搶不到令牌,可能還沒走到門口(還沒獲取到CPU)就被新來的顧客搶走了。不管怎么樣,這樣提高了餐廳的效率,可以在單位時(shí)間內(nèi)接待更多的客戶。

版本三

餐廳發(fā)現(xiàn)有些人用餐很快,如果讓搶不到令牌的先別直接去排隊(duì),而是在門口轉(zhuǎn)悠會(當(dāng)然不能一直轉(zhuǎn)悠,有條件限制,到了限制還是要去排隊(duì)),這種方式類似樂觀鎖,那么有顧客從餐廳出來后,就不用去叫號了,直接讓門口的這些顧客繼續(xù)搶就行了,這樣就進(jìn)一步提高了餐廳的運(yùn)行效率,畢竟叫號真的太浪費(fèi)時(shí)間了。

版本四

經(jīng)過了多個(gè)版本的優(yōu)化,餐廳的運(yùn)營效率是越來越高了,但是有些人可要準(zhǔn)備要罵娘了,這些人是誰呢,當(dāng)然是已經(jīng)在隊(duì)伍里等待的那些人。由于給了新人機(jī)會,如果持續(xù)有新顧客來,那么已經(jīng)在隊(duì)伍里的那些人永遠(yuǎn)也拿不到令牌,可真的要餓死了。

Mutex 在這個(gè)版本只為三件事:公平、公平、還是tm的公平!堅(jiān)持讓每一個(gè)人都不餓肚子的原則,餐廳搞出了一個(gè)新的模式:饑餓模式。如果有顧客等的時(shí)間超過了閾值(1ms),餐廳變?yōu)轲囸I模式,在該模式下,所有新來的顧客直接去排隊(duì),然后按照先來先到的順序,依次將令牌給等待隊(duì)列隊(duì)首的顧客。

那么什么時(shí)候由饑餓模式變?yōu)檎DJ侥???dāng)拿到令牌的顧客發(fā)現(xiàn)自己從等待到拿到令牌的時(shí)間小于閾值(1ms)了,或者等待隊(duì)伍沒人等了,此時(shí)餐廳就變?yōu)檎DJ?,畢竟上述兩個(gè)條件都說明當(dāng)前餐廳競爭不是很激烈了。

同時(shí)這個(gè)版本修復(fù)了以前的一個(gè)問題:之前從等待隊(duì)列喚醒的顧客如果沒有搶到令牌,再回到隊(duì)列后是插到隊(duì)尾,這樣對已經(jīng)排到第一位的顧客太不友好了。在這個(gè)版本中修復(fù)了該問題,喚醒的顧客如果沒有搶到令牌,直接插入到隊(duì)首,下次叫號還是他。

特性總結(jié)

經(jīng)過了多次迭代,目前的版本有了如下特性:

給新人機(jī)會:讓剛來的顧客和從隊(duì)列喚醒的顧客一起去搶令牌,喚醒也是按照先來先到的原則喚醒;

保持樂觀態(tài)度:沒搶到不是直接去排隊(duì),而是可以在門口轉(zhuǎn)悠會,說不定里面的人馬上就出來了;

正常模式和饑餓模式的切換:為了公平起見,正常模式下給了新人機(jī)會,一起去搶令牌;饑餓模式下照顧老人,所有人老老實(shí)實(shí)排隊(duì),按照先來先到的順序拿令牌。整個(gè)餐廳既保持了公平,又提高了運(yùn)行效率,一切井然有序起來了。

回歸正題

讓我們從餐廳回到 Go 中來,Mutex 有兩種模式:正常模式和饑餓模式:

正常模式下,如果當(dāng)前鎖正在被持有,搶不到鎖的就會進(jìn)入一個(gè)先進(jìn)先出的等待隊(duì)列。當(dāng)持有鎖的 goroutine 釋放鎖之后,按照從前到后的順序喚醒等待隊(duì)列的第一個(gè)等待者,但是不會直接給被喚醒者鎖,還是需要他去搶,即在喚醒等待隊(duì)列等待者這個(gè)時(shí)間,同時(shí)也會有正在運(yùn)行且還未進(jìn)入等待隊(duì)列的 goroutine 正在搶鎖 (數(shù)量可能還很多),這些都會和剛喚醒的等待者一起去搶,剛喚醒的可能還沒有分到 CPU,而正在運(yùn)行的正在占據(jù)了CPU,所以正在運(yùn)行的更有可能獲取到鎖,被喚醒的等待者可能搶鎖失敗。如果等待者搶鎖失敗,他會被放到等待隊(duì)列的隊(duì)首,如果超過 1ms 都沒搶到鎖,就會從 正常模式 切換到 饑餓模式。

饑餓模式下,要釋放鎖的 goroutine 會將鎖直接交給等待隊(duì)列的第一個(gè)等待者,不需要去搶了,而且新來的 goroutine 也不會嘗試去搶鎖,直接加入到等待隊(duì)列的尾部。那么什么時(shí)候會從饑餓模式切換到正常模式呢:

(1)如果當(dāng)前被喚醒的等待者獲得到鎖后,發(fā)現(xiàn)自己是隊(duì)列中的最后一個(gè),隊(duì)列中沒有其他等待者了,此時(shí)會切換到正常模式

(2)如果當(dāng)前被喚醒的等待者獲得到鎖后,發(fā)現(xiàn)自己總共的等待時(shí)間不超過 1ms,就獲得到鎖了,此時(shí)也會切換到正常模式

正常模式會帶來更高的吞吐量:一個(gè) goroutine 要釋放鎖,更大可能會被正在運(yùn)行的 goroutine 搶到,這就避免了協(xié)程的上下文切換,運(yùn)行更多的 goroutine,但是有可能造成一個(gè)問題,就是鎖始終被新來的 goroutine 搶走,在等待隊(duì)列中的等待者始終搶不到鎖,這就會導(dǎo)致饑餓問題。饑餓模式就是為了解決這個(gè)問題出現(xiàn)的,保證了每個(gè) goroutine 都有運(yùn)行的機(jī)會,防止等待時(shí)間過長。

數(shù)據(jù)結(jié)構(gòu)

//?互斥鎖
type?Mutex?struct?{
?state?int32??//?狀態(tài)
?sema??uint32??//?信號量
}


const?(
?mutexLocked?=?1?<<?iota?//?1
?mutexWoken?//?2
?mutexStarving?//?4
?mutexWaiterShift?=?iota?//?3

?starvationThresholdNs?=?1e6?//?判斷是否要進(jìn)入饑餓狀態(tài)的閾值
)

信號量 sema 就相當(dāng)于我們說的令牌,state 是 int32 類型,一共 32位,通過每個(gè)位記錄了當(dāng)前的狀態(tài):

state字段

mutexLocked:當(dāng)前是否已經(jīng)上鎖,state & mutexLocked = 1 表示已經(jīng)上鎖;

mutexWoken:標(biāo)記當(dāng)前是否有喚醒的 goroutine,state & mutexWoken = 1 表示有喚醒的goroutine;

mutexStarving:當(dāng)前是否為饑餓狀態(tài),state & mutexWoken = 1 表示處于饑餓狀態(tài);

mutexWaiterShift:29位,state >> mutexWaiterShift 得到等待者的數(shù)量;

Lock()

Lock()加鎖方法分為兩部分,第一部分是 fast path,可以理解為快捷通道,如果當(dāng)前鎖沒被占用,直接獲得鎖返回;否則需要進(jìn)入 slow path,判斷各種條件去競爭鎖,主要邏輯都在此處。

了解過原子操作的同學(xué),對 CompareAndSwap(CAS) 應(yīng)該不陌生,CompareAndSwapInt32(addr *int32, old, new int32) 有三個(gè)參數(shù),如果地址 addr 指向的值與 old 相等,則將 addr 的值改為 new,否則不變,也就是說在我們修改前,如果有人修改了 addr 指向的值,本次修改就會失敗。

//?上鎖
func?(m?*Mutex)?Lock()?{
?// fastpath:期望當(dāng)前鎖沒有被占用,可以快速獲取到鎖, CAS 修改 state 最后一位的值為1(標(biāo)記鎖是否被占用)
?if?atomic.CompareAndSwapInt32(&m.state,?0,?mutexLocked)?{
??return
?}
?//?Slow?path?:?單獨(dú)抽出來放到一個(gè)函數(shù)里,方便?fast?path?被內(nèi)聯(lián)
?m.lockSlow()
}
func?(m?*Mutex)?lockSlow()?{
?var?waitStartTime?int64?//?//?記錄等待時(shí)間
?starving?:=?false?//?當(dāng)前的?goroutine?是否已經(jīng)饑餓了(如果已經(jīng)饑餓,就會將?state?的饑餓狀態(tài)置為?1)
?awoke?:=?false??//?當(dāng)前的?goroutine?是否被喚醒的
?iter?:=?0?//?自旋次數(shù)
?old?:=?m.state?//?保存當(dāng)前的?state?狀態(tài)
?for?{
????
????/*
????自旋:如果滿足如下條件,就會進(jìn)入 if 語句,然后 continue,不斷自旋:
????1.?鎖被占用,且不處于饑餓模式(饑餓狀態(tài)直接去排隊(duì),不允許嘗試獲取鎖)
????2.?基于當(dāng)前自旋的次數(shù),再次自旋有意義?runtime_canSpin(iter)
????
????那么退出自旋的條件也就是:
????1.?鎖被釋放了,當(dāng)前處于沒被占用狀態(tài)(說明等到了,該goroutine就會立即去獲取鎖)
??2.?mutex進(jìn)入了饑餓模式,不自旋了,沒意義(饑餓狀態(tài)會直接把鎖交給等待隊(duì)列隊(duì)首的goroutine)
??3.?不符合自旋狀態(tài)(自旋次數(shù)太多了,自旋失去了意義)
????
????如下代碼是位操作:
????mutexLocked|mutexStarving?=?00000...101
????mutexLocked?=?00000...001
????如果要滿足 old &?00000...101 =?00000...001,需要 old = ...0*1,即狀態(tài)為:鎖被占用,且不處于饑餓狀態(tài)?
????
????runtime_canSpin(iter)?會根據(jù)自旋次數(shù),判斷是否可以繼續(xù)自旋
????*/
??if?old&(mutexLocked|mutexStarving)?==?mutexLocked?&&?runtime_canSpin(iter)?{
???
??????/*
??????如果?
???????1.?當(dāng)前goroutine不是被喚醒的?(awoke=false)?
???????2.?鎖狀態(tài)喚醒標(biāo)志位為0(old&mutexWoken?==?0)?
???????3.?等待者數(shù)量不為0?(old>>mutexWaiterShift?!=?0??右移三位得到的就是等待者數(shù)量)
??????
???????那么利用CAS,將?state?的喚醒標(biāo)記置為1,標(biāo)記自己是被喚醒的?(將state的喚醒標(biāo)記置為1,說明外面有喚醒著的goroutine,那么在釋放鎖的時(shí)候,就不去等待隊(duì)列叫號了,畢竟已經(jīng)有喚醒的了)
???????
???????如果有其他?goroutine?已經(jīng)設(shè)置了?state?的喚醒標(biāo)記位,那么本次就會失敗
??????*/

???if?!awoke?&&?old&mutexWoken?==?0?&&?old>>mutexWaiterShift?!=?0?&&
????atomic.CompareAndSwapInt32(&m.state,?old,?old|mutexWoken)?{
????awoke?=?true
???}
???runtime_doSpin()
??????
??????//?迭代次數(shù)加一
???iter++
??????
??????//?獲取最新的狀態(tài)
???old?=?m.state
??????
??????//?想再次自旋,看看鎖釋放了沒
???continue
??}
????
????//?到這里,說明退出了自旋,當(dāng)前鎖沒被占用?或者??系統(tǒng)處于饑餓模式?或者?自旋次數(shù)太多導(dǎo)致不符合自旋條件
??
????//?new?代表當(dāng)前goroutine?基于當(dāng)前狀態(tài)要設(shè)置的新狀態(tài)
??new?:=?old
????
????//?只要不是饑餓狀態(tài),就需要獲取鎖(饑餓狀態(tài)直接去排隊(duì),不能搶鎖)
??if?old&mutexStarving?==?0?{
???new?|=?mutexLocked
??}
????
????//?鎖被占用?或者?處于饑餓模式下,新增一個(gè)等待者
??if?old&(mutexLocked|mutexStarving)?!=?0?{
???new?+=?1?<<?mutexWaiterShift
??}
????
????//?當(dāng)前?goroutine?已經(jīng)進(jìn)入饑餓了,且鎖還沒有釋放,需要把?Mutex?的狀態(tài)改為饑餓狀態(tài)
??if?starving?&&?old&mutexLocked?!=?0?{
???new?|=?mutexStarving
??}
????
????//?如果是被喚醒的,把喚醒標(biāo)志位置0,表示外面沒有被喚醒的goroutine了(搶到就獲得鎖、搶不到就睡眠,把喚醒標(biāo)志置0)
??if?awoke?{
???
??????//?由于是被喚醒的,new?里面的?喚醒標(biāo)記位一定是?1
???if?new&mutexWoken?==?0?{
????throw("sync:?inconsistent?mutex?state")
???}
??????
??????//?a?&^?b?的意思就是?清零a中,ab都為1的位,即清除喚醒標(biāo)記
???new?&^=?mutexWoken
??}
????
????/*
??????利用CAS,將狀態(tài)設(shè)置為新的
??????1.?如果是饑餓狀態(tài),只增加一個(gè)等待者數(shù)量
??????2.?正常狀態(tài),加鎖標(biāo)記置為?1,如果鎖已被占用增加一個(gè)等待者數(shù)量
??????3.?如果當(dāng)前?goroutine?已經(jīng)饑餓了,將?饑餓標(biāo)記?置為?1
??????4.?如果是被喚醒的,清除喚醒標(biāo)記
????*/
????
??if?atomic.CompareAndSwapInt32(&m.state,?old,?new)?{
??????
??????//?如果改狀態(tài)之前,鎖未被占用?且?處于正常模式,那么就相當(dāng)于獲取到鎖了
???if?old&(mutexLocked|mutexStarving)?==?0?{
????break?
???}
??????
??????//?到這里說明:1. 之前鎖被占用??或者 2.之前是處于饑餓狀態(tài)?
??????
??????//?判斷之前是否等待過(是否從隊(duì)列里喚醒的),之前等待過,再次排隊(duì)放在隊(duì)首
???queueLifo?:=?waitStartTime?!=?0
??????
??????//?如果之前沒等過(新來的),設(shè)置等待起始時(shí)間當(dāng)前時(shí)間
???if?waitStartTime?==?0?{
????waitStartTime?=?runtime_nanotime()
???}
??????
?????//?之前排過隊(duì)的老人,放到等待隊(duì)列隊(duì)首;新人放到隊(duì)尾,然后等待獲取信號量
???runtime_SemacquireMutex(&m.sema,?queueLifo,?1)
??????
??????//?鎖被釋放,goroutine?被喚醒
??????
??????//?設(shè)置當(dāng)前?goroutine?饑餓狀態(tài),如果之前已經(jīng)饑餓,或者距離等待開始時(shí)間超過了?1ms,也變饑餓
???starving?=?starving?||?runtime_nanotime()-waitStartTime?>?starvationThresholdNs
??????
??????//?獲取最新的狀態(tài)
???old?=?m.state
??????
??????//?如果 state 饑餓標(biāo)記為1,說明當(dāng)前在饑餓模式,饑餓模式下被喚醒,已經(jīng)獲取到鎖了;
??????//?饑餓狀態(tài)下,釋放鎖沒有更新等待者數(shù)量和饑餓標(biāo)記,需要獲得鎖的goroutine去更新狀態(tài)
???if?old&mutexStarving?!=?0?{

????????//?正確性校驗(yàn):
????????//?1.?鎖還是鎖住的狀態(tài)(鎖已經(jīng)釋放給當(dāng)前goroutine了,不應(yīng)該被鎖?。?
????//?2.?或者有被喚醒的goroutine(饑餓模式下不應(yīng)該有醒著的goroutine,都應(yīng)該去乖乖等著)
????//?3.?或者當(dāng)前goroutine?的等待者數(shù)量為0(當(dāng)前goroutine就是等待者)
????//?這三種情況不應(yīng)該出現(xiàn),與預(yù)期狀態(tài)不符
????????
????if?old&(mutexLocked|mutexWoken)?!=?0?||?old>>mutexWaiterShift?==?0?{
?????throw("sync:?inconsistent?mutex?state")
????}
????????
????????//?加鎖,減去一個(gè)等待者
????delta?:=?int32(mutexLocked?-?1<<mutexWaiterShift)
????????
????????//?如果當(dāng)前的?goroutine?非饑餓,或者等待者只有一個(gè)(也就是只有當(dāng)前goroutine,等待隊(duì)列空了),可以取消饑餓狀態(tài),進(jìn)入正常狀態(tài)
????if?!starving?||?old>>mutexWaiterShift?==?1?{
?????delta?-=?mutexStarving
????}
????????
????????//?修改狀態(tài):
????????//?加鎖,減去一個(gè)等待者:m.state + mutexLocked - 1<<mutexWaiterShift :?
????????//?滿足非饑餓條件,加鎖,減去一個(gè)等待者,取消饑餓狀態(tài):
????????//?m.state?+?mutexLocked?-?1<<mutexWaiterShift?-?mutexStarving:?
????atomic.AddInt32(&m.state,?delta)
????????
????????//?饑餓模式下被喚醒,相當(dāng)于獲得鎖了,可以結(jié)束
????break
???}
??????
??????//?之前是處于鎖被占用且非饑餓狀態(tài),被喚醒,去繼續(xù)搶鎖
???awoke?=?true
??????
??????//?新喚醒的,自旋數(shù)量置0
???iter?=?0
??}?else?{
??????
??????//?修改新狀態(tài)失敗,狀態(tài)有更新,需要重試
???old?=?m.state
??}
?}
}

加鎖的這部分代碼,新來的 goroutine 或者從隊(duì)列里面喚醒的 goroutine 都會進(jìn)入如下邏輯,相當(dāng)于給新人機(jī)會

1.樂觀態(tài)度的自旋:判斷是否可以自旋,如果可以自旋,就自旋等待;如果有可能,把喚醒標(biāo)記位置為1,標(biāo)記外面有喚醒的 goroutine,釋放鎖的時(shí)候就不會去隊(duì)列里面喚醒了,畢竟已經(jīng)有人在等待了;

2.修改系統(tǒng)狀態(tài):跳出自旋后,每個(gè) goroutine 根據(jù)當(dāng)前系統(tǒng)狀態(tài)修改系統(tǒng)狀態(tài):

  • 非饑餓狀態(tài),想要加鎖(如果本來就是加鎖狀態(tài),將加鎖位 設(shè)置為 1 相當(dāng)于不變)
  • 鎖被占用 或者 處于饑餓模式下,新增一個(gè)等待者
  • 當(dāng)前 goroutine 已經(jīng)進(jìn)入饑餓了,且鎖還沒有釋放,需要把 Mutex 的狀態(tài)改為饑餓狀態(tài)
  • 如果當(dāng)前 goroutine 是被喚醒的,清除系統(tǒng)喚醒標(biāo)記

3.利用 CAS 修改系統(tǒng)狀態(tài),同一時(shí)刻只有一個(gè) goroutine 能夠設(shè)置成功,但是設(shè)置成功并不代表獲取到鎖了:

  • 之前是非上鎖的正常狀態(tài),設(shè)置成功說明本次搶鎖成功,可以返回去操作臨界區(qū)了;
  • 之前是上鎖狀態(tài)或者饑餓狀態(tài),本次只是新增了一個(gè)等待者,然后根據(jù)是否是新來的,去隊(duì)列隊(duì)尾或者隊(duì)首排隊(duì),等待叫號;

4.從隊(duì)列中被叫號喚醒,不一定是獲取到鎖了:

  • 當(dāng)前是饑餓狀態(tài),那么一定是獲取到鎖了,因?yàn)轲囸I狀態(tài)只把鎖給隊(duì)列的第一個(gè) goroutine
  • 非饑餓狀態(tài),將自己狀態(tài)置為喚醒,再去搶鎖,重復(fù)上述過程

問:系統(tǒng)會不會同時(shí)存在 喚醒標(biāo)志和饑餓標(biāo)志都為1 的情況呢?

答:不會。只有等待時(shí)間大于 1ms 的才會去設(shè)置饑餓標(biāo)記,也就是只有從隊(duì)列喚醒的才會去設(shè)置,那么從隊(duì)列中喚醒的 goroutine ,自身的 awoke=true,每當(dāng)去設(shè)置饑餓標(biāo)記的時(shí)候會把喚醒標(biāo)記清除。

Unlock()

Unlock()解鎖方法也分為兩部分,第一部分是 fast path,可以理解為快捷通道,直接把鎖狀態(tài)位清除,如果此時(shí)系統(tǒng)狀態(tài)恢復(fù)到初始狀態(tài),說明沒有 goroutine 在搶鎖等鎖,直接返回,否則進(jìn)入 slow path;

slow path 會根據(jù)是否為饑餓狀態(tài),做出不一樣的反應(yīng):

正常狀態(tài):喚醒一個(gè) goroutine 去搶鎖,等待者數(shù)量減一,并將喚醒狀態(tài)置為 1;

饑餓狀態(tài):直接喚醒等待隊(duì)列隊(duì)首的 goroutine,鎖的所有權(quán)直接移交(修改等待者數(shù)量、是否取消饑餓標(biāo)記,由喚醒的 goroutine 去處理)。

func?(m?*Mutex)?Unlock()?{

?//?Fast?path:?把鎖標(biāo)記清除
?new?:=?atomic.AddInt32(&m.state,?-mutexLocked)
?if?new?!=?0?{
??//?清除完鎖標(biāo)記,發(fā)現(xiàn)還有其他狀態(tài),比如等待隊(duì)列不為空,需要喚醒其他?goroutine
??m.unlockSlow(new)
?}
}
func?(m?*Mutex)?unlockSlow(new?int32)?{
??
??/*?狀態(tài)正確性校驗(yàn):
????1.?如果解鎖一個(gè)上鎖狀態(tài)的鎖,最后一位則為1,fast?path?中?new?已經(jīng)減去了1,?此時(shí)?new?最后一位應(yīng)當(dāng)為0
???2.?如果解鎖一個(gè)未上鎖狀態(tài)的鎖,最后一位則為0,fast?path?中?new?已經(jīng)減去了1,?此時(shí)?new?最后一位應(yīng)當(dāng)為1
????如果?(new+mutexLocked)&mutexLocked?==?0,說明?new?當(dāng)前最后一位是1,那么就是解鎖了一個(gè)沒有上鎖的鎖,狀態(tài)有誤
?*/
?if?(new+mutexLocked)&mutexLocked?==?0?{
??throw("sync:?unlock?of?unlocked?mutex")
?}
??
??//?正常模式,非饑餓,可能需要喚醒隊(duì)列中的?goroutine,饑餓狀態(tài)直接移交鎖
?if?new&mutexStarving?==?0?{
??old?:=?new
??for?{

??????/*?系統(tǒng)運(yùn)轉(zhuǎn)正常,鎖可以正確交接,可以直接返回了:
??????? 1. 沒有等待者了?(沒有等鎖的了,去喚醒誰?)
????????2.?有喚醒狀態(tài)的?goroutine??(自旋狀態(tài)的?goroutine,將喚醒狀態(tài)置為1)
???????3.?有?goroutine?已經(jīng)獲取了鎖?(Unlock方法已經(jīng)將鎖標(biāo)記置為了0,可能自旋的此時(shí)已經(jīng)搶到了鎖)
??????*/
???if?old>>mutexWaiterShift?==?0?||?old&(mutexLocked|mutexWoken|mutexStarving)?!=?0?{
????return
???}
??????
??????//?沒有喚醒狀態(tài)的?goroutine,喚醒一個(gè)去搶鎖
???//?減去一個(gè)等待者,并且將?喚醒標(biāo)記?置為?1
???new?=?(old?-?1<<mutexWaiterShift)?|?mutexWoken
???if?atomic.CompareAndSwapInt32(&m.state,?old,?new)?{
????????//?第二個(gè)參數(shù)為false,?喚醒隊(duì)首的?goroutine?去搶鎖(不一定能搶到)
????runtime_Semrelease(&m.sema,?false,?1)
????return
???}
??????
??????//?上面?CAS?失敗,可能由于新增了一個(gè)等待者,for?循環(huán)重試
???old?=?m.state
??}
?}?else?{
??
????/*
?????1.?第二個(gè)參數(shù)為?true,直接將鎖的所有權(quán),交給等待隊(duì)列的第一個(gè)等待者
???2.?注意,此時(shí)沒有設(shè)置?mutexLocked?=1?,被喚醒的?goroutine?會設(shè)置
???3.?雖然沒有設(shè)置?mutexLocked?,但是饑餓模式下,?Mutex?始終被認(rèn)為是鎖住的,都會直接排隊(duì)等待移交鎖
????*/
??runtime_Semrelease(&m.sema,?true,?1)
?}
}

到此這篇關(guān)于Golang Mutex互斥鎖源碼分析的文章就介紹到這了,更多相關(guān)Golang Mutex互斥鎖內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!

相關(guān)文章

最新評論