Great article. CPU reordering is an effect which makes it notoriously difficult to implement lock-free code correctly.