Rachid Guerraoui, Vasileios Trigonakis, Tudor Alexandru David
This paper presents the most exhaustive study of synchronization to date. We span multiple layers, from hardware cache-coherence protocols up to high-level concurrent software. We do so on different types of architectures, from single-socket - uniform and ...
2013