Memory consistency models sit at the heart of concurrent programming systems, defining the set of permissible behaviours when multiple threads interact via shared memory. These models span from the ...