golang中關於死鎖的思考與學習

来源:https://www.cnblogs.com/huageyiyangdewo/archive/2023/03/18/17231337.html
-Advertisement-
Play Games

1:將兩個列表合併成一個字典 假設我們在 Python 中有兩個列表,我們希望將它們合併為字典形式,其中一個列表的項作為字典的鍵,另一個作為值。這是在用 Python 編寫代碼時經常遇到的一個非常常見的問題 但是為瞭解決這個問題,我們需要考慮幾個限制,比如兩個列表的大小,兩個列表中元素的類型,以及其 ...


1、Golang中死鎖的觸發條件

1.1 書上關於死鎖的四個必要條件的講解

發生死鎖時,線程永遠不能完成,系統資源被阻礙使用,以致於阻止了其他作業開始執行。在討論處理死鎖問題的各種方法之前,我們首先深入討論一下死鎖特點。

必要條件:

如果在一個系統中以下四個條件同時成立,那麼就能引起死鎖:

  1. 互斥:至少有一個資源必須處於非共用模式,即一次只有一個線程可使用。如果另一線程申請該資源,那麼申請線程應等到該資源釋放為止。
  2. 占有並等待:—個線程應占有至少一個資源,並等待另一個資源,而該資源為其他線程所占有。
  3. 非搶占:資源不能被搶占,即資源只能被線程在完成任務後自願釋放。
  4. 迴圈等待:有一組等待線程 {P0,P1,…,Pn},P0 等待的資源為 P1 占有,P1 等待的資源為 P2 占有,……,Pn-1 等待的資源為 Pn 占有,Pn 等待的資源為 P0 占有。

我們強調所有四個條件必須同時成立才會出現死鎖。迴圈等待條件意味著占有並等待條件,這樣四個條件並不完全獨立。

圖示例:

線程1、線程2都嘗試獲取對方未釋放的資源,從而會一直阻塞,導致死鎖發生。

1.2 Golang 死鎖的觸發條件

看完了書上關於死鎖的介紹,感覺挺清晰的,但是實際上到了使用或者看代碼時,自己去判斷是否會發生死鎖卻是模模糊糊的,難以準確判斷出來。所以特意去網上找了些資料學習,特此記錄。

golang中死鎖的觸發條件:

死鎖是當 Goroutine 被阻塞而無法解除阻塞時產生的一種狀態。註意:for 死迴圈不能算在這裡,雖然空for迴圈是實現了阻塞的效果,但是實際上goroutine是處於運行狀態的。

1.3 golang 中阻塞的場景

1.3.1 sync.Mutex、sync.RWMutex

golang中的鎖是不可重入鎖,對已經上了鎖的寫鎖,再次申請鎖是會報死鎖。上了讀鎖的鎖,再次申請寫鎖會報死鎖,而申請讀鎖不會報錯。

寫寫衝突,讀寫衝突,讀讀不衝突。

func main() {
	var lock sync.Mutex
	lock.Lock()
	lock.Lock()
}   
//報死鎖錯誤
func main() {
	var lock sync.RWMutex
	lock.RLock()
	lock.Lock()
}
//報死鎖錯誤
func main() {
	var lock sync.RWMutex
	lock.RLock()
	lock.RLock()
}
//正常執行
1.3.2 sync.WaitGroup

一個不會減少的 WaitGroup 會永久阻塞。

func main() {
	var wg sync.WaitGroup
	wg.Add(1)
	wg.Wait()
  //報死鎖錯誤
}
1.3.3 空 select

空 select 會一直阻塞。

package main

func main() {
	select {
	
	}
}
//報死鎖錯誤
1.3.4 channel

為 nil 的channel 發送、接受數據都會阻塞。

func main() {
	var ch chan struct{}
	ch <- struct{}{}
}
//報死鎖錯誤

無緩衝的channel 發送、接受數據都會阻塞。

func main() {
	ch := make(chan struct{})
	<- ch
}
//報死鎖錯誤

channel 緩衝區滿了的,繼續發送數據會阻塞。

2、死鎖案例講解

2.1 案例一:空 select{}

package main

func main() {
	select {
	
	}
}

以上面為例子,select 語句會 造成 當前 goroutine 阻塞,但是卻無法解除阻塞,所以會導致死鎖。

2.2 案例二:從無緩衝的channel接受、發送數據

func main() {
	ch := make(chan struct{})
	//ch <- struct{}{} //發送
	<- ch //接受
	fmt.Println("main over!")
}

發生原因:

上面創建了一個 名為:ch 的channel,沒有緩衝空間。當向無緩存空間的channel 發送或者接受數據時,都會阻塞,但是卻無法解除阻塞,所以會導致死鎖。

