从 01 开始 从 01 开始
首页
  • 📚 计算机基础

    • 计算机简史
    • 数字电路
    • 计算机组成原理
    • 操作系统
    • Linux
    • 计算机网络
    • 数据库
    • 编程工具
    • 装机
  • 🎨 前端

    • Node
  • JavaSE
  • Java 高级
  • JavaEE

    • 构建、依赖管理
    • Ant
    • Maven
    • 日志框架
    • Junit
    • JDBC
    • XML-JSON
  • JavaWeb

    • 服务器软件
    • 环境管理和配置管理-科普篇
    • Servlet
  • Spring

    • Spring基础
  • 主流框架

    • Redis
    • Mybatis
    • Lucene
    • Elasticsearch
    • RabbitMQ
    • MyCat
    • Lombok
  • SpringMVC

    • SpringMVC 基础
  • SpringBoot

    • SpringBoot 基础
  • Windows 使用技巧
  • 手机相关技巧
  • 最全面的输入法教程
  • 最全面的浏览器教程
  • Office
  • 图片类工具
  • 效率类工具
  • 最全面的 RSS 教程
  • 码字工具
  • 各大平台
  • 校招
  • 五险一金
  • 职场规划
  • 关于离职
  • 杂谈
  • 自媒体
  • 📖 读书

    • 读书工具
    • 走进科学
  • 🌍 英语

    • 从零开始学英语
    • 英语兔的相关视频
    • Larry 想做技术大佬的相关视频
  • 🏛️ 政治

    • 反腐
    • GFW
    • 404 内容
    • 审查与自我审查
    • 互联网
    • 战争
    • 读书笔记
  • 💰 经济

    • 关于税
    • 理财
  • 💪 健身

    • 睡眠
    • 皮肤
    • 口腔健康
    • 学会呼吸
    • 健身日志
  • 🏠 其他

    • 驾驶技能
    • 租房与买房
    • 厨艺
  • 电影

    • 电影推荐
  • 电视剧
  • 漫画

    • 漫画软件
    • 漫画推荐
  • 游戏

    • Steam
    • 三国杀
    • 求生之路
  • 小说
  • 关于本站
  • 关于博主
  • 打赏
  • 网站动态
  • 友人帐
  • 从零开始搭建博客
  • 搭建邮件服务器
  • 本站分享
  • 🌈 生活

    • 2022
    • 2023
    • 2024
    • 2025
  • 📇 文章索引

    • 文章分类
    • 文章归档

晓林

