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 ...

Concurrent and parallel systems span from tightly integrated multicore and many-core processors to distributed clusters and cloud infrastructures. At the hardware level, advances in pipelining, ...