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...
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Conference item |
| Έκδοση: |
Association for Computing Machinery
2016
|