redis中的併發問題php
使用redis做爲緩存已經好久了,redis是以單進程的形式運行的,命令是一個接着一個執行的,一直覺得不會存在併發的問題,直到今天看到相關的資料,才恍然大悟~~mysql
具體問題實例redis
有個鍵,假設名稱爲myNum
,裏面保存的是阿拉伯數字,假設如今值爲1,存在多個鏈接對myNum
進行操做的狀況,這個時候就會有併發的問題。假設有兩個鏈接linkA
和linkB
,這兩個鏈接都執行下面的操做,取出myNum
的值,+1,而後再存回去,看看下面的交互:sql
linkA get myNum => 1 linkB get myNum => 1 linkA set muNum => 2 linkB set myNum => 2
執行完操做以後,結果多是2,這和咱們預期的3不一致。
再看一個具體的例子:shell
<?php require "vendor/autoload.php"; $client = new Predis\Client([ 'scheme' => 'tcp', 'host' => '127.0.0.1', 'port' => 6379, ]); for ($i = 0; $i < 1000; $i++) { $num = intval($client->get("name")); $num = $num + 1; $client->setex("name", $num, 10080); usleep(10000); }
設置name
初始值爲0,而後同時用兩個終端執行上面的程序,最後name
的值可能不是2000,而是一個<2000的值,這也就證實了咱們上面的併發問題的存在,這個該怎麼解決呢?緩存
redis中的事務併發
redis中也是有事務的,不過這個事務沒有mysql中的完善,只保證了一致性和隔離性,不知足原子性和持久性。
redis事務使用multi、exec命令tcp
原子性,redis會將事務中的全部命令執行一遍,哪怕是中間有執行失敗也不會回滾。kill信號、宿主機宕機等致使事務執行失敗,redis也不會進行重試或者回滾。ui
持久性,redis事務的持久性依賴於redis所使用的持久化模式,遺憾的是各類持久化模式也都不是持久化的。this
隔離性,redis是單進程,開啓事務以後,會執行完當前鏈接的全部命令直到遇到exec命令,才處理其餘鏈接的命令。
一致性,看了文檔,以爲挺扯的,可是貌似說的沒有問題。
redis中的事務不支持原子性,因此解決不了上面的問題。
固然了redis還有一個watch
命令,這個命令能夠解決這個問題,看下面的例子,對一個鍵執行watch,而後執行事務,因爲watch的存在,他會監測鍵a
,當a
被修該以後,後面的事務就會執行失敗,這就確保了多個鏈接同時來了,都監測着a
,只有一個能執行成功,其餘都返回失敗。
127.0.0.1:6379> set a 1 OK 127.0.0.1:6379> watch a OK 127.0.0.1:6379> multi OK 127.0.0.1:6379> incr a QUEUED 127.0.0.1:6379> exec 1) (integer) 2 127.0.0.1:6379> get a "2"
失敗時候的例子,從最後能夠看出,test
的值被其餘鏈接修改了:
127.0.0.1:6379> set test 1 OK 127.0.0.1:6379> watch test OK 127.0.0.1:6379> multi OK 127.0.0.1:6379> incrby test 11 QUEUED 127.0.0.1:6379> exec (nil) 127.0.0.1:6379> get test "100"
個人問題如何解決
redis中命令是知足原子性的,所以在值爲阿拉伯數字的時候,我能夠將get
和set
命令修改成incr
或者incrby
來解決這個問題,下面的代碼開啓兩個終端同時執行,獲得的結果是知足咱們預期的2000
。
<?php require "vendor/autoload.php"; $client = new Predis\Client([ 'scheme' => 'tcp', 'host' => '127.0.0.1', 'port' => 6379, ]); for ($i = 0; $i < 1000; $i++) { $client->incr("name"); $client->expire("name", 10800); usleep(10000); }
@manzilu 提到的方法
評論中manzilu提到的方法查了下資料,確實可行,效果還不錯,這裏寫了個例子
<?php require "vendor/autoload.php"; $client = new Predis\Client([ 'scheme' => 'tcp', 'host' => '127.0.0.1', 'port' => 6379, ]); class RedisLock { public $objRedis = null; public $timeout = 3; /** * @desc 設置redis實例 * * @param obj object | redis實例 */ public function __construct($obj) { $this->objRedis = $obj; } /** * @desc 獲取鎖鍵名 */ public function getLockCacheKey($key) { return "lock_{$key}"; } /** * @desc 獲取鎖 * * @param key string | 要上鎖的鍵名 * @param timeout int | 上鎖時間 */ public function getLock($key, $timeout = NULL) { $timeout = $timeout ? $timeout : $this->timeout; $lockCacheKey = $this->getLockCacheKey($key); $expireAt = time() + $timeout; $isGet = (bool)$this->objRedis->setnx($lockCacheKey, $expireAt); if ($isGet) { return $expireAt; } while (1) { usleep(10); $time = time(); $oldExpire = $this->objRedis->get($lockCacheKey); if ($oldExpire >= $time) { continue; } $newExpire = $time + $timeout; $expireAt = $this->objRedis->getset($lockCacheKey, $newExpire); if ($oldExpire != $expireAt) { continue; } $isGet = $newExpire; break; } return $isGet; } /** * @desc 釋放鎖 * * @param key string | 加鎖的字段 * @param newExpire int | 加鎖的截止時間 * * @return bool | 是否釋放成功 */ public function releaseLock($key, $newExpire) { $lockCacheKey = $this->getLockCacheKey($key); if ($newExpire >= time()) { return $this->objRedis->del($lockCacheKey); } return true; } } $start_time = microtime(true); $lock = new RedisLock($client); $key = "name"; for ($i = 0; $i < 10000; $i++) { $newExpire = $lock->getLock($key); $num = $client->get($key); $num++; $client->set($key, $num); $lock->releaseLock($key, $newExpire); } $end_time = microtime(true); echo "花費時間 : ". ($end_time - $start_time) . "\n";
執行shell
php setnx.php & php setnx.php&
,最後會獲得結果:
$ 花費時間 : 4.3004920482635 [2] + 72356 done php setnx.php # root @ ritoyan-virtual-pc in ~/PHP/redis-high-concurrency [20:23:41] $ 花費時間 : 4.4319710731506 [1] + 72355 done php setnx.php
一樣循環1w次,去掉usleep,使用incr直接進行增長,耗時在2s左右。
而獲取所得時候取消usleep,時間不但沒減小,反而增長了,這個usleep的設置要合理,省得進程作無用的循環
總結
看了這麼多,簡單的總結下,其實redis本事是不會存在併發問題的,由於他是單進程的,再多的command
都是one by one執行的。咱們使用的時候,可能會出現併發問題,好比get
和set
這一對。