Reconciling Event Structures with Modern Multiprocessors

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav +2

Weakestmo is a recently proposed memory consistency model that uses event structures to resolve the infamous "out-of-thin-air" problem. Although it has been shown to have important…