Goのレースデテクター：ミューテックスのブラインドスポット

Goのレースデテクターは、ミューテックスを扱う際にブラインドスポットを持っています。例では、2つのゴルーチンがミューテックスを使用して共有カウンタを保護し、一方のゴルーチンがロックの外で追加のインクリメントを実行する方法を示しています。データ競合の可能性がある場合でも、Goのデテクターは、実行時のロック取得順序に依存するため、それを検出できない可能性があります。Goのレースデテクターは最高クラスのツールですが、この例は、デテクターがレースを報告しなくても、レース条件が存在する可能性があることを強調しています。