Total store order (TSO)

[Google Scholar]

Notes: weak memory
Papers: sewell:cacm:2010

  • CompCertTSO: A verified compiler for relaxed-memory concurrency [sevcik:jacm:2013]
  • x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors [sewell:cacm:2010]