高速缓冲存储器的功能、结构与工作原理


2.3 高速缓冲存储器(Cache)

  2.3.1 高速缓冲存储器的功能、结构与工作原理

  高速缓冲存储器是存在于主存与CPU之间的一级存储器, 由静态存储芯片(SRAM)组成,容量比较小但速度比主存高得多, 接近于CPU的速度。 Cache的功能是用来存放那些近期需要运行的指令与数据。目的是提高CPU对存储器的访问速度。为此需要解决2个技术问题:一是主存地址与缓存地址的映象及转换; 二是按一定原则对Cache的内容进行替换。
  Cache的结构和工作原理如图2.3.1所示。

007.gif

  主要由三大部分组成:
  Cache存储体:存放由主存调入的指令与数据块。
  地址转换部件:建立目录表以实现主存地址到缓存地址的转换。
  替换部件:在缓存已满时按一定策略进行数据块替换,并修改地址转换部件。

  2.3.2 地址映象与转换

  地址映象是指某一数据在内存中的地址与在缓冲中的地址,两者之间的对应关系。下面介绍三种地址映象的方式。

  1.全相联方式

  地址映象规则:主存的任意一块可以映象到Cache中的任意一块
  (1) 主存与缓存分成相同大小的数据块。
  (2) 主存的某一数据块可以装入缓存的任意一块空间中。
  全相联方式的对应关系如图2.3.2所示。如果Cache的块数为Cb,主存的块数为Mb,则映象关系共有Cb×Mb种。

008.gif

  图2.3.3示出了目录表的格式及地址变换规则。 目录表存放在相关(联)存储器中,其中包括三部分:数据块在主存的块地址、存入缓存后的块地址、及有效位(也称装入位)。由于是全相联方式,因此,目录表的容量应当与缓存的块数相同。

010.gif

  举例:某机主存容量为1M,Cache的容量为32KB, 每块的大小为16个字(或字节)。 划出主、缓存的地址格式、 目录表格式及其容量。
  009.gif
  容量:与缓冲块数量相同即211=2048(或32K/16=2048)。  优点:命中率比较高,Cache存储空间利用率高。
  缺点:访问相关存储器时,每次都要与全部内容比较,速度低,成本高,因而应用少。

  2.直接相联方式

  地址映象规则: 主存储器中一块只能映象到Cache的一个特定的块中。
  (1) 主存与缓存分成相同大小的数据块。
  (2) 主存容量应是缓存容量的整数倍,将主存空间按缓存的容量分成区,主存中每一区的块数与缓存的总块数相等。
  (3) 主存中某区的一块存入缓存时只能存入缓存中块号相同的位置。
  图2.3.4示出了直接相联映象规则。 可见,主存中各区内相同块号的数据块都可以分别调入缓存中块号相同的地址中,但同时只能有一个区的块存入缓存。由于主、缓存块号相同,因此,目录登记时,只记录调入块的区号即可。

011.gif

  图2.3.5示出了主、 缓冲地址格式、目录表的格式及地址变换规则。主、缓存块号及块内地址两个字段完全相同。目录表存放在高速小容量存储器中,其中包括二部分:数据块在主存的区号和有效位。目录表的容量与缓存的块数相同。

