Redis實現分散式鎖的正確使用方式(java版本)

来源:https://www.cnblogs.com/pingping-joe/archive/2019/04/10/10681231.html
-Advertisement-
Play Games

Redis實現分散式鎖的正確使用方式(java版本) 本文使用第三方開源組件Jedis實現Redis客戶端,且只考慮Redis服務端單機部署的場景。 本篇博客將介紹第二種方式,基於Redis實現分散式鎖。雖然網上已經有各種介紹Redis分散式鎖實現的博客,然而他們的實現卻有著各種各樣的問題,為了避免 ...


Redis實現分散式鎖的正確使用方式(java版本)

本文使用第三方開源組件Jedis實現Redis客戶端,且只考慮Redis服務端單機部署的場景。

 

分散式鎖一般有三種實現方式:
1. 資料庫樂觀鎖;
2. 基於Redis的分散式鎖;
3. 基於ZooKeeper的分散式鎖

本篇博客將介紹第二種方式,基於Redis實現分散式鎖。雖然網上已經有各種介紹Redis分散式鎖實現的博客,然而他們的實現卻有著各種各樣的問題,為了避免誤人子弟,本篇博客將詳細介紹如何正確地實現Redis分散式鎖。

 

首先,為了確保分散式鎖可用,我們至少要確保鎖的實現同時滿足以下四個條件:

1.互斥性。在任意時刻,只有一個客戶端能持有鎖。 2.不會發生死鎖。即使有一個客戶端在持有鎖的期間崩潰而沒有主動解鎖,也能保證後續其他客戶端能加鎖。 3.具有容錯性。只要大部分的Redis節點正常運行,客戶端就可以加鎖和解鎖。 4.解鈴還須系鈴人。加鎖和解鎖必須是同一個客戶端,客戶端自己不能把別人加的鎖給解了。

 

代碼實現

組件依賴 首先我們要通過Maven引入Jedis開源組件,在pom.xml文件加入下麵的代碼:

<dependency>
  <groupId>redis.clients</groupId>
  <artifactId>jedis</artifactId>
  <version>2.9.0</version>
</dependency>

加鎖代碼

正確姿勢

Talk is cheap, show me the code。先展示代碼,再帶大家慢慢解釋為什麼這樣實現:


public class RedisTool {

  private static final String LOCK_SUCCESS = "OK";
  private static final String SET_IF_NOT_EXIST = "NX";
  private static final String SET_WITH_EXPIRE_TIME = "PX";

  /**
    * 嘗試獲取分散式鎖
    * @param jedis Redis客戶端
    * @param lockKey 鎖
    * @param requestId 請求標識
    * @param expireTime 超期時間
    * @return 是否獲取成功
    */
  public static boolean tryGetDistributedLock(Jedis jedis, String lockKey, String     requestId, int expireTime) {

      String result = jedis.set(lockKey, requestId, SET_IF_NOT_EXIST, SET_WITH_EXPIRE_TIME, expireTime);

      if (LOCK_SUCCESS.equals(result)) {
          return true;
      }
      return false;

  }

}
解釋:
可以看到,我們加鎖就一行代碼:jedis.set(String key, String value, String nxxx, String expx, int time),這個set()方法一共有五個形參:

第一個為key,我們使用key來當鎖,因為key是唯一的。



第二個為value,我們傳的是requestId,很多童鞋可能不明白,有key作為鎖不就夠了嗎,為什麼還要用到value?原因就是我們在上面講到可靠性時,分散式鎖要滿足第四個條件解鈴還須系鈴人,通過給value賦值為requestId,我們就知道這把鎖是哪個請求加的了,在解鎖的時候就可以有依據。requestId可以使用UUID.randomUUID().toString()方法生成。



第三個為nxxx,這個參數我們填的是NX,意思是SET IF NOT EXIST,即當key不存在時,我們進行set操作;若key已經存在,則不做任何操作;



第四個為expx,這個參數我們傳的是PX,意思是我們要給這個key加一個過期的設置,具體時間由第五個參數決定。



第五個為time,與第四個參數相呼應,代表key的過期時間。



總的來說,執行上面的set()方法就只會導致兩種結果:1. 當前沒有鎖(key不存在),那麼就進行加鎖操作,並對鎖設置個有效期,同時value表示加鎖的客戶端。2. 已有鎖存在,不做任何操作。

心細的童鞋就會發現了,我們的加鎖代碼滿足我們可靠性里描述的三個條件。首先,set()加入了NX參數,可以保證如果已有key存在,則函數不會調用成功,也就是只有一個客戶端能持有鎖,滿足互斥性。其次,由於我們對鎖設置了過期時間,即使鎖的持有者後續發生崩潰而沒有解鎖,鎖也會因為到了過期時間而自動解鎖(即key被刪除),不會發生死鎖。最後,因為我們將value賦值為requestId,代表加鎖的客戶端請求標識,那麼在客戶端在解鎖的時候就可以進行校驗是否是同一個客戶端。由於我們只考慮Redis單機部署的場景,所以容錯性

