1. 概述:
和眾多其它數(shù)據(jù)庫一樣球涛,Redis作為NoSQL數(shù)據(jù)庫也同樣提供了事務機制。在Redis中,MULTI/EXEC/DISCARD/WATCH這四個命令是我們實現(xiàn)事務的基石褥紫。
Redis中事務的實現(xiàn)特征:
1). 在事務中的所有命令都將會被串行化的順序執(zhí)行,事務執(zhí)行期間瞪慧,Redis不會再為其它客戶端的請求提供任何服務髓考,從而保證了事物中的所有命令被原子的執(zhí)行。
2). 和關(guān)系型數(shù)據(jù)庫中的事務相比弃酌,在Redis事務中如果有某一條命令執(zhí)行失敗氨菇,其后的命令仍然會被繼續(xù)執(zhí)行[但最終事務會執(zhí)行失敗]儡炼。
3). 我們可以通過MULTI命令開啟一個事務,有關(guān)系型數(shù)據(jù)庫開發(fā)經(jīng)驗的人可以將其理解為"BEGIN TRANSACTION"語句查蓉。在該語句之后執(zhí)行的命令都將被視為事務之內(nèi)的操作乌询,最后我們可以通過執(zhí)行EXEC/DISCARD命令來提交/回滾該事務內(nèi)的所有操作。這兩個Redis命令可被視為等同于關(guān)系型數(shù)據(jù)庫中的COMMIT/ROLLBACK語句豌研。
4). 在事務開啟之前妹田,如果客戶端與服務器之間出現(xiàn)通訊故障并導致網(wǎng)絡斷開,其后所有待執(zhí)行的語句都將不會被服務器執(zhí)行鹃共。然而如果網(wǎng)絡中斷事件是發(fā)生在客戶端執(zhí)行EXEC命令之后鬼佣,那么該事務中的所有命令都會被服務器執(zhí)行。
5). 當使用Append-Only模式時霜浴,Redis會通過調(diào)用系統(tǒng)函數(shù)write將該事務內(nèi)的所有寫操作在本次調(diào)用中全部寫入磁盤晶衷。然而如果在寫入的過程中出現(xiàn)系統(tǒng)崩潰,如電源故障導致的宕機阴孟,那么此時也許只有部分數(shù)據(jù)被寫入到磁盤晌纫,而另外一部分數(shù)據(jù)卻已經(jīng)丟失。Redis服務器會在重新啟動時執(zhí)行一系列必要的一致性檢測永丝,一旦發(fā)現(xiàn)類似問題缸匪,就會立即退出并給出相應的錯誤提示。此時类溢,我們就要充分利用Redis工具包中提供的redis-check-aof工具凌蔬,該工具可以幫助我們定位到數(shù)據(jù)不一致的錯誤,并將已經(jīng)寫入的部分數(shù)據(jù)進行回滾闯冷。修復之后我們就可以再次重新啟動Redis服務器了砂心。
2. 命令列表
- MULTI 用于標記事務的開始,其后執(zhí)行的命令都將被存入命令隊列蛇耀,直到執(zhí)行EXEC時辩诞,這些命令才會被原子的執(zhí)行。 始終返回OK
- EXEC 執(zhí)行在一個事務內(nèi)命令隊列中的所有命令纺涤,同時將當前連接的狀態(tài)恢復為正常狀態(tài)译暂,即非事務狀態(tài)。如果在事務中執(zhí)行了WATCH命令撩炊,那么只有當WATCH所監(jiān)控的Keys沒有被修改的前提下外永,EXEC命令才能執(zhí)行事務隊列中的所有命令,否則EXEC將放棄當前事務中的所有命令拧咳。 原子性的返回事務中各條命令的返回結(jié)果伯顶。如果在事務中使用了WATCH,一旦事務被放棄,EXEC將返回NULL-multi-bulk回復祭衩。
- DISCARD 回滾事務隊列中的所有命令灶体,同時再將當前連接的狀態(tài)恢復為正常狀態(tài),即非事務狀態(tài)掐暮。如果WATCH命令被使用蝎抽,該命令將UNWATCH所有的Keys。 始終返回OK路克。
- WATCH key [key ...] O(1) 在MULTI命令執(zhí)行之前织中,可以指定待監(jiān)控的Keys,然而在執(zhí)行EXEC之前衷戈,如果被監(jiān)控的Keys發(fā)生修改狭吼,EXEC將放棄執(zhí)行該事務隊列中的所有命令[實現(xiàn)了類似于“樂觀鎖”的效果,即CAS(check and set)]殖妇。 始終返回OK刁笙。
- UNWATCH O(1) 取消當前事務中指定監(jiān)控的Keys,如果執(zhí)行了EXEC或DISCARD命令谦趣,則無需再手工執(zhí)行該命令了疲吸,因為在此之后,事務中所有被監(jiān)控的Keys都將自動取消前鹅。 始終返回OK摘悴。
3. 命令示例:
- 事務被正常執(zhí)行:
#在Shell命令行下執(zhí)行Redis的客戶端工具。
/> redis-cli
#在當前連接上啟動一個新的事務舰绘。
redis 127.0.0.1:6379> multi
OK
#執(zhí)行事務中的第一條命令蹂喻,從該命令的返回結(jié)果可以看出,該命令并沒有立即執(zhí)行捂寿,而是存于事務的命令隊列口四。
redis 127.0.0.1:6379> incr t1
QUEUED
#又執(zhí)行一個新的命令,從結(jié)果可以看出秦陋,該命令也被存于事務的命令隊列蔓彩。
redis 127.0.0.1:6379> incr t2
QUEUED
#執(zhí)行事務命令隊列中的所有命令,從結(jié)果可以看出驳概,隊列中命令的結(jié)果得到返回赤嚼。
redis 127.0.0.1:6379> exec
1) (integer) 1
2) (integer) 1
- 事務中存在失敗的命令:
#開啟一個新的事務。
redis 127.0.0.1:6379> multi
OK
#設(shè)置鍵a的值為string類型的3顺又。
redis 127.0.0.1:6379> set a 3
QUEUED
#從鍵a所關(guān)聯(lián)的值的頭部彈出元素更卒,由于該值是字符串類型,而lpop命令僅能用于List類型待榔,因此在執(zhí)行exec命令時逞壁,該命令將會失敗。
redis 127.0.0.1:6379> lpop a
QUEUED
#再次設(shè)置鍵a的值為字符串4锐锣。
redis 127.0.0.1:6379> set a 4
QUEUED
#獲取鍵a的值腌闯,以便確認該值是否被事務中的第二個set命令設(shè)置成功。
redis 127.0.0.1:6379> get a
QUEUED
#從結(jié)果中可以看出雕憔,事務中的第二條命令lpop執(zhí)行失敗姿骏,而其后的set和get命令均執(zhí)行成功,這一點是Redis的事務與關(guān)系型數(shù)據(jù)庫中的事務之間最為重要的差別斤彼。
redis 127.0.0.1:6379> exec
1) OK
2) (error) ERR Operation against a key holding the wrong kind of value
3) OK
4) "4"
- 回滾事務:
#為鍵t2設(shè)置一個事務執(zhí)行前的值分瘦。
redis 127.0.0.1:6379> set t2 tt
OK
#開啟一個事務。
redis 127.0.0.1:6379> multi
OK
#在事務內(nèi)為該鍵設(shè)置一個新值琉苇。
redis 127.0.0.1:6379> set t2 ttnew
QUEUED
#放棄事務嘲玫。
redis 127.0.0.1:6379> discard
OK
#查看鍵t2的值,從結(jié)果中可以看出該鍵的值仍為事務開始之前的值并扇。
redis 127.0.0.1:6379> get t2
"tt"
4. WATCH命令和基于CAS的樂觀鎖
在Redis的事務中去团,WATCH命令可用于提供CAS(check-and-set)功能。假設(shè)我們通過WATCH命令在事務執(zhí)行之前監(jiān)控了多個Keys穷蛹,倘若在WATCH之后有任何Key的值發(fā)生了變化土陪,EXEC命令執(zhí)行的事務都將被放棄,同時返回Null multi-bulk應答以通知調(diào)用者事務執(zhí)行失敗肴熏。例如鬼雀,我們再次假設(shè)Redis中并未提供incr命令來完成鍵值的原子性遞增,如果要實現(xiàn)該功能蛙吏,我們只能自行編寫相應的代碼源哩。其偽碼如下:
val = GET mykey
val = val + 1
SET mykey $val
以上代碼只有在單連接的情況下才可以保證執(zhí)行結(jié)果是正確的,因為如果在同一時刻有多個客戶端在同時執(zhí)行該段代碼鸦做,那么就會出現(xiàn)多線程程序中經(jīng)常出現(xiàn)的一種錯誤場景--競態(tài)爭用(race condition)璧疗。比如,客戶端A和B都在同一時刻讀取了mykey的原有值馁龟,假設(shè)該值為10崩侠,此后兩個客戶端又均將該值加一后set回Redis服務器,這樣就會導致mykey的結(jié)果為11坷檩,而不是我們認為的12却音。為了解決類似的問題,我們需要借助WATCH命令的幫助矢炼,見如下代碼:
WATCH mykey
val = GET mykey
val = val + 1
MULTI
SET mykey $val
EXEC
和此前代碼不同的是系瓢,新代碼在獲取mykey的值之前先通過WATCH命令監(jiān)控了該鍵,此后又將set命令包圍在事務中句灌,這樣就可以有效的保證每個連接在執(zhí)行EXEC之前夷陋,如果當前連接獲取的mykey的值被其它連接的客戶端修改欠拾,那么當前連接的EXEC命令將執(zhí)行失敗。這樣調(diào)用者在判斷返回值后就可以獲悉val是否被重新設(shè)置成功骗绕。
文章內(nèi)容整理自學習資料和網(wǎng)絡, 侵刪.
點擊查看更多事務命令