012.gif

  地址变换过程:用主存地址中的块号B去访问目录存储器, 把读出来的区号与主存地址中的区号E进行比较, 比较结果相等,有效位为1,则Cache命中,可以直接用块号及块内地址组成的缓冲地址到缓存中取数;比较结果不相等,有效位为1, 可以进行替换,如果有效位为0,可以直接调入所需块。
  优点:地址映象方式简单,数据访问时,只需检查区号是否相等即可,因而可以得到比较快的访问速度,硬件设备简单。
  缺点:替换操作频繁,命中率比较低。
  举例:上例中,主存容量为1M, Cache的容量为32KB,每块的大小为16个字(或字节)。划出主、缓存的地址格式、目录表格式及其容量。
  013.gif
  容量:与缓冲块数量相同即211=2048(或32K/16=2048)。

  3.组相联映象方式

  组相联的映象规则:
  (1) 主存和Cache按同样大小划分成块。
  (2) 主存和Cache按同样大小划分成组。
  (3) 主存容量是缓存容量的整数倍,将主存空间按缓冲区的大小分成区,主存中每一区的组数与缓存的组数相同。
  (4) 当主存的数据调入缓存时,主存与缓存的组号应相等,也就是各区中的某一块只能存入缓存的同组号的空间内,但组内各块地址之间则可以任意存放, 即从主存的组到Cache的组之间采用直接映象方式;在两个对应的组内部采用全相联映象方式。
  图2.3.6示出了组相联的映象关系, 图中缓存共分Cg个组,每组包含有Gb块; 主存是缓存的Me倍,所以共分有Me个区, 每个区有Cg组,每组有Gb块。那么, 主存地址格式中应包含4个字段:区号、区内组号、组内块号和块内地址。 而缓存中包含3个字段:组号、组内块号、块内地址。主存地址与缓存地址的转换有两部分,组地址是按直接映象方式,按地址进行访问,而块地址是采用全相联方式,按内容访问。组相联的地址转换部件也是采用相关存储器实现,见图2.3.7。
  相关存储器中每个单元包含有: 主存地址中的区号E与组内块号B,两者结合在一起,其对应的字段是缓存块地址b。相关存储器的容量,应与缓存的块数相同。当进行数据访问时,先根据组号,在目录表中找到该组所包含的各块的目录,然后将被访数据的主存区号与组内块号,与本组内各块的目录同时进行比较。如果比较相等,而且有效位为“1”则命中。

014.gif

015.gif

   可将其对应的缓存块地址b送到缓存地址寄存器的块地址字段,与组号及块内地址组装即形成缓存地址。如果比较不相等,说明没命中,所访问的数据块尚没有进入缓存,则进行组内替换;如果有效位为0,则说明缓存的该块尚未利用, 或是原来数据作废,可重新调入新块。
  优点:块的冲突概率比较低,块的利用率大幅度提高,块失效率明显降低。
  缺点:实现难度和造价要比直接映象方式高。

  2.3.3 替换策略

  根据程序局部性规律可知:程序在运行中,总是频繁地使用那些最近被使用过的指令和数据。这就提供了替换策略的理论依据。综合命中率、实现的难易及速度的快慢各种因素,替换策略可有随机法、先进先出法、最近最少使用法等。

  1.随机法(RAND法)

  随机法是随机地确定替换的存储块。设置一个随机数产生器,依据所产生的随机数,确定替换块。这种方法简单、易于实现,但命中率比较低。

  2.先进先出法(FIFO法)

  先进先出法是选择那个最先调入的那个块进行替换。当最先调入并被多次命中的块,很可能被优先替换,因而不符合局部性规律。这种方法的命中率比随机法好些,但还不满足要求。先进先出方法易于实现,例如Solar-16/65机Cache采用组相联方式,每组4块,每块都设定一个两位的计数器,当某块被装入或被替换时该块的计数器清为0,而同组的其它各块的计数器均加1,当需要替换时就选择计数值最大的块被替换掉。

  3.最近最少使用法(LRU法)

  LRU法是依据各块使用的情况, 总是选择那个最近最少使用的块被替换。这种方法比较好地反映了程序局部性规律。
  实现LRU策略的方法有多种。 下面简单介绍计数器法、寄存器栈法及硬件逻辑比较对法的设计思路。
  计数器方法:缓存的每一块都设置一个计数器,计数器的操作规则是:
  (1) 被调入或者被替换的块, 其计数器清“0”,而其它的计数器则加“1”。
  (2) 当访问命中时,所有块的计数值与命中块的计数值要进行比较,如果计数值小于命中块的计数值, 则该块的计数值加“1”;如果块的计数值大于命中块的计数值,则数值不变。最后将命中块的计数器清为0。
  (3) 需要替换时,则选择计数值最大的块被替换。
  例如IBM 370/65机的Cache用组相联方式,每组4块,每一块设置一个2位的计数器,其工作状态如表2.3.1。

