                        課程
                    
                        /后端開發(fā)
                        
                            /PHP
                        
                        /PHP秒殺設(shè)計(jì)

redis原子性控制超賣問題

老師，既然redis是單線程，那為什么非要配合lua呢，直接在代碼里執(zhí)行redis->eval或者redis->incrby不就能控制超賣么，

qq_深都_03155654

2019-10-01

源自：PHP秒殺設(shè)計(jì) 4-4

關(guān)注問題我要回答

2136

操作

收起

1 回答

皮奇
2019-10-02

同學(xué)你好，你的思路不錯(cuò)，可以繼續(xù)去想下直接incrby改會(huì)有什么問題，老師提供的思路只是其中一個(gè)方案，真正場景實(shí)現(xiàn)肯定會(huì)有非常多的方案，需要大家自己思考。
redis->eval本身就是執(zhí)行l(wèi)ua腳本，redis->incrby理論上也可以防止邊界條件的發(fā)生，不會(huì)造成超賣，因?yàn)閕ncrby就實(shí)現(xiàn)了查詢+修改的原子操作，但是有一點(diǎn)點(diǎn)小缺點(diǎn)就是，不能做到只要一超賣了就直接終止+1。

0 回復(fù) 有任何疑惑可以回復(fù)我~

收起回答

#1

MKfans菜鳥

老師我也有個(gè)問題不明白，有一點(diǎn)點(diǎn)小缺點(diǎn)就是，不能做到只要一超賣了就直接終止+1，這句話是因?yàn)檫@個(gè)redis->eval這個(gè)東西在redis里面執(zhí)行的，所以不存在這個(gè)情況，如果放到php中去執(zhí)行，因?yàn)閞edis線程競爭，有可能在最后一件的時(shí)候出現(xiàn)，2個(gè)前后查完，第一個(gè)正在寫的，第二個(gè)也準(zhǔn)備寫緣故嗎？

2019-10-06 回復(fù) 有任何疑惑可以回復(fù)我~

#2

皮奇回復(fù) MKfans菜鳥

后半部分?jǐn)?shù)對的，但是前半部分你說的錯(cuò)了，不是redis線程競爭的問題，因?yàn)镽edis的命令執(zhí)行時(shí)單進(jìn)程單線程模型。你可以思考下，incrby做計(jì)數(shù)，你想做到超賣了就直接終止+1，是不是每次之前都得先讀一次計(jì)數(shù)，然后決定是否有調(diào)用incrby，此時(shí)就是 get + incrby 兩次操作，也就是會(huì)分成了兩次網(wǎng)絡(luò)調(diào)用操作，此時(shí)這兩個(gè)操作在（php）多進(jìn)程模型下是無法保證原子性操作的。

2019-10-15 回復(fù) 有任何疑惑可以回復(fù)我~

#3

慕勒4092611 回復(fù) 皮奇

老師，你的意思是我直接用if ($redis->incrby($key, 1) > 1000)判斷是可以做到防超賣，但是這個(gè)$key會(huì)一直incrby到很大？

2020-05-19 回復(fù) 有任何疑惑可以回復(fù)我~