计算机组成与设计04——处理器

news2024/11/26 14:54:20

系列文章目录

本系列博客重点在深圳大学计算机系统(3)课程的核心内容梳理,参考书目《计算机组成与设计》(有问题欢迎在评论区讨论指出,或直接私信联系我)。

第一章 计算机组成与设计01——计算机概要与技术_@李忆如的博客-CSDN博客

第二章 计算机组成与设计02——指令:计算机的语言_@李忆如的博客-CSDN博客

第三章 计算机组成与设计03——计算机的算术运算_@李忆如的博客-CSDN博客

第四章 计算机组成与设计04——处理器 


梗概

本篇博客主要介绍深入计算机组成与设计第四章处理器的相关知识。


一、引言

1.计算机性能因素

计算机性能因素与其决定因素如下:

2.基本的MIPS实现(指令部分)

一个基本的MIPS的实现方式如下:

指令的执行步骤如下: 

3.CPU 抽象视图

算术逻辑指令、存储访问指令、分支指令的CPU抽象视图分别如下:

​Tips:某个操作的数有多个来源时,需要加入复选器调整视图(如bne、lw、sw)

4.MIPS子集的基本实现

加入后一个MIPS子集的基本实现如下,包含控制信号与复选器。

二、逻辑设计基础

1.组合单元

2.时钟方法

三、数据通路的建立

数据通路:CPU中处理数据和地址的单元部件 Registers ALUs Mux’s Memories …

数据通路部件(datapath element):一个用来操作保存处理器中数据的单元

程序计数器PC:存放下一条指令地址的寄存器

1.R型指令

2.存取指令

Tips:符号扩展不能漏(为增加数据项长度,将原数据项最高位复制到新数据项多出来的高位)。

3.分支指令 

Tips:beq需要左移两位,MIPS中连续字的地址相差4,且字的起始地址为4的倍数(一个地址为8位,即一个字节,一个字有4个字节)。所以,需要将offset_value左移2位,使其表示为字的地址,确保其能正确跳转到正确地址。

4.简单的数据通路(R型/存取)

初步的数据通路在1个时钟周期内完成指令

每个数据通路部件在一个时钟周期内只能处理一条指令 因此需要独立的数据和指令存储器

当不同指令的数据来源不同时,需要使用多选器

5.完整的数据通路(单周期)

Tips:数据通路必须有独立的指令存储器和数据存储器,因为处理器在一个周期内只能操作每个部件一次,而在一个周期内不可能对一个单端口存储器进行两次存取。 

四、简单的实现机制

核心:以MIPS核心指令子集为目标,为数据通路设计控制单元

核心指令: lw, sw, beq, add, sub, and, or, slt, j

1.ALU控制信号

设计单元表示真值表如下:

2.主控单元设计

Tips:增加了指令判断的复选器与ALU控制单元,并标识出了所有控制信号。

控制信号及其含义如下:

加入控制单元后的简单数据通路如下:

各类指令的控制信号如下:

五、流水线概述

单周期处理器缺点:无法应对不同指令路径(处理时间)长短的差异,最慢的路径决定时钟周期,不符合“加快经常性实事件”设计原则。

0.MIPS指令流水

IF: 从内存中取指令

ID: 指令解码& 读寄存器

EX: 执行运算或计算地址

MEM: 访问内存操作

WB: 将结果写回寄存器 

Tips:流水线每一步的流水线周期(Tc)一致,取决于最慢处理步骤。 

1.流水线的性能

对上述例题(lw)进行分析,性能对比如下:

2.流水线的加速比及分析

流水线vs单周期如下:

流水线vs多周期指令如下:

流水线分析:n个段(以5为例)构成了一个指令流水线,一条指令经过每个段

CPI(平均执行周期数)减少到1,平均每个时钟周期发射或完成一条指令

在任意时钟周期,在每个流水段正执行一条指令的一部分 

3.流水线冒险

冒险现象:下一周期不能按时执行下一条指令

①结构冒险(结构相关):所需的部件忙,暂不可用

②数据冒险(数据相关):需要前面某条指令的计算结果,用于本次计算输入

③控制冒险(控制相关):需要根据前面某条指令的结果来确定分支的选择执行 

3.1 结构冒险

定义:缺乏硬件支持导致指令不能在预定的时钟周期内执行的情况

以data access与instruction fecth的冒险为例:

Tips:因此,流水实现的MIPS中指令和数据内存必须是分离独立的 两个独立的L1 cache 

3.2 数据冒险

定义:一条指令依赖于前面某条执行的计算结果,缺少指令执行所需数据而导致指令无法在预期的时钟周期内执行。

解决方法如下:

(1)前推

(2)前推+停顿

3.3 数据冒险样例

