在这个 golang 示例中,互斥体部分中包含的条件不会出现死锁的原因是因为互斥体是通过 `Lock()` 和 `Unlock()` 方法来实现对共享资源的互斥访问的。当一个 goroutine 调用 `Lock()` 方法时,如果互斥体已经被其他 goroutine 锁定,则该 goroutine 会被阻塞,直到互斥体被释放。这种阻塞机制保证了在互斥体被锁定时,不会发生多个 goroutine 同时访问共享资源的情况,从而避免了死锁的发生。所以在这个示例中,由于互斥体的正确使用,条件不会出现死锁。,我在 O’Reilly 的一次培训中看到了这个例子。有一个条件应该可以防止 widgetInventory 变为负值。示例有效,但我不明白为什么当 makeSales 获取互斥体且 widgetInventory 为 0 时程序不会死锁。,当 makeSales 获取互斥体而 widgetInventory 为 0 时,我预计代码会死锁。,我没有注意到条件与互斥体相关联:
newPurchase =sync.NewCond(&mutex)
输入 .Wait() 会解锁互斥锁,并在收到条件信号后尝试重新获取它。,condition.Wait() 仅在获取互斥体时才能使用,因此它的工作代价是代码的可读性不那么高:-),