Satisfying Coherence 写传播( Write propagation 对一个 shared或 Einvalid块的写,其他 cache都可见 使用 Bus Read-exclusive( BusRdX)事务,Bus Prrd/- Read-exclusive事务作废其他 Cache中的块 PrWr/-- 他处理器在未看到该写操作的效果前体验 的是 Cache miss 写串行( Write serialization) 侑有出现在bus上的写操作( BusRdX)被总 串行化 所有处理器 包括发出写操作的处理器)以 PrWr/Bus Rdx BusRd/Flush I 同样的方式排序 结是資解雾1的处理的本地2),P Bus RdX/Flush Replace /Busy 并不是所有的写操作都会出现在总线上 对 modified块的写序列来自同一个处理器(P) Bus RdX/ 将不会产生总线 PrRd/Bus Rd PrRd- Replace/ 同一处理器是串行化的写:由P进行读操作将 Bus Rd/- 会看到串行序的写序列 基他处理罨对该块的读操作会导致个点 緒也籍汇 的顺序对其他处理 2021/2/1 计算机体系结构Satisfying Coherence • 写传播(Write propagation) – 对一个shared 或invalid块的写，其他 cache都可见 • 使用Bus Read-exclusive (BusRdX) 事务，Bus Read-exclusive 事务作废其他Cache中的块 • 其他处理器在未看到该写操作的效果前体验 到的是Cache Miss • 写串行(Write serialization) – 所有出现在bus上的写操作(BusRdX)被总 线串行化 • 所有处理器（包括发出写操作的处理器）以 同样的方式排序 • 首先更新发出写操作的处理器的本地cache， 然后处理其他事务 – 并不是所有的写操作都会出现在总线上 • 对modified 块的写序列来自同一个处理器（P） 将不会产生总线事务 • 同一处理器是串行化的写：由P进行读操作将 会看到串行序的写序列 • 其他处理器对该块的读操作：会导致一个总 线事务，这保证了写操作的顺序对其他处理 器而言也是串行化的。 2021/2/1 计算机体系结构 13 M I S PrRd/— PrWr/— PrRd/BusRd PrWr/BusRdX PrWr/BusRdX PrRd/— BusRd/— BusRd/Flush BusRdX/Flush Replace/BusWB BusRdX/— Replace/—