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

Description complète

Détails bibliographiques
Auteurs principaux: Narayanswamy, G, Joshi, S, Kroening, D
Format: Conference item
Publié: Association for Computing Machinery 2016