Basic Theory Of Computer Science

来自osdev
跳到导航 跳到搜索

这个页面正在建设中! 此页面或部分内容仍在改进中,因此可能还不完整。 其内容可能会在不久的将来更改。

本文旨在向不熟悉计算机理论的新用户解释计算和计算机系统的基本概念和组织结构。

创建本文的想法是受到OSDev.org上此类理论文章和页面普遍混乱的启发。 理论对初学者来说一直非常重要(并且初学者通常从未读过严肃的 计算机书籍),这种理论材料的混乱结构会引起后续研究OS开发的问题。 这篇文章正是为了解决这个问题

不可能在一篇文章中研究物理学,集成电路和计算机科学的所有主题。 相反,在这里所有这些主题都将被简短地触及。 要按有组织的顺序这样做,我们必须将系统划分为各个层次,每个层次都有自己的规则和目标。 为此,我们必须 掌握系统的复杂性

掌握电子系统的复杂性

抽象级别

你用来阅读本文(我猜这是一台个人计算机)的系统是人类有史以来最复杂的系统之一。 试想几个单独的集成电路上的数千亿个晶体管联合在一起,以千兆赫的速率运行,一眨眼就运行了数亿行代码 -- 数十万计算机科学家、工程师和程序员团结一致,在不到80年的时间里让这一奇迹成真……

但是,我敢打赌,你使用这样的 “奇迹” 不会遇到任何麻烦。 能实现这一奇迹的主要原因是,尽管你没有真正意识到这一点,但你正在 “掌握系统的复杂性”。 它让你只需点击几下鼠标就能打开这篇文章,而不必记住细节,例如,HTML协议:你的浏览器用来从网站上获取这篇文章的协议。 相反,你将此任务委托给你的 “web浏览器”- Web浏览器是一个 应用软件 Application Software.png,它使用 操作系统 Operating System.png 的能力来运行,而操作系统又使用 指令架构 Architecture.png 层的定义和规则,依此类推

通常开发者为一个一般的电子计算系统定义9层抽象:

  1. 应用软件 Application Software.png
    使用操作系统的功能,并帮助用户解决问题的程序
  2. 操作系统 Operating System.png
    操作计算机硬件,管理系统资源并为应用软件提供API和驱动程序
  3. 指令架构 Architecture Architecture.png (也称为 指令集体系架构 ISA)
    从程序员的角度描述电子系统。定义指令集,可见寄存器。由微架构实现
  4. 微架构 Microarchitecture Microarchitecture.png
    微架构使用逻辑元素实现体系结构
  5. 逻辑门 Logic Logic.png
    逻辑门指各类数字电路的组合,以创建功能块,例如加法器,multiplexers多路复用器等。
  6. 数字电路 Digital Circuits Digital Circuits.png
    数字电路层使用模拟电路创建数字电路模型,可用于数字设计
  7. 模拟电路' 'Analog Circuits.png
    模拟电路层组合设备以创建具有所需属性的电路
  8. 设备器件 Devices Devices.png
    设备器件层使用物理模型来创建可用于电路的设备,例如晶体管和二极管
  9. 物理 Physics.png
    物理层探索世界并将获得的知识系统化到相互关联的规则和理论中 轻松地 由其他人研究

如你所见,每个抽象级别都使用底层级别的模型和功能 (例如,逻辑层 使用 数字电路 层,就像 应用软件 层 使用 操作系统 层一样) 此外,每个级别都隐藏了上面级别的实现细节 (例如,用户不必费心用 “计算机”的形式表示他们的请求,只需要 应用软件 层 提供了人类可理解的GUI)

这意味着每一层都完成了两个任务:

  • 为上层提供简化的接口
    例如,其实你的PC硬盘上没有文件这个实体-它仅能按指定顺序写入了一些字节罢了。 文件只是在物理驱动器上存储文件的抽象模型,由 文件系统 实现- 文件是你的 “操作系统” 的一部分。因此,“文件系统” 通过 “实现简单的文件I/O” 为应用软件提供了非常方便的 “界面接口”。
  • 隐藏本层的实现细节并对其进行管理
    例如,“文件系统” 还包含用于不同类型存储设备的驱动程序,例如硬盘驱动器,光盘驱动器等。 每个都有自己的接口要处理。 但是,作为用户,你并不需要牢记这些细节。 这里文件系统 负责向用户隐藏这些细节管理 所有这些低级事物

由于本教程是为操作系统和应用程序开发人员编写的,因此将跳过对三个较低层次结构的描述,仅简述以下内容

数字电路

复杂的模拟信号和数字信号之间是需要做差异理解的。 虽然有时从表面上看模拟信号似乎是完全混乱的,但其中的数字信号仍然是可以理解的

如你所知,所有的现代计算机都是使用数字逻辑实现的,但是为什么呢?

以下是几个主要原因:

  1. 数字信号比模拟信号更 “稳定” 和 “可靠”,因为它们不太容易产生失真,噪声和干扰。
  2. 使用不同的技术在硬件中设计和实现数字电路相对“容易” 和 “便宜”
  3. 不同的数字电路可以 “轻松组合”,创建更复杂的电路。

这些事实是当今数字逻辑控制建立在模拟电路上的主要原因。

那么,是什么帮助数字逻辑获得如此吸引人的属性呢? 它仅运行于两个信号状态-低和高,而不考虑像模拟电路那样宽的电压频谱范围。