Lockless patterns: full memory barriers

Posted Apr 16, 2021 7:01 UTC (Fri) by pbonzini (subscriber, #60935)
In reply to: Lockless patterns: full memory barriers by firolwn
Parent article: Lockless patterns: full memory barriers

It's not intuitive at all, but only one memory barrier matters in each of the two cases. But both are needed (separately) to ensure that x=0 && y = 0 is not possible.