Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency

Michael J. Sullivan, Karl Crary, Salil Joshi

Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low-level shared memory concurrent programs in the presence of modern relaxed-mem…