1.前言
2.基本概念
- Observer
可以发起对memory read/write访问的都是observer;
- Observability
是一种观察能力,通过read可以感知到别的observer的write,通过感知到别的observer的read而不能write的这种能力;
- observed write
观察到了某个observer的write动作;
- locally observed write
是限定在一个shareability domain内部,或者指定的一个observer的集合都观察到了某个observer的write动作;
- observed read
当某个observer无法通过write操作来影响另一个observer的read操作的时候,我们就认为该observer已经感知到了另一个observer的read操作;
- globally observed read
就是一个shareability domain内所有的observers都观察到了一个observer的read操作;
- completion
内存访问指令完成
3. 访存指令完成的条件
内存