golang中的鎖競爭問題

来源:https://www.cnblogs.com/liuyuede123/archive/2022/10/27/16834425.html
-Advertisement-
Play Games

簡述 提取演算法中不變的部分封裝成方法,變化的部分延遲到子類。 延遲到子類 這個說法在學習設計模式的時候經常出現,實際就是利用多態在子類中重寫方法,使得實行時根據實例的類型調用不同的方法。 話不多說,看個案例。 優化案例 最初版v0 連接資料庫我們有很多種方式,JDBC、JNDI、ODBC等等。下麵是 ...


索引:https://www.waterflow.link/articles/1666884810643

當我們列印錯誤的時候使用鎖可能會帶來意想不到的結果。

我們看下麵的例子:

package main

import (
	"fmt"
	"sync"
)

type Courseware struct {
	mutex sync.RWMutex
	Id    int64
	Code   string
	Duration int
}

func (c *Courseware) UpdateDuration(duration int) error {
	c.mutex.Lock() // 1
	defer c.mutex.Unlock()

	if duration < 60 {
		return fmt.Errorf("課件時長必須大於等於60秒: %v", c) // 2
	}

	c.Duration = duration
	return nil
}

// 3
func (c *Courseware) String() string {
	c.mutex.RLock()
	defer c.mutex.RUnlock()
	return fmt.Sprintf("id %d, duration %d", c.Id, c.Duration)
}


func main() {
	c := &Courseware{}
	fmt.Println(c.UpdateDuration(0))
}

上面的代碼看起來貌似沒有什麼問題,但是卻會導致死鎖:

  1. 更新課件時長的時候上鎖,避免出現數據競爭
  2. 判斷如果時長小於60秒的話,就報錯。但是註意這裡fmt.Errorf列印結構c會調用String()方法
  3. 我們看String方法裡面,又使用了讀鎖,避免讀取的時候數據被更新

因為對臨界資源重覆上鎖,所以導致了死鎖的問題。解決辦法也很簡單:

  • 把鎖放到錯誤判斷之後:

    func (c *Courseware) UpdateDuration(duration int) error {
    
    	if duration < 60 {
    		return fmt.Errorf("課件時長必須大於等於60秒: %v", c) // 2
    	}
    
      c.mutex.Lock() 
    	defer c.mutex.Unlock()
    
    	c.Duration = duration
    	return nil
    }
    
  • 不使用String方法,避免重覆上鎖:

    package main
    
    import (
    	"fmt"
    	"sync"
    )
    
    type Courseware struct {
    	mutex sync.RWMutex
    	Id    int64
    	Code   string
    	Duration int
    }
    
    func (c *Courseware) UpdateDuration(duration int) error {
    	c.mutex.Lock() 
    	defer c.mutex.Unlock()
    
    	if duration < 60 {
    		return fmt.Errorf("課件時長必須大於等於60秒: %d, id: %d", c.Duration, c.Id) // 列印放在一個鎖裡面也能保證安全
    	}
    
    	c.Duration = duration
    	return nil
    }
    
    
    func main() {
    	c := &Courseware{}
    	fmt.Println(c.UpdateDuration(0))
    }
    
    go  run  10.go
    課件時長必須大於等於60秒: 0, id: 0
    

我們再看一個切片的例子:

package main

import (
	"fmt"
)


func main() {
	s := make([]int, 1)

	go func() {
		s1 := append(s, 1)
		fmt.Println(s1)
	}()

	go func() {
		s2 := append(s, 1)
		fmt.Println(s2)
	}()
}

我們初始化了一個長度為1,容量為1的切片,然後分別在2個協程裡面調用append往切片追加元素。這種情況會導致數據競爭麽?

答案是不會。在其中一個協程裡面,當我們append元素的時候,因為s的容量為1,所以底層會複製一個新的數組;同樣另一個協程也是如此。

go  run -race 10.go
[0 1]
[0 1]

註意:這裡的關鍵就是,兩個協程是否會同時訪問一個記憶體空間,這時導致數據競爭的關鍵。

我們稍微修改下上面的例子:

package main

import (
	"fmt"
)


