Explanation of the Linux-Kernel Memory Consistency Model (via matklad) — discussion
#formalmethods #hardware #osdev