​Tips:时钟周期即横轴数,本题为13个。

调整后指令如下(减少时钟周期):

3.4 控制冒险

定义:取到的指令不是所需要的(地址变化不是预期)而导致指令不能在预定的时钟周期内执行。

出现原因:决策依赖于一条指令的结果,而其他指令正在执行中(例:下一条指令IF阶段时,分支指令仍在 ID阶段)。

解决控制冒险的方法如下:

(1)阻塞

在分支指令后立即阻塞流水线,避免地址未被计算,样例如下:

分析:在较长流水线中,往往不能在第二级完成分支决策,停顿会带来更大的速度下降。

(2)预测

根据“通过预测提高性能”的设计原则对分支地址进行预测预测,预测错误才需要阻塞。

Ⅰ、恒预测不跳转 

一种简单的预测方法就是总预测分支未发生(不跳转),样例如图:

Ⅱ、静态分支预测

一种更成熟的分支预测是基于典型的行为,预测一些分支发生而预测另一些分支不发生,样例如下:

Tips:这种分支预测依赖始终不变的行为,没有考虑特定分支指令的特点。

Ⅲ、动态硬件预测

定义:预测取决于每一步分支的行为,并且在整个程序的生命周期内可能改变分支的预测结果。

实现:保存每次分支的历史记录,利用历史记录来预测。

Tips:较长的流水线会恶化预测的性能(各种方法),并提高错误预测的概率。

3.5 流水线冒险样例

六、MIPS流水化的数据通路 

在单时钟周期中,流水线最多五条指令,因此要把之前的数据通路分为五部分,如图:

图中从左到右的指令流中有两个例外:

(1)写回阶段是写回数据通路中间的寄存器(可能导致数据冒险)

(2)选择PC的下一个值的时候,在自增PC与MEM的分支地址间进行选择(可能导致控制冒险) 

1.流水线寄存器

通过增加保存中间数据(记录前一时钟周期产生的结果)的寄存器,使得指令过程中可以共享部分数据通路,故需要流水线寄存器,确保一条数据通路实现流水线,加入流水线寄存器如图所示:

Tips:流水线寄存器宽度要足够大(64、128、97、64)

补充:每条指令都会更新PC,PC可以看作是一个流水线寄存器:给IF级提供数据,发生异常时必须保存它的内容。

2.流水线工作方式

以lw与sw为例介绍流水线的工作方式与数据通路实现,红圈为数据传输与存储,供之后的指令使用,如图所示:

2.1 lw/sw指令的流水操作——IF

2.2 lw/sw指令的流水操作——ID

Tips:由于处理器并不知道当前是哪一条指令在被译码,因此它把符号扩展后的常量及两个寄存器的值都读入ID/EX寄存器中,简化控制。 

2.3 lw指令的流水操作——EX

2.4 lw指令的流水操作——MEM 

2.5 lw指令的流水操作—— WB

其中,写回寄存器的值是IF/ID流水线寄存器(之前lw的目标寄存器没保存)提供的,但现在的指令是lw后的指令,故写回寄存器的值有问题,需要修正,如图所示:

2.6 sw指令的流水操作——EX

Tips:只有在Sw中才将第二个寄存器的数据写入EX/MEM寄存器。

2.7 sw指令的流水操作—— MEM

2.8 sw指令的流水操作—— WB

3.流水线图形化 

3.1 多时钟周期流水线图

多时钟周期流水线图简单但不包括所有细节,构成了资源(部件)的使用情况图。样例如图所示:

Tips:上图描述的是每个步骤使用的物理资源

3.2 传统图示

3.3 单时钟周期流水线图

单时钟周期流水线图表示的是一个时钟周期内整个数据通路的状态,样例如图:

3.4 流水线性能与时钟周期回顾

3.5 流水线例题 

Ⅰ、几个学生在讨论五级流水线的效率问题。有一个学生指出并非所有流水级中的指令都是活动的。在忽略冒险的情况下,他们做出了以下几个断言,其中哪一个是正确的?

1)允许跳转、分支、ALU指令使用比5级(装载指令需要的级数)更少的级数将在所有情况下增加流水线的性能。

错误,由2)解释。

2)允许一些指令使用更少的级数并不能提高性能,因为吞吐率(单位时间流出的指令数)是由时钟周期决定的。每条指令所需的流水线级数仅影响它的延迟时间,而不影响吞吐率

正确

3)不可能减少ALU指令所需的时钟周期数,因为他们需要写回结果。不过分支和跳转指令是可以减少时钟周期数的,因此存在改善性能的机会。

错误

4)相对于尝试减少指令所需的时钟周期数,我们可以延长流水线的级数,虽然每条指令花费更多的时钟周期数,但时钟周期的长度变短了,这样才能提高性能(吞吐率 = 单位时间 / 时钟周期的长度)。

