使用sync.Cond進行條件等待時如何避免競爭條件？

正確使用sync.Cond進行條件等待

在探索sync.Cond的功能時，很明顯可能會出現競爭條件鎖定sync .Mutex 和調用cond.Wait 之間。為了證明這一點，在主Goroutine 中引入了人為延遲，模擬競爭條件：

package main

import (
    "sync"
    "time"
)

func main() {
    var m sync.Mutex
    var c = sync.NewCond(&m)

    go func() {
        time.Sleep(1 * time.Second)
        c.Broadcast()
    }()

    m.Lock()
    time.Sleep(2 * time.Second)
    c.Wait()
}

執行此程式碼會導致死鎖恐慌，因為goroutine 正在等待尚未發出訊號的條件.

解決競爭條件

避免這種競爭條件的正確方法是確保在調用cond.Wait 之前鎖定sync.Mutex。這可以防止當前Goroutine 在等待某個條件時其他Goroutine 修改共享資料：

package main

import (
    "sync"
    "time"
)

func main() {
    var m sync.Mutex
    var c = sync.NewCond(&m)

    go func() {
        time.Sleep(1 * time.Second)
        m.Lock()
        c.Broadcast()
        m.Unlock()
    }()

    m.Lock()
    c.Wait()
    m.Unlock()
}

替代同步構造

雖然sync.Cond 很有用在多個goroutine 等待共享資源變得可用的情況下，考慮替代同步原語非常重要。例如，如果編寫者和讀者之間存在一對一的關係，則sync.Mutex可能足以進行通信：

var sharedRsc = make(map[string]interface{})

func main() {
    m := sync.Mutex{}
    go func() {
        m.Lock()
        sharedRsc["rsc1"] = "foo"
        m.Unlock()
    }()

    m.Lock()
    fmt.Println(sharedRsc["rsc1"])
    m.Unlock()
}

在涉及多個讀者的情況下，通道提供了更有效的方式用於傳遞資料的可擴展解決方案。

以上是使用sync.Cond進行條件等待時如何避免競爭條件？的詳細內容。更多資訊請關注PHP中文網其他相關文章！