python-redis-lock是如何實現鎖自動續期的

python-redis-lock簡介

python-redis-lock是一個python的第三方庫,基于Redis,封裝了分布式鎖的邏輯,提供了更高級的API來簡化鎖的獲取、保持和釋放過程。包括自動續期、鎖超時、重入鎖等功能。
相比于直接使用redis的setnx,避免了寫額外代碼來實現鎖的復雜邏輯。

鎖的續期

在使用分布式鎖的情況下,如果某個服務器A的業務還未執行完(可能因為網絡擁塞、數據量突然變大等各種原因),但是鎖過期了,可能引發額外的問題。例如另一臺服務器B發現鎖釋放了,于是加鎖并開始執行業務,從而導致出現問題。
更有可能導致服務器A業務在執行完后去釋放鎖時,意外地釋放了服務器B加的鎖,導致服務器C進入,從而引發問題(在未使用唯一性ID表示加鎖者的情況下)。
所以對鎖的過期時間來續期是很有必要的,它確保了鎖在業務執行完后才釋放。

python-redis-lock實現自動續期的源碼分析

首先在配置python-redis-lock實例時,有兩個參數:expire int 和 auto_renewal boolean。
expire:鎖過期時間,單位為秒。
auto_renewal:是否開啟自動續期鎖。
python-redis-lock實例在初始化時,針對這兩個參數的源碼:

class Lock(object):def __init__(self, redis_client, name, expire=None, auto_renewal=False, ...):...if expire:expire = int(expire)...self._expire = expireself._lock_renewal_interval = float(expire) * 2/3 if auto_renewal else None...

假設我們設置了一個過期時間30秒,開啟自動續期的Lock實例,則self._expire=30秒,self._lock_renewal_interval=20秒。
當在代碼層調用Lock.acquire方法時,判斷self._lock_renewal_interval是否為空,如果不為空,則開啟鎖的自動續期(這里省略了一些內容,因為只關注續期的代碼實現邏輯):

class Lock(object):def acquire(self, blocking=True, timeout=None):...if self._lock_renewal_interval is not None:self._start_lock_renewer()

在self._start_lock_renewer方法中,基于python的threading模塊,開啟了一個鎖自動更新線程self._lock_renewal_thread。這個線程執行self._lock_renewer方法

def _start_lock_renewer(self):...self._lock_renewal_stop = threading.Event() # threading.Event()用于線程間的協調self._lock_renewal_thread = threading.Thread(group=None,target=self._lock_renewer,kwargs={'name': self._name,'lockref': weakref.ref(self), # 對Lock實例的弱引用'interval': self._lock_renewal_interval,'stop': self._lock_renewal_stop,},)self._lock_renewal_thread.demon = Trueself._lock_renewal_thread.start()

weakref.ref(self)創建當前類實例(self)的弱引用,并將其存儲在變量 lockref 中。使用 weakref.ref 創建的弱引用不會阻止對象被垃圾回收。
在self._lock_renewer方法中,首先用了while循環來每次等待20秒(interval=20)再執行循環體:如果弱引用對象(即Lock實例本身)沒有被垃圾回來,則執行續期的方法(lock.extend):

def _lock_renewer(name, lockref, interval, stop):while not stop.wait(timeout=interval):...lock: "Lock" = lockref()if lock is None:breaklock.extend(expire=lock._expire)

在self.extend方法中,執行了一個Lua腳本來更新鎖的過期時間。
在滿足self._name和self._signal的緩存鍵值存在且鎖未過期的情況下,將當前鎖的過期時間重置為expire(30秒)。

