Everything You Always Wanted to Know About Synchronization but Were Afraid to As

Everything You Always Wanted to Know About Synchronization but Were Afraid to AskTudor David, Rachid Guerraoui, Vasileios Trigonakis∗School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland{tudor.david, rachid.guerraoui, vasileios.trigonakis}@epfl.chAbstract This paper presents the most exhaustive study of syn- chronization to date. We span multiple layers, from hardware cache-coherence protocols up to high-level concurrent software. We do so