A formal kernel memory-ordering model | Heykuki News