表2.3.1 计数器法实现LRU策略

主存块地址
块4
块2
块3
块5
块号
计数器
块号
计数器
块号
计数器
块号
计数器
Cache块0
1
10
1
11
1
11
5
00
Cache块1
3
01
3
10
3
00
3
01
Cache块2
4
00
4
01
4
10
4
11
Cache块3
XX
2
00
2
01
2
10
操作
起始状态
调入
命中
替换

  寄存器栈法:设置一个寄存器栈, 其容量为Cache中替换时参与选择的块数。如在组相联方式中,则是同组内的块数。堆栈由栈顶到栈底依次记录主存数据存入缓存的块号, 现以一组内4块为例说明其工作情况,如表2.3.2所示,表中1~4为缓存中的一组的4个块号。

表2.3.2 寄存器栈法实现

缓存操作
初始状态
调入2
命中块4
替换块1
寄存器0
3
2
4
1
寄存器1
4
3
2
4
寄存器2
1
4
3
2
寄存器3
1
1
3

  (1) 当缓存中尚有空闲时,如果不命中,则可直接调入数据块,并将新访问的缓冲块号压入堆栈,位于栈顶。其他栈内各单元依次由顶向下顺压一个单元,直到空闲单元为止。
  (2) 当缓存已满,如果数据访问命中,则将访问的缓存块号压入堆栈,其他各单元内容由顶向底逐次下压直到被命中块号的原来位置为止。如果访问不命中,说明需要替换,此时栈底单元中的块号即是最久没有被使用的。所以将新访问块号压入堆栈,栈内各单元内容依次下压直到栈底,自然,栈底所指出的块被替换。
  比较对法:比较对法是用一组硬件的逻辑电路来记录各块使用的时间与次数。
  假设Cache的每组中有4块, 替换时,是比较4块中那一块是最久没使用的,4块之间两两相比可以有6种比较关系。如果每两块之间的对比关系用一个RS触发器,则需要6个触发器(T12,T13,T14,T23,T24,T34), 设T12=0表示块1比块2最久没使用,T12=1表示块2比块1最久没有被使用。 在每次访问命中或者新调入块时,与该块有关的触发器的状态都要进行修改。 按此原理,由6个触发器组成的一组编码状态可以指出应被替换的块。例如,块1被替换的条件是:T12=0,T13=0,T14=0;块2被替换的条件是:T12=1,T23=0,T24=0等等。

  2.3.4 Cache的一致性问题

  Cache的内容是主存内容的一部分, 是主存的副本,内容应该与主存一致。由于:
  (1) CPU写Cache,没有立即写主存;
  (2) I/O处理机或I/O设备写主存。
  从而造成Cache与主存内容的不一致,如图2.3.8所示。

016.gif

  对Cache进行写操作时引起的不一致的解决方法:

  1.全写法亦称写直达法(WT法-Write through)

  方法:在对Cache进行写操作的同时,也对主存该内容进行写入。
  优点:可靠性较高,操作过程比较简单。
  缺点:写操作速度得不到改善,与写主存的速度相同。

  2.写回法(WB法-Write back)

  方法:在CPU执行写操作时,只写入Cache,不写入主存。
  优点:速度较高。
  缺点:可靠性较差,控制操作比较复杂。

  2.3.5 Cache性能分析

  1.Cache系统的加速比

  存储系统采用Cache技术的主要目的是提高存储器的访问速度,加速比是其重要的性能参数。Cache存储系统的加速比SP(Speedup)为:

017.gif

  其中:Tm为主存储器的访问周期,Tc为Cache的访问周期,T则为Cache存储系统的等效访问周期,H为命中率。
  可以看出,加速比的大小与两个因素有关:命中率H及Cache与主存访问周期的比值Tc/Tm,命中率越高加速比越大。图2.3.9示出了加速比与命中率的关系。

