> -----Original Message----- > From: Jan Beulich <[email protected]> > Sent: 21 September 2020 14:32 > To: Julien Grall <[email protected]> > Cc: Durrant, Paul <[email protected]>; Stefano Stabellini > <[email protected]>; > [email protected]; George Dunlap <[email protected]>; Xia, > Hongyan > <[email protected]>; [email protected] > Subject: RE: [EXTERNAL] Memory ordering question in the shutdown deferral code > > CAUTION: This email originated from outside of the organization. Do not click > links or open > attachments unless you can confirm the sender and know the content is safe. > > > > On 21.09.2020 15:27, Julien Grall wrote: > > I think this part is racy at least on non-x86 platform as x86 seems to > > implement smp_mb() with a strong memory barrier (mfence). > > The "strength" of the memory barrier doesn't matter here imo. It's > the fully coherent memory model (for WB type memory) which makes > this be fine on x86. The barrier still only guarantees ordering, > not visibility. >
In which case I misunderstood what the 'smp' means in this context then. Paul
