在这个 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() 仅在获取互斥体时才能使用，因此它的工作代价是代码的可读性不那么高:-)
立即学习“go语言免费学习笔记（深入）”；
