Kernel development is always strange. Andrea Parri recently posted a patch tochange the order of memory reads during multithreaded operation, such that ifone read depended upon the next, the second could not actually occur before thefirst.
Source: LXer – Crazy Compiler Optimizations