从0到1构建计算机(2/12)--与非门实现CPU的数理基础

2024-01-19 21:48

本文主要是介绍从0到1构建计算机(2/12)--与非门实现CPU的数理基础,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

CPU和布尔函数

CPU本质上是一个函数计算器:

  • 信号通过输入管脚输入,对应着函数的入参
  • CPU的内部电路是函数的黑盒实现
  • 信号通过输出管脚输出,对应着函数的出参

大家有没有思考过现代计算机为什么是基于二进制的🤔?事实上,在计算机的发展历程中确实出现过其他进制的计算机,例如10进制,3进制(现在计算机也是一步步演化过来了,其某些核心设计思想甚至来源于织布机,有兴趣的同学可以翻翻计算机发展史,有助于加深对计算机原理的理解)。我认为现代计算机基于二进制的原因主要有两个:一方面是基于二进制,在物理实现上会更加容易,例如电路设计更加简单,0和1的表示也更加稳定(高低电平);另一方面,既然CPU是函数的实现,那么就需要有完备的数学理论做支撑,其中布尔代数正好完美契合了现代计算机只能执行非常简单的算数逻辑运算集但却能够以超高速方式运行的特点。英国数学家布尔在1854年创立了布尔代数学科,布尔代数本身十分简单,但却为百年之后出现的二进制计算机提供了重要的数学方法和理论基础。

布尔函数

**布尔函数:**布尔函数处理布尔数值(它的输入输出都是二进制数值)。布尔函数在数字计算机的芯片设计中扮演基础角色,也在密码学中扮演关键角色。

布尔函数的两种表示方法:

1.**真值表:**枚举出函数所有输入变量的组合,然后写出每一种组合对应的函数输出值。
真值表
2.**布尔表达式:**使用布尔操作符(And,Or,Not等)表达,上面的真值表可以用此表达式表示:

f(x, y, z) = (x And y) Or (Not(x) And z)

布尔函数和门

**门(gate)**是用来实现布尔函数的物理设备,例如与门,或门,非门,与非门等。门是基本的电子元器件,复杂的门电路就构成了CPU

门有输入管脚和输出管脚,对应着布尔函数的入参和出参;门电路的具体实现方式则对应着布尔函数的运算规则。复杂的布尔函数就对应的复杂的门电路

布尔函数是门电路的数学表达,门电路是布尔函数的物理实现。一个复杂的CPU物理实现对应着一个复杂的布尔函数设计,可以说CPU的实现是建立在布尔函数之上的。

用与非门实现CPU的数理基础

布尔函数的一些数学结论:

  1. 任何一个布尔函数,无论多复杂,都可以只用三种布尔操作符And,Or,Not完全表达。
  2. And,Or,Not运算都可以只用Nand(与非)一种运算来代替实现,或者只用Nor(或非)一种运算来代替实现。
  3. 由1、2可得:仅使用Nand运算,就能够构建任何布尔函数。

以上证明方法可以自行Google

有了上面的数理基础做支撑,我们可以得出结论:一旦我们在物理上实现了Nand(与非门),我们就能够实现任何门电路,进而实现一个CPU。

用软件实现硬件

今天,硬件设计者们也不再亲手制作硬件了,而是用软件来实现设计:通过编写硬件描述语言(HDL)来描述芯片结构,并能通过测试用例来验证设计。

好了,下面就让我们用Nand来实现一个CPU吧~

这篇关于从0到1构建计算机(2/12)--与非门实现CPU的数理基础的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/623801

相关文章

Spring StateMachine实现状态机使用示例详解

《SpringStateMachine实现状态机使用示例详解》本文介绍SpringStateMachine实现状态机的步骤,包括依赖导入、枚举定义、状态转移规则配置、上下文管理及服务调用示例,重点解... 目录什么是状态机使用示例什么是状态机状态机是计算机科学中的​​核心建模工具​​,用于描述对象在其生命

Spring Boot 结合 WxJava 实现文章上传微信公众号草稿箱与群发

《SpringBoot结合WxJava实现文章上传微信公众号草稿箱与群发》本文将详细介绍如何使用SpringBoot框架结合WxJava开发工具包,实现文章上传到微信公众号草稿箱以及群发功能,... 目录一、项目环境准备1.1 开发环境1.2 微信公众号准备二、Spring Boot 项目搭建2.1 创建

Linux进程CPU绑定优化与实践过程

《Linux进程CPU绑定优化与实践过程》Linux支持进程绑定至特定CPU核心,通过sched_setaffinity系统调用和taskset工具实现,优化缓存效率与上下文切换,提升多核计算性能,适... 目录1. 多核处理器及并行计算概念1.1 多核处理器架构概述1.2 并行计算的含义及重要性1.3 并

IntelliJ IDEA2025创建SpringBoot项目的实现步骤

《IntelliJIDEA2025创建SpringBoot项目的实现步骤》本文主要介绍了IntelliJIDEA2025创建SpringBoot项目的实现步骤,文中通过示例代码介绍的非常详细,对大家... 目录一、创建 Spring Boot 项目1. 新建项目2. 基础配置3. 选择依赖4. 生成项目5.

Linux下进程的CPU配置与线程绑定过程

《Linux下进程的CPU配置与线程绑定过程》本文介绍Linux系统中基于进程和线程的CPU配置方法,通过taskset命令和pthread库调整亲和力,将进程/线程绑定到特定CPU核心以优化资源分配... 目录1 基于进程的CPU配置1.1 对CPU亲和力的配置1.2 绑定进程到指定CPU核上运行2 基于

Linux下删除乱码文件和目录的实现方式

《Linux下删除乱码文件和目录的实现方式》:本文主要介绍Linux下删除乱码文件和目录的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux下删除乱码文件和目录方法1方法2总结Linux下删除乱码文件和目录方法1使用ls -i命令找到文件或目录

SpringBoot+EasyExcel实现自定义复杂样式导入导出

《SpringBoot+EasyExcel实现自定义复杂样式导入导出》这篇文章主要为大家详细介绍了SpringBoot如何结果EasyExcel实现自定义复杂样式导入导出功能,文中的示例代码讲解详细,... 目录安装处理自定义导出复杂场景1、列不固定,动态列2、动态下拉3、自定义锁定行/列,添加密码4、合并

mybatis执行insert返回id实现详解

《mybatis执行insert返回id实现详解》MyBatis插入操作默认返回受影响行数,需通过useGeneratedKeys+keyProperty或selectKey获取主键ID,确保主键为自... 目录 两种方式获取自增 ID:1. ​​useGeneratedKeys+keyProperty(推

Spring Boot集成Druid实现数据源管理与监控的详细步骤

《SpringBoot集成Druid实现数据源管理与监控的详细步骤》本文介绍如何在SpringBoot项目中集成Druid数据库连接池,包括环境搭建、Maven依赖配置、SpringBoot配置文件... 目录1. 引言1.1 环境准备1.2 Druid介绍2. 配置Druid连接池3. 查看Druid监控

Linux在线解压jar包的实现方式

《Linux在线解压jar包的实现方式》:本文主要介绍Linux在线解压jar包的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux在线解压jar包解压 jar包的步骤总结Linux在线解压jar包在 Centos 中解压 jar 包可以使用 u