什麼是死鎖?如何避免死鎖?

来源:https://www.cnblogs.com/daydreamer-fs/archive/2022/09/28/16739190.html
-Advertisement-
Play Games

概念 線程死鎖描述的是這樣一種情況:多個線程同時被阻塞,它們中的一個或者全部都在等待某個資源被釋放。由於線程被無限期地阻塞,因此程式不可能正常終止。 我和同學都打掃衛生,我拿著掃帚等他的簸箕,他拿著簸箕等我的掃帚 產生條件 互斥條件:同一時刻一線程只能占用一個資源。 同一時刻,我拿著掃帚,他拿著簸箕 ...


概念

線程死鎖描述的是這樣一種情況:多個線程同時被阻塞,它們中的一個或者全部都在等待某個資源被釋放。由於線程被無限期地阻塞,因此程式不可能正常終止。

我和同學都打掃衛生,我拿著掃帚等他的簸箕,他拿著簸箕等我的掃帚

產生條件

  1. 互斥條件:同一時刻一線程只能占用一個資源。

    • 同一時刻,我拿著掃帚,他拿著簸箕。

  2. 請求與保持:一個線程因請求資源而阻塞時,對已獲得的資源保持不放。

    • 我在等他的簸箕,但我不會讓出我的掃帚

  3. 不可剝奪:已獲得的資源在為使用完時,其他線程不能強行剝奪。

    • 我拿著掃帚,但是我不能去強搶他拿的簸箕

  4. 迴圈等待

    • 我拿著掃帚等他的簸箕,他拿著簸箕等我的掃帚,形成閉環

如何避免

打破產生條件即可

  1. 破壞 互斥條件:無法被破壞,因為鎖就是通過互斥來解決線程安全問題
  2. 破壞 請求與保持條件:一次申請所有需要的資源
  3. 破壞 不可剝奪條件:如果線程已占用部分資源,且他還要申請其他資源,如果申請不到,就主動釋放它自己占有的資源
  4. 破壞 迴圈等待條件:按照順序申請資源,釋放資源則逆序

參考:JavaGuid


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