程序猿,自由职业者,博主,英语爱好者,健身达人
首页
  • 📚 计算机基础

    • 计算机简史
    • 数字电路
    • 计算机组成原理
    • 操作系统
    • Linux
    • 计算机网络
    • 数据库
    • 编程工具
    • 装机
  • 🎨 前端

    • Node
  • JavaSE
  • Java 高级
  • JavaEE

    • 构建、依赖管理
    • Ant
    • Maven
    • 日志框架
    • Junit
    • JDBC
    • XML-JSON
  • JavaWeb

    • 服务器软件
    • 环境管理和配置管理-科普篇
    • Servlet
  • Spring

    • Spring基础
  • 主流框架

    • Redis
    • Mybatis
    • Lucene
    • Elasticsearch
    • RabbitMQ
    • MyCat
    • Lombok
  • SpringMVC

    • SpringMVC 基础
  • SpringBoot

    • SpringBoot 基础
  • Windows 使用技巧
  • 手机相关技巧
  • 最全面的输入法教程
  • 最全面的浏览器教程
  • Office
  • 图片类工具
  • 效率类工具
  • 最全面的 RSS 教程
  • 码字工具
  • 各大平台
  • 校招
  • 五险一金
  • 职场规划
  • 关于离职
  • 杂谈
  • 自媒体
  • 📖 读书

    • 读书工具
    • 走进科学
  • 🌍 英语

    • 从零开始学英语
    • 英语兔的相关视频
    • Larry 想做技术大佬的相关视频
  • 🏛️ 政治

    • 反腐
    • GFW
    • 404 内容
    • 审查与自我审查
    • 互联网
    • 战争
    • 读书笔记
  • 💰 经济

    • 关于税
    • 理财
  • 💪 健身

    • 睡眠
    • 皮肤
    • 口腔健康
    • 学会呼吸
    • 健身日志
  • 🏠 其他

    • 驾驶技能
    • 租房与买房
    • 厨艺
  • 电影

    • 电影推荐
  • 电视剧
  • 漫画

    • 漫画软件
    • 漫画推荐
  • 游戏

    • Steam
    • 三国杀
    • 求生之路
  • 小说
  • 关于本站
  • 关于博主
  • 打赏
  • 网站动态
  • 友人帐
  • 从零开始搭建博客
  • 搭建邮件服务器
  • 本站分享
  • 🌈 生活

    • 2022
    • 2023
    • 2024
    • 2025
  • 📇 文章索引

    • 文章分类
    • 文章归档
  • 计算机简史

  • 数字电路

  • 计算机组成原理

    • 计算机组成原理(北大-陆俊林)

      • 概述-计算机组成原理(北大-陆俊林)
      • 第1周-计算机组成章节视频简介
      • 101-电子计算机的兴起
      • 102-冯·诺依曼结构的要点
      • 103-冯·诺依曼结构的小故事
      • 104-计算机结构的简化模型
      • 105-计算机执行指令的过程
      • 106-计算机输入和输出
      • 107-冯诺依曼结构和具体实现
      • 201-设计自己的计算机
      • 202-x86 体系结构
      • 203-x86 指令简介
      • 204-复杂的 x86 指令举例
      • 205-MIPS 体系结构
      • 206-MIPS 指令简介
      • 301-算术运算和逻辑运算
      • 302-门电路的基本原理
      • 303-寄存器的基本原理
      • 304-逻辑运算的实现
      • 305-加法和减法的实现
        • 半加器
      • 306-加法器的优化
      • 401-乘法的运算过程
      • 402-乘法器的实现
      • 403-乘法器的优化 1
      • 404-乘法器的优化 2
      • 405-除法的运算过程
      • 406-除法器的实现
      • 407-除法器的优化
      • 501-处理器的设计步骤
      • 502-数据通路的建立
      • 503-运算指令的控制信号
      • 504-访存指令的控制信号
      • 505-分支指令的控制信号
      • 506-控制信号的集成
      • 601-流水线的基本原理
      • 602-流水线的优化
      • 603-超标量流水线
      • 604-流水线的冒险
      • 605-数据冒险的处理
      • 606-控制冒险的处理
      • 701-存储层次结构概况
      • 702-DRAM 和 SRAM
      • 703-主存的工作原理
      • 704-主存技术的发展
      • 705-高速缓存的工作原理
      • 706-高速缓存的组织结构
      • 707-存储容量的计算
      • 801-中断和异常的来源
      • 802-中断向量表的结构
      • 803-中断向量表的发展
      • 804-中断的处理过程
      • 805-内部中断分类说明
      • 806-基于中断的功能调用
      • 901-输入输出接口的基本功能
      • 902-输入输出接口的编址方式
      • 903-输入输出的控制方式
      • 904-中断控制方式
      • 905-外部中断的处理过程
      • 906-直接存储器访问方式
    • 字符编码入门

  • 操作系统

  • Linux

  • 计算机网络

  • 数据库

  • 编程工具

  • 装机

  • 计算机基础
  • 计算机组成原理
  • 计算机组成原理(北大-陆俊林)
2023-06-13
目录

305-加法和减法的实现

# 305-加法和减法的实现

加法和减法是两种基本的算术运算。在计算机进行二进制的加减法的运算,和我们平时用纸笔进行的运算方法肯定是不一样的。那它是如何实现的呢?让我们一起来分析。

‍

我们先来看如果用手工运算的话如何进行二进制加法的。 这里有两个四位数的二进制数相加,被加数是 1101,加数 0110。 其实和我们做十进制的加法是一样的,首先从最低位开始 1 加 0 等于 1,然后第二个 0 加 1 等于 1; 第三个 1 加 1,因为我们是二进制就是逢二进一 所以这里应该计为 0 并有一个进位。我们暂且记下,然后再算最高位 再算最高位 1 加 0 本来应该等于 1,还要加上一个进位,所以应该等于 0。 再往上进一位,这就是最后的(和)。

因此,对每一位的相加来说 实际上要做这么几项工作,我们要完成两个一位的二进制数的相加。 而且可能有从进位传进过来的进位要参加运算,最后还有可能产生进位的输出。

​​

