Closed mjp41 closed 1 year ago
The manipulation of external_lock inside the internal operations needs to use acquire/release semantics.
external_lock
internal
acquire/release
This PR adds a missing acquire, and tests to be used with TSAN to check that the semantics is "probably" not racy.
acquire
This issue was found by Graham Harper.
The manipulation of
external_lock
inside theinternal
operations needs to useacquire/release
semantics.This PR adds a missing
acquire
, and tests to be used with TSAN to check that the semantics is "probably" not racy.This issue was found by Graham Harper.