느슨한 메모리 동시성 모델

참고문헌

1. ISO/IEC 14882:2011. Programming language C++, 2011.
2. Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell. The problem of programming language concurrency semantics. In ESOP, 2015.
3. Hans-Juergen Boehm, Brian Demsky. Outlawing ghosts: Avoiding out-of-thin-air results. In MSPC, 2014.
4. Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer. A promising semantics for relaxed-memory concurrency. In POPL, 2017.
5. Jeremy Manson, William Pugh, Sarita V. Adve. The Java memory model. In POPL, 2005.
6. Jaroslav Sevcik, David Aspinall. On validity of program transformations in the Java memory model. In ECOOP, 2008.