1.前言
2.基本概念
- Observer
- Observability
- observed write
- locally observed write
- observed read
- globally observed read
- completion
3. 访存指令完成的条件
内存访问指令完成，需满足如下条件：
（1）该内存访问操作被特定的shareability domain内的所有的observer globally observed
（2）和该内存访问指令相关的translation table walks（也会引发内存访问操作）必须执行完毕，即：
a）这个translation table walks而引起的内存访问操作被该shareability domain内的所有的observer globally observed
b）TLB已经完成更新
4. 内存屏障
按照严格程度从低到高排列:DMB < DSB < ISB
- DMB：数据存储器隔离
- DSB：数据同步隔离。
- ISB：指令同步隔离
5. 参考文档
[1] DDI0487A_k_armv8_arm_iss10775.pdf
[2] ARMv8之Atomicity