業務背景:在房間棋牌游戲中需要用到鎖來防止并發操作引起的 redis 數據臟讀問題;例如添加用戶進入房間的動作:
并發的情況下,get RoomUsers 會有臟讀現象;
解決思路:加鎖房間來實現 一個房間每次只允許一個客戶端操作,其他并發客戶端則等待;也就是-----堵塞鎖;
加鎖:redis加鎖方式有幾種: incr、set、setnx、hSetnx,可以參考這篇文章:redis加鎖的幾種實現
這里我用到 set 這種方式
$roomId = $_GET[ roomId $user = $_GET[ user // 張三 $key = LockRoom:{$roomId} $html' target='_blank'>value = $roomId.uniqid();$ex = 3;// 如果 $key 不存在的話,就設置 $key 的值為 $value,且有效期為 3s; // return TRUE / FALSEwhile(true){ $res = $this- redis- set($key, $value, [ nx , ex = $ex]); if($res) { break; } usleep(5000);// 將用戶添加進房間$roomUsers = $this- redis- get( Room:{$roomId}:Users // [ 李四 , 王五 ]$roomUsers[] = $user;$this- redis- set( Room:{$roomId}:Users , $roomUsers); // [ 李四 , 王五 , 張三 ]
解鎖:操作完當然要解鎖了,不解鎖起碼要等待 3秒;
解鎖用 delete 刪除 key; 但是這里有個坑,不能直接用 delete,因為假設 client01 獲得了鎖,在添加用戶進入房間的過程中 時間超過了 3秒 ,這個時候client02 就會同樣獲得鎖并且設置3S,然后當client01 操作完之后 delete key , 就把 client02 設置的鎖刪除了;
這里推薦用 lua 代碼執行刪除,因為lua 執行具有原子性。
// 將用戶添加進房間$roomUsers = $this- redis- get( Room:{$roomId}:Users // [ 李四 , 王五 ]$roomUsers[] = $user;$this- redis- set( Room:{$roomId}:Users , $roomUsers); // [ 李四 , 王五 , 張三 ]// lua 腳本解鎖// 先判斷 key的值是否為 value, TRUE 才會刪除, 所以 $value 的設計要有隨機唯一性$script = if redis.call( get ,KEYS[1]) == ARGV[1] return redis.call( del ,KEYS[1]) return 0$this- redis- eval($script, array($key , $value), 1);
具體還可以看看 這篇文章:解鎖 Redis 鎖的正確姿勢
還有php操作redis的文檔:PhpRedis 里面有 set()、eval() 函數的解釋
注意:用 lua 腳本這里 php.ini 需要開放 shell_exec() 等系統函數
以上代碼僅作參考!!
以上就是本文的全部內容,希望對大家的學習有所幫助,更多相關內容請關注PHP !
相關推薦:
PHP操作Beanstalkd的方法及參數注釋
PHP實現的內網穿透應用Spike重構完成
以上就是php redis的加鎖與解鎖的詳細內容,PHP教程
鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播更多信息之目的,如作者信息標記有誤,請第一時間聯系我們修改或刪除,多謝。
新聞熱點
疑難解答