この golang の例では、ミューテックス部分に含まれる条件がデッドロックにならないのはなぜですか?

この golang の例で、ミューテックス部分に含まれる条件でデッドロックが発生しないのは、ミューテックスが `Lock()` と `Unlock() ` を経由しているためです。共有リソースへの相互排他的アクセスを実現する方法。 goroutine が `Lock()` メソッドを呼び出すときに、ミューテックスが別の goroutine によってすでにロックされている場合、mutex が解放されるまで goroutine はブロックされます。このブロック メカニズムにより、ミューテックスがロックされている場合、複数のゴルーチンが同時に共有リソースにアクセスすることがなくなり、デッドロックの発生が回避されます。したがって、この例では、ミューテックスが正しく使用されているため、条件はデッドロックされません。

質問内容

私はオライリー社の研修中にこの例を見ました。 widgetInventory がマイナスになるのを防ぐ条件があります。この例は機能しますが、makeSales がミューテックスを取得し、widgetInventory が 0 のときにプログラムがデッドロックにならない理由がわかりません。

makeSales がミューテックスを取得し、widgetInventory が 0 の場合、コードがデッドロックすることが予想されます。

解決策

条件がミューテックスに関連付けられていることに気づきませんでした。 newPurchase =sync.NewCond(&mutex) .Wait() を入力すると、ミューテックスのロックが解除され、条件信号の受信時にミューテックスの再取得が試行されます。

condition.Wait() はミューテックスを取得する場合にのみ使用できるため、コードが読みにくくなりますが、動作します :-)

以上がこの golang の例では、ミューテックス部分に含まれる条件がデッドロックにならないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。