Skip to content

Various memory ordering improvements

Ben Gamari requested to merge wip/tsan/improvements into master

Here we:

  • silence various benign data races noticed by ThreadSanitizer
  • improve memory ordering documentation
  • weaken memory barriers in STM where possible

Based on !10957 (closed) .

Merge request reports