Tehreer / SheenBidi

96%

master: 96%

push

github

[lib] Fix data race in scratch buffer pool

The pool was a lock-free stack whose next pointers were read and
written without atomics, which ThreadSanitizer reports as a data race,
and which was open to the ABA problem. Track the free buffers with a
bit mask in an atomic unsigned integer instead, and add a contention
test.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

19 of 19 new or added lines in 1 file covered. (100.0%)

4122 of 4279 relevant lines covered (96.33%)

439963.17 hits per line