初识操作系统：从一次简单的 ls 命令说起

第 1 章 初识操作系统：从一次简单的 ls 命令说起

1.1 ls 命令的背后：一次被忽略的系统之旅

打开终端，在提示符后输入 `ls` 然后按下回车——屏幕上立刻出现一列文件名。这个动作每个人每天都会重复几十次，但它所触发的软件协作链条却长得惊人。我们从一个具体的例子出发，把这条链条完整地走一遍，因为它几乎涵盖了操作系统的所有核心组件。

```mermaid flowchart TD A[用户在终端输入 ls] --> B[Shell 解析命令行 fork 子进程] B --> C[子进程调用 execve 系统调用] C --> D[内核从磁盘加载 ls 二进制] D --> E[ls 调用 getdents64 系统调用] E --> F[虚拟文件系统 VFS 接收请求] F --> G[具体文件系统例如 ext4 读取目录项] G --> H[块设备层调度磁盘 I/O] H --> I[磁盘控制器读取数据] I --> J[数据经 DMA 写入内核缓冲区] J --> K[内核将数据复制到用户空间] K --> L[ls 进程对文件名排序并输出] L --> M[终端通过 TTY 驱动显示] ```

这张图就是操作系统的一个"全景缩略图"。一次 `ls` 调用穿越了进程管理（fork/execve）、内存管理（用户态/内核态切换、虚拟地址映射）、文件系统（VFS 与 ext4）和设备管理（块设备、磁盘控制器）四大子系统。任何一次系统调用，都至少会触碰其中两到三个子系统；它们彼此配合，才让用户感觉到"操作系统很自然地响应了我的请求"。

很多初学者把操作系统想象成"装在硬盘里的一个程序"。这种理解会阻碍后续所有的源码阅读——因为 Linux 内核并不是一个普通的程序，它是一个特权管理者，运行在 CPU 的最高特权级上，掌握着进程、内存、文件、设备的全部控制权。本章的目标，就是为后续 14 章的源码精读打下这张"全景地图"。

1.2 操作系统到底是什么：四大核心职责

要给"操作系统"下定义并不难，但要回答"它到底在做什么"必须落到具体职责上。一个被广泛接受的拆解方式是：进程管理、内存管理、文件系统、设备管理。这四项几乎覆盖了所有主流教科书的章节划分，也对应了 Linux 内核 `kernel/`、`mm/`、`fs/`、`drivers/` 四个最大的源码目录。

第一，进程管理。 进程是操作系统对"运行中的程序"的抽象。内核要为每个进程维护一个 `task_struct`（在 `include/linux/sched.h` 中定义），记录它的状态、虚拟内存、打开的文件、信号、凭证等字段。进程管理的核心问题只有三个：如何创建一个进程（fork/clone）、如何调度它们在 CPU 上轮流执行（CFS、实时调度器）、如何终止它们（exit/wait）。任何一个多任务系统都必须回答这三个问题，回答方式的不同就形成了 Windows NT、macOS XNU、Linux 三种完全不同的实现路径。

第二，内存管理。 现代计算机的物理内存是有限且共享的。操作系统要做三件事：用虚拟地址把每个进程隔离在自己的地址空间里；用页表实现虚拟地址到物理地址的映射；用换页/交换机制在内存不足时把不活跃的页面换出到磁盘。Linux 的内存管理子系统（`mm/`）包含了页分配器、SLAB 分配器、虚拟内存区域（VMA）管理、反向映射等复杂模块，是内核中最难读懂的部分之一。

第三，文件系统。 文件是用户视角下的"持久化数据单元"。操作系统需要提供统一的接口（open/read/write/close）屏蔽底层硬件差异，这就是虚拟文件系统层（VFS）的由来。在 VFS 之下，可以挂载 ext4、XFS、Btrfs、NTFS 等各种具体文件系统，每种文件系统都有自己组织磁盘块的方式。本书会用专门一章剖析 ext4，因为它代表了一种成熟、稳定的日志文件系统设计。

第四，设备管理。 键盘、鼠标、磁盘、网卡、显卡……硬件种类繁多、协议各异。Linux 通过设备驱动统一抽象它们：字符设备、块设备、网络设备三大类。设备管理还要解决资源分配和访问控制的问题，因此与内存管理、进程调度深度耦合。

理解内核态与用户态的边界，是阅读源码的第一道门槛。 CPU 通常提供至少两个特权级（如 x86 的 Ring 0–3），Linux 只使用 Ring 0（内核态）和 Ring 3（用户态）。用户态进程不能直接访问硬件或别的进程的内存，一旦需要，就必须通过系统调用陷入内核。`int 0x80`（老式）、`syscall`（x86-64 现代指令）是进入内核的"门"。理解了这个边界，你就理解了 Linux 内核源码中绝大多数函数为什么要在保存/恢复寄存器、保存/恢复中断状态上大费周章——那是在维护这条边界的"门禁"。

1.3 为什么选择 Linux 内核作为学习对象

在开始阅读之前，必须先回答一个现实问题：为什么要花几百个小时啃 Linux 源码，而不是去看 Windows、macOS、FreeBSD？