解決方案:邊接受邊讀取

package main
 
// 方式1
func recv(c chan int) {
	ret := <-c
	fmt.Println("接收成功", ret)
}
func main() {
	ch := make(chan int)
	go recv(ch) // 啟用goroutine從通道接收值
	ch <- 10
	fmt.Println("發送成功")
}
 
// 方式2
func main() {
   ch := make(chan int,1)
   ch<-1
   println(<-ch)
}

2.3 案例三:從空的channel中讀取數據

package main

import (
	"fmt"
	"time"
)

func request(index int,ch chan<- string)  {
	time.Sleep(time.Duration(index)*time.Second)
	s := fmt.Sprintf("編號%d完成",index)
	ch <- s
}

func main() {
	ch := make(chan string, 10)
	fmt.Println(ch,len(ch))

	for i := 0; i < 4; i++ {
		go request(i, ch)
	}

	for ret := range ch{ //當 ch 中沒有數據的時候,for range ch 會發生阻塞,但是無法解除阻塞,發生死鎖
		fmt.Println(len(ch))
		fmt.Println(ret)
	}
}

發生原因:

當 ch 中沒有數據的時候,就是從空的channel中接受數據,for range ch 會發生阻塞,但是無法解除阻塞,發生死鎖。

解決辦法:當數據發送完了過後,close channel

package main

import (
	"fmt"
	"sync"
	"time"
)

var wg sync.WaitGroup

func request(index int,ch chan<- string)  {
	time.Sleep(time.Duration(index)*time.Second)
	s := fmt.Sprintf("編號%d完成",index)
	ch <- s

	wg.Done()
}

func main() {
	ch := make(chan string, 10)
	for i := 0; i < 4; i++ {
		wg.Add(1)
		go request(i, ch)
	}

	go func() {
		wg.Wait()
		close(ch)
	}()

	LOOP:
		for {
			select {
			case i,ok := <-ch: // select會一直等待,直到某個case的通信操作完成時,就會執行case分支對應的語句
        if !ok {
          break LOOP
        }
				println(i)
			default:
				time.Sleep(time.Second)
				fmt.Println("無數據")
			}
		}
}

2.4 案例四:給滿了的channel發送數據

func main() {
	ch := make(chan struct{}, 3)

	for i := 0; i < 4; i++ {
		ch <- struct{}{}
	}
}

發生原因:

ch 是一個帶緩衝的channel,但是只能緩衝三個struct,當channel滿了過後,繼續往channel發送數據會阻塞,但是無法解除阻塞,發生死鎖。

解決辦法:讀取channel中的數據

package main

import (
	"fmt"
	"sync"
	"time"
)

var wg sync.WaitGroup

func main() {
	ch := make(chan struct{}, 3)
	
	go func() {

		for {
			select {
			case i, ok := <- ch:
				wg.Done()
				fmt.Println(i)
				if !ok {
					return
				}
			}
		}
	}()

	for i := 0; i < 4; i++ {
		wg.Add(1)
		ch <- struct{}{}
	}

	wg.Wait()
}

3、總結

最重要的是記住golang中死鎖的觸發條件:當 goroutine 發生阻塞,但是無法解除阻塞狀態時,就會發生死鎖。然後在使用或者閱讀代碼時,再根據具體情況進行分析。

channel異常情況總結:

註意:對已經關閉的channel再次關閉,也會發生panic。

以上就是我對死鎖的思考,有不對的地方懇請指出,謝謝。


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

