Explanation of the Linux-Kernel Memory Consistency Model