我們暫不考慮。

 

 

錯誤示例1

比較常見的錯誤示例就是使用jedis.setnx()和jedis.expire()組合實現加鎖,代碼如下:

public static void wrongGetLock1(Jedis jedis, String lockKey, String requestId, int expireTime) {

  Long result = jedis.setnx(lockKey, requestId);
  if (result == 1) {       // 若在這裡程式突然崩潰,則無法設置過期時間,將發生死鎖    
  jedis.expire(lockKey, expireTime);  
  }
}
解釋:
      setnx()方法作用就是SET IF NOT EXIST,expire()方法就是給鎖加一個過期時間。乍一看好像和前面的set()方法結果一樣,然而由於這是兩條Redis命令,不具有原子性,如果程式在執行完setnx()之後突然崩潰,導致鎖沒有設置過期時間。那麼將會發生死鎖。網上之所以有人這樣實現,是因為低版本的jedis並不支持多參數的set()方法。

 

 

錯誤示例2

這一種錯誤示例就比較難以發現問題,而且實現也比較複雜。實現思路:使用jedis.setnx()命令實現加鎖,其中key是鎖,value是鎖的過期時間。執行過程:1. 通過setnx()方法嘗試加鎖,如果當前鎖不存在,返回加鎖成功。2. 如果鎖已經存在則獲取鎖的過期時間,和當前時間比較,如果鎖已經過期,則設置新的過期時間,返回加鎖成功。代碼如下:

 

 

 public static boolean wrongGetLock2(Jedis jedis, String lockKey, int expireTime) {
      long expires = System.currentTimeMillis() + expireTime;
      String expiresStr = String.valueOf(expires);
      // 如果當前鎖不存在,返回加鎖成功  
      if (jedis.setnx(lockKey, expiresStr) == 1) {
          return true;
      }
      // 如果鎖存在,獲取鎖的過期時間    
      String currentValueStr = jedis.get(lockKey);
      if (currentValueStr != null && Long.parseLong(currentValueStr) < System.currentTimeMillis()) {
          // 鎖已過期,獲取上一個鎖的過期時間,並設置現在鎖的過期時間        
          String oldValueStr = jedis.getSet(lockKey, expiresStr);
          if (oldValueStr != null && oldValueStr.equals(currentValueStr)) {
              // 考慮多線程併發的情況,只有一個線程的設置值和當前值相同,它才有權利加鎖          
              return true;
          }
      }
      // 其他情況,一律返回加鎖失敗  
      return false;
  }

解釋:

    那麼這段代碼問題在哪裡?1. 由於是客戶端自己生成過期時間,所以需要強制要求分散式下每個客戶端的時間必須同步。 2. 當鎖過期的時候,如果多個客戶端同時執行jedis.getSet()方法,那麼雖然最終只有一個客戶端可以加鎖,但是這個客戶端的鎖的過期時間可能被其他客戶端覆蓋。3. 鎖不具備擁有者標識,即任何客戶端都可以解鎖。

 

 

解鎖代碼

正確姿勢

還是先展示代碼,再帶大家慢慢解釋為什麼這樣實現:

  public class RedisTool {
      private static final Long RELEASE_SUCCESS = 1L;

      /**
        * 釋放分散式鎖     * @param jedis Redis客戶端     * @param lockKey 鎖     * @param requestId 請求標識     * @return 是否釋放成功
        */
      public static boolean releaseDistributedLock(Jedis jedis, String lockKey, String requestId) {
          String script = "if redis.call('get', KEYS[1]) == ARGV[1] then return redis.call('del', KEYS[1]) else return 0 end";
          Object result = jedis.eval(script, Collections.singletonList(lockKey), Collections.singletonList(requestId));
          if (RELEASE_SUCCESS.equals(result)) {
              return true;
          }
          return false;
      }
  }

解釋:

    可以看到,我們解鎖只需要兩行代碼就搞定了!第一行代碼,我們寫了一個簡單的Lua腳本代碼,上一次見到這個編程語言還是在《黑客與畫家》里,沒想到這次居然用上了。第二行代碼,我們將Lua代碼傳到jedis.eval()方法里,並使參數KEYS[1]賦值為lockKey,ARGV[1]賦值為requestId。eval()方法是將Lua代碼交給Redis服務端執行。

那麼這段Lua代碼的功能是什麼呢?其實很簡單,首先獲取鎖對應的value值,檢查是否與requestId相等,如果相等則刪除鎖(解鎖)。那麼為什麼要使用Lua語言來實現呢?因為要確保上述操作是原子性的。關於非原子性會帶來什麼問題,可以閱讀【解鎖代碼-錯誤示例2】。那麼為什麼執行eval()方法可以確保原子性,源於Redis的特性。