func main() {
	s := make([]int, 1, 10) // 1

	go func() {
		s1 := append(s, 1)
		fmt.Println(s1)
	}()

	go func() {
		s2 := append(s, 1)
		fmt.Println(s2)
	}()
}
  1. 我們給s加了一個足夠大的容量
go  run -race 10.go
[0 1]
==================
WARNING: DATA RACE
Write at 0x00c0000c0008 by goroutine 8:
  main.main.func2()
...

可以看到這就產生了數據競爭的問題。因為s的容量足夠大,所以兩個協程有可能操作同一個底層數組的同一塊記憶體。

解決辦法也很簡單,重新copy一個s就行了。

下麵我們繼續看一個map的例子:

package main

import (
	"strconv"
	"sync"
	"time"
)

// 1
type User struct {
	mu       sync.RWMutex
	online map[string]bool
}

// 2
func (u *User) AddOnline(id string) {
	u.mu.Lock()
	u.online[id] = true
	u.mu.Unlock()
}

// 3
func (u *User) AllOnline() int {
	u.mu.RLock()
	online := u.online // 4
	u.mu.RUnlock()

	sum := 0
	for _, o := range online { // 5
		if o {
			sum++
		}
	}
	return sum
}

func main() {
	u := &User{}
	u.online = make(map[string]bool)

	go func() {
		for i := 0; i < 10000; i++ {
			u.AddOnline("userid" + strconv.Itoa(i))
		}
	}()

	go func() {
		for i := 0; i < 10000; i++ {
			u.AllOnline()
		}
	}()

	time.Sleep(time.Second)
}
  1. 我們有一個用戶的機構,裡面有個online欄位是一個map,裡面保存了線上的用戶信息
  2. 我們有一個添加線上用戶的方法AddOnline,方法裡面使用了鎖,是因為map是併發不安全的
  3. 我們還有一個統計所有線上用戶的方法AllOnline
  4. 在AllOnline中,我們訪問u.online的map,我們加上了讀鎖。這裡的想法是訪問當前線上用戶的map,並賦值給online,然後釋放讀鎖
  5. 遍歷賦值的online查出線上用戶的數量

可能我們覺得這個是沒問題的,但是當我們運行程式的時候會發現這裡存在數據競爭:

go  run -race 10.go
==================
WARNING: DATA RACE
Write at 0x00c0000a0060 by goroutine 6:
  runtime.mapassign_faststr()

...

==================
fatal error: concurrent map iteration and map write

這是因為,在map內部,是hmap結構,主要包含元數據(例如,計數器)和引用數據桶的指針。 因此,online := u.online 不會複製實際數據,而是複製的指針,實際操作的還是同一片記憶體。

解決這個問題也不難:

  • 我們可以把鎖的範圍擴大,像下麵這樣:

    func (u *User) AllOnline() int {
    	u.mu.RLock()
    	defer u.mu.RUnlock()
    	online := u.online
    
    	sum := 0
    	for _, o := range online {
    		if o {
    			sum++
    		}
    	}
    	return sum
    }
    
  • 另一種方法就是複製一個副本出來,像上面我們說的切片一樣:

    func (u *User) AllOnline() int {
    	u.mu.RLock()
    	online := make(map[string]bool, len(u.online))
    	for s, b := range u.online {
    		online[s] = b
    	}
    	u.mu.RUnlock()
    
    	sum := 0
    	for _, o := range online {
    		if o {
    			sum++
    		}
    	}
    	return sum
    }
    

上面的例子中我們使用了*User定義了2個方法:

func (u *User) AddOnline(id string) {
	u.mu.Lock()
	u.online[id] = true
	u.mu.Unlock()
}

func (u *User) AllOnline() int {
	u.mu.RLock()
	online := make(map[string]bool, len(u.online))
	for s, b := range u.online {
		online[s] = b
	}
	u.mu.RUnlock()

	sum := 0
	for _, o := range online {
		if o {
			sum++
		}
	}
	return sum
}

我現在我們稍微修改下上面的列子:

package main

import (
	"strconv"
	"sync"
	"time"
)

type User struct {
	mu       sync.RWMutex
	online map[string]bool
}

func (u User) AddOnline(id string) {
	u.mu.Lock()
	u.online[id] = true
	u.mu.Unlock()
}

