这么好玩的问题,没人回答说不过去。不懂电子元件的码农我要强答一发了。太学术的我不会,你们也听不懂。所以臭不要脸非常不严谨地科普一记。说错不许打我。
另外关于这个问题,推荐《编码 (豆瓣)》这本书,挺薄的。当《十万个为什么》看,好奇的同学一晚上就能搞明白。

第一季 继电器

先不要扯什么图灵,冯诺依曼这些先贤。因为他们都太遥远。计算机一切计算的源头其实是源自一个非常非常中二的东西:“继电器(Relay)”。继电器是什么鬼?看下图,

其实就是一个线圈利用电磁感应做成的电磁铁。原理和“电报机”一样,当开关闭合,黄色电路通电,线圈是金属棒变成磁铁,吸引中间的小开关(Anker),接通右边灰色的电路,点亮灯泡。
简单说,就是你在家一按开关,隔壁老王家的灯亮了。

第二季 “反相器”和“非门”

为什么说继电器是个很中二的东西?因为这不就是开关吗?我按了它才亮,不按绝对不亮。但CPU真就是这货发展而来的。它的变种就开始好玩了。最简单的一个变种,就是“反继电器”,或者叫“反相器(Inverter)”。就是隔壁老王家的灯本来是亮着的,我手上的开关一按,灯就灭了。
"反相器"到了现代计算机里,就叫做“非门(NOT Gate)”。本来开关T1是接通的,Output是1(5V高位电平)。一旦闭合开关T1,电路中断,输出变为0(1V低位电平)。
“非门”用下面这个符号表示。简单说,就是输出永远和输入是反的,输入1,输出就是0。输入0,输出就是1。

第三季 逻辑门家族

和“非门”一样,我们能得到一堆其他特性的门。比如,“与门(AND Gate)”,就是两个开关串联。必须两个开关同时闭合,灯泡才能亮。


“或门(OR Gate)”,两个开关并联,只要其中一个开关闭合,灯泡就会亮。

长话短说,下图是所能得到的几个基本“逻辑门(Logic Gates)”。

虽然看上去比较复杂,但“逻辑门”在本质上和之前讲的“继电器”都是“控制电路”。或者说都是我手里握着控制老王家花式吊灯的各种开关。老王一定很郁闷。

第四季 逻辑

逻辑门虽然被我说得很淳朴,就是控制隔壁老王家吊灯的开关。但其中却可能蕴含着人类大脑,甚至是这个世界终极奥义的一部分:逻辑(Logic)。这也是为什么它被叫做逻辑门。

爱因斯坦曾说过:

世界上最不可思议的事情,就是这个世界是可以被“理解”的。

简直是细思极恐有木有!最简单的例子,亚里士多德给出的经典“Barbara”三段论:

如果所有人(M)都是必死的(P),(大前提)
并且所有希腊人(S)都是人(M),(小前提)
那么所有希腊人(S)都是必死的(P)。(结论)

数学上,一个形式系統(Formal system)的野心就是想通过一组公理,和逻辑推理过程,来描述和证明我们的客观世界。说到这里我们计算机的祖师爷们就都出来了:莱布尼兹,康托尔,布尔,图灵,等等等等。著名的图灵机就是在这个议题的争论中无心插柳的副产品。这个主题无法展开。感兴趣推荐看《逻辑的引擎 (豆瓣)》这本书。这里只举一个最简单的“布尔代数(Boolean algebra)”的例子:

我喜欢(长头发)的(不是)(蛇精脸)的女生

用布尔代数来表示就是:

长头发 AND ( NOT 蛇精脸)

说到这里,是不是和前面说的逻辑门联系起来了?

第五季 逻辑电路

但是逻辑是逻辑,继电器是继电器,就算上面的花式继电器也是继电器。把逻辑和继电器联系起来的是一位不得不提的大师,克劳德·艾尔伍德·香农(Claude Elwood Shannon)和他的那篇史上最牛硕士论文:《继电器与开关电路的符号分析》。绝对最牛,没有之一!

还是之前那个例子:

我喜欢(长头发)的(不是)(蛇精脸)的女生

如果:

A代表:长头发
B代表:蛇精脸

那我喜欢的女生就可以写成一个布尔函数:

把一个逻辑命题用符号写成一个公式有什么用呢?那是因为这样就可以很方便地转换成一个“逻辑表决器”,如下图。


原理很简单,当A=1时,纵向的A总线为1。当A=0时,总线输出1。B也是如此。最后的输出线搭在A总线和总线上,用个与门连接。所以只有当A的输入为1,B的输入为0时,Out才为1,代表我能接受这个女孩。不信大家可以人肉推演一下。

理论上任何布尔函数,都能转换成上面这样的表决器。就好像电路有了人类逻辑思考的能力。

第六季 “图灵机”和“累加器”

总算要说到计算机的祖师爷图灵(Turing)了。图灵机模型,相比上面说到的逻辑电路,要多一个“存储器”。因为根据图灵机模拟人类计算时大脑的工作状态的模型,人类的任何计算都可以抽象成一个机械化的过程。