簡單來說,就是在eval命令執行Lua代碼的時候,Lua代碼將被當成一個命令去執行,並且直到eval命令執行完成,Redis才會執行其他命令。

 

 

錯誤示例1

最常見的解鎖代碼就是直接使用jedis.del()方法刪除鎖,這種不先判斷鎖的擁有者而直接解鎖的方式,會導致任何客戶端都可以隨時進行解鎖,即使這把鎖不是它的。

public static void wrongReleaseLock1(Jedis jedis, String lockKey) {                     jedis.del(lockKey);
}

 

錯誤示例2

這種解鎖代碼乍一看也是沒問題,甚至我之前也差點這樣實現,與正確姿勢差不多,唯一區別的是分成兩條命令去執行,代碼如下:

    public static void wrongReleaseLock2(Jedis jedis, String lockKey, String requestId) {
      // 判斷加鎖與解鎖是不是同一個客戶端    
      if (requestId.equals(jedis.get(lockKey))) {
          // 若在此時,這把鎖突然不是這個客戶端的,則會誤解鎖        
          jedis.del(lockKey);
      }
  }

解釋:

     如代碼註釋,問題在於如果調用jedis.del()方法的時候,這把鎖已經不屬於當前客戶端的時候會解除他人加的鎖。那麼是否真的有這種場景?答案是肯定的,比如客戶端A加鎖,一段時間之後客戶端A解鎖,在執行jedis.del()之前,鎖突然過期了,此時客戶端B嘗試加鎖成功,然後客戶端A再執行del()方法,則將客戶端B的鎖給解除了。

總結 :

這篇文章的分散式鎖實現基本滿足開發使用,但是還是有一個問題,如何判斷設置過期時間的長短,如果太短,鎖被釋放了,又會有併發問題,太長,性能下降。

 下一篇文章講解使用redission實現分散式鎖完美解決這個問題,敬請期待!!!!!


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

-Advertisement-
Play Games
更多相關文章
  • 定義: 用原型實例指定創建對象的種類,並且通過拷貝這些原型創建新的對象。 結構:(書中圖,侵刪) 一個申明克隆自己的介面 若幹具體的需要克隆自己的類 這個結構很簡單,而且在Java中那個介面是不需要自己寫的。 Java類庫中有現成的Cloneable介面,這隻是一個標記介面,裡面沒有任何方法,但如果 ...
  • 前言: 在我們還沒學習框架之前,肯定都學過JDBC。百度百科對JDBC是這樣介紹的【JDBC(Java DataBase Connectivity,java資料庫連接)是一種用於執行SQL語句的Java API,可以為多種關係資料庫提供統一訪問,它由一組用Java語言編寫的類和介面組成。JDBC提供 ...
  • 今天,終於把學習了一年多的《Java核心技術36講》第一遍完結了,歷時一年多,花出去的錢終於感覺有了第一筆回報。 這是我在極客時間的第一門付費課程,剛出來的時候,正巧自己轉到全職Java開發不久,沒怎麼看目錄就入手了這門課,還去幾個微信群宣傳了下。那時候返現意識還不是很高,靠這門課還賺了點小錢。嚴格 ...
  • 定義: 定義: 定義一個用於創建對象的介面,讓子類決定實例化哪一個類。工廠方法使一個類的實例化延遲到其子類。 結構:(書中圖,侵刪) 一個工廠的抽象介面 若幹個具體的工廠類 一個需要創建對象的抽象介面 若幹個所需創建的對象的類 較之簡單工廠方法,多了一層抽象——將工廠也抽象了;由原來的一個萬能工廠變 ...
  • 定義: 為其他對象提供一種代理以控制對這個對象的訪問。 結構:(書中圖,侵刪) 一個定義公共方法的介面 一個真實實體 一個含有真實實體引用的代理類 我思考了一下,咱們的科學上網就是一種代理 如上圖,假如要訪問油管,我們需要先將請求發給代理伺服器,由代理伺服器幫我們訪問目標網站。 但是一般這種目標網站 ...
  • 以下圖片是基於自身對知識掌握的基本能力而畫出的,並沒有系統全面的讀過活躍於互聯網大牛的著作(個人認為那樣會限制自身的思維空間),因此,若圖片里存在錯誤,敬請批評指正,謝謝! ...
  • 之前我發過一篇 "《說說我為什麼看好Spring Cloud Alibaba》" ,然後這兩天有網友給我轉了這篇文章 "《坑爹項目spring cloud alibaba,我們也來一個》" ,問我的看法是怎麼樣的,聊天時候簡單說了一下。今天在家休息,抽空整理一下內容,逐點說一下我的看法,主要還是覺得 ...
  • 1、什麼是線程? 2、線程和進程有什麼區別? 3、如何在Java中實現線程? 4、Java關鍵字volatile與synchronized作用與區別? volatile修飾的變數不保留拷貝,直接訪問主記憶體 synchronized用來修飾一個方法或者一個代碼塊的時候,能夠保證在同一時刻最多只有一個線 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...