快捷導(dǎo)航

Redis exists命令bug分析(案例詳解)

更新時(shí)間：2022年02月08日 14:29:23 作者：趙海亮的博客

Redis EXISTS 命令用于檢查給定 key 是否存在，本文重點(diǎn)給大家介紹Redis exists命令bug分析，感興趣的朋友跟隨小編一起看看吧

1、復(fù)現(xiàn)條件版本：

社區(qū)版Redis 4.0.10以下版本
使用場(chǎng)景：開啟讀寫分離的主從架構(gòu)或者集群架構(gòu)(master只負(fù)責(zé)寫流量，slave負(fù)責(zé)讀流量)

案例：

# 寫入一條帶過(guò)期時(shí)間10s的key
10.90.73.147:12345> set luxiu1 1 ex 10
OK
10.90.73.147:12345> get luxiu1
"1"
10.90.73.147:12345> exists luxiu1
(integer) 1
......
#等待10s，待key過(guò)期
......

10.90.73.147:12345> ttl luxiu1 
(integer) -2 #確定key已經(jīng)過(guò)期了
10.90.73.147:12345> get luxiu1
(nil)  #沒有問題，該key不存在了
10.90.73.147:12345> exists luxiu1
(integer) 1 #還能查到
10.90.73.147:12345> exists luxiu1
(integer) 1 #還能查到

2、源碼分析

在分析該問題前，需要了解Redis在讀寫分離模式下讀到過(guò)期數(shù)據(jù)的問題：

Redis過(guò)期key的刪除策略采用惰性刪除和定時(shí)刪除：

惰性刪除:主節(jié)點(diǎn)每次處理讀取命令時(shí)，都會(huì)檢查鍵是否超時(shí)，如果超時(shí)則執(zhí)行del命令刪除鍵對(duì)象，之后del命令也會(huì)異步發(fā)送給從節(jié)點(diǎn)。需要注意的是為了保證復(fù)制的一致性，從節(jié)點(diǎn)自身永遠(yuǎn)不會(huì)主動(dòng)刪除超時(shí)數(shù)據(jù)；

定時(shí)刪除:Redis主節(jié)點(diǎn)在內(nèi)部定時(shí)任務(wù)會(huì)循環(huán)采樣一定數(shù)量的鍵，當(dāng)發(fā)現(xiàn)采樣的鍵過(guò)期時(shí)執(zhí)行del命令，之后再同步給從節(jié)點(diǎn)；

如果此時(shí)數(shù)據(jù)大量過(guò)期，主節(jié)點(diǎn)采樣速度跟不上過(guò)期速度且主節(jié)點(diǎn)沒有讀取過(guò)期鍵的操作，那么從節(jié)點(diǎn)將無(wú)法收到del命令。這時(shí)在從節(jié)點(diǎn)上可以讀取到已經(jīng)超時(shí)的數(shù)據(jù)。Redis在3.2版本解決了這個(gè)問題，在從節(jié)點(diǎn)上讀取數(shù)據(jù)之前也會(huì)檢查鍵的過(guò)期時(shí)間來(lái)決定是否返回?cái)?shù)據(jù)。但是，4.0.10版本以下的exists命令實(shí)現(xiàn)方式有問題，導(dǎo)致該命令還是查詢到過(guò)期數(shù)據(jù)問題。

下面是4.0.10以下版本exists命令實(shí)現(xiàn)源碼：