考虑5+7=12这个加法。5加7等于12,写下2,然后心中默记产生一个进位。最终写成12。

    5
+ 7
-----
12

换成二进制,是一个道理,

    0000 0101
+ 0000 0111
-------------
0000 1100

其中每一位的加法还是能分解成两个动作:

  1. 同一位的两个数字相加
  2. 如果当前位结果大于1,则向前进一位

第一个动作可能的结果(真值表)有:

0 XOR 0=0
1 XOR 0=1
0 XOR 1=1
1 XOR 1=0

这个真值表和一个简单的“异或门”是一致的。

第二步进位,只有1+1才需要进位1,所以真值表如下:

0 AND 0=0
1 AND 0=0
0 AND 1=0
1 AND 1=1

这和“与门”的真值表是一致的。

所以把一个“异或门”和一个“与门”组合到一起,就构成了一个“一位半加器”:


但事实上一位半加器只适用于末位数的加法。高位的二进制加法需要考虑3个输入,就是还需要额外考虑上一位得到的进位。这个过程可以用两个半加器来完成。
两个半加器组合起来,构成一个完整的“一位全加器”。

把8个这样的一位全加器组合起来,就构成了一个“八位全加器”:
从最末尾开始相加,刚才的5+7:

0000 0101 + 0000 0111

反过来就变成:

    1010 0000
+ 1110 0000
-------------
0011 0000

把最初的进位c_in设为0,得到的结果反过来就是:0000 1100 = 12。

至此,计算机好像拥有了人脑的部分智能。既然一组逻辑门,能计算加法,就一定能做减法,乘法,除法,和其他计算。

第六季 寄存器

加减乘除远远不是逻辑门能做的全部事情。实际上电脑里出了硬盘,风扇,电池,其他几乎全是由逻辑电路和逻辑门组成的,包括我们说的内存。说内存先要说一下寄存器。这东西我觉得是比CPU更神奇的一个东西。绝对是一大黑魔法。用几个简单的逻辑门,就能在不断电的情况下一直”记住“上次的输入值。

最简单的储存部件叫“SR锁存器(Latch)”。其实就是两个“或非门”。
再看一眼或非门的真值表:只有两个输入都为0,才输出1。

0 NOR 0 = 1
1 NOR 0 = 0
0 NOR 1 = 0
1 NOR 1 = 0

其中具体电流怎么通过互相博弈达到稳态的细节就不展开了。总之这个黑科技的最终效果就是:

假设初始状态都是零:S=0, R=0。输出Q=0,=0
当S端给个信号1,输出Q=1,=0
当S端变回信号0,输出还是保持Q=1,=0

也就是说,这个元件记住了之前S端的输入1。直到我们把R端设为1,输出Q才变回0。

虽然这个SR锁存器离我们真实的“RAM内存”还很遥远。但让逻辑门产生“记忆”的核心逻辑稳态锁就是这么简单的两个或非门。

当我们把SR锁存器的两个输入端捏合成一个D输入端,再加上一个由时钟信号控制端E,就得到一个更高级的“时序D锁存器”。如果不想头痛,只要记住这是一个能在时钟开关E打开的情况下,记住D输入端进来的信号的装置。之后我们一直可以从Q端得到之前D端的值。


如果再复杂一点,把两个相反的时序D锁存器组合在一起,就能构成一个“D触发器(D Flip Flop)”:

触发器和之前的锁存器的区别是,只有当时钟信号处在上升沿(从1V向5V跃迁)的一瞬间,D端的输入值才能写入触发器。并在随后的时间内,只要没有新的D输入写入,Q一直保持这个值。

D触发器离我们的内存就没那么远了。只要再套上一个用于寻址的“解码器”和之前说过的“选择器”,就能实现从特定一组触发器中读取数据的效果啦。

所以我们都知道CPU需要时钟来同步时序电路。但这个晶振时钟并不是像想象的那样直接作用在ALU(逻辑运算单元)上,而是通过寄存器来实现时序控制。感兴趣的可以看这个回答:为什么CPU需要时钟才能工作? - 胖胖的回答

第七季 硬件 V.s. 软件

虽然,几乎所有计算都能设计出一个专门的逻辑运算器。但这样做似乎并不明智,否则逻辑部件的数量将以指数级增长。一个合理的方案,应该是用硬件实现部分必须的基础计算功能,然后已软件的方式,利用基础计算单元,完成复杂计算。

就好像做乘法,不需要设计一个专门的“乘法器”,而是重复多次加法运算即可。这里就是所谓软件开始介入的地方。也就是所谓的“算法”开始放发挥作用,虽然并不是硬件无法胜任这项工作,而是把复杂性交给软件来处理似乎更合理。

从此,在硬件这棵树上,开出了软件这朵花。也就有了”程序员“这个严重伤害颈椎和腰椎的职业。

转自知乎:https://www.zhihu.com/question/24648757

