> A fundamental tenet of multithreaded programming is that you get no ordering guarantees between threads unless you make it happen via locks or other mechanisms. That's what makes multithreaded performance scaling work. AMD's slide took me by surprise because there's no reason memory reads should be an exception.

Isn't re-ordering of reads and writes, even within a single thread, standard in just about every CPU architecture?