大家好!我是sum墨,一個一線的底層碼農,平時喜歡研究和思考一些技術相關的問題並整理成文,限於本人水平,如果文章和代碼有表述不當之處,還請不吝賜教。
以下是正文!
先看問題
首先上一串代碼
public String buy(Long goodsId, Integer goodsNum) {
//查詢商品庫存
Goods goods = goodsMapper.selectById(goodsId);
//如果當前庫存為0,提示商品已經賣光了
if (goods.getGoodsInventory() <= 0) {
return "商品已經賣光了!";
}
//如果當前購買數量大於庫存,提示庫存不足
if (goodsNum > goods.getGoodsInventory()) {
return "庫存不足!";
}
//更新庫存
goods.setGoodsInventory(goods.getGoodsInventory() - goodsNum);
goodsMapper.updateById(goods);
return "購買成功!";
}
我們看一下這串代碼,邏輯用流程圖表示如下:
從圖上看,邏輯還是很清晰明瞭的,而且單測的話,也測試不出來什麼bug。但是在秒殺場景下,問題可就大發了,100件商品可能賣出1000單,出現超賣問題,這下就真的需要殺個程序員祭天了。
問題分析
正常情況下,如果請求是一個一個接着來的話,這串代碼也不會有問題,如下圖:
不同的時刻不同的請求,每次拿到的商品庫存都是更新過之後的,邏輯是ok的。
那為啥會出現超賣問題呢?
首先我們給這串代碼增加一個場景:商品秒殺(非秒殺場景難以復現超賣問題)。
秒殺場景的特點如下:
- 高併發處理:秒殺場景下,可能會有大量的購物者同時涌入系統,因此需要具備高併發處理能力,保證系統能夠承受高併發訪問,並提供快速的響應。
- 快速響應:秒殺場景下,由於時間限制和競爭激烈,需要系統能夠快速響應購物者的請求,否則可能會導致購買失敗,影響購物者的購物體驗。
- 分佈式系統: 秒殺場景下,單台服務器扛不住請求高峯,分佈式系統可以提高系統的容錯能力和抗壓能力,非常適合秒殺場景。
在這種場景下,請求不可能是一個接一個這種,而是成千上萬個請求同時打過來,那麼就會出現多個請求在同一時刻查詢庫存,如下圖:
如果在同一時刻查詢商品庫存表,那麼得到的商品庫存也肯定是相同的,判斷的邏輯也是相同的。
舉個例子,現在商品的庫存是10件,請求1買6件,請求2買5件,由於兩次請求查詢到的庫存都是10,肯定是可以賣的。
但是真實情況是5+6=11>10,明顯有問題好吧!這兩筆請求必然有一筆失敗才是對的!
那麼,這種問題怎麼解決呢?
問題解決
從上面例子來看,問題好像是由於我們每次拿到的庫存都是一樣的,才導致庫存超賣問題,那是不是隻要保證每次拿到的庫存都是最新的話,這個問題不就迎刃而解了嗎!
在説方案前,先把我的測試表結構貼出來:
CREATE TABLE `t_goods` (
`id` bigint NOT NULL COMMENT '物理主鍵',
`goods_name` varchar(64) DEFAULT NULL COMMENT '商品名稱',
`goods_pic` varchar(255) DEFAULT NULL COMMENT '商品圖片',
`goods_desc` varchar(255) DEFAULT NULL COMMENT '商品描述信息',
`goods_inventory` int DEFAULT NULL COMMENT '商品庫存',
`goods_price` decimal(10,2) DEFAULT NULL COMMENT '商品價格',
`create_time` datetime DEFAULT NULL COMMENT '創建時間',
`update_time` datetime DEFAULT NULL COMMENT '更新時間',
PRIMARY KEY (`id`)
) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4;
方法一、redis分佈式鎖
Redisson介紹
官方介紹:Redisson是一個基於Redis的Java駐留內存數據網格(In-Memory Data Grid)。它封裝了Redis客户端API,並提供了一個分佈式鎖、分佈式集合、分佈式對象、分佈式Map等常用的數據結構和服務。Redisson支持Java 6以上版本和Redis 2.6以上版本,並且採用編解碼器和序列化器來支持任何對象類型。 Redisson還提供了一些高級功能,比如異步API和響應式流式API。它可以在分佈式系統中被用來實現高可用性、高性能、高可擴展性的數據處理。
Redisson使用
引入
<!--使用redisson作為分佈式鎖-->
<dependency>
<groupId>org.redisson</groupId>
<artifactId>redisson</artifactId>
<version>3.16.8</version>
</dependency>
注入對象
RedissonConfig.java
import org.redisson.Redisson;
import org.redisson.api.RedissonClient;
import org.redisson.config.Config;
import org.springframework.context.annotation.Bean;
import org.springframework.context.annotation.Configuration;
@Configuration
public class RedissonConfig {
/**
* 所有對Redisson的使用都是通過RedissonClient對象
*
* @return
*/
@Bean(destroyMethod = "shutdown")
public RedissonClient redissonClient() {
// 創建配置 指定redis地址及節點信息
Config config = new Config();
config.useSingleServer().setAddress("redis://127.0.0.1:6379").setPassword("123456");
// 根據config創建出RedissonClient實例
RedissonClient redissonClient = Redisson.create(config);
return redissonClient;
}
}
代碼優化
public String buyRedisLock(Long goodsId, Integer goodsNum) {
RLock lock = redissonClient.getLock("goods_buy");
try {
//加分佈式鎖
lock.lock();
//查詢商品庫存
Goods goods = goodsMapper.selectById(goodsId);
//如果當前庫存為0,提示商品已經賣光了
if (goods.getGoodsInventory() <= 0) {
return "商品已經賣光了!";
}
//如果當前購買數量大於庫存,提示庫存不足
if (goodsNum > goods.getGoodsInventory()) {
return "庫存不足!";
}
//更新庫存
goods.setGoodsInventory(goods.getGoodsInventory() - goodsNum);
goodsMapper.updateById(goods);
return "購買成功!";
} catch (Exception e) {
log.error("秒殺失敗");
} finally {
lock.unlock();
}
return "購買失敗";
}
加上Redisson分佈式鎖之後,使得請求由異步變為同步,讓購買操作一個一個進行,解決了庫存超賣問題,但是會讓用户等待的時間加長,影響了用户體驗。
方法二、MySQL的行鎖
行鎖介紹
MySQL的行鎖是一種針對行級別數據的鎖,它可以鎖定某個表中的某一行數據,以保證在鎖定期間,其他事務無法修改該行數據,從而保證數據的一致性和完整性。
特點如下:
- MySQL的行鎖只能在InnoDB存儲引擎中使用。
- 行鎖需要有索引才能實現,否則會自動鎖定整張表。
- 可以通過使用“SELECT ... FOR UPDATE”和“SELECT ... LOCK IN SHARE MODE”語句來顯式地使用行鎖。
總之,行鎖可以有效地保證數據的一致性和完整性,但是過多的行鎖也會導致性能問題,因此在使用行鎖時需要謹慎考慮,避免出現性能瓶頸。
那麼回到庫存超賣這個問題上來,我們可以在一開始查詢商品庫存的時候增加一個行鎖,實現非常簡單,也就是將
//查詢商品庫存
Goods goods = goodsMapper.selectById(goodsId);
原始查詢SQL
SELECT *
FROM t_goods
WHERE id = #{goodsId}
改寫為
SELECT *
FROM t_goods
WHERE id = #{goodsId} for update
那麼被查詢到的這行商品庫存信息就會被鎖住,其他請求想要讀取這行數據時就需要等待當前請求結束了,這樣就做到了每次查詢庫存都是最新的。不過同Redisson分佈式鎖一樣,會讓用户等待的時間加長,影響用户體驗。
方法三、樂觀鎖
樂觀鎖機制類似java中的cas機制,在查詢數據的時候不加鎖,只有更新數據的時候才比對數據是否已經發生過改變,沒有改變則執行更新操作,已經改變了則進行重試。
商品表增加version字段並初始化數據為0
`version` int(11) DEFAULT NULL COMMENT '版本'
將更新SQL修改如下
update t_goods
set goods_inventory = goods_inventory - #{goodsNum},
version = version + 1
where id = #{goodsId}
and version = #{version}
Java代碼修改如下
public String buyVersion(Long goodsId, Integer goodsNum) {
//查詢商品庫存(該語句使用了行鎖)
Goods goods = goodsMapper.selectById(goodsId);
//如果當前庫存為0,提示商品已經賣光了
if (goods.getGoodsInventory() <= 0) {
return "商品已經賣光了!";
}
if (goodsMapper.updateInventoryAndVersion(goodsId, goodsNum, goods.getVersion()) > 0) {
return "購買成功!";
}
return "庫存不足!";
}
通過增加了版本號的控制,在扣減庫存的時候在where條件進行版本號的比對。實現查詢的是哪一條記錄,那麼就要求更新的是哪一條記錄,在查詢到更新的過程中版本號不能變動,否則更新失敗。
方法四、where條件和unsigned 非負字段限制
前面的兩種辦法是通過每次都拿到最新的庫存從而解決超賣問題,那換一種思路:保證在扣除庫存的時候,庫存一定大於購買量是不是也可以解決這個問題呢?
答案是可以的。回到上面的代碼:
//更新庫存
goods.setGoodsInventory(goods.getGoodsInventory() - goodsNum);
goodsMapper.updateById(goods);
我們把庫存的扣減寫在了代碼中,這樣肯定是不行的,因為在分佈式系統中我們獲取到的庫存可能都是一樣的,應該把庫存的扣減邏輯放到SQL中,即:
update t_goods
set goods_inventory = goods_inventory - #{goodsNum}
where id = #{goodsId}
上面的SQL保證了每次獲取的庫存都是取數據庫的庫存,不過我們還需要加一個判斷:保證庫存大於購買量,即:
update t_goods
set goods_inventory = goods_inventory - #{goodsNum}
where id = #{goodsId}
AND (goods_inventory - #{goodsNum}) >= 0
那麼上面那段Java代碼也需修改一下:
public String buySqlUpdate(Long goodsId, Integer goodsNum) {
//查詢商品庫存(該語句使用了行鎖)
Goods goods = goodsMapper.queryById(goodsId);
//如果當前庫存為0,提示商品已經賣光了
if (goods.getGoodsInventory() <= 0) {
return "商品已經賣光了!";
}
//此處需要判斷更新操作是否成功
if (goodsMapper.updateInventory(goodsId, goodsNum) > 0) {
return "購買成功!";
}
return "庫存不足!";
}
還有一種辦法和where條件一樣,就是unsigned 非負字段限制,把庫存字段設置為unsigned 非負字段類型,那麼在扣減時也不會出現扣成負數的情況。
總結一下
| 解決方案 | 優點 | 缺點 |
|---|---|---|
| redis分佈式鎖 | Redis分佈式鎖可以解決分佈式場景下的鎖問題,保證多個節點對同一資源的訪問順序和安全性,性能較高。 | 單點故障問題,如果Redis節點宕機,會導致鎖失效。 |
| MySQL的行鎖 | 可以保證事務的隔離性,能夠避免併發情況下的數據衝突問題。 | 性能較低,對數據庫的性能影響較大,同時也存在死鎖問題。 |
| 樂觀鎖 | 相對於悲觀鎖,樂觀鎖不會阻塞線程,性能較高。 | 需要額外的版本控制字段,且在高併發情況下容易出現併發衝突問題。 |
| where條件和unsigned 非負字段限制 | 可以通過where條件和unsigned非負字段限制來保證庫存不會超賣,簡單易實現。 | 可能存在一定的安全隱患,如果某些操作沒有正確限制,仍有可能導致庫存超賣問題。同時,如果某些場景需要對庫存進行多次更新操作,限制條件可能會導致操作失敗,需要再次查詢數據,對性能會產生影響。 |
方案有很多,用法結合實際業務來看,沒有最優,只有更優。
全文至此結束,再會!