JH Kelm,
DR Johnson, W Tuohy, SS Lumetta… - Proceedings of the 37th …, 2010 - dl.acm.org
Two broad classes of memory models are available today: models with hardware cache
coherence, used in conventional chip multiprocessors, and models that rely upon software …