018.gif

  2.Cache的命中率

  影响Cache命中率的因素很多,如Cache的容量,块的大小,映象方式,替换策略以及程序执行中地址流的分布情况等等。一般地说,Cache容量越大则命中率越高, 当容量达到一定程度后,容量的增加命中率的改善并不大;Cache块容量加大, 命中率也明显增加,但增加到一定值之后反而出现命中率下降的现象;直接映象法命中率比较低,全相联方式命中率比较高,在组相联方式中,组数分得越多,则命中率下降。

转载于:https://www.cnblogs.com/freebye/archive/2005/04/08/133699.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/277336.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

洛谷 P1417 烹调方案 (01背包拓展)

一看到这道题就是01背包 但是我注意到价值和当前的时间有关。 没有想太多,直接写,0分 然后发现输入方式不对…… 改了之后只有25分 我知道wa是因为时间会影响价值,但不知道怎么做。 后来看了题解,发现我对01背包理解不够透彻普通0…

LeetCode 77.组合求和

给定一个无重复元素的数组 candidates 和一个目标数 target ,找出 candidates 中所有可以使数字和为 target 的组合。 candidates 中的数字可以无限制重复被选取。 说明: 所有数字(包括 target)都是正整数。解集不能包含重复的组合…

18函数对象19command模式20函数对象在STL中的应用

Item 18. Function ObjectsItem 19. Commands and HollywoodItem 20. STL Function Objects1、unction Objects是什么函数对象听起来挺吓人,其实并不神秘,它也是一个类的对象,只不过该类重载了操作符(),使得对象使用以来跟函数一样。class Fi…

linux df命令功能,Linux df命令简要介绍

日常工作生活中,我们常需要查看系统当前的磁盘空间使用情况。在windows下,只需简单点击我的电脑,就看到带进度条的系统磁盘使用情况,非常直观。那linux命令行下如何实现同样的功能呢?这就是我们今天要介绍的df命令。df…

spring集成RabbitMQ配置文件详解(生产者和消费者)

1&#xff0c;首先引入配置文件org.springframework.amqp&#xff0c;如下&#xff1a; <dependency><groupId>org.springframework.amqp</groupId><artifactId>spring-rabbit</artifactId><version>1.7.1.RELEASE</version></de…

一天的学习成果:hash输出,dcache工作原理,include的home directory,fist optype的含义...

最先获得突破的是解决了下午的崩溃问题。其实原因很简单&#xff0c;我声明了一个unsigned int型指针&#xff0c;但是没有给它分配空间…… 解决了这个问题之后就很简单了&#xff0c;调用定义在linux/dcache.c文件中的full_name_hash函数对文件名进行hash计算。这里发现了一个…

linux显示fio为非法指令,FORTRAN运行错误消息列表中英对照.doc

FORTRAN运行错误消息列表中英对照Fortran的运行时错误消息列表本节列出了英特尔Fortran运行时库(RTL)处理的错误。对于每一个错误&#xff0c;该表提供了错误号&#xff0c;严重性代码&#xff0c;错误信息文本&#xff0c;条件符号名称&#xff0c;而错误的详细说明。在程序中…

各种证书

软考高级信息系统项目管理师https://www.zhihu.com/question/29904891 转载于:https://www.cnblogs.com/trumbull/p/11154514.html

linux面试题中的简答题,[计算机]linux面试题简答题部分.doc

[计算机]linux面试题简答题部分linux面试题(简答题部分)2 简述进程的启动、终止的方式以及如何查看进程&#xff1f;答&#xff1a;启动进程的方式分为手动启动和自动启动两种方式,其中手动启动的方法用services 服务名 start;或者是./脚本名称,自动启动进程的方法有将进程服务…

const用法