cpu怎么实现运算的的更多相关文章

  1. TensorFlow——tensorflow指定CPU与GPU运算

    1.指定GPU运算 如果安装的是GPU版本,在运行的过程中TensorFlow能够自动检测.如果检测到GPU,TensorFlow会尽可能的利用找到的第一个GPU来执行操作. 如果机器上有超过一个可用 ...

  2. cpu对各种运算的速度对比

    今天忽然想到cpu对各种基本运算的速度对比,我对比了异或,加法和乘法,结果发现速度时间,加法小于乘法小于异或, 原本我以为异或会是最快的,结果异或是最慢的,这跟cpu中的alu算术逻辑单元的实现有关, ...

  3. 【转】GPU 与CPU的作用协调,工作流程、GPU整合到CPU得好处

    在不少人的心目中,显卡最大的用途可能就只有两点--玩游戏.看电影,除此之外,GPU并没有其他的作用了.但是随着微软IE9的正式发布,不少人突然发现,微软一直提到一个名词:GPU硬件加速,从而也让不少人 ...

  4. CPU与内存的关系

    至今才对cpu和内存有一定了解了,下面有几个比喻的理解,很形象呦~ 1# 例如你要吃东西时,硬盘是锅,内存是碗,CPU是你,浅显点就是这样子了~ 2# 例如电脑是企业,内存是车间,cpu是生产线,硬盘 ...

  5. sql server 的cpu使用率过高的分析

    有哪些SQL语句会导致CPU过高? 1.编译和重编译 编译是 Sql Server 为指令生成执行计划的过程.Sql Server 要分析指令要做的事情,分析它所要访问的表格结构,也就是生成执行计划的 ...

  6. cpu和内存的关系

    CPU是负责运算和处理的,内存是交换数据的.当程序或者操作者对CPU发出指令,这些指令和数据暂存在内存里,在CPU空闲时传送给CPU,CPU处理后把结果输出到输出设备上,输出设备就是显示器,打印机等. ...

  7. SQL Server Cpu 100% 的常见原因及优化

    SQL Server Cpu 100% 的情况并不太常见,一般引起 SQL Server 产生性能问题的,都是 阻塞.连接数.IO 磁盘等.所以,一般SQL Server 的使用率都是比较低的.但是, ...

  8. (七) Keras 绘制网络结构和cpu,gpu切换

    视频学习来源 https://www.bilibili.com/video/av40787141?from=search&seid=17003307842787199553 笔记 首先安装py ...

  9. 并发研究之CPU缓存一致性协议(MESI)

    CPU缓存一致性协议MESI CPU高速缓存(Cache Memory) CPU为何要有高速缓存 CPU在摩尔定律的指导下以每18个月翻一番的速度在发展,然而内存和硬盘的发展速度远远不及CPU.这就造 ...

随机推荐

  1. Python 数据处理库 pandas 入门教程

    Python 数据处理库 pandas 入门教程2018/04/17 · 工具与框架 · Pandas, Python 原文出处: 强波的技术博客 pandas是一个Python语言的软件包,在我们使 ...

  2. python点滴:判断字符串是否为合法json格式

    在一些情况下,我们需要判断字符串是否为合法json格式. 思路很简单:尝试对字符串使用json.loads(),如果不是合法json格式,则会抛出ValueError异常. 示例如下: import ...

  3. python day12 ——1.生成器2.生成器表达式 3.列表推导式

    一.生成器 什么是生成器. 生成器实质就是迭代器. 在python中有三种方式来获取生成器: 1. 通过生成器函数. 2. 通过各种推导式来实现生成器 . 3. 通过数据的转换也可以获取生成器. 1. ...

  4. python构造IP报文

    import socket import sys import time import struct HOST, PORT = "10.60.66.66", 10086 def m ...

  5. INS-20802 Oracle Cluster Verification Utility failed解释说明

    背景:安装RAC,安装GI集群管理软件时,在最后快结束时,总是报如上INS-错误 #官方文档:error 说明;字符串解析失败 INS-20802: string failed. Cause: The ...

  6. Python 字符串中 startswith()方法

    Python startswith() 方法用于检查字符串是否是以指定子字符串开头,如果是则返回 True,否则返回 False.如果参数 beg 和 end 指定值,则在指定范围内检查. str.s ...

  7. Gym - 101480 CERC 15:部分题目题解(队内第N次训练)

    -------------------题目难度较难,但挺有营养的.慢慢补. A .ASCII Addition pro:用一定的形式表示1到9,让你计算加法. sol:模拟. solved by fz ...

  8. PTA——模拟除法

    PTA 7-42 整除光棍 #include <stdio.h> int main() { ];//创建存表 ,count=; int n; ; scanf("%d", ...

  9. 2017.4.4 TCP/IP协议栈

    OSI和TCP/IP的各层协议总结: TCP/IP在封装和传输数据时,各层所做的工作:

  10. 给新创建的用户 赋予所有的权利 *.* 查看权限 删除用户 ---------DCL用户权限管理篇

    第一步:进入数据库以后,先用 show databases; 再use mysql;    再 show tables;    再 select user,host from mysql.user; ...