Messages in this thread | | | Date | Sat, 27 Aug 2022 01:47:48 +0200 | From | Peter Zijlstra <> | Subject | Re: "Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models" |
| |
On Fri, Aug 26, 2022 at 01:10:39PM -0400, Alan Stern wrote:
> > - some babbling about a missing propagation -- ISTR Linux if stuffed > > full of them, specifically we require stores to auto propagate > > without help from barriers > > Not a missing propagation; a late one. > > Don't understand what you mean by "auto propagate without help from > barriers".
Linux hard relies on:
CPU0 CPU1
WRITE_ONCE(foo, 1); while (!READ_ONCE(foo));
making forward progress.
There were a few 'funny' uarchs that were broken, see for example commit a30718868915f.
| |