预备知识 — 一台计算机的最低限度模型Copy Anchor Link

这一章讲什么: 一台计算机可以只用三个子系统和三根总线讲清楚; 一个程序从你在编辑器里敲下的字符,到 CPU 真正执行它,中间经过了哪几站。 读完你会拿到全书的「地基层」——后面二十章讲的每一个零件,都装在这层框架里。

1. 顶层全景:一张框图管住全书Copy Anchor Link

先给这一章的全部内容画一张图。这张图也是全书的骨架:

  ┌─────────┐   地址总线(去哪儿)   ┌─────────┐
  │         │ ◄──────────────────► │         │
  │   CPU   │   数据总线(运什么)   │  内存    │
  │         │ ◄──────────────────► │         │
  │         │   控制总线(干什么)   │         │
  └─────────┘ ◄──────────────────► └─────────┘
       │                                   
       └──────────── 三根总线 ────────────► ┌─────────┐
                                           │ I/O 设备 │
                                           │ 键盘/屏幕│
                                           │ 磁盘/USB │
                                           └─────────┘

  图说:计算机 = 三个子系统(CPU、内存、输入/输出)+ 连接它们的三根总线。
  信号在总线上可以双向流动;「总线」既是物理线路,也是一套使用规则(协议)。

原书把计算机硬件明确切成三个子系统:中央处理单元(CPU)、内存、输入/输出(I/O), 三者以总线相连¹。

总线(bus)这个词在本书里有两个意思叠在一起:它既是一条物理通信路径, 也是一套协议,规定了这条路径该怎么用。 你把显卡插进主板上的 PCI-E 插槽, 插上去的那组线路就是一条总线;数据什么时候能上去、谁先谁后,就是它的协议。

三根总线各管一件事,名字就是它们的职责²:

一个容易误解的点:这三根总线是逻辑上的分组,不一定是三根独立的物理线。 原书特别举例:PCI-E 总线上,同一组物理连接会在不同时间先后传送地址和数据信号³。 也就是说,硬件工程师为了省钱省线,可以让一条线分时复用;但逻辑上, 地址、数据、控制三种信息永远分得清清楚楚——这个区分从第 1 章一路用到第 20 章的 I/O。

2. 三个子系统各自干什么Copy Anchor Link

2.1 CPU:管事的Copy Anchor Link

CPU(中央处理单元)是控制者。 它做两件事:对数据执行算术和逻辑运算; 根据运算结果决定下一步做什么⁴。

注意第二句的分量:「根据结果决定下一步」——这就是「程序能做出判断」的全部 hardware 依据。 if 语句、循环终止、函数返回,最后都会落到「CPU 看了一眼某个运算的结果, 决定接下来取哪条指令」。第 13 章会把这句话展开成一整套控制流机制。

CPU 里还有一小部分容量很小的高速内存(就是后面要讲的寄存器和缓存): 小到什么程度?第 8 章会给一个数:x86-64 CPU 里只有大约 1 KB 的存储空间 是真正归程序员直接支配的⁵。你写的每个程序,数据的大头都得放在内存里, CPU 只把正在用的那几样攥在手心。

2.2 内存:放东西的Copy Anchor Link

内存为 CPU 和 I/O 设备提供存储,存两样东西:CPU 的指令,和指令要处理的数据。 这一句话里有全书的半个主线——程序本身也是数据:它躺在内存里,和普通数据 用同一种方式被搬运、被存取。

2.3 I/O:对外联络的Copy Anchor Link

I/O 子系统负责与外部环境和大容量存储设备通信:磁盘、网络、USB、打印机都在此列。 I/O 设备比 CPU 和内存慢得多,而且各自的快慢规律千差万别——这一点在 20 章会酿成 一个大麻烦(整个中断机制就是被它逼出来的),第 1 章先埋下这句判断⁶。

3. 主线例子:一个程序的一生Copy Anchor Link