正确 

Ⅱ、流水线对时钟周期的影响

1.流水线处理器与非流水线处理器的时钟周期分别是多少?

流水线处理器时钟周期取决于最慢的流水线级:350ps

非流水线时钟周期为一条指令(单周期):1250ps

2.lw指令在流水线处理器和非流水线处理器中的总延迟分别是多少?

流水线总延迟:max (250, 350, 150, 300, 200) * 5 = 350ps * 5 = 1750ps

非流水线:250 + 350 + 150 + 300 + 200 = 1250ps

3.如果可以将原流水线数据通路的一级划分为两级,每级的延迟是原级的一半,那么你会选哪一级进行划分?划分后的时钟周期是多少?

选择最长的一级划分,即ID

划分后时钟周期为:300ps 

4.假设没有阻塞和冒险,数据存储器的利用率是多少(占总周期数的百分比)?

lw与sw使用数据存储器,故利用率为20+15=35%

5.假设没有阻塞和冒险,寄存器堆的写寄存器端口的利用率是多少?

alu与lw使用写寄存器端口,故利用率为45+20=65%

6.假设一种多周期的处理器设计,其中每条指令需要多个时钟周期完成。但上一条指令完成前不取下一条指令。在这种设计中,指令仅经过其所需的阶段(例如,存储指令仅需4个时钟周期,因为其不需要WB阶段)。比较单周期设计、多周期设计和流水线设计三者的时钟周期和总执行时间。

Tips:beq因为branch在mem中,所以有控制信号,无WB,所以在多周期中为4。

4.流水线控制信号 

流水线控制信号(简化)如图:

Tips:输入ALU control的六位字段为指令立即数的低六位(符号扩展时无变化)。

EX过程中控制信号有:RegDst、ALUOp、ALUSrc,根据这些信息选择结果寄存器(R、I型指令)、ALU操作、并为ALU读取data2或符号扩展后的立即数。 

4.1 控制信号说明

ALUOp信号如下:

其他信号如下:

Tips:控制信号与非流水方式相同的意义,各种指令如下:

4.2 控制信号与数据通路 

流水线控制信号根据指令产生:与单周期实现一样,如图:

Tips:ALUOp分为ALUOp1与ALUOp0,为两个控制信号。 

流水线数据通路如图:

总结

以上便是绍深入计算机组成与设计第四章处理器的相关知识。在第四章中,主要以计算机系统处理器与流水线的数据通路介绍与实现为主。

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

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

相关文章

idea整合svn

idea整合svn svn下载 链接:https://pan.baidu.com/s/1yS3R3lEE8lm9c9Ap-ndDKg 提取码:65ur 基础步骤 IDED中配置SVN没有svn.exe解决办法 以下是两种解决方案 需要卸载原 svn(不推荐) 参考网址: https://blog.csdn.…

ansible以及playbook

文章目录1.ansible1.概念2.工作原理3.安装ansible2.playbook1.组件2.角色详解3.剧本语法3.1基本语法3.2常用字段3.3 选项1.ansible 1.概念 ansible是一个可以服务端控制其他机器完成工作的一个应用工具, 1.服务没有客户端存在,通过模块对节点服务器进行…

设计模式--建造者模式 builder

设计模式--建造者模式 builder)建造者模式简介建造者模式--小例子(电脑购买)1.产品类2.抽象构建者3.实体构建类4.指导者类5.客户端测试类小结建造者模式简介 建造者模式有四个角色,概念划分如下: Product : 产品类&a…

docker的基本管理

Docker的概念云计算三层架构服务说明应用IAAS基础设施及服务硬件(服务器、网络设置、防火墙等)虚拟化网络虚拟化(大二层)例:openstackPAAS平台及服务环境例:数据库、 docker 、kubernetesSAAS应用及服务应用…

内网渗透(十四)之内网信息收集-域环境中查找域内用户基本信息

系列文章第一章节之基础知识篇 内网渗透(一)之基础知识-内网渗透介绍和概述 内网渗透(二)之基础知识-工作组介绍 内网渗透(三)之基础知识-域环境的介绍和优点 内网渗透(四)之基础知识-搭建域环境 内网渗透(五)之基础知识-Active Directory活动目录介绍和使用 内网渗透(六)之基…

终于进了字节,记录一下我作为一名测试员磕磕碰碰的三个月找工作经历...

我是裸辞后重新找工作的,从去年到今年,前前后后花了大概三个月,大大小小参加了几百场面试。不是我说,作为一名测试员是真的挺难的,不过很庆幸自己最后拿到了字节的offer,今天在这里做一下记录吧&#xff0c…

从GPT到ChatGPT:我们离那个理想的AI时代到底还有多远?

