缓存拥有权( ownership)协议 日特点 1.通过各CPU对总线的监听保持缓存一致性 2.该协议实现在存储器管理单元中 3.整个算法在一个存储器周期中完成 召回( callback)协议 如果用软件实现 2002-7-12 东北大学软件所于戈 第六章分布式存储管理
2002-7-12 东北大学软件所 于戈 第六章 分布式存储管理 11 缓存拥有权（ownership）协议 ❑ 特点 1. 通过各CPU对总线的监听保持缓存一致性 2. 该协议实现在存储器管理单元中 3. 整个算法在一个存储器周期中完成 ➢ 召回（callback）协议 • 如果用软件实现
6.2一致性模型 口缓存一致性( coherency) -数据在各个缓存中的值保持一致 口一致性模型 软件与存储器间的约定( contract) 如果软件遵守约定的规则,存储器就能工 作正常。 如果软件违反了这些规定,存储器就不再 保证操作的正确性 2002-7-12 东北大学软件所于戈 第六章分布式存储管理
2002-7-12 东北大学软件所 于戈 第六章 分布式存储管理 12 6.2 一致性模型 ❑缓存一致性（coherency） – 数据在各个缓存中的值保持一致 ❑一致性模型 –软件与存储器间的约定（contract） –如果软件遵守约定的规则，存储器就能工 作正常。 –如果软件违反了这些规定，存储器就不再 保证操作的正确性
严格一致性 口从存储器地址X处读出的值为最近写入Ⅹ的值 P1:W(x)1 P2 R(x)1 口非严格一致性 Pl: W(x)1 P2 R(x)0R(x)1 2002-7-12 第六章分布式存储管理 13 东北大学软件所于戈
2002-7-12 东北大学软件所 于戈 第六章 分布式存储管理 13 严格一致性 ❑从存储器地址X处读出的值为最近写入X的值 ❑非严格一致性 P1: W(x)1 P2: R(x)1 P1: W(x)1 P2: R(x)0 R(x)1
顺序一致性 口如果所有进程执行的结果,等同于它们的操 →作按某种顺序执行的结果。 ≥口每一进程的操作都按程序规定的顺序执行。 日所有进程看到相同的内存访问操作次序 口例:运行同一个程序得到的两个可能的结果 Pl: W(x)1 P1:W(x)1 P2 R(x)0R(x)1 P2 R(xI R(X) 2002-7-12 东北大学软件所于戈 第六章分布式存储管理
2002-7-12 东北大学软件所 于戈 第六章 分布式存储管理 14 顺序一致性 ❑如果所有进程执行的结果，等同于它们的操 作按某种顺序执行的结果。 ❑每一进程的操作都按程序规定的顺序执行。 ❑所有进程看到相同的内存访问操作次序 ❑例：运行同一个程序得到的两个可能的结果 P1: W(x)1 P2: R(x)0 R(x)1 P1: W(x)1 P2: R(x)1 R(x)1