Go's race detector has a mutex blind spot

9 months ago

Go's race detector has a mutex blind spot, missing some data races in executed code.
The race detector models locks as synchronization points, creating happens-before relationships.
In certain schedules, the detector may miss races due to these modeled relationships.
Go's race detector is still considered best-in-industry despite these limitations.
Understanding the tool's boundaries is crucial for effective use.

Hasty Briefsbeta