写在前面 在2023年新年伊始,科技界最为爆火一款产品无疑是OpenAI公司出品的ChatGPT了,作为一名NLP领域从业者,似乎也好久没有看到如此热闹的技术出圈场景了。诚然从现象来看,无论从效果惊艳度、社会效应、商业价值、科技发展方向…

C++【多态】

文章目录1、多态的概念2、多态的定义及实现2-1、多态的构成条件2-2、虚函数2-3、虚函数的重写2-4 多态样例2-5、协变2-6、 析构函数与virtual2-7、函数重载、函数隐藏(重定义)与虚函数重写(覆盖)的对比2-8、override 和 final&…

spring的简单理解

目录 1 .ioc容器(控制反转) 2. Aop面向切面编程 3. 事务申明 4. 注解的方式启动 5. spring是什么与他的优势 6. 代理设计模式(比如aop) 7. springmvc中相应json数据 8. 使用lombok来进行对代码的简化 9. 使用logback记录…

学习SpringCloudAlibaba(二)微服务的拆分与编写

目录 一、单体架构VS微服务架构 1.单体架构 ​(1).单体架构的优点 (2).单体架构的缺点 2.微服务架构 (1)微服务的特性 (2)微服务架构图 (3)微服务的优点 …

大数据之------------数据中台

一、什么是数据中台 **数据中台是指通过数据技术,对海量数据进行采集、计算、存储、加工,同时统一标准和口径。**数据中台的目标是让数据持续用起来,通过数据中台提供的工具、方法和运行机制,把数据变为一种服务能力,…

ChatGPT使用、原理及问题

引言 2022年11月30日,OpenAI公布了他们的新产品:ChatGPT。随后ChatGPT火得一塌糊涂。通过b站搜索“ChatGPT”的结果: 搞学术的想着从它身上找点创新,吃瓜群众吃着这锅热瓜,想赚钱的眼睛贼亮🌟&#x1f31f…

C++11中function和bind的用法

C11中function和bind的用法一、简介二、std::function的用法2.1、保存普通函数2.2、保存lambda表达式2.3、保存成员函数三、std::bind用法总结一、简介 在设计回调函数的时候,无可避免地会接触到可回调对象。在C11中,提供了std::function和std::bind两个…

云端IDE系列教程6:初识 WeTTY,想说爱你不容易

原文作者:行云创新产品总监 John 概述 今天我们接着上一期的文章《玩转云原生 Terminal 之 TTY 的前世今生》,继续来聊一聊云原生 Terminal。为了在 TitanIDE 上玩转云原生 Terminal ,首先找到了 WeTTY,在这个过程中,…

ITSM | 限时优惠,帮助您的团队终结不良服务管理!

不良服务管理(Bad Service Management ,简称BSM)是一种糟糕的状况,困扰着使用传统ITSM工具的公司。现在,它已经在许多IT团队中蔓延,并迅速攻击业务的其他领域,使他们无法处理来自不同业务领域的…

ROS2机器人编程简述humble-第四章-AN OBSTACLE DETECTOR THAT USES TF2 .1

如何检测一个障碍物呢?视觉、雷达?可视化效果如何?机器人所装备的传感器例如感知设备,主要负责环境的获取和识别。然后,结果发送给电机控制运动,在环境中自主、智能决策和规划。需要先简单看一下仿真可视化…

一篇带你MySQL运维

1. 日志 1.1 错误日志 错误日志是 MySQL 中 重要的日志之一,它记录了当 mysqld启动和停止时,以及服务器在运行过程中发生任何严重错误时的相关信息。当数据库出现任何故障导致无法正常使用时,建议首先查看此日志。 该日志是默认开启的&…

全栈自动化测试技术笔记(二):准备工作的切入点

自动化测试技术笔记(二):准备工作的切入点 上篇整理的技术笔记,聊了自动化测试的前期调研工作如何开展,最后一部分也提到了工作的优先级区分。 这篇文章,接上篇文章的内容,来聊聊自动化测试前期的准备工作&#xff0…

插件 sortablejs:HTML元素可拖动排序

插件 sortablejs 用于可重新排序拖放列表的JavaScript库&#xff1b;关键链接&#xff1a;npm 地址 Github 地址 安装 npm i sortablejs引入 import Sortable from "sortablejs"HTML <ul id"items"><li>item 1</li><li>item …

Sentinel降级和热点Key限流

目录 一、降级规则 &#xff08;一&#xff09;官网 &#xff08;二&#xff09;基本介绍 &#xff08;三&#xff09;降级策略实战 二、热点key限流 &#xff08;一&#xff09;基本介绍 &#xff08;二&#xff09;官网 &#xff08;三&#xff09;测试 &#xff08…