加法和减法是两种基本的算术运算。 在计算机进行二进制的加减法的运算 和我们平时用纸笔进行的运算方法肯定是不一样的。 那它是如何实现的呢?让我们一起来分析。

​​ ‍

# 半加器

那么现在就来看两个一位的二进制数的相加是如何用硬件电路实现的。 首先我们来介绍一个电路叫半加器,半加器的功能是将两个 1 位的二进制数相加。 这就是半加器,由一个异或门和与门组成。 它有两个输入端口 A 和 B,就是我们要相加的两个一位二进制数。 两个输出端口其中一个是 S,相当于这两个一位二进制数相加对应产生的(和),而 C 则是它们产生的进位; 有进位就是 1,没有进位就是 0 。那如果 A 等于 0 B 等于 1,那经过这个异或门之后的输出应该是多少呢? 我们知道对于异或门如果两个输入是不相同的,那输出为 1; 两个输入是相同的时候输出为 0。所以,这个时候输出应该为 1。 而下面这个语文只有两个输入都为 1 时,输出才是 1。 那么这时,输出应该是 0。 这个结果也正好符合我们对这两个二进制数进行相加所得的和及进位

​

那么对于 AB 来说总共有四种情况的组合对应产生四种运算结果。除了我们刚才介绍的 AB 为 0、1 的情况,我们可以再来看当 AB 均为 1 时 这时候运算的结果是十进制的 2,也就是二进制的 10;所以对应这位的和是 0 , 产生一个进位 1。这就是半加器,但半加器相比我们刚才提到的功能需求还差一点。 它不能将第一位产生的进位作为输入参与运算,所以我们还需要增加这个功能。

这就是全加器,实际上全加器是由两个半加器构成的。这个图中 这两个绿色的异或门和与门就是一个半加器,而这两个橙色的异或门和与门是另一个半加器,最后再添加一个或门就构成了全加器。 这个全加器有三个输入,除了两个原操作数 A 和 B,还有一个进位输入 Cin。它的输出则有两个, 运算结果 S 和进位输出 Cout。 这样三个输入总共有 8 种组合的情况,这是他们对应的输出,我么来看 其中的一个例子。

​

比如 A 和 B 均为,进位输入也是 1 的时候 相当于三个 1 相加,用十进制来说运算结果就是 3。 那么当前的位和进位组合在一起我们可以看到二进制的 11 实际上也就是十进制的 3. 这样全加器就能满足我们刚才分析的那三点要求。

那我们再回到刚才那个例子 来看看如何用全加器构成一个 4bit 的加法器 这是一个全加器,我们将四个全加器串联起来,前一个全加器的 进位输出连到后一个全加器的进位输入,这样就构成了一个四位的加法器。 那这个 4 位的加法器是如何工作的呢? 还是用过这个例子来看,A 有四个二进制位,我们用橙色来表示。 B 也有四个二进制位,我们用蓝色来来表示。在运算时,需要将 A 对应的二进制位连到这四个全加器的 A 输入端口,而将 B 对应的四个二进制位镰刀这四个全加器的 B 端口。 我们用不同的颜色标出来,对于整个加法器的进位输入我们设为 0。

  • 这样最右边全加器的三个输入都已经确定,很快就可以得到输出。S 为 1,Cout 则为 0。
  • 这样第二个全加器的三个输入也都已经确定,从而可以产生对应的输出。 接下来 S 是 1,进位是 0。
  • 对于第三个全加器,这时候三个输入也已经确定了。 那这时候因为有两个 1 相加,所以 S 应该是 0,进位是 1。
  • 对于最后一个全加器,运算结果 S 是 0,Cout 是 1。

这样作为一个整体这个四位的加法器就得到了运算的结果,包括两个部分: 一部分是用 S 的端口出来的, 成为这个运算的(和)。还有一部分是从最左边的 Cout 出来,作为整个加法器的进位。 因此,这个四位二进制数的运算结果就包括这两个部分。

​

和这个四位的加法器一样,我们可以很容易的构建出 32 位的加法器。也就是用 32 个全加器串联而成。 它的输入是两个 32 位数 A 和 B 在加法器的内部, 会分别连接到了 32 个全加器的 A 输入端口和 B 输入端口。 输入全加器的输出成为一个 32 位的加法器的输出。 整个加法器的进位输入连接到了最低位的全加器。 而最高位全加器的进位输出作为整个加法器的进位输出。 这样的加法器就可以满足加法运算指令的需求,对于这条指令我们只需要将 rs 所指向的寄存器,和 rt 所指向的寄存器的内容分贝连接到 A 端口和 B 端口,并将 S 送到 RD 所指向的寄存器 这就完成了对应的加法运算。

