在這個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中文網其他相關文章！