这一章的主线例子:你在编辑器里写一个最简 C 程序,到屏幕上出现运行结果,中间发生了什么。 挑一个具体输入走全程——程序就用书里的第一个例子那样的 main 函数, 它做的事只是向屏幕写一句话(这个行为的内部细节,第 11 章才展开,这里只看旅程)。

第 ① 站:编辑——源代码是「数据」Copy Anchor Link

你用文本编辑器敲下源程序,存成磁盘上的文件。 关键的一步认知:对这个文件而言,它此刻只是数据。 编辑器并不「懂」它写的东西是一段程序——编辑器把新程序的源代码「视为数据」, 这句话原书在讲编译时又说了一遍⁷。文件里存的只是一串字符,和一封邮件没有区别。

还要记住一个操作层面的告诫:写程序要用文本编辑器,不能用字处理器 (Word 之类)。字处理器会往里塞隐藏的控制字符来做排版,这些字符会干扰编译器和汇编器, 让它们无法正常工作⁸。

第 ② 站:编译——还是「数据」Copy Anchor Link

编译器把高级语言(比如 C)的语句翻译成机器代码指令,同样存成磁盘文件。 注意原书的强调:和编辑器一样,编译器也把源代码和最终的机器指令视为数据⁷。 翻译的过程没有「理解」发生——输入一串字符,按规则换一串别的字符。 这个视角(编译 = 对数据做变换)是整本书后半部分的基调。

书里还交代了这套流程的几个变体⁹:

第 ③ 站:载入内存——程序变成「指令序列」Copy Anchor Link

执行程序时,CPU 把磁盘文件里的机器代码指令载入内存,程序里用到的常量数据 一并读入。从此,你的程序就在内存里占据了一块位置,等着被一条一条取走¹⁰。

第 ④ 站:取指令——三根总线第一次全部上场Copy Anchor Link

「执行程序」这件事,分解到硬件层,就是 CPU 循环地做同一件事:取指令,执行它, 再取下一条。 原书把取指令的过程写得很细,我们跟着走一遍取「下一条指令」这一步¹¹:

1. CPU 把「下一条指令在内存中的位置」放到地址总线上;
2. CPU 把读信号放到控制总线上;
3. 内存子系统看到地址和读信号,把该位置上的指令放到数据总线上;
4. CPU 从数据总线复制走这条指令,执行它;
5. 指令执行完,回到第 1 步——「下一条指令的位置」通常是自动往后挪一格的 (自动增加的那个寄存器叫指令指针,第 9 章细讲)。

写数据到内存是同一个流程的镜像:数据上数据总线、目标地址上地址总线、写信号上控制总线, 内存把数据复制进指定位置¹²。

读到这里,把三个子系统换成「谁、往哪、干什么」三个问题,这张框图就活了: CPU 始终是发起方;地址总线回答「哪儿」;数据总线回答「什么」;控制总线回答「读还是写」。

第 ⑤ 站:I/O——绕开不碰,但躲不开Copy Anchor Link

你的第一个程序几乎必然要往屏幕上写字。严格做 I/O 编程「不是件容易事, 远远超出了初学者的专业知识范围」——原书原话,它把这块推迟到接近全书的尾声 (第 20 章),中间的所有程序都借助操作系统提供的现成函数来完成 I/O⁶。

但第 ① 到 ④ 站已经够你看懂一个程序的最小一生了:

  编辑器里的字符 ──编译──► 磁盘上的机器指令文件 ──载入──► 内存中的一串指令
      (数据)                   (还是数据)                      │
                                                              ▼
                                          CPU 循环:地址总线报位置 → 控制总线发读令
                                                    → 数据总线送指令 → 执行 → 取下一条

  图说:前一半是「数据被搬来搬去」,后一半是「指令被一条条取走执行」。
  分界线就是「载入内存」这一站。

4. 编程环境:这本书的「实验室」怎么搭Copy Anchor Link