const的用法很让人荤菜&#xff0c;现在总结以下&#xff1a;1&#xff0c;必须初始化2&#xff0c;作为函数的参数是个好习惯&#xff0c;const在*号左边所指常量值&#xff0c;在右边所指的是常量指针3&#xff0c;const成员函数的目的是指明该函数可以在const对象上调用,也就…

Multiverse: Revolutionary Backend for Alembic // Multiverse: 下一代Alembic后端

J CUBE&#xff0c;日本最大的动画公司Polygon Picture&#xff08;以下简称PPI&#xff09;公司成立的专职R&D公司隆重推出Multiverse&#xff0c;下一代Alembic存储后端。 我们还开发了针对Autodesk Maya的工具&#xff0c;运用Multiverse在流程中。 "multiverse&qu…

c语言 程序延时 校准,c语言实现系统时间校正工具代码分享

//*******************************************************************//Time Protocol是一种非常简单的应用层协议。它返回一个未格式化的32位二进制数字,//这个数字描述了从1900年1月1日午夜到现在的秒数。服务器在端口37监听协议请求&#xff0c;以//TCP/IP或者UDP/IP格式…

近半年能力没进步原因分析与求助

2019独角兽企业重金招聘Python工程师标准>>> 20180907 思维方式有缺陷&#xff0c;想到的解决方法经常不是最有效率的。导致工作时间内基本没自由学习的时间。 业余时间不够专注&#xff0c;学习方向经常变&#xff0c;没能坚持搞透一个点就换书看&#xff0c;没有总…

疑问:关于Microsoft Office InfoPath 2003 Toolkit for Visual Studio 2005 Beta 2

因开发急须这个东西&#xff0c;但我不是msdn的subscriber用户不能单独下载&#xff0c;但微软这样提示http://blogs.msdn.com/vsto2/archive/2005/05/05/415003.aspxIf you need the Toolkit, but you are not an MSDN Universal subscriber, if you go to http://msdn.micros…

windows下安装Redis并部署成服务

文章来源&#xff1a;https://www.cnblogs.com/weiqinl/p/6490372.html windows下安装Redis并部署成服务 Redis 是一个开源&#xff08;BSD许可&#xff09;的&#xff0c;内存中的数据结构存储系统&#xff0c;它可以用作数据库、缓存和消息中间件。 一&#xff1a;下载 下载地…

c语言编写程序计算行列式值,新手作品:行列式计算C语言版

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼对话 ControlHeightDecrease ShiftUp Arrow 向上调整选定的控件或对话一个对话单位对话 ControlHeightIncrease ShiftDown Arrow 向下调整选定的控件或对话一个对话单位对话 ControlMoveDown Dow…

.net core高性能通讯开源组件BeetleX

BeetleX beetleX是基于dotnet core实现的轻量级高性能的TCP通讯组件&#xff0c;使用方便、性能高效和安全可靠是组件设计的出发点&#xff01;开发人员可以在Beetlx组件的支持下快带地构建高性能的TCP通讯服务程序&#xff0c;在安全通讯方面只需要简单地设置一下SSL信息即可实…

按组排名

rank() over,dense_rank() over,row_number() over的区别 1.rank() over&#xff1a;查出指定条件后的进行排名。特点是&#xff0c;加入是对学生排名&#xff0c;使用这个函数&#xff0c;成绩相同的两名是并列&#xff0c;下一位同学空出所占的名次。 select name,subject,sc…

《Excel与VBA程序设计》第一章

点击下载&#xff1a;http://files.cnblogs.com/maweifeng/Excel_VBA_001.rar转载于:https://www.cnblogs.com/maweifeng/archive/2005/06/23/179729.html

linux java环境变量设置

JAVA环境变量设置&#xff1a; #vi /etc/profile#在文件最后添加以下内容&#xff1a; export JAVA_HOME/usr/java/jdk1.8.0_91 export PATH$JAVA_HOME/bin:$PATH export CLASSPATH.:$JAVA_HOME/lib/tools.jar:$JAVA_HOME/lib/dt.jar 执行如下命令使环境变量生效&#xff1a; s…