A7.4.8 Response signaling

1. 原子操作完成的可见性定义

• 规则：

  • 写响应（B通道）表明原子操作的结果已对所有必需观察者可见。

  • 对于包含读响应的原子操作（AtomicLoad/Swap/Compare），从接收到第一个读数据项时起，操作结果就可见。

  • 管理器可使用读响应或写响应中的任意一个作为操作完成的指示。

• 举例：

  • AtomicCompare（比较并交换）操作：

    • 管理器发出CAS操作，期望将内存值从A改为B。

    • 从设备执行CAS，通过R通道返回旧值（A或当前值）。

    • 一旦管理器收到第一个读数据，即使后续读数据还在传输，内存中的结果（无论是否更新为B）已对所有观察者可见。

    • 之后另一个核心读取同一地址，保证看到的是CAS操作后的结果。