The article metions that x86-TSO differs from the basic idea of store buffering: > Researchers at Cambridge have poured significant effort into formalizing x86

The article metions that x86-TSO differs from the basic idea of store buffering: > Researchers at Cambridge have poured significant effort into formalizing x86-TSO to make clear the intended behaviors of x86’s TSO implementation (and in particular, where it differs from this notion of store buffering). Does anyone have an example or litmus test of this difference? My mental model of x86-TSO for the last few years is that is exactly what you'd get for a TSO system with store buffering and store forwarding (it isn't clear if the store forwarding part is included in the "basic" TSO model the author discusses, so that could be the difference). I'm assuming WB memory, not anything exotic like WC memory, NT stores, etc.