func (u User) AllOnline() int {
	u.mu.RLock()
	online := make(map[string]bool, len(u.online))
	for s, b := range u.online {
		online[s] = b
	}
	u.mu.RUnlock()

	sum := 0
	for _, o := range online {
		if o {
			sum++
		}
	}
	return sum
}

func main() {
	u := User{}
	u.online = make(map[string]bool)

	go func() {
		for i := 0; i < 10000; i++ {
			u.AddOnline("userid" + strconv.Itoa(i))
		}
	}()

	go func() {
		for i := 0; i < 10000; i++ {
			u.AllOnline()
		}
	}()

	time.Sleep(time.Second)
}

現在我們直接使用User結構體定義這兩個方法,但是當我們執行程式的時候,報了數據競爭的錯誤:

go  run -race 10.go
==================
WARNING: DATA RACE
Read at 0x00c00011e060 by goroutine 7:
  main.User.AllOnline()

這個又是什麼原因造成的呢?這是因為,當我門使用User作為參數時,直接複製了User的副本,因此sync.RWMutex也會被覆制。

因為鎖被覆制了,所以對於同一個臨界資源,處於不同鎖的讀寫操作可以同時訪問。


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

-Advertisement-
Play Games
更多相關文章
  • 上文 《Vitepress搭建組件庫文檔(上)—— 基本配置》已經討論了 vitepress 搭建組件庫文檔的基本配置,包括站點 Logo、名稱、首頁 *home* 佈局、頂部導航、左側導航等。本文進入最重要的部分 —— 如何像 *Element Plus* 那樣一遍代碼就可以展示組件的效果和源代碼... ...
  • 背景 最近在公司內部進行一個引導配置系統的開發中,需要實現一個多圖輪播的功能。到這時很多同學會說了,“那你直接用swiper不就好了嗎?”。但其實是,因為所有引導的展示都是作為npm依賴的形式來進行插入的,所以我們想要做的就是:儘量減少外部依賴以及包的體積。所以,我們開始了手擼簡易版swiper之路 ...
  • 在 CSS 中,漸變(Gradient)可謂是最為強大的一個屬性之一。 但是,經常有同學在使用漸變的過程中會遇到漸變圖形產生的鋸齒問題。 何為漸變鋸齒? 那麼,什麼是漸變圖形產生的鋸齒呢? 簡單的一個 DEMO: <div></div> div { width: 500px; height: 100 ...
  • 一、瀏覽器本地存儲方式及使用場景 1.Cookie 概念:Cookie是最早被提出來的本地存儲方式,在此之前,服務端是無法判斷網路中的兩個請求是否是同一用戶發起的,為解決這個問題,Cookie就出現了。Cookie的大小隻有4kb,它是一種純文本文件,每次發起HTTP請求都會攜帶Cookie。 特性 ...
  • 表格基本不使用了,用列表來代替,表格緩存太慢,列表是一列一列緩衝的 密碼里將預設的type類型test換成password(密碼),可以隱藏輸入的密碼 單選框 type更改後,預設的框發生變化,radio是小圓圈,如上圖,兩個radio之間如果沒有聯繫的話不能實現單選,就是可以同時選,為了滿足單選需 ...
  • 不論是開發人員還是架構師,我們都一直在跟軟體系統打交道,架構是在工作中出現最頻繁的術語之一。那麼,到底什麼是架構?你可能有自己的答案,也有可能沒有答案。對“架構”的理解需要我們不斷在實踐中思考、歸納、演繹,形成自己的認知。 1 到底什麼是軟體架構 ? 定義 ”架構是什麼“ 是件非常困難的事情,不同的 ...
  • 您好,我是湘王,這是我的博客園,歡迎您來,歡迎您再來~ 在JDK1.5之前,Java的多線程都是靠synchronized來保證同步的,這會引起很多性能問題,例如死鎖。但隨著Java的不斷完善,JNI(Java Native Interface)使得Java能越過JVM直接調用本地方法,例如CAS。 ...
  • day01-HTML 1.JavaWeb技術體系 2.B/S軟體開發架構簡述 B/S架構 B/S框架,意思是前端(Browser瀏覽器,小程式,APP,或者自己寫的)和服務端(Server)組成的系統的框架結構 B/S架構也可以理解為web架構,包含前端,後端,資料庫三大組成部分 前端 前端開發技術 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...