第一，源码完全开放。 这点至关重要。你不需要签署 NDA、不需要反向工程，每一行代码都可以直接阅读、修改、调试。这种"可验证性"是其他商用内核无法提供的。

第二，代码组织可读性高。 这是相对而言的——Linux 内核有几千万行代码，但目录结构清晰、模块边界明确，比 Windows NT 内核和 XNU 都更容易导航。本书第 1.4 节会带你走一遍顶层目录。

第三，社区活跃、文档丰富。 遇到问题时，LKML（Linux Kernel Mailing List）、内核文档（`Documentation/`）、LWN.net、Elixir Cross Referencer 等资源都能给你帮助。本书的写作过程中，会引用这些一手资料。

第四，工业界采用率最高。 从 Android 到云服务器，从嵌入式路由器到超级计算机，Linux 是事实标准。学习 Linux 内核不只是一个学术训练，更是就业市场中最实用的"硬通货"。

关于选择哪个版本。 这是一个常见困惑。本书的策略是双线并行：早期章节（第 2–5 章）用 Linux 0.11（Linus Torvalds 在 1991 年发布的早期版本，仅约 1 万行代码，单文件实现）来建立直觉；中期章节（第 6–10 章）切换到 Linux 6.x（主线稳定版，约 3000 万行代码）来研究现代实现；后期章节（第 11–15 章）聚焦于特定子系统（如 io_uring、eBPF）的演进。Linux 0.11 的价值在于"剥掉了所有工程复杂性，让你看到本质"；而 Linux 6.x 让你看到工业级实现的真实样貌。

值得一提的是，Linux 0.11 的源码可以在一张软盘里完整容纳下来，整个 `kernel/` 目录只有 4 个 C 文件：`sched.c`、`traps.c`、`sys.c`、`asm.s`。一个周末就能读完一遍，这种"可亲的尺度"对于建立信心非常关键。

1.4 Linux 内核源码目录结构：一张寻宝图

第一次打开 `linux/` 源码根目录，那种"面对几万个子目录"的压迫感是真实的。我们用一张全景图把目录结构梳理清楚。

```bash linux/ ├── arch/ # 架构相关代码（x86, arm, riscv, ...） ├── block/ # 块设备通用层（bio、请求队列） ├── crypto/ # 加密算法 ├── drivers/ # 设备驱动 ├── fs/ # 文件系统（VFS + ext4, xfs, ...） ├── include/ # 头文件 ├── init/ # 内核启动初始化 ├── ipc/ # 进程间通信（信号量、共享内存、消息队列） ├── kernel/ # 核心子系统（调度、模块、电源管理等） ├── lib/ # 通用库函数 ├── mm/ # 内存管理 ├── net/ # 网络协议栈 ├── samples/ # 内核模块示例 ├── scripts/ # 编译脚本 ├── security/ # 安全模块（SELinux, AppArmor 等） ├── sound/ # 声卡驱动 ├── tools/ # 用户空间工具（perf, bpf, ...） ├── usr/ # initramfs 相关 └── virt/ # 虚拟化（KVM） ```

对初学者最重要的几个目录是：

`include/`——内核的所有公开头文件。`include/linux/` 是与架构无关的公共 API；`include/asm-generic/` 是与架构无关的通用实现；`arch/x86/include/asm/` 等目录存放 x86 架构相关的定义。当你看到一个不认识的结构体或宏，第一件事就是去 `include/` 下搜索。

`kernel/`——核心子系统。`kernel/sched/` 是调度器（CFS、实时调度、调度域）；`kernel/fork.c` 是进程创建；`kernel/signal.c` 是信号处理；`kernel/module.c` 是内核模块加载。

`mm/`——内存管理。`mm/page_alloc.c` 是页分配器；`mm/slab.c` 或 `mm/slub.c` 是 SLAB 分配器；`mm/vmscan.c` 是回收算法；`mm/mmap.c` 是虚拟内存区域管理。

`fs/`——文件系统。`fs/read_write.c`、`fs/open.c` 等是 VFS 的通用实现；`fs/ext4/` 是 ext4 文件系统；`fs/proc/`、`fs/sysfs/` 是 procfs 和 sysfs（暴露内核信息给用户空间）。

`arch/`——架构相关代码。Linux 内核能跑在 30 多种 CPU 架构上，靠的就是这个目录。 例如 `arch/x86/kernel/entry_64.S` 是 x86-64 的系统调用入口；`arch/arm64/kernel/head.S` 是 ARM64 的启动代码。理解"架构相关"与"通用"的分离方式，是阅读源码的关键能力。

`drivers/`——这是最大的目录，占整个内核代码量的一半以上。本书不会逐一讲解驱动，但会挑出几个代表性的（如 PCI、TTY、e1000 网卡驱动）作为案例。

一个实用的阅读顺序建议：先读 `init/main.c`（内核启动入口），再看 `arch/x86/kernel/head_64.S`（架构相关启动），然后跳到 `kernel/sched/core.c`（调度器），`mm/memory.c`（内存管理），`fs/read_write.c`（文件系统入口）。把这几个文件读懂，你就掌握了内核 80% 的核心逻辑。

