@inproceedings{b9416628bb5543aca38697ff60ff3e5b,
title = "WARDen: Specializing Cache Coherence for High-Level Parallel Languages",
abstract = "High-level parallel languages (HLPLs) make it easier to write correct parallel programs. Disciplined memory usage in these languages enables new optimizations for hardware bottlenecks, such as cache coherence. In this work, we show how to reduce the costs of cache coherence by integrating the hardware coherence protocol directly with the programming language; no programmer effort or static analysis is required. We identify a new low-level memory property, WARD (WAW Apathy and RAW Dependence-freedom), by construction in HLPL programs. We design a new coherence protocol, WARDen, to selectively disable coherence using WARD. We evaluate WARDen with a widely-used HLPL benchmark suite on both current and future x64 machine structures. WARDen both accelerates the benchmarks (by an average of 1.46x) and reduces energy (by 23%) by eliminating unnecessary data movement and coherency messages.",
keywords = "cache coherence, disentanglement",
author = "Michael Wilkins and Sam Westrick and Vijay Kandiah and Alex Bernat and Brian Suchy and Deiana, {Enrico Armenio} and Simone Campanoni and Acar, {Umut A.} and Peter Dinda and Nikos Hardavellas",
note = "Publisher Copyright: {\textcopyright} 2023 ACM.; 21st ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2023 ; Conference date: 25-02-2023 Through 01-03-2023",
year = "2023",
month = feb,
day = "17",
doi = "10.1145/3579990.3580013",
language = "English (US)",
series = "CGO 2023 - Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization",
publisher = "Association for Computing Machinery, Inc",
pages = "122--135",
editor = "Christophe Dubach and Derek Bruening and Ben Hardekopf",
booktitle = "CGO 2023 - Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization",
}