​

那么 add 的指令类似 addu 的指令也完成了同样的运算功能,这两条指令的区别就在于对溢出的处理不同。

溢出是指运算结果超出了正常的表示范围。 由于在计算机中我们总是用有限的二进制位来表示一个数, 因此加法运算的结果有可能或超出这个有限的位数所能表示的范围。 溢出这种情况仅是针对有符号运算数来说的。 具体表现就是如果两个正数相加,结果变成了一个负数; 或者两个负数相加结果变成了一个正数这显然是不正确的。 这种情况就是由溢出造成的。

我们来看一个例子, 0011 加上 0101 如果用个四位加法器进行运算, 就会得到 1000. 如果我们把它们都看成无符号数那么 0011 就是 3,0101 就是 5,而 1000 就是 8 。那么这个运算结果是正确的。 但如果我们把它看作有符号数 ,原操作数仍然是 3 和 5 但运算结果 1000 他其实代表的是-8。 这样子的结果就是不正确的,也就是发生了溢出。

​

那么还需要注意的是进位和溢出的差别。 有溢出的时候不一定有进位,而有进位的时候也不一定有溢出。 我们分别通过例子说明,这还是刚才这个例子: 这个例子中的加法是没有发生进位的,所以这就是一种有溢出无进位的情况。

我们再看一个例子:1110 加上 1100 送到四位的加法器中运算的结果 1010 ,同时有一个进位 1。 这显然是有进位,但它却是无溢出的情况。为什么呢?我们来看,如果把它当作无符号数进行运算, 1110 是 14,1100 是 12, 如果带上进位一起考虑那就是正确的运算结果 26。 如果不带进位则是为 10 。因为四位的二进制位只能表示小于 16 的数, 所以无符号数的的运算结果可以默认为对结果进行模 16 的运算。那只看着四位的话结果是 10 ; 相当于 26 模 16 的值。 所以这也是正确的。而对于有符号数来说相当于-2 加上-4 而这四位的结果就是-6 ,这个运算也是正确的。

​

当然,从另一个角度来看因为溢出是针对有符号的数的运算结果,超出了能表示的范围,我们也可以把有进位这种情况看作无符号数的运算超出了能够表示的范围。 但是进位是很容易判断的,加法器本身就提供了这样的机制。 最高位的全加器的进位输出就是整个加法器的进位。那溢出又该如何判断呢? 其实很简单, 就是当最高位的全加器的进位输入不等于它的进位输出的时候,这就是发生溢出了。 这是刚才的全加器,这个 c31 就是最高位的全加器的进位输入。 这儿,就是最高位全加器的进位输出。 把这两个信号连出来,判断它们是否不相等。那么用什么方法来判断不相等呢?其实非常简单,就连接一个异或门就可以了。 当它们不相等时,异或门的输出为 1 当他们两个都为 0 或者都为 1 时,异或门的输出为 0 。因此,就可以用这个信号来表示是否发生了溢出。 至于为什么用这个方法就可以判断溢出,留给大家自己思考。

​ ‍

然后还需要说明的是,对于 一个加法器的硬件实现,它并不关心这两个输入数是有符号数还是无符号数。或者说,它对于有符号数和无符号数的处理都是一样的。 全都是通过这套同样的硬件逻辑,进行运算,产生相同的结果。 至于参与运算的数到底是有符号数还是无符号数,取决于编程人员如何去看待它。 因此,是不是要处理溢出以及如何处理溢出,就不能只交给硬件来做。 不同体系结构有不同的方法。

我们先来看 MIPS 处理溢出的方式。 它提供了两种不同的指令。如果编程人员想将操作数看作有符号数,需要处理溢出, 则需要使用 add 和 addi 这样的指令。 当这样的运算发生溢出时,会产生异常,也就是说,控制电路会检查加法器产生的 overflow 的信号。 如果 overflow 信号有效,控制电路就会当做一个异常的情况进行处理。 至于如何处理,我们会在讲到中断和异常时再做分析。