1.5 源码阅读工具链：从 ctags 到 LSP

工欲善其事，必先利其器。Linux 内核源码的体量决定了我们必须依赖工具来导航。下面介绍三套工具链，对应三种不同的阅读体验。

第一套：ctags + cscope。 这是最经典也最轻量的方案。`ctags` 用于生成函数、变量、宏的定义索引；`cscope` 提供"调用者""被调用者""查找字符串"等交互式查询。在终端里使用 vim 或 emacs 配合这两个工具，可以完全在命令行环境下高效阅读内核源码。安装方法：

```bash

Ubuntu/Debian

sudo apt install exuberant-ctags cscope

生成索引（在 linux 源码根目录下执行）

make tags make cscope ```

在 vim 中使用 `:cscope find c <symbol>` 即可查找函数的所有调用者。这套工具的优势是响应极快、不依赖网络，适合在服务器上阅读。

第二套：VSCode + clangd + Bear。 这是现代化的方案，体验最接近 IDE。`clangd` 是 LLVM 项目提供的 Language Server，能实现精准的跳转、补全、类型推导。但要让 clangd 正确理解内核代码，必须先生成 `compile_commands.json`，这就需要 `bear` 拦截编译过程。

```bash

安装

sudo apt install bear

在源码根目录编译并生成 compilation database

bear -- make -j$(nproc) bzImage modules ```

生成的 `compile_commands.json` 包含内核每个 `.c` 文件的完整编译命令，clangd 加载后就能精确索引。然后在 VSCode 中安装 clangd 扩展，配置：

```json { "clangd.path": "/usr/bin/clangd", "clangd.fallbackFlags": [ "-I/usr/src/linux/include", "-I/usr/src/linux/arch/x86/include" ] } ```

第三套：Source Insight / Understand。 这两款是商业静态分析工具，专门为大型 C/C++ 项目设计。Source Insight 在 Windows 平台上仍然是很多内核老兵的"瑞士军刀"，它的"关系窗口"功能非常直观。Understand 则是跨平台替代品。它们的优势是符号解析能力极强，劣势是收费且对 Linux 内核的某些特性（如宏嵌套、编译器扩展）支持有限。

我的建议：初学者从 VSCode + clangd 入手，因为它的体验最现代，跳转速度足够快；进阶后转向 vim + cscope，因为它不依赖 GUI，可以在任何远程终端上工作。本书后续章节的代码片段均假定你已经配置好了其中一套环境。

1.6 实践：用 QEMU 编译并启动一个最小化 Linux 内核

理论讲了这么多，让我们动起手来。本节的目标是从零开始，编译一个 Linux 6.x 内核，并用 QEMU 启动它，最后在它的 shell 中执行 `ls`——把本章开头那条调用链亲手走一遍。整个流程大约需要 30–60 分钟，取决于机器性能。

步骤 1：准备环境。

```bash

Ubuntu/Debian

sudo apt update sudo apt install -y build-essential libncurses-dev bison flex \ libssl-dev libelf-dev qemu-system-x86 wget ```

`build-essential` 提供 gcc/make；`libncurses-dev` 让 `make menuconfig` 的 TUI 能正常工作；`libelf-dev` 让内核能找到未压缩的内核符号；`qemu-system-x86` 是 x86 模拟器。

步骤 2：获取 Linux 内核源码。

```bash wget https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.6.tar.xz tar -xf linux-6.6.tar.xz cd linux-6.6 ```

步骤 3：最小化配置内核。

```bash make defconfig # 生成默认配置 make menuconfig # 进入 TUI 配置界面 ```

在 menuconfig 中依次确认以下选项（所有这些选项在 `defconfig` 中默认未启用）：

• `General setup → Initial RAM filesystem and RAM disk support`：保持启用
• `Enable the block layer → Block layer SG support v4`：保持启用
• `Processor type and features → Symmetric multi-processing support`：保持启用
• `Device Drivers → Character devices → Virtual terminal`：启用
• `Device Drivers → Character devices → Enable TTY`：**必须启用**，否则无法输出到控制台
• `Device Drivers → Character devices → Serial drivers → 8250/16550 and compatible serial support`：启用

保存后退出。

步骤 4：编译内核。

```bash make -j$(nproc) bzImage ```

`-j$(nproc)` 表示使用所有 CPU 核心并行编译。`bzImage` 是压缩的内核映像，输出在 `arch/x86/boot/bzImage`。

步骤 5：构造一个最小根文件系统。

内核本身只是一个"调度器和资源管理者"，它需要用户空间的程序才能交互。我们用 BusyBox 来构建一个超小的根文件系统。

```bash

下载并编译 BusyBox

wget https://busybox.net/downloads/busybox-1.36.1.tar.bz2 tar -xf busybox-1.36.1.tar.bz2 cd busybox-1.36.1 make defconfig make menuconfig # Settings → Build Options → [*] Build as a static binary (no shared libs) make -j$(nproc) make install # 安装到 _install/ 目录

创建根文件系统目录结构

cd _install mkdir -p {dev,proc,sys,et