細(xì)說(shuō)Redis分布式鎖
| 序-碎碎叨叨
在家辦公的第N周,也不知道筆者工位上的鍵盤(pán)和顯示器有沒(méi)有想我,不知道會(huì)不會(huì)落灰太嚴(yán)重,被保潔阿姨扔掉了。筆者今天帶來(lái)一篇關(guān)于redis鎖的文章。連敲帶畫(huà)碼出此文,有一些細(xì)節(jié),對(duì)redis鎖不清晰的盆友不妨瞧一瞧。如果是有經(jīng)驗(yàn)的盆友,挑挑毛病,那筆者是更感謝了~閑話不多,馬上發(fā)車(chē)。| 正文-開(kāi)門(mén)見(jiàn)山
談起redis鎖,下面三個(gè),算是出現(xiàn)最多的高頻詞匯:- setnx
- redLock
- redisson
| setnx
其實(shí)目前通常所說(shuō)的setnx命令,并非單指redis的setnx key value這條命令。一般代指redis中對(duì)set命令加上nx參數(shù)進(jìn)行使用, set這個(gè)命令,目前已經(jīng)支持這么多參數(shù)可選:SET key value [EX seconds|PX milliseconds] [NX|XX] [KEEPTTL]當(dāng)然了,就不在文章中默寫(xiě)Api了,基礎(chǔ)參數(shù)還有不清晰的,可以蹦到官網(wǎng)。



以此類(lèi)推,進(jìn)程C可能釋放進(jìn)程D的鎖,進(jìn)程D....(禁止套娃),具體什么后果就不得而知了。所以在用setnx的時(shí)候,key雖然是主要作用,但是value也不能閑著,可以設(shè)置一個(gè)唯一的客戶(hù)端ID,或者用UUID這種隨機(jī)數(shù)。當(dāng)解鎖的時(shí)候,先獲取value判斷是否是當(dāng)前進(jìn)程加的鎖,再去刪除。偽代碼:
1String?uuid?=?xxxx;
2//?偽代碼,具體實(shí)現(xiàn)看項(xiàng)目中用的連接工具
3//?有的提供的方法名為set?有的叫setIfAbsent
4set?Test?uuid?NX?PX?3000
5try{
6//?biz?handle....
7}?finally?{
8????//?unlock
9????if(uuid.equals(redisTool.get('Test')){
10????????redisTool.del('Test');
11????}
12}
這回看起來(lái)是不是穩(wěn)了。
相反,這回的問(wèn)題更明顯了,在finally代碼塊中,get和del并非原子操作,還是有進(jìn)程安全問(wèn)題。


1-- lua刪除鎖:
2-- KEYS和ARGV分別是以集合方式傳入的參數(shù),對(duì)應(yīng)上文的Test和uuid。
3--?如果對(duì)應(yīng)的value等于傳入的uuid。
4if?redis.call('get',?KEYS[1])?==?ARGV[1]?
5????then?
6????--?執(zhí)行刪除操作
7????????return?redis.call('del',?KEYS[1])?
8????else?
9????--?不成功,返回0
10????????return?0?
11end
通過(guò)lua腳本能保證原子性的原因說(shuō)的通俗一點(diǎn):就算你在lua里寫(xiě)出花,執(zhí)行也是一個(gè)命令(eval/evalsha)去執(zhí)行的,一條命令沒(méi)執(zhí)行完,其他客戶(hù)端是看不到的。那么既然這么麻煩,有沒(méi)有比較好的工具呢?就要說(shuō)到redisson了。介紹redisson之前,筆者簡(jiǎn)單解釋一下為什么現(xiàn)在的setnx默認(rèn)是指set命令帶上nx參數(shù),而不是直接說(shuō)是setnx這個(gè)命令。因?yàn)閞edis版本在2.6.12之前,set是不支持nx參數(shù)的,如果想要完成一個(gè)鎖,那么需要兩條命令:1setnx?Test?uuid
2expire?Test?30
即放入Key和設(shè)置有效期,是分開(kāi)的兩步,理論上會(huì)出現(xiàn)1剛執(zhí)行完,程序掛掉,無(wú)法保證原子性。但是早在2013年,也就是7年前,Redis就發(fā)布了2.6.12版本,并且官網(wǎng)(set命令頁(yè)),也早早就說(shuō)明了“SETNX, SETEX, PSETEX可能在未來(lái)的版本中,會(huì)棄用并永久刪除”。筆者曾閱讀過(guò)一位大佬的文章,其中就有一句指導(dǎo)入門(mén)者的面試小套路,具體文字忘記了,大概意思如下:說(shuō)到redis鎖的時(shí)候,可以先從setnx講起,最后慢慢引出set命令的可以加參數(shù),可以體現(xiàn)出自己的知識(shí)面。如果有緣你也閱讀過(guò)這篇文章,并且學(xué)到了這個(gè)套路,作為本文的筆者我要加一句提醒:請(qǐng)注意你的工作年限!首先回答官網(wǎng)表明即將廢棄的命令,再引出set命令七年前的“新特性”,如果是剛畢業(yè)不久的人這么說(shuō),面試官會(huì)以為自己穿越了。你套路面試官,面試官也會(huì)套路你。-- vt?沃茲基碩德| redisson
Redisson是java的redis客戶(hù)端之一,提供了一些api方便操作redis。但是redisson這個(gè)客戶(hù)端可有點(diǎn)厲害,筆者在官網(wǎng)截了僅僅是一部分的圖:
鎖只是它的冰山一角,并且從它的wiki頁(yè)面看到,對(duì)主從,哨兵,集群等模式都支持,當(dāng)然了,單節(jié)點(diǎn)模式肯定是支持的。本文還是以鎖為主,其他的不過(guò)多介紹。Redisson普通的鎖實(shí)現(xiàn)源碼主要是RedissonLock這個(gè)類(lèi),還沒(méi)有看過(guò)它源碼的盆友,不妨去瞧一瞧。源碼中加鎖/釋放鎖操作都是用lua腳本完成的,封裝的非常完善,開(kāi)箱即用。這里有個(gè)小細(xì)節(jié),加鎖使用setnx就能實(shí)現(xiàn),也采用lua腳本是不是多此一舉?筆者也非常嚴(yán)謹(jǐn)的思考了一下:這么厲害的東西哪能寫(xiě)廢代碼?


