DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations ∗

Current shared-memory hardware is complex and ineffi-cient. Prior work on the DeNovo coherence protocol showed that disciplined shared-memory programming models can enable more complexity-, performance-, and energy-efficient hardware than the state-of-the-art MESI protocol. DeN-ovo, however, severely restricted the synchronization con-structs an application can support. This paper proposes De-NovoSync, a technique to support arbitrary synchronization in DeNovo. The key challenge is that DeNovo exploits race-freedom to use reader-initiated local self-invalidations (in-stead of conventional writer-initiated remote cache invalida-tions) to ensure coherence. Synchronization accesses are in-herently racy and not directly amenable to self-invalidations. DeNovoSync addresses this challenge using a novel combi-nation of registration of all synchronization reads with a judicious hardware backoff to limit unnecessary registra-tions. For a wide variety of synchronization constructs and applications, compared to MESI, DeNovoSync shows com-parable or up to 22 % lower execution time and up to 58% lower network traffic, enabling DeNovo’s advantages for a much broader class of software than previously possible. 1