Redis從0到精通--事務

阿新 • • 發佈：2021-10-14

事務

Redis 事務本質：一組命令的集合！一個事務中的所有命令都會被序列化，在事務執行過程的中，會按照順序執行！

一次性、順序性、排他性！執行一些列的命令！

------ 佇列 set set set 執行------

Redis事務沒有沒有隔離級別的概念！所有的命令在事務中，並沒有直接被執行！只有發起執行命令的時候才會執行！Exec Redis單條命令式儲存原子性的，但是事務不保證原子性！

redis的事務：

開啟事務（multi）
命令入隊（......）
執行事務（exec）

正常執行事務！

127.0.0.1:6379> multi # 開啟事務
OK
# 命令入隊
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> get k2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec # 執行事務
1) OK
2) OK
3) "v2"
4) OK

放棄事務！(DISCARD )

127.0.0.1:6379> multi # 開啟事務
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> DISCARD # 取消事務
OK
127.0.0.1:6379> get k4 # 事務佇列中命令都不會被執行！
(nil)

編譯型異常（程式碼有問題！命令有錯！），事務中所有的命令都不會被執行！

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> getset k3 # 錯誤的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> set k5 v5
QUEUED
127.0.0.1:6379> exec # 執行事務報錯！
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k5 # 所有的命令都不會被執行！
(nil)

執行時異常（1/0），如果事務佇列中存在語法性，那麼執行命令的時候，其他命令是可以正常執行的，錯誤命令丟擲異常！

127.0.0.1:6379> set k1 "v1"
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incr k1 # 會執行的時候失敗！
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> get k3
QUEUED
127.0.0.1:6379> exec
1) (error) ERR value is not an integer or out of range # 雖然第一條命令報錯了，但是
依舊正常執行成功了！
2) OK
3) OK
4) "v3"
127.0.0.1:6379> get k2
"v2"
127.0.0.1:6379> get k3
"v3"

監控！ Watch （面試常問！）

悲觀鎖：

很悲觀，認為什麼時候都會出問題，無論做什麼都會加鎖！

樂觀鎖：

很樂觀，認為什麼時候都不會出問題，所以不會上鎖！ - - 更新資料的時候去判斷一下，在此期間是否有人修改過這個資料，
獲取version
更新的時候比較 version

Redis測監視測試

正常執行成功

127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 0
OK
127.0.0.1:6379> watch money # 監視 money 物件
OK
127.0.0.1:6379> multi # 事務正常結束，資料期間沒有發生變動，這個時候就正常執行成功！
OK
127.0.0.1:6379> DECRBY money 20
QUEUED
127.0.0.1:6379> INCRBY out 20
QUEUED
127.0.0.1:6379> exec
1) (integer) 80
2) (integer) 20

測試多執行緒修改值 , 使用watch 可以當做redis的樂觀鎖操作！

127.0.0.1:6379> watch money # 監視 money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> DECRBY money 10
QUEUED
127.0.0.1:6379> INCRBY out 10
QUEUED
127.0.0.1:6379> exec # 執行之前，另外一個執行緒，修改了我們的值，這個時候，就會導致事務執行失
敗！
(nil)