The C++ memory model and operations on atomic types

TODO