-Advertisement-
Play Games
更多相關文章
  • 當前,全球汽車產業正在經歷從傳統工業向數字化轉型的大變革,智能化、數字化、信息化正在成為汽車電子行業轉型發展的必由之路。“軟體定義汽車”(Software Defined Vehicles,SDV)概念的提出,說明軟體在汽車產品中承擔的角色越來越重要。隨著汽車軟體的量級和複雜度不斷提高,汽車廠商對嵌 ...
  • 一、背景 使用SpringWebFlux的WebFilter時,由於不熟悉或一些思考疏忽,容易出現未知的異常。記錄一下排查與解決方案,給大家分享一下。 二、問題 2.1 問題描述 在測試介面方法時,出現的錯誤信息如下(對一些項目路徑做了修改): java.lang.IllegalStateExcep ...
  • 我們知道,要對數據求和,寫sql很簡單:select sum(exp) from table_name我們在用mybatisplus做求和計算的時候,mybatisplus的Wrapper不支持sum函數。這種情況下,我們就無法使用lambda表達式了,只能以字元串的形式寫"sum(xxx)", l ...
  • nacos 依賴 mysql 先安裝mysql ,這裡使用的是8+版本,原因在於原本的 5.7 版本中並沒有對 m1 的良好支持,如果啟動會有報錯說查詢不到對應版本信息(雖然可以通過自定義 mirror 實現) mysql 配置參考(docker-compose): mysql: image: my ...
  • 參考自《硬體架構的藝術》。 思路:產生具有50%占空比的奇數分頻時鐘,最簡單的方式是以期望輸出頻率的一半(即輸出周期的兩倍)生成兩個正交相位時鐘,這兩個正交時鐘之間有90°的相位差(即相差四分之一個周期),然後將這兩個時鐘異或,就得到了奇數的50%占空比時鐘。 本次內容針對的是3分頻。具體的思路按照 ...
  • 在內核編程中字元串有兩種格式`ANSI_STRING`與`UNICODE_STRING`,這兩種格式是微軟推出的安全版本的字元串結構體,也是微軟推薦使用的格式,通常情況下`ANSI_STRING`代表的類型是`char *`也就是ANSI多位元組模式的字元串,而`UNICODE_STRING`則代表的... ...
  • 2.Class類 2.1基本介紹 Class類也是類,因此也繼承Object類 Class類對象不是new出來的,而是系統創建的 對於某個類的Class類對象,在記憶體中只有一份,因為類只載入一次 每個類的實例都會記得自己是由哪個Class實例所生成 通過Class對象可以得到一個類的完整結構(通過一 ...
  • 綜述下關鍵點,代碼規範檢查基本原理可以基於AST語法樹來進行實現;AST結合Xpath可以方便進行相關規範規則的編寫;通過 PMD-Designer 能可視化的幫助我們實現 XPath 的相關代碼規範規則以及驗證相關規則;給出了一個例子... ...
一周排行
    -Advertisement-
    Play Games
  • 概述:在C#中,++i和i++都是自增運算符,其中++i先增加值再返回,而i++先返回值再增加。應用場景根據需求選擇,首碼適合先增後用,尾碼適合先用後增。詳細示例提供清晰的代碼演示這兩者的操作時機和實際應用。 在C#中,++i 和 i++ 都是自增運算符,但它們在操作上有細微的差異,主要體現在操作的 ...
  • 上次發佈了:Taurus.MVC 性能壓力測試(ap 壓測 和 linux 下wrk 壓測):.NET Core 版本,今天計劃準備壓測一下 .NET 版本,來測試並記錄一下 Taurus.MVC 框架在 .NET 版本的性能,以便後續持續優化改進。 為了方便對比,本文章的電腦環境和測試思路,儘量和... ...
  • .NET WebAPI作為一種構建RESTful服務的強大工具,為開發者提供了便捷的方式來定義、處理HTTP請求並返迴響應。在設計API介面時,正確地接收和解析客戶端發送的數據至關重要。.NET WebAPI提供了一系列特性,如[FromRoute]、[FromQuery]和[FromBody],用 ...
  • 原因:我之所以想做這個項目,是因為在之前查找關於C#/WPF相關資料時,我發現講解圖像濾鏡的資源非常稀缺。此外,我註意到許多現有的開源庫主要基於CPU進行圖像渲染。這種方式在處理大量圖像時,會導致CPU的渲染負擔過重。因此,我將在下文中介紹如何通過GPU渲染來有效實現圖像的各種濾鏡效果。 生成的效果 ...
  • 引言 上一章我們介紹了在xUnit單元測試中用xUnit.DependencyInject來使用依賴註入,上一章我們的Sample.Repository倉儲層有一個批量註入的介面沒有做單元測試,今天用這個示例來演示一下如何用Bogus創建模擬數據 ,和 EFCore 的種子數據生成 Bogus 的優 ...
  • 一、前言 在自己的項目中,涉及到實時心率曲線的繪製,項目上的曲線繪製,一般很難找到能直接用的第三方庫,而且有些還是定製化的功能,所以還是自己繪製比較方便。很多人一聽到自己畫就害怕,感覺很難,今天就分享一個完整的實時心率數據繪製心率曲線圖的例子;之前的博客也分享給DrawingVisual繪製曲線的方 ...
  • 如果你在自定義的 Main 方法中直接使用 App 類並啟動應用程式,但發現 App.xaml 中定義的資源沒有被正確載入,那麼問題可能在於如何正確配置 App.xaml 與你的 App 類的交互。 確保 App.xaml 文件中的 x:Class 屬性正確指向你的 App 類。這樣,當你創建 Ap ...
  • 一:背景 1. 講故事 上個月有個朋友在微信上找到我,說他們的軟體在客戶那邊隔幾天就要崩潰一次,一直都沒有找到原因,讓我幫忙看下怎麼回事,確實工控類的軟體環境複雜難搞,朋友手上有一個崩潰的dump,剛好丟給我來分析一下。 二:WinDbg分析 1. 程式為什麼會崩潰 windbg 有一個厲害之處在於 ...
  • 前言 .NET生態中有許多依賴註入容器。在大多數情況下,微軟提供的內置容器在易用性和性能方面都非常優秀。外加ASP.NET Core預設使用內置容器,使用很方便。 但是筆者在使用中一直有一個頭疼的問題:服務工廠無法提供請求的服務類型相關的信息。這在一般情況下並沒有影響,但是內置容器支持註冊開放泛型服 ...
  • 一、前言 在項目開發過程中,DataGrid是經常使用到的一個數據展示控制項,而通常表格的最後一列是作為操作列存在,比如會有編輯、刪除等功能按鈕。但WPF的原始DataGrid中,預設只支持固定左側列,這跟大家習慣性操作列放最後不符,今天就來介紹一種簡單的方式實現固定右側列。(這裡的實現方式參考的大佬 ...