-Advertisement-
Play Games
更多相關文章
  • 工作中會遇到需要監控程式運行過程數據的情況,比如定時執行監控的cmd並記錄執行結果,本文提供一種實現方式,便於後續排查問題。 ...
  • 本文講述了我排查「Hyperf 註解失效」問題的過程,整個排查過程看似一氣呵成,但實際上要曲折得多,甚至一度覺得這是個玄學問題。 ...
  • SpringBoot之靜態資源訪問&REST風格請求 1.SpringBoot靜態資源訪問 1.1基本介紹 只要靜態資源是放在類路徑下的:/static、/public、/resources、/META-INF/resources,則可以直接被訪問。根據是: SpringBoot在啟動的時候會去解析 ...
  • 遞歸 引入 什麼是遞歸?先看大家都熟悉的一個民間故事:從前有座山,山上有座廟,廟裡有一個老和尚在給小和尚講故事,故事里說,從前有座山,山上有座廟,廟裡有一個老和尚在給小和尚講故事,故事里說……。象這樣,一個對象部分地由它自己組成,或者是按它自己定義,我們稱之為遞歸。 一個函數、過程、概念或數學結構, ...
  • Maven Maven是apache軟體基金會旗下的一個開源項目,是一款用於管理和構建Java項目的工具。 Maven的作用? 先來簡單介紹一下Maven的作用 (1)依賴管理 方便快捷的管理項目依賴的資源(就是咱們常說的jar包),避免一些版本衝突。 方便快捷的把jar包通過Maven的指定格式引 ...
  • Python是一種高級編程語言,它用於通用編程,由Guido van Rossum 在1991年首次發佈。Python 的設計著重於代碼的可讀性。 Python有一個非常大的標準庫,並且有一個動態類型系統,它還具有自動記憶體管理功能,支持多種編程範例。這些包括: ● 面向對象 ● 命令式 ● 函數式 ...
  • 剛開始使用eclipse軟體學習Java時,發現它的工具欄的圖標實在是太小了,怎麼解決呢? 你開始打開瀏覽器,在搜索欄中敲入“eclipse的工具欄的圖標太小怎麼辦?”,瀏覽了很多的方法,然後發現一個帖子上寫的方法很簡單(如下圖), 按照它的方法操作,發現圖標的大小問題解決了,但是卻出現了一個更大的 ...
  • 前言 在我們實際工作過程中,往往會將大的任務劃分成幾個小的子任務,待所有子任務完成之後,再整合出大任務的結果.(例如: 新增直播課的場景),任務的性質通常是多種多樣的,這裡列舉一些任務的常見性質. 從資源使用的角度: CPU密集型 (枚舉素數) I/O密集型 (文件上傳下載) 從執行過程的角度: 依 ...
一周排行
    -Advertisement-
    Play Games
  • 1、預覽地址:http://139.155.137.144:9012 2、qq群:801913255 一、前言 隨著網路的發展,企業對於信息系統數據的保密工作愈發重視,不同身份、角色對於數據的訪問許可權都應該大相徑庭。 列如 1、不同登錄人員對一個數據列表的可見度是不一樣的,如數據列、數據行、數據按鈕 ...
  • 前言 上一篇文章寫瞭如何使用RabbitMQ做個簡單的發送郵件項目,然後評論也是比較多,也是準備去學習一下如何確保RabbitMQ的消息可靠性,但是由於時間原因,先來說說設計模式中的簡單工廠模式吧! 在瞭解簡單工廠模式之前,我們要知道C#是一款面向對象的高級程式語言。它有3大特性,封裝、繼承、多態。 ...
  • Nodify學習 一:介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二:添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 介紹 Nodify是一個WPF基於節點的編輯器控制項,其中包含一系列節點、連接和連接器組件,旨在簡化構建基於節點的工具的過程 ...
  • 創建一個webapi項目做測試使用。 創建新控制器,搭建一個基礎框架,包括獲取當天日期、wiki的請求地址等 創建一個Http請求幫助類以及方法,用於獲取指定URL的信息 使用http請求訪問指定url,先運行一下,看看返回的內容。內容如圖右邊所示,實際上是一個Json數據。我們主要解析 大事記 部 ...
  • 最近在不少自媒體上看到有關.NET與C#的資訊與評價,感覺大家對.NET與C#還是不太瞭解,尤其是對2016年6月發佈的跨平臺.NET Core 1.0,更是知之甚少。在考慮一番之後,還是決定寫點東西總結一下,也回顧一下.NET的發展歷史。 首先,你沒看錯,.NET是跨平臺的,可以在Windows、 ...
  • Nodify學習 一:介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二:添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 添加節點(nodes) 通過上一篇我們已經創建好了編輯器實例現在我們為編輯器添加一個節點 添加model和viewmode ...
  • 前言 資料庫併發,數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候,這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰,隨著SQL字數的變多,用到的嵌套和複雜語法增加,可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...
  • 類型檢查和轉換:當你需要檢查對象是否為特定類型,並且希望在同一時間內將其轉換為那個類型時,模式匹配提供了一種更簡潔的方式來完成這一任務,避免了使用傳統的as和is操作符後還需要進行額外的null檢查。 複雜條件邏輯:在處理複雜的條件邏輯時,特別是涉及到多個條件和類型的情況下,使用模式匹配可以使代碼更 ...
  • 在日常開發中,我們經常需要和文件打交道,特別是桌面開發,有時候就會需要載入大批量的文件,而且可能還會存在部分文件缺失的情況,那麼如何才能快速的判斷文件是否存在呢?如果處理不當的,且文件數量比較多的時候,可能會造成卡頓等情況,進而影響程式的使用體驗。今天就以一個簡單的小例子,簡述兩種不同的判斷文件是否... ...
  • 前言 資料庫併發,數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候,這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰,隨著SQL字數的變多,用到的嵌套和複雜語法增加,可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...