Taming Weak Memory Models

Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan

Speculative techniques in microarchitectures relax various dependencies in programs, which contributes to the complexity of (weak) memory models. We show using WMM, a new weak memo…