首頁 > 後端開發 > Golang > 為什麼在這個 golang 範例中,互斥體部分包含的條件不會出現死鎖?

為什麼在這個 golang 範例中,互斥體部分包含的條件不會出現死鎖?

WBOY
發布: 2024-02-13 18:06:10
轉載
882 人瀏覽過

为什么在这个 golang 示例中,互斥体部分中包含的条件不会出现死锁?

在這個golang 範例中,互斥體部分中包含的條件不會出現死鎖的原因是因為互斥體是透過`Lock()` 和`Unlock() ` 方法來實現對共享資源的互斥存取的。當一個 goroutine 呼叫 `Lock()` 方法時,如果互斥體已經被其他 goroutine 鎖定,則該 goroutine 會被阻塞,直到互斥體被釋放。這種阻塞機制保證了在互斥體被鎖定時,不會發生多個 goroutine 同時存取共享資源的情況,從而避免了死鎖的發生。所以在這個範例中,由於互斥體的正確使用,條件不會出現死鎖。

問題內容

我在 O'Reilly 的一次培訓中看到了這個範例。有一個條件應該可以防止 widgetInventory 變成負值。範例有效,但我不明白為什麼當 makeSales 取得互斥體且 widgetInventory 為 0 時程式不會死鎖。

var (
    wg sync.WaitGroup
    mutex = sync.Mutex{}
    widgetInventory int32= 1000
    newPurchase = sync.NewCond(&mutex)
)

func main() {
    fmt.Println("Starting inventory count = ", widgetInventory)
    wg.Add(2)
    go makeSales()
    go newPurchases()
    wg.Wait()
    fmt.Println("Ending inventory count = ", widgetInventory)
}

func makeSales() {
    for i := 0; i < 3000; i++ {
        mutex.Lock()
        if widgetInventory-100 < 0{
            newPurchase.Wait()
        }
        widgetInventory -= 100
        fmt.Println(widgetInventory)
        mutex.Unlock()
    }
    wg.Done()
}

func newPurchases() {
    for i := 0; i < 3000; i++ {
        mutex.Lock()
        widgetInventory+= 100
        fmt.Println(widgetInventory)
        newPurchase.Signal()
        mutex.Unlock()
    }
    wg.Done()
}
登入後複製

當 makeSales 取得互斥體而 widgetInventory 為 0 時,我預期程式碼會死鎖。

解決方法

我沒有註意到條件與互斥體相關聯: newPurchase =sync.NewCond(&mutex) 輸入 .Wait() 會解鎖互斥鎖,並在收到條件訊號後嘗試重新取得它。

condition.Wait() 只有在取得互斥體時才能使用,因此它的工作代價是程式碼的可讀性不那麼高:-)

以上是為什麼在這個 golang 範例中,互斥體部分包含的條件不會出現死鎖?的詳細內容。更多資訊請關注PHP中文網其他相關文章!

來源:stackoverflow.com
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板