5.高级计算机系统结构_高速缓存.pptVIP

D2 A2 Cache D1 A1 内存 (x+y)被淘汰后的状态 ④ 计算出f(z) ; ⑤ 从A1单元读中间结果(x+y); ⑥ 计算 M= (x+y) ∕ f(z) 得到错误结果 M= D1 ∕ f(z) (2) 解决方法 ? 直写方式(Write through 通写、透写、直写) 基本思想: 写命中Cache时, 同时将该数据写入对应的主存单元, 使Cache和主存的同一地址中内容保持一致。 如上例中, 将x+y存入Cache A1单元的同时, 将该数据写入内存的A1单元。 ? 回写方式 (Write-Back — 写回) 对Cache的每一数据块, 增加了一个“更新位”。当写命中Cache时, 不将该数据立即写入内存, 只将“更新位”置“1”, 用来指明当前Cache内容与对应的主存单元是不一致的。 如下图所示: 1 更新位 x+y A1 Cache D1 A1 内存 如果地址A1及内容x+y要被新的内容(地址A2和内容D2)淘汰, 则首先检查A1的“更新位”, 如果为1, 表明当前Cache内容与对应的主存内容不一致; 则先将A1内容(如上例的x+y)写入主存A1单元, 然后才将地址A2和内容D2写入Cache, 同时将“更新位”清0。 如下图所示: 0 更新位 D2 A2 Cache x+y A1 内存 结论: 中间结果x+y仅在Cache被淘汰, 但在内存中仍然存在, 没有丢失。 与直写相比, 减少了写内存的次数。 2、Cache内容过时 Cache内容过时, 即Cache内容不能反映当前系统的状况。 ① 发生Cache内容过时的条件 ? 多机(多处理器)系统 ? 各处理器有自己的Cache ? 多处理器共享一部分内存区域 如下图所示(以三个处理器为例): (用于多处理器之间的通信) 处理器1 处理器2 处理器3 Cache1 Cache2 Cache3 共享存储区域 其它存储区域 多机共享存储区的要求: 各处理器的Cache单元内容应与共享存储区相同地址单元内容一致 在内存共享区有一个单元Ai的内容为Di, 如果在Cache内有该地址和数据, 则三个Cache的Ai单元内都应该为Di。并且, 三个处理器的Cache必须能够反映当前共享区的“更新”情况。 例如: 如果哪一个Cache的某个单元内容, 不能反映当前共享区的“更新”情况。那么, 该Cache相应单元内容就过时了(该内容也称为过时数据)。 ② Cache 内容过时原因 例如: Di Cache1 .... .... Ai Di Cache2 .... .... Ai Di Cache3 .... .... Ai Di Ai .... .... 共享存储区 图: Cache单元与共享区对应单元内容一致 Dk Cache1 ... ... Ai Dk Ai ... ... 共享存储区 Di Cache2 ... ... Ai Di Cache3 ... ... Ai 假设: 处理器1向共享区的Ai单元写入数据Dk (如下图所示), 则Cache2和Cache3的Ai单元内容Di 成为过时数据。 过时数据 Cache内容过时的后果: 多处理器系统通过共享内存交换数据, 并共同完成某一项工作, 过时数据可能导致错误结果。 比如: 三个处理器共同完成一个复杂函数计算。 假设: 三个处理器在执行过程中, 共享一个参数C, 该参数随执行过程的推进而变化, 该参数由处理器1提供, 通过共享存储区交换该参数值(处理器2和处理器3通过共享存储区获取该参数)。 如果处理器1计算出C=a1, 并写入共享区单元Ai。当处理器2和处理器3需要该参数时, 读Ai单元,不命中Cache (初始状态下, Cache2和Cache3还没有地址Ai ), 则访问共享区Ai单元, 并将该地址以及内容C=a1存入自己的Cache, 如下图所示: a1 Cache1 ... ... Ai a1 Ai ... ... 共享存储区 a1 Cache2 ... ... Ai a1 Cache3 ... ... Ai 由于C是一个变化的值, 如果处理器1为C赋了一个新的值a2, 并写入共享区: a2 Cache1 ... ... Ai a2 Ai ... ... 共享存储区 a1 Cache2 ... ..