|?RedLock


RedLock作者指出,之所以要用獨(dú)立的,是避免了redis異步復(fù)制造成的鎖丟失,比如:主節(jié)點(diǎn)沒(méi)來(lái)的及把剛剛set進(jìn)來(lái)這條數(shù)據(jù)給從節(jié)點(diǎn),就掛了。有些人是不是覺(jué)得大佬們都是杠精啊,天天就想著極端情況。其實(shí)高可用嘛,拼的就是99.999...%?中小數(shù)點(diǎn)后面的位數(shù)。回到上面那張簡(jiǎn)陋的圖片,紅鎖算法認(rèn)為,只要(N/2) 1個(gè)節(jié)點(diǎn)加鎖成功,那么就認(rèn)為獲取了鎖, 解鎖時(shí)將所有實(shí)例解鎖。流程為:
- 順序向五個(gè)節(jié)點(diǎn)請(qǐng)求加鎖
- 根據(jù)一定的超時(shí)時(shí)間來(lái)推斷是不是跳過(guò)該節(jié)點(diǎn)
- 三個(gè)節(jié)點(diǎn)加鎖成功并且花費(fèi)時(shí)間小于鎖的有效期
- 認(rèn)定加鎖成功
那么加鎖成功的節(jié)點(diǎn)總共花費(fèi)了3秒,所以鎖的實(shí)際有效期是小于27秒的。即扣除加鎖成功三個(gè)實(shí)例的3秒,還要扣除等待超時(shí)redis實(shí)例的總共時(shí)間。看到這,你有可能對(duì)這個(gè)算法有一些疑問(wèn),那么你不是一個(gè)人。回頭看看Redis官網(wǎng)關(guān)于紅鎖的描述。就在這篇描述頁(yè)面的最下面,你能看到著名的關(guān)于紅鎖的神仙打架事件。

- Martin Kleppmann的質(zhì)疑貼
- antirez的反擊貼