您好,登錄后才能下訂單哦!
本篇內容主要講解“怎么實現Java可重入分布式鎖”,感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷,實用性強。下面就讓小編來帶大家學習“怎么實現Java可重入分布式鎖”吧!
可重入
說到可重入鎖,首先我們來看看一段來自 wiki 上可重入的解釋:
“若一個程序或子程序可以“在任意時刻被中斷然后操作系統調度執行另外一段代碼,這段代碼又調用了該子程序不會出錯”,則稱其為可重入(reentrant或re-entrant)的。即當該子程序正在運行時,執行線程可以再次進入并執行它,仍然獲得符合設計時預期的結果。與多線程并發執行的線程安全不同,可重入強調對單個線程執行時重新進入同一個子程序仍然是安全的。
當一個線程執行一段代碼成功獲取鎖之后,繼續執行時,又遇到加鎖的代碼,可重入性就就保證線程能繼續執行,而不可重入就是需要等待鎖釋放之后,再次獲取鎖成功,才能繼續往下執行。
用一段 Java 代碼解釋可重入:
public synchronized void a() { b(); } public synchronized void b() { // pass }
假設 X 線程在 a 方法獲取鎖之后,繼續執行 b 方法,如果此時不可重入,線程就必須等待鎖釋放,再次爭搶鎖。
鎖明明是被 X 線程擁有,卻還需要等待自己釋放鎖,然后再去搶鎖,這看起來就很奇怪,我釋放我自己~
可重入性就可以解決這個尷尬的問題,當線程擁有鎖之后,往后再遇到加鎖方法,直接將加鎖次數加 1,然后再執行方法邏輯。退出加鎖方法之后,加鎖次數再減 1,當加鎖次數為 0 時,鎖才被真正的釋放。
可以看到可重入鎖最大特性就是計數,計算加鎖的次數。所以當可重入鎖需要在分布式環境實現時,我們也就需要統計加鎖次數。
分布式可重入鎖實現方式有兩種:
基于 ThreadLocal 實現方案
基于 Redis Hash 實現方案
首先我們看下基于 ThreadLocal 實現方案。
基于 ThreadLocal 實現方案
實現方式
Java 中 ThreadLocal可以使每個線程擁有自己的實例副本,我們可以利用這個特性對線程重入次數進行計數。
下面我們定義一個ThreadLocal的全局變量 LOCKS,內存存儲 Map 實例變量。
private static ThreadLocal<Map<String, Integer>> LOCKS = ThreadLocal.withInitial(HashMap::new);
每個線程都可以通過 ThreadLocal獲取自己的 Map實例,Map 中 key 存儲鎖的名稱,而 value存儲鎖的重入次數。
加鎖的代碼如下:
/** * 可重入鎖 * * @param lockName 鎖名字,代表需要爭臨界資源 * @param request 唯一標識,可以使用 uuid,根據該值判斷是否可以重入 * @param leaseTime 鎖釋放時間 * @param unit 鎖釋放時間單位 * @return */ public Boolean tryLock(String lockName, String request, long leaseTime, TimeUnit unit) { Map<String, Integer> counts = LOCKS.get(); if (counts.containsKey(lockName)) { counts.put(lockName, counts.get(lockName) + 1); return true; } else { if (redisLock.tryLock(lockName, request, leaseTime, unit)) { counts.put(lockName, 1); return true; } } return false; }
“ps: redisLock#tryLock 為上一篇文章實現的分布鎖。由于公號外鏈無法直接跳轉,關注『程序通事』,回復分布式鎖獲取源代碼。
加鎖方法首先判斷當前線程是否已經已經擁有該鎖,若已經擁有,直接對鎖的重入次數加 1。
若還沒擁有該鎖,則嘗試去 Redis 加鎖,加鎖成功之后,再對重入次數加 1 。
釋放鎖的代碼如下:
/** * 解鎖需要判斷不同線程池 * * @param lockName * @param request */ public void unlock(String lockName, String request) { Map<String, Integer> counts = LOCKS.get(); if (counts.getOrDefault(lockName, 0) <= 1) { counts.remove(lockName); Boolean result = redisLock.unlock(lockName, request); if (!result) { throw new IllegalMonitorStateException("attempt to unlock lock, not locked by lockName:+" + lockName + " with request: " + request); } } else { counts.put(lockName, counts.get(lockName) - 1); } }
釋放鎖的時首先判斷重入次數,若大于 1,則代表該鎖是被該線程擁有,所以直接將鎖重入次數減 1 即可。
若當前可重入次數小于等于 1,首先移除 Map中鎖對應的 key,然后再到 Redis 釋放鎖。
這里需要注意的是,當鎖未被該線程擁有,直接解鎖,可重入次數也是小于等于 1 ,這次可能無法直接解鎖成功。
“ThreadLocal 使用過程要記得及時清理內部存儲實例變量,防止發生內存泄漏,上下文數據串用等問題。下次咱來聊聊最近使用 ThreadLocal 寫的 Bug。
相關問題
使用 ThreadLocal 這種本地記錄重入次數,雖然真的簡單高效,但是也存在一些問題。
過期時間問題
上述加鎖的代碼可以看到,重入加鎖時,僅僅對本地計數加 1 而已。這樣可能就會導致一種情況,由于業務執行過長,Redis 已經過期釋放鎖。
而再次重入加鎖時,由于本地還存在數據,認為鎖還在被持有,這就不符合實際情況。
如果要在本地增加過期時間,還需要考慮本地與 Redis 過期時間一致性的,代碼就會變得很復雜。
不同線程/進程可重入問題
狹義上可重入性應該只是對于同一線程的可重入,但是實際業務可能需要不同的應用線程之間可以重入同把鎖。
而 ThreadLocal的方案僅僅只能滿足同一線程重入,無法解決不同線程/進程之間重入問題。
不同線程/進程重入問題就需要使用下述方案 Redis Hash 方案解決。
基于 Redis Hash 可重入鎖
實現方式
ThreadLocal 的方案中我們使用了 Map 記載鎖的可重入次數,而 Redis 也同樣提供了 Hash (哈希表)這種可以存儲鍵值對數據結構。所以我們可以使用 Redis Hash 存儲的鎖的重入次數,然后利用 lua 腳本判斷邏輯。
加鎖的 lua 腳本如下:
---- 1 代表 true ---- 0 代表 false if (redis.call('exists', KEYS[1]) == 0) then redis.call('hincrby', KEYS[1], ARGV[2], 1); redis.call('pexpire', KEYS[1], ARGV[1]); return 1; end ; if (redis.call('hexists', KEYS[1], ARGV[2]) == 1) then redis.call('hincrby', KEYS[1], ARGV[2], 1); redis.call('pexpire', KEYS[1], ARGV[1]); return 1; end ; return 0;
“如果 KEYS:[lock],ARGV[1000,uuid]
不熟悉 lua 語言同學也不要怕,上述邏輯還是比較簡單的。
加鎖代碼首先使用 Redis exists 命令判斷當前 lock 這個鎖是否存在。
如果鎖不存在的話,直接使用 hincrby創建一個鍵為 lock hash 表,并且為 Hash 表中鍵為 uuid 初始化為 0,然后再次加 1,最后再設置過期時間。
如果當前鎖存在,則使用 hexists判斷當前 lock 對應的 hash 表中是否存在 uuid 這個鍵,如果存在,再次使用 hincrby 加 1,最后再次設置過期時間。
最后如果上述兩個邏輯都不符合,直接返回。
加鎖代碼如下:
// 初始化代碼 String lockLuaScript = IOUtils.toString(ResourceUtils.getURL("classpath:lock.lua").openStream(), Charsets.UTF_8); lockScript = new DefaultRedisScript<>(lockLuaScript, Boolean.class); /** * 可重入鎖 * * @param lockName 鎖名字,代表需要爭臨界資源 * @param request 唯一標識,可以使用 uuid,根據該值判斷是否可以重入 * @param leaseTime 鎖釋放時間 * @param unit 鎖釋放時間單位 * @return */ public Boolean tryLock(String lockName, String request, long leaseTime, TimeUnit unit) { long internalLockLeaseTime = unit.toMillis(leaseTime); return stringRedisTemplate.execute(lockScript, Lists.newArrayList(lockName), String.valueOf(internalLockLeaseTime), request); }
“Spring-Boot 2.2.7.RELEASE
只要搞懂 Lua 腳本加鎖邏輯,Java 代碼實現還是挺簡單的,直接使用 SpringBoot 提供的 StringRedisTemplate 即可。
解鎖的 Lua 腳本如下:
-- 判斷 hash set 可重入 key 的值是否等于 0 -- 如果為 0 代表 該可重入 key 不存在 if (redis.call('hexists', KEYS[1], ARGV[1]) == 0) then return nil; end ; -- 計算當前可重入次數 local counter = redis.call('hincrby', KEYS[1], ARGV[1], -1); -- 小于等于 0 代表可以解鎖 if (counter > 0) then return 0; else redis.call('del', KEYS[1]); return 1; end ; return nil;
首先使用 hexists 判斷 Redis Hash 表是否存給定的域。
如果 lock 對應 Hash 表不存在,或者 Hash 表不存在 uuid 這個 key,直接返回 nil。
若存在的情況下,代表當前鎖被其持有,首先使用 hincrby使可重入次數減 1 ,然后判斷計算之后可重入次數,若小于等于 0,則使用 del 刪除這把鎖。
解鎖的 Java 代碼如下:
// 初始化代碼: String unlockLuaScript = IOUtils.toString(ResourceUtils.getURL("classpath:unlock.lua").openStream(), Charsets.UTF_8); unlockScript = new DefaultRedisScript<>(unlockLuaScript, Long.class); /** * 解鎖 * 若可重入 key 次數大于 1,將可重入 key 次數減 1 <br> * 解鎖 lua 腳本返回含義:<br> * 1:代表解鎖成功 <br> * 0:代表鎖未釋放,可重入次數減 1 <br> * nil:代表其他線程嘗試解鎖 <br> * <p> * 如果使用 DefaultRedisScript<Boolean>,由于 Spring-data-redis eval 類型轉化,<br> * 當 Redis 返回 Nil bulk, 默認將會轉化為 false,將會影響解鎖語義,所以下述使用:<br> * DefaultRedisScript<Long> * <p> * 具體轉化代碼請查看:<br> * JedisScriptReturnConverter<br> * * @param lockName 鎖名稱 * @param request 唯一標識,可以使用 uuid * @throws IllegalMonitorStateException 解鎖之前,請先加鎖。若為加鎖,解鎖將會拋出該錯誤 */ public void unlock(String lockName, String request) { Long result = stringRedisTemplate.execute(unlockScript, Lists.newArrayList(lockName), request); // 如果未返回值,代表其他線程嘗試解鎖 if (result == null) { throw new IllegalMonitorStateException("attempt to unlock lock, not locked by lockName:+" + lockName + " with request: " + request); } }
解鎖代碼執行方式與加鎖類似,只不過解鎖的執行結果返回類型使用 Long。這里之所以沒有跟加鎖一樣使用 Boolean ,這是因為解鎖 lua 腳本中,三個返回值含義如下:
1 代表解鎖成功,鎖被釋放
0 代表可重入次數被減 1
null 代表其他線程嘗試解鎖,解鎖失敗
如果返回值使用 Boolean,Spring-data-redis 進行類型轉換時將會把 null 轉為 false,這就會影響我們邏輯判斷,所以返回類型只好使用 Long。
以下代碼來自 JedisScriptReturnConverter:
相關問題
spring-data-redis 低版本問題
如果 Spring-Boot 使用 Jedis 作為連接客戶端,并且使用Redis Cluster 集群模式,需要使用 2.1.9 以上版本的spring-boot-starter-data-redis,不然執行過程中將會拋出:
org.springframework.dao.InvalidDataAccessApiUsageException: EvalSha is not supported in cluster environment.
如果當前應用無法升級 spring-data-redis也沒關系,可以使用如下方式,直接使用原生 Jedis 連接執行 lua 腳本。
以加鎖代碼為例:
public boolean tryLock(String lockName, String reentrantKey, long leaseTime, TimeUnit unit) { long internalLockLeaseTime = unit.toMillis(leaseTime); Boolean result = stringRedisTemplate.execute((RedisCallback<Boolean>) connection -> { Object innerResult = eval(connection.getNativeConnection(), lockScript, Lists.newArrayList(lockName), Lists.newArrayList(String.valueOf(internalLockLeaseTime), reentrantKey)); return convert(innerResult); }); return result; } private Object eval(Object nativeConnection, RedisScript redisScript, final List<String> keys, final List<String> args) { Object innerResult = null; // 集群模式和單點模式雖然執行腳本的方法一樣,但是沒有共同的接口,所以只能分開執行 // 集群 if (nativeConnection instanceof JedisCluster) { innerResult = evalByCluster((JedisCluster) nativeConnection, redisScript, keys, args); } // 單點 else if (nativeConnection instanceof Jedis) { innerResult = evalBySingle((Jedis) nativeConnection, redisScript, keys, args); } return innerResult; }
數據類型轉化問題
如果使用 Jedis 原生連接執行 Lua 腳本,那么可能又會碰到數據類型的轉換坑。
可以看到 Jedis#eval返回 Object,我們需要具體根據 Lua 腳本的返回值的,再進行相關轉化。這其中就涉及到 Lua 數據類型轉化為 Redis 數據類型。
下面主要我們來講下 Lua 數據轉化 Redis 的規則中幾條比較容易踩坑:
1、Lua number 與 Redis 數據類型轉換
Lua 中 number 類型是一個雙精度的浮點數,但是 Redis 只支持整數類型,所以這個轉化過程將會丟棄小數位。
2、Lua boolean 與 Redis 類型轉換
這個轉化比較容易踩坑,Redis 中是不存在 boolean 類型,所以當Lua 中 true 將會轉為 Redis 整數 1。而 Lua 中 false 并不是轉化整數,而是轉化 null 返回給客戶端。
3、Lua nil 與 Redis 類型轉換
Lua nil 可以當做是一個空值,可以等同于 Java 中的 null。在 Lua 中如果 nil 出現在條件表達式,將會當做 false 處理。
所以 Lua nil 也將會 null 返回給客戶端。
到此,相信大家對“怎么實現Java可重入分布式鎖”有了更深的了解,不妨來實際操作一番吧!這里是億速云網站,更多相關內容可以進入相關頻道進行查詢,關注我們,繼續學習!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。