def extend(self. expire=None):if expire:expire = int(expire)error = self.extend_script(client=self._client, # 對redis的連接keys=(self._name, self._signal),args=(self._id, expire))...
# self.extend_script的執行邏輯:
EXTEND_SCRIPT = b"""if redis.call("get", KEYS[1]) ~= ARGV[1] thenreturn 1elseif redis.call("ttl", KEYS[1]) < 0 thenreturn 2elseredis.call("expire", KEYS[1], ARGV[2])return 0end
"""
cls.extend_script = redis_client.register_script(EXTEND_SCRIPT)

以上就是python-redis-lock實現鎖自動續期的源碼邏輯。
其中用到了多線程threading、弱引用weakref和Lua腳本等相關知識。

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/diannao/42055.shtml
繁體地址,請注明出處:http://hk.pswp.cn/diannao/42055.shtml
英文地址,請注明出處:http://en.pswp.cn/diannao/42055.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

倒退型自閉癥與輕度自閉癥有什么區別?

作為星貝育園自閉癥兒童康復中心的一名專業教師&#xff0c;我深知家長們在面對自閉癥譜系障礙&#xff08;ASD&#xff09;時的種種疑問與挑戰&#xff0c;尤其是關于倒退型自閉癥與輕度自閉癥之間的區別。今天&#xff0c;我將從專業視角出發&#xff0c;深入淺出地解析這兩種…

精通Vim編輯器:Linux系統下的強大文本編輯工具

精通Vim編輯器&#xff1a;Linux系統下的強大文本編輯工具 引言 在Linux世界中&#xff0c;Vim是一個功能強大、高度可定制的文本編輯器&#xff0c;它繼承自經典的vi編輯器并提供了一系列增強功能。無論是系統管理員、開發人員還是普通用戶&#xff0c;掌握Vim的使用都能大幅…

游戲AI的創造思路-技術基礎-強化學習(2)

上一篇中引出了深度強化學習這個大坑&#xff0c;本篇淺淺填一下~~~~ 目錄 6. 深度強化學習概述 6.1. 基本概念 6.2. 發展歷史 6.3. 基本公式 6.4. Python實現 6.5. 運行原理 6.5.1. 核心要素 6.5.2. 運行原理 6.5.3. 典型算法 6.5.4. Python實現代碼 6.6. 優缺點 …

Segmentation fault (core dumped)

錯誤簡介 出現 “Segmentation fault (core dumped)” 錯誤通常意味著程序訪問了未分配的內存或者越界訪問了已分配內存之外的區域。 段錯誤通常發生在以下情況&#xff1a; 空指針解引用&#xff1a;嘗試對空指針進行操作。內存越界&#xff1a;訪問了超出分配內存邊界的區…

大廠面試官贊不絕口的后端技術亮點【后端項目亮點合集(2)】

本文將持續更新~~ hello hello~ &#xff0c;這里是絕命Coding——老白~&#x1f496;&#x1f496; &#xff0c;歡迎大家點贊&#x1f973;&#x1f973;關注&#x1f4a5;&#x1f4a5;收藏&#x1f339;&#x1f339;&#x1f339; &#x1f4a5;個人主頁&#xff1a;絕命C…

提高論文發表機會:Nature Communications 最新研究教你如何巧妙回復審稿意見

我是娜姐 迪娜學姐 &#xff0c;一個SCI醫學期刊編輯&#xff0c;探索用AI工具提效論文寫作和發表。 對于科研搬磚人來說&#xff0c;在論文投稿過程中&#xff0c;如何有效回復審稿意見才能得到審稿人的認可&#xff0c;一直是一個讓人困惑又帶點玄學的問題。 但是&#xff0c…

vue3 按鈕復制粘貼功能

1.html <div click"copy(item.envelopePassword)" > 復制口令 </div> 2.utils 創建copy.js export const copy (val: string): void > {let { isSuccessRef } useCopyToClipboard(val) as anyif (isSuccessRef) {// 輕提示showNotify("復制…

【強化學習的數學原理】課程筆記--3(蒙特卡洛方法)

目錄 蒙特卡洛方法MC Basic算法sparse reward MC Greedy 算法樣本使用效率MC ? \epsilon ?-Greedy 算法一些例子 蒙特卡洛方法 第二節 推導貝爾曼最優公式中的&#xff1a; q π k ( s , a ) ∑ r P ( r ∣ s , a ) r γ ∑ s ′ P ( s ′ ∣ s , a ) v π k ( s ′ ) q…

vue3 ~ pinia學習

先看兩個圖 一個vuex 一個pinia 根據圖看出來 pinia更簡單了 那么具體怎么操作呢 我們來看下~ 第一步 下載 yarn add pinia # 或者使用 npm npm install pinia 第二步 注冊 創建一個 pinia 實例 (根 store) 并將其傳遞給應用&#xff1a; import { createApp } from v…

代碼隨想錄算法訓練Day57|LeetCode200-島嶼數量、LeetCode695-島嶼的最大面積

島嶼數量 題目描述 力扣200-島嶼數量 給你一個由 1&#xff08;陸地&#xff09;和 0&#xff08;水&#xff09;組成的的二維網格&#xff0c;請你計算網格中島嶼的數量。 島嶼總是被水包圍&#xff0c;并且每座島嶼只能由水平方向和/或豎直方向上相鄰的陸地連接形成。 此…

前端vue后端java使用easyexcel框架下載表格xls數據工具類

一 使用alibaba開源的 easyexcel框架&#xff0c;后臺只需一個工具類即可實現下載 后端下載實現 依賴 pom.xml <dependency><groupId>org.apache.poi</groupId><artifactId>poi</artifactId><version>4.1.2</version></dependen…

MATLAB-分類CPO-RF-Adaboost冠豪豬優化器(CPO)優化RF隨機森林結合Adaboost分類預測(二分類及多分類)

MATLAB-分類CPO-RF-Adaboost冠豪豬優化器&#xff08;CPO&#xff09;優化RF隨機森林結合Adaboost分類預測&#xff08;二分類及多分類&#xff09; 分類CPO-RF-Adaboost冠豪豬優化器&#xff08;CPO&#xff09;優化RF隨機森林結合Adaboost分類預測&#xff08;二分類及多分類…

docker 設置代理,通過代理服務器拉取鏡像

docker 拉取目標鏡像需要通過代理服務器進行時&#xff0c;可以通過為 docker 配置全局代理來實現。 注&#xff1a;Linux 上通過臨時命令 export HTTP_PROXY 設置的代理&#xff0c;對 curl 這些有用&#xff0c;但是對 docker pull 不起作用。 示例 假設您的代理服務器地址是…

Nginx目錄文件作用

查看文件 [rootlocalhost nginx]# pwd /opt/nginx [rootlocalhost nginx]# ll total 4 drwx------ 2 nobody root 6 Jun 6 09:11 client_body_temp drwxr-xr-x 3 root root 4096 Feb 28 14:30 conf drwx------ 2 nobody root 6 Feb 28 14:29 fastcgi_temp drwxr-xr-x…

【web前端HTML+CSS+JS】--- HTML學習筆記01

學習鏈接&#xff1a;黑馬程序員pink老師前端入門教程&#xff0c;零基礎必看的h5(html5)css3移動端前端視頻教程_嗶哩嗶哩_bilibili 學習文檔&#xff1a; Web 開發技術 | MDN (mozilla.org) 一、前后端工作流程 WEB模型&#xff1a;前端用于采集和展示信息&#xff0c;中…

Web漏洞掃描工具AppScan與AWVS測評及使用體驗

AppScan和AWVS業界知名的Web漏洞掃描工具&#xff0c;你是否也好奇到底哪一個能力更勝一籌呢&#xff1f;接下來跟隨博主一探究竟吧。 1. 方案概覽 第一步&#xff1a;安裝一個用于評測的Web漏洞靶場&#xff08;本文采用最知名和最廣泛使用的靶場&#xff0c;即OWASP Benchma…

啥?你沒聽過SpringBoot的FatJar?

寫在最前面&#xff1a; SpringBoot是目前企業里最流行的框架之一&#xff0c;SpringBoot的部署方式多數采用jar包形式。通常&#xff0c;我們使用java -jar便可以直接運行jar文件。普通的jar只包含當前 jar的信息&#xff0c;當內部依賴第三方jar時&#xff0c;直接運行則會報…

robotframework-appiumLibrary 應用 - 實現 app 自動化

1、安裝appiumLibrary第三方庫 運行pip命令&#xff1a;pip install robotframework-appiumlibrary 若已安裝&#xff0c;需要更新版本可以用命令&#xff1a;pip install -U robotframework-appiumlibrary 2、安裝app自動化環境。 參考我的另外一篇專門app自動化環境安裝的…

設計模式探索:策略模式

1. 什么是策略模式&#xff08;Strategy Pattern&#xff09; 定義 策略模式&#xff08;Strategy Pattern&#xff09;的原始定義是&#xff1a;定義一系列算法&#xff0c;將每一個算法封裝起來&#xff0c;并使它們可以相互替換。策略模式讓算法可以獨立于使用它的客戶端而…

打卡第4天----鏈表

通過學習基礎,發現我的基本功還得需要再練練,思路得再更加清晰明了,這樣子做算法題才能駕輕就熟。每天記錄自己的進步。 一、兩兩交換 題目編號:24 題目描述: 給你一個鏈表,兩兩交換其中相鄰的節點,并返回交換后鏈表的頭節點。你必須在不修改節點內部的值的情況下完成本…