On 11/27/2013 03:40 PM, Borislav Petkov wrote: > > But I'd guess that depends on the uarch because Bulldozer, reportedly, > implements MFENCE by causing a pipeline stall which controls the > prefetches too: >
An implementation can always make the memory model stronger, but not weaker.