Exploiting semantic commutativity in hardware speculation
Author(s)
Zhang, Guowei; Chiu, Virginia; Sanchez, Daniel
DownloadSanchez_Exploiting Semantic.pdf (615.7Kb)
OPEN_ACCESS_POLICY
Open Access Policy
Creative Commons Attribution-Noncommercial-Share Alike
Terms of use
Metadata
Show full item recordAbstract
Hardware speculative execution schemes such as hardware transactional memory (HTM) enjoy low run-time overheads but suffer from limited concurrency because they rely on reads and writes to detect conflicts. By contrast, software speculation schemes can exploit semantic knowledge of concurrent operations to reduce conflicts. In particular, they often exploit that many operations on shared data, like insertions into sets, are semantically commutative: they produce semantically equivalent results when reordered. However, software techniques often incur unacceptable run-time overheads. To solve this dichotomy, we present COMMTM, an HTM that exploits semantic commutativity. CommTM extends the coherence protocol and conflict detection scheme to support user-defined commutative operations. Multiple cores can perform commutative operations to the same data concurrently and without conflicts. CommTM preserves transactional guarantees and can be applied to arbitrary HTMs. CommTM scales on many operations that serialize in conventional HTMs, like set insertions, reference counting, and top-K insertions, and retains the low overhead of HTMs. As a result, at 128 cores, CommTM outperforms a conventional eager-lazy HTM by up to 3.4 χ and reduces or eliminates aborts.
Date issued
2016-12Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer ScienceJournal
Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-49)
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Zhang, Guowei et al. “Exploiting Semantic Commutativity in Hardware Speculation.” 2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), October 15-19 2016, Taipei,Taiwan, Institute of Electrical and Electronics Engineers (IEEE), December 2016 © 2016 Institute of Electrical and Electronics Engineers (IEEE)
Version: Author's final manuscript
ISBN
978-1-5090-3508-3