您即将离开知乎，请注意您的账号和财产安全。
http://user.it.uu.se/~tjawe125/talks/cpp-memory-model-overview-and-formalization.pdf
