简化模型 在RA的基础上，为变量的访问添加访问模式（access mode）： C/C++11中，只计算同步的读写对coherence的贡献： 实际模型 四种访问模式： non-atomic ： 默认 relaxed release/acquire sc
