计算机组织与结构：LEC11_多处理器.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 把同步操作和普通访存操作区分开来，只在同步点维护一致性 冲突访问必须用同步操作保护 访存次序 同步操作的执行满足顺序一致性条件 在任一普通访存操作允许被执行之前，所有在同一处理机中先于这一访存操作的同步操作都已完成 在任一同步操作允许被执行之前，所有在同一处理机中先于这一同步操作的普通访存操作都已完成 弱存储一致性模型（Weak Ordering） * 释放一致性模型（Release Consistency） 把同步操作进一步分成获取操作ACQUIRE和释放操作RELEASE 冲突访问必须用REL-ACQ对隔开 访存次序 同步操作的执行满足顺序一致性条件 在任一普通访存操作允许被执行之前，所有在同一处理机中先于这一访存操作的ACQUIRE操作都已完成 在任一RELEASE操作允许被执行之前，所有在同一处理机中先于这一RELEASE的普通访存操作都已完成 * 域一致性模型（Scope Consistency） 冲突访问必须用同一把锁保护 Release Consistency P1 x=1 Acq(l1) y=1 Rel(l1) P3 Acq(l2) a=x b=y c=z Rel(l2) P2 Acq(l1) a=x b=y Rel(l1) Acq(l2) z=1 Rel(l2) 结果：P2: a=b=1; P3:a=b=c=1 Scope Consistency P1 x=1 Acq(l1) y=1 Rel(l1) P3 Acq(l2) a=x b=y c=z Rel(l2) P2 Acq(l1) a=x b=y Rel(l1) Acq(l2) z=1 Rel(l2) 结果：P2: a=0,b=1; P3:a=b=0,c=1 * 单项一致性模型（Entry Consistency） 必须为每一个共享变量指定相应的锁 加重了程序员的负担 有利于性能 * 存储一致性模型的一个框架模型 基本思想 Ｍ＝对访存事件的一个分类C＋一种同步机制SYN 对同步操作的一个定向称为一个执行E Ｅ正确的条件：由Ｅ确定的访存操作的偏序与程序序的并集无环路 对Ｍ正确的实现的条件：所有执行都正确 在顺序一致性模型中，把普通访存操作看作同步操作，则前面关于顺序一致性的理论是该框架模型的一个特例 * CACHE一致性协议 * 共享存储多处理机中的Cache一致性问题 Cache在共享存储系统中的作用 弥补CPU与主存间的速度差距 减少访存冲突以及对互连网络带宽的需求 Cache一致性问题 如何保持数据在Cache及主存中的多个备份的一致性 1: x = 1; 4: if (x==1) 2: x = 2; 5: if (x==2) 3: x = 3; 6: if (x==3) 存储器 0: x = 0 7: x==? * Cache一致性协议 Cache一致性协议（Cache Coherence Protocol）：一种把新写的值传播到其他处理机的机制 如何传播新值：Write Invalidate vs. Write Update 谁可以产生新值：Single Writer vs. Multiple Writer 何时开始传播新值：Early vs. Delayed Propagation 向何处传播新值：Snoopy vs. Directory Protocol Cache一致性协议决定系统为维护一致性所做的具体动作，因而直接影响系统性能 * Write-Invalidate和Write Update Write-Invalidate 当一个处理机更新某共享单位（如存储行或存储页）时（之前或之后），通过某种机制使该共享单位的其它备份无效，当其它处理机访问该共享单位时，访问失效，再取得有效备份 Write-Update 当一个当一个处理机更新某共享单位时，把更新的内容传播给所有拥有该共享单位备份的处理机 比较 Write Update: 重复更新已不再使用的行 Write Invalidate: 假共享导致乒乓问题 * 单写和多写 单写：任一时刻只有一个处理机能写某共享单位 多写：多个处理机同时写某共享单位的不同部分 P1 B P2 B Pn B Interconnection Network M1 Mm ... ... ... Cache Memory B * 急切更新与懒惰更新 普通RC：边写边传输写操作