The Virtues of Conflict: Analysing Modern Concurrency

Modern shared memory multiprocessors permit reordering of memory operations for performance reasons. These reorderings are often a source of subtle bugs in programs written for such architectures. Traditional approaches to verify weak memory programs often rely on interleaving semantics, which is pr...

תיאור מלא

מידע ביבליוגרפי
Main Authors: Narayanswamy, G, Joshi, S, Kroening, D
פורמט: Conference item
יצא לאור: Association for Computing Machinery 2016