Redis 分散式鎖

来源:https://www.cnblogs.com/Yee-Q/archive/2022/08/28/16632845.html
-Advertisement-
Play Games

概述 單機架構下,一個進程中的多個線程競爭同一共用資源時,通常使用 JVM 級別的鎖即可保證互斥,以對商品下單並扣庫存為例: public String deductStock() { synchronized (this){ // 獲取庫存值 int stock = Integer.parseIn ...



概述

單機架構下,一個進程中的多個線程競爭同一共用資源時,通常使用 JVM 級別的鎖即可保證互斥,以對商品下單並扣庫存為例:

public String deductStock() {
    synchronized (this){
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "")
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    }
    return "end";
}

然而,當使用分散式架構時,這種方式就不管用了,因為 JVM 鎖只能控制自家應用,其他機器的應用時管不了的,這時候分散式鎖就派上用場了,它能保證分散式系統下不同進程對共用資源訪問的互斥性


案例分析

下麵對使用 Redis 實現分散式鎖的案例進行分析:

1. Case1

使用 Redis 中的 setnx() 設計一個入門級別的分散式鎖

public String deductStock1() {
    String localKey = "lock:product:0001";
    Boolean aBoolean = stringRedisTemplate.opsForValue().setIfAbsent(localKey, "true");
    if (!aBoolean){
        return "當前系統繁忙";
    }
    try {
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "");
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    } finally {
        // 即使中間的任何一處邏輯拋出異常,也能保證鎖釋放
        stringRedisTemplate.delete(localKey);
    }
    return "end";
}

存在的問題:鎖沒有釋放,機器卻宕機了,這時候其他機器將無法獲取鎖

2. Case2

設置一個過期時間,解決 Case1 中存在的宕機沒有釋放鎖的問題

public String deductStock2() {
    String localKey = "lock:product:0001";
    Boolean aBoolean = stringRedisTemplate.opsForValue().setIfAbsent(localKey, "true");
    stringRedisTemplate.expire(localKey,10,TimeUnit.SECONDS);
    if (!aBoolean){
        return "當前系統繁忙";
    }
    try {
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "");
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    } finally {
        stringRedisTemplate.delete(localKey);
    }
    return "end";
}

存在的問題:有可能還沒有執行到 expire() 就宕機了,沒有保證原子性

3. Case3

在加鎖時就設置超時時間,保證加鎖和設置超時時間是原子操作

public String deductStock3() {
    String localKey = "lock:product:0001";
    // 這條命令能夠保證原子性
    Boolean aBoolean = stringRedisTemplate.opsForValue().setIfAbsent(localKey, "true",10,TimeUnit.SECONDS);
    if (!aBoolean){
        return "當前系統繁忙";
    }
    try {
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "");
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    } finally {
        stringRedisTemplate.delete(localKey);
    }
    return "end";
}

存在問題:如果系統併發量不是特別的大,那麼問題不大,但如果併發量很大,就會出現嚴重的併發問題:

  • 假設線程 A 的時間超過了超時時間,鎖失效了,此時該線程 A 還沒有執行 delete 方法
  • 線程 B 這時候加鎖成功了,與此同時線程 A 執行了 delete 方法,但是這時候線程 A 釋放的鎖是線程 B 的
  • 於是極端情況下就會出現:線程 A 釋放線程 B 的鎖,B 釋放 C 的,C 釋放 D 的 ......

4. Case4

Case3 存在的問題的根本原因就是在執行 delete 方法的時候,自己的鎖被其他的線程釋放了,所以解決辦法就是給每個線程生成一個唯一 ID,在最後釋放鎖的時候判斷是否是自己的鎖,如果是自己的才釋放

public String deductStock4() {
    String localKey = "lock:product:0001";
    String uuid = UUID.randomUUID().toString();
    // 這條命令能夠保證原子性
    Boolean aBoolean = stringRedisTemplate.opsForValue().setIfAbsent(localKey, uuid,10,TimeUnit.SECONDS);
    if (!aBoolean){
        return "當前系統繁忙";
    }
    try {
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "");
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    } finally {
        if (uuid.equals(stringRedisTemplate.opsForValue().get(localKey))){
            stringRedisTemplate.delete(localKey);
        }
    }
    return "end";
}

存在問題:存在原子性問題,問題代碼如下:

if (uuid.equals(stringRedisTemplate.opsForValue().get(localKey))){
    stringRedisTemplate.delete(localKey);
}

有可能出現當前線程執行完 if 判斷卻還沒執行 delete 操作的時候當前鎖過期了,於是又會出現當前線程釋放了其他線程的鎖的情況

5. Case5

對於 Case4 的問題,本質是 「判斷是不是當前線程加的鎖」和「釋放鎖」不是一個原子操作,可以用 Lua 腳本代替,Redis 會將整個腳本作為一個整體執行

String redisScript = "
    if redis.call('get',KEYS[1]) == ARGV[1] then 
        return redis.call('del',KEYS[1]) 
    else
        return 0
        end;"