这一章用一整节交代动手环境。要点不是某个具体软件,而是作者的三个选择, 每个选择都对应他在前言里申明的一个立场:

选择一:Ubuntu 下的 GNU 工具链。 作者用 Ubuntu 20.04 自带的 GNU 编程工具, gcc/g++ 9.3.0、汇编器 as 2.34¹³。程序稍作修改就能在大多数常用 Linux 发行版里跑。 对应前言的立场:「学习工具应该便宜且容易获得」——整个环境免费下载。

选择二:始终不开优化。 大多数例子的编译选项是 -O0,即不开启优化, 因为「我们的目标是学习概念,而不是生成最高效的代码」¹⁴。 这一条值得记住:你拿同样的程序在自己机器上开优化再编译,看到的汇编会不一样; 比较汇编时,编译选项必须先对齐。

选择三:汇编器直接对接 C 运行时。 用汇编写的程序可以调用 C 标准库里的函数, 因为 gcc 在链接时会自动把你的汇编代码和库函数的目标文件链接到一起¹⁵。 这一点的直接后果:这本书的汇编程序从第一章起就能 printf——屏幕输出 不必等到你学会 I/O 编程才有。

环境里三级文档,从薄到厚¹⁶:

5. 作者的判断与证据Copy Anchor Link

这一章是全书唯一一章几乎没有争议的章节——它给的是约定和框架,不是论证。 但有两处值得点出来的「作者的裁决」:

裁决一:只讲三个子系统,其余全部推迟。 真实计算机的硬件结构远比图 1-1 复杂, 作者明确说这张图是「一个公共框架」,目的是让后续讨论有共同的词汇¹⁷。 这是教科书式的取舍:先用一个错不了但过度简化的模型建立直觉,再逐章加复杂度。

裁决二:I/O 编程整体后移。 理由是它要求「全面理解设备的工作原理及其与 CPU 和内存的交互方式」,超出初学者范围⁶。这个推迟是有代价的——中间十章的程序 都要靠 C 库函数这个「黑箱」来做输入输出;好处是主线不被打断。

6. 边界与局限Copy Anchor Link

• 这是逻辑模型,不是物理描述。 「总线 = 三根线」只在逻辑层成立; 物理上同一条线可以分时传送地址和数据(PCI-E 就是这样)³。
• 「CPU 循环取指令」的图景省略了缓存、乱序、多核等一切现代加速手段。 第 9 章会提到缓存,但更深层的内容(流水线、分支预测)不在本书范围。
• 环境描述会很快过时。 Ubuntu 20.04、gcc 9.3.0 是 2025 年中文版印行时的记述¹³, 今天用更新的发行版,工具和文档的界面会有差异;但「编辑→编译→汇编→链接」 四步流程不变(第 10 章展开)。

7. 可带走的Copy Anchor Link

1. 计算机 = CPU + 内存 + I/O + 三根总线;总线既是物理路径也是协议, 逻辑上地址/数据/控制永远三分;
2. 程序也是数据——源代码、机器指令在磁盘上和普通文件没有两样, 「载入内存」是它从「数据」变成「被执行的指令序列」的分界线;
3. 执行 = 取指令、执行、再取,三个子系统靠「哪儿(地址)/什么(数据)/读还是写(控制)」 三个问题协作;
4. CPU 的第二职责是「根据运算结果决定下一步」——这是所有判断、分支、循环的硬件根基;
5. I/O 慢且各自为政,这个事实会逼着全书在末尾长出中断机制(第 20、21 章);
6. 编译流程的三种变体:编译、解释、中间语言——今天大多数语言处在中间某处;
7. 用文本编辑器写代码,别用字处理器——隐藏控制字符会干扰编译;
8. 学概念时关掉优化(-O0),否则你看到的汇编和书里对不上;
9. GNU 环境三级文档:--help < man < info,一层比一层全。

8. 原文地图Copy Anchor Link