這篇文章將為大家詳細(xì)講解有關(guān)php和redis實(shí)現(xiàn)加解鎖的方法，小編覺得挺實(shí)用的，因此分享給大家做個(gè)參考，希望大家閱讀完這篇文章后可以有所收獲。

成都創(chuàng)新互聯(lián)2013年開創(chuàng)至今，是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司，擁有項(xiàng)目成都做網(wǎng)站、成都網(wǎng)站設(shè)計(jì)網(wǎng)站策劃，項(xiàng)目實(shí)施與項(xiàng)目整合能力。我們以讓每一個(gè)夢(mèng)想脫穎而出為使命，1280元綏濱做網(wǎng)站,已為上家服務(wù),為綏濱各地企業(yè)和個(gè)人服務(wù),聯(lián)系電話:13518219792

業(yè)務(wù)背景：在房間游戲中需要用到鎖來防止并發(fā)操作引起的 redis 數(shù)據(jù)臟讀問題；例如添加用戶進(jìn)入房間的動(dòng)作:

并發(fā)的情況下，get RoomUsers 會(huì)有臟讀現(xiàn)象；

解決思路：加鎖房間來實(shí)現(xiàn) 一個(gè)房間每次只允許一個(gè)客戶端操作，其他并發(fā)客戶端則等待；也就是-----堵塞鎖；

加鎖：redis加鎖方式有幾種: incr、set、setnx、hSetnx，可以參考這篇文章：redis加鎖的幾種實(shí)現(xiàn)

這里我用到 set 這種方式

$roomId = $_GET['roomId'];
$user = $_GET['user'];             // '張三'
$key = "LockRoom:{$roomId}";
$value = $roomId.uniqid();
$ex = 3;
// 如果 $key 不存在的話，就設(shè)置 $key 的值為 $value，且有效期為 3s; 
// return TRUE / FALSE
while(true){
    $res  = $this->redis->set($key, $value, ['nx', 'ex' => $ex]);
    if($res) { break; }
    usleep(5000);
}

// 將用戶添加進(jìn)房間
$roomUsers = $this->redis->get("Room:{$roomId}:Users"); // ['李四', '王五']
$roomUsers[] = $user;
$this->redis->set("Room:{$roomId}:Users", $roomUsers); // ['李四', '王五', '張三']

解鎖：操作完當(dāng)然要解鎖了，不解鎖起碼要等待 3秒；

解鎖用 delete 刪除 key; 但是這里有個(gè)坑，不能直接用 delete，因?yàn)榧僭O(shè) client01 獲得了鎖，在添加用戶進(jìn)入房間的過程中 時(shí)間超過了 3秒 ，這個(gè)時(shí)候client02 就會(huì)同樣獲得鎖并且設(shè)置3S，然后當(dāng)client01 操作完之后 delete key , 就把 client02 設(shè)置的鎖刪除了；

這里推薦用 lua 代碼執(zhí)行刪除，因?yàn)閘ua 執(zhí)行具有原子性。

// 將用戶添加進(jìn)房間
$roomUsers = $this->redis->get("Room:{$roomId}:Users"); // ['李四', '王五']
$roomUsers[] = $user;
$this->redis->set("Room:{$roomId}:Users", $roomUsers); // ['李四', '王五', '張三']

// lua 腳本解鎖
// 先判斷 key的值是否為 value, TRUE 才會(huì)刪除, 所以 $value 的設(shè)計(jì)要有隨機(jī)唯一性
$script = 'if redis.call("get",KEYS[1]) == ARGV[1]
then
    return redis.call("del",KEYS[1])
else
    return 0
end ';
$this->redis->eval($script, array($key , $value), 1);

關(guān)于php和redis實(shí)現(xiàn)加解鎖的方法就分享到這里了，希望以上內(nèi)容可以對(duì)大家有一定的幫助，可以學(xué)到更多知識(shí)。如果覺得文章不錯(cuò)，可以把它分享出去讓更多的人看到。