樂觀鎖和悲觀鎖的一個例子

来源:https://www.cnblogs.com/zgq25302111/archive/2019/12/14/12039641.html
-Advertisement-
Play Games

想象一下你馬上出發要去一家餐廳吃飯,但是你去之前不確定會不會滿桌,你又不想排號。這時的你會有兩個選擇,如果你是個樂觀的人,內心戲可能會是「管他的,去了再說,大不了沒座就回來」。反之,如果你是一個悲觀的人,可能會先打個電話預約一下,先確認下肯定有座,同時交點定金讓餐廳預留好這個座位,這樣就可以直接去了 ...


  想象一下你馬上出發要去一家餐廳吃飯,但是你去之前不確定會不會滿桌,你又不想排號。這時的你會有兩個選擇,如果你是個樂觀的人,內心戲可能會是「管他的,去了再說,大不了沒座就回來」。反之,如果你是一個悲觀的人,可能會先打個電話預約一下,先確認下肯定有座,同時交點定金讓餐廳預留好這個座位,這樣就可以直接去了。
  上面這個例子很直觀的對應了兩種事務模型的行為,樂觀事務模型就是直接提交,遇到衝突就回滾,悲觀事務模型就是在真正提交事務前,先嘗試對需要修改的資源上鎖,只有在確保事務一定能夠執行成功後,才開始提交。
理解了上面的例子後,樂觀事務和悲觀事務的優劣就很好理解了。對於樂觀事務模型來說,比較適合衝突率不高的場景,因為直接提交(“直接去餐廳”)大概率會成功(“餐廳有座”),衝突(“餐廳無座”)的是小概率事件,但是一旦遇到事務衝突,回滾(回來)的代價會比較大。悲觀事務的好處是對於衝突率高的場景,提前上鎖(“打電話交定金預約”)的代價小於事後回滾的代價,而且還能以比較低的代價解決多個併發事務互相衝突、導致誰也成功不了的場景。

  再次解釋背後思想:

  常規的鎖是先互斥,再修改數據。不管是不是發生了衝突,我們都會先做互斥。但樂觀鎖不同,它是先計算出所有修改的數據,然後最後一步統一提交修改。提交時會進行衝突檢查,如果沒有衝突,也就是說,在我之前沒有人提交過新版本,或者雖然有人提交過新版本,但是修改的數據和我所依賴的數據並不相關,那麼提交會成功。否則就是發生了衝突,會放棄本次修改。

為什麼要用樂觀鎖?至少它讓鎖資料庫的粒度降到最低,判斷衝突的邏輯也都是可預期的行為,這就避免了出現死鎖的可能。我們很容易可以推理得知,在所有並行執行的事務中,必然有一個事務的提交會成功。這樣就避免了饑餓(永遠都沒人可以成功)。

 

reference:

1.  https://pingcap.com/blog-cn/pessimistic-transaction-the-new-features-of-tidb/

2. 許式偉架構課


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

-Advertisement-
Play Games
更多相關文章
  • 太極圖繪製 ~~~javascript TaiChi ~~~ ...
  • 覆選框全選/全部選 ~~~javascript 你愛好的運動是什麼?全選/全不選 足球 籃球 羽毛球 乒乓球 ~~~ 你愛好的運動是什麼?全選/全不選 足球 籃球 羽毛球 乒乓球 ...
  • 前言 在前文中,我說過本系列文章的受眾是在現代前端體系下能夠熟練編寫業務代碼的同學,因此本文在介紹 webpack 配置時,僅提及構建一個庫所特有的配置,其餘配置請參考 webpack 官方文檔。 輸出產物 構建一個庫與構建一個一般應用最大的不同點在於 構建完成後輸出的產物 。 一般應用構建完成後會 ...
  • 參考 https://www.w3cschool.cn/css/css-boxmodel.html https://blog.csdn.net/zengyonglan/article/details/53301146 CSS 盒子模型(Box Model) 盒子模型 ("box model")是CS ...
  • "聊聊分散式事務,再說說解決方案" "分散式事務CAP理解論證 解決方案" "分散式系統的2PC、3PC詳細分析" "github tcc示例" "分散式事務、重覆消費、順序消費" 一、理論 CAP相關: CAP與BASE相關: "我的博客" 而對於分散式中的問題的解決方案,CAP原則出現,描述如下 ...
  • 職責鏈模式 定義 使多個對象都有機會處理請求,從而避免請求的發送者和接收者之間的耦合關係。將這個對象連成一條鏈,並沿著這條鏈傳遞該請求,直到有一個對象處理它為止。 UML圖 好處 當客戶提交一個請求時,請求是沿鏈傳遞直至有一個 ConcreteHandler 對象負責處理它 接收者和發送者都沒有對方 ...
  • 舉個慄子 路邊攤吃燒烤,老闆只有一人,又要記住點單,又要忙著收費,客戶做什麼都要排隊。。。 反例思路1 如果客戶多了,請求多,就容易混亂,他叫五串羊肉串,你叫三個烤雞翅,老闆哪裡忙得過來。代碼中的體現就是一句一句輸出,所以應該要有個服務員。。。 門面改造 Talk is cheap, show me ...
  • 舉個慄子 在M和N兩種品牌的手機裡面各做通訊錄和游戲兩種軟體。前提:M和N手機之間不通用。 反例思路1 以手機品牌為主體,各自實現軟體。 反例思路2 以手機軟體為主體,各自適配品牌。 弊端說明 對象的繼承關係是在編譯時就定義好了,所以無法在運行時改變從父類繼承的實現。 子類的實現與它的父類有非常緊密 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...