如果编程人员希望将操作数看作无符号数,也就是不对溢出进行处理。 那就需要使用这两条指令,addu 和 addiu。它们分别和上面这两条指令是对应的。 唯一的区别就是,在执行这两条指令时,控制电路不会检查加法器输出的 overflow 信号。

​

所以说,MIPS 处理溢出的方式是提前做准备。 按照是否要处理溢出,采用不同的指令进行运算。 而 x86 则采用了另一种方式。它并没有根据是否处理溢出分为两种运算指令,x86 的运算指令,如果产生了溢出, 并不会直接由控制电路检查到并进行处理。 而是将加法器产生的溢出信号传送到了标志寄存器。 如果发生溢出,则会致标志寄存器当中的 OF 位为 1。如果没有发生溢出,则致 OF 位为 0. 这就是 x86 的标志寄存器,其中第十一位是 OF 位,这就是溢出标志,则在后续的指令中,需要检查标志寄存器的 OF 位是否为 1 并进行相应的操作。

​ ‍

最后我们再来看一看减法运算。 其实减法是可以很容易的转换位加法的。例如我们要进行 A-B 的运算,那就相当 于进行 A 加上-B 的运算,但我们需要注意的是,我们如何将 B 转换为负 B 呢? 我们知道,计算机当中使用补码来保存二进制数的。 B 转换为负 B,可不是在前面加一个负号这么简单。 那么补码表示二进制数取相反数,有这样一个转换的规则。 叫做按位取反,末位加一。这是什么意思呢? 我们来看一个例子。例如我们有一个数 X,那么所谓按位取反,就是将 X 中的每一位由 0 变成 1,由 1 变成 0,那么得到了 X 按位取反以后的值。如果我们把这两个值相加, 那么它们的和,显而易见,每一位都是 1. 在补码表示中,全 1 的这个二进制数,就代表着-1。 那么由这个运算我们可以得到,如果将 X 和它按位取反后的值相加, 就等于-1,我们把这个等式进行一些变换, 就可以得到,X 相反数,就等于对 X 进行按位取反,然后再加上 1,这就是转换规则的由来。

​ ‍

那么我们在加法器的基础上,用这样的方式,就可以很容易的实现减法器。 也就是 A 减 B,相当于 A 加上负 B, 实际上就等于 A 加上 B 的按位取反然后再加 1, 那么我们应该对加法器进行怎样的改造就能实现这样的操作呢? 我们来看,这就是刚才的那个加法器。 原来的输入 A 和 B 都不变,我们增加了一个新的输入, 只有一个比特,称为减法模式。 它首先控制了一个二选一的多选器,如果这个信号为 0 ,代表是执行加法操作,那么会将多选器的这一条通路选通, 也就是直接将 B 传送的下面的这些全加器。 这就跟刚才的加法运算是一样的。而且我们还注意到这个选择信号还连接到了最低位全加器的进位输入,但是因为它现在是 0,所以仍然和刚才的加法操作是一样的,这时候就该执行一个加法的运算。

如果这个信号为 1,代表要执行一个减法的运算。 那这个二选一的多选器会选择这条通路。 这条通路是将 B 这个信号的输入每一位都接上一个非门, 相当于按位取反,将按位取反的 B 送到每一个全加器与 A 相加,我们还要注意,因为这个选择信号为 1, 所以最低位的全加器的进位输入也是 1. 这样就实现了对 B 进行按位取反,末位加一的操作,于是这个加法器也就变成了减法器。 这样我们通过这个改动,这个功能部件又能实现加法,又能实现减法,通过这个选择信号来进行选择。

​ ‍

我们已经实现了加法器和减法器,那现在是否可以构造出一个完整的 ALU 呢?先别着急, 对于计算机系统来说,我们不仅要求它功能正确, 而且希望有着更好的性能,那么这个加法器和减法器是否还有更大的提升空间呢? 我们下一节进行分析 ‍

上次更新: 2025/5/9 14:55:39
304-逻辑运算的实现
306-加法器的优化

← 304-逻辑运算的实现 306-加法器的优化→

最近更新
01
学点统计学:轻松识破一本正经的胡说八道
06-05
02
2025 年 5 月记
05-31
03
《贫穷的本质》很棒,但可能不适合你
05-27
更多文章>
Theme by Vdoing | Copyright © 2022-2025 | 粤 ICP 备 2022067627 号 -1 | 粤公网安备 44011302003646 号 | 点击查看十年之约
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式