public String deductStock5() {
    String localKey = "lock:product:0001";
    String uuid = UUID.randomUUID().toString();
    // 這條命令能夠保證原子性
    Boolean aBoolean = stringRedisTemplate.opsForValue().setIfAbsent(localKey, uuid,10,TimeUnit.SECONDS);
    if (!aBoolean){
        return "當前系統繁忙";
    }
    try {
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "");
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    } finally {
        redisTemplate.execute(redisScript, Arrays.asList(localKey), uuid);
    }
    return "end";
}

也可以使用鎖續命的方式解決,即創建一個守護線程,每過一段時間,判斷業務的主線程有沒有結束(是否還加著鎖),如果還加著鎖,將鎖的超時時間重新設置

public String deductStock5() {
    String localKey = "lock:product:0001";
    String uuid = UUID.randomUUID().toString();
    // 這條命令能夠保證原子性
    Boolean aBoolean = stringRedisTemplate.opsForValue().setIfAbsent(localKey, uuid,10,TimeUnit.SECONDS);
    if (!aBoolean){
        return "當前系統繁忙";
    } else {
        // 續命
        Thread demo = new Thread(new Runnable() {
            @Override
            public void run() {
                while (true) {
                    Boolean expire = redisTemplate.expire(key, expireTime, TimeUnit.SECONDS);
                    // 有可能已經主動刪除key,不需要在續命
                    if(!expire){
                        return;
                    }
                    try {
                        Thread.sleep(1000);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }
        });
        demo.setDaemon(true);
        demo.start();
    }
    try {
        // 獲取庫存值
        int stock = Integer.parseInt(stringRedisTemplate.opsForValue().get("stock"));
        if (stock > 0) {
            int realStock = stock - 1;
            stringRedisTemplate.opsForValue().set("stock", realStock + "");
            System.out.println("扣減成功,剩餘庫存:" + realStock);
        } else {
            System.out.println("扣減失敗,庫存不足");
        }
    } finally {
        if (uuid.equals(stringRedisTemplate.opsForValue().get(localKey))){
            stringRedisTemplate.delete(localKey);
        }
    }
    return "end";
}


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 參考自 https://www.cnblogs.com/leoxjy/p/10201046.html#5095270 Centos報這個問題,Asp.NetCore 3.1 HttpClient 請求 Https 報錯的SSL證書異常的問題,請使用以下方法解決。 export DOTNET_SYST ...
  • 概述 本文描述WPF的拖放功能(Drag and Drop)。 拖放功能涉及到兩個功能,一個就是拖,一個是放。拖放可以發生在兩個控制項之間,也可以在一個控制項自己內部拖放。假設界面上有兩個控制項,一個TreeView,一個ListView,那麼可能發生的拖動有以下幾種情況: 1、TreeView -> L ...
  • 以下介紹Ubuntu下搭建用於HC32L110系列MCU的GCC工具鏈和VSCode的開發環境. AS06-VTB07H 產品頁鏈接. 這個開發板有新舊兩個版本. 4.0使用的是STM8, 5.0使用的是HC32L110, 現在能買到的都是後者, pin腳全部引出, 有預留燒錄口, 有一個功能按鈕,... ...
  • 大家好,我是痞子衡,是正經搞技術的痞子。今天痞子衡給大家介紹的是在FDCB里使能串列NOR Flash的QPI/OPI模式。 我們知道 Flash 讀時序里有五大子序列 CMD + ADDR + MODE + DUMMY + READ,前面的文章中痞子衡講過《串列NOR Flash的Continuo ...
  • 1、下載jdk1.8 這裡貼個oracle官網鏈接 https://www.oracle.com/java/technologies/downloads/ 裡面的jdk版本基本都有 2、將壓縮包上傳到Linux伺服器中 我使用的是winscop這個軟體,這個上傳操作很簡單 3、在Linux伺服器解壓 ...
  • 想讓Mac電腦讀取Windows上NTFS格式的磁碟?用Paragon NTFS 15 for Mac,這是一款MacOS系統上廣受青睞的ntfs讀寫工具。NTFS 15輕鬆實現Mac電腦讀寫NTFS磁碟文件。通過Microsoft的 NTFS for Mac by Paragon Software ...
  • Mac建造模擬游戲哪款好玩?環世界RimWorld for Mac是Mac平臺上一款非常好玩的模擬生存游戲。在mac rimworld環世界游戲中,游戲中玩家可以創造一個屬於自己的世界,以上帝視角指揮你的殖民者在陌生星球建立據點,可持續發展並且抵禦掃蕩者的進攻。 詳情:環世界RimWorld for ...
  • Rayman Mini for Mac是一款運行在MacOS平臺上的經典跑酷類游戲,玩家在Rayman Mini可以看到經典的傳統角色,與玩家一起在世界中探險,還有超多全新的角色出現。游戲包含動作橫向跑酷和劇情解謎探索為一體,呈現了一個別樣的世界。 詳情:Rayman Mini for Mac(雷曼 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...