【译】《心悟内核:先懂设计，再读代码》—3、代码之前：一张内核概念图

作者：Moon Hee Lee
原文： The Kernel in the Mind

• Linux 内核并非按功能模块组织，而是由并发、硬件交互与故障场景下必须遵循的规则构建而成。这些规则定义了执行流如何流转、哪些函数调用是安全的、哪些操作是被允许的。它们并非实现细节，而是内核设计的根基。

• 内核运行于所有处理器与任务之上，但不会无差别共享执行状态。每次进入内核的调用，都与当前线程的身份绑定：内存空间、文件描述符、信号状态与特权级别。函数基于该上下文执行，而非依赖全局变量。这种隔离避免了相互干扰，让代码可以在不同任务间安全复用。

• 进入内核的方式，决定了它可以执行的操作。系统调用、异常陷入、硬件中断与内核线程，各自带着不同的约束条件进入内核。有些路径可以休眠，有些则绝对不允许；有些路径会访问用户内存，有些则全程驻留内核空间。这些差异决定了哪些函数是合法的、哪些资源必须预先分配、控制流如何返回。它们塑造了内核代码的编写方式与调用时机。

• 内核还必须具备可预测的行为：快速路径避免阻塞，时序敏感代码避免锁与分支，抢占与调度行为被严格控制。这些需求催生了每 CPU 变量、无锁数据结构与有界执行时间的设计。确定性是系统响应性与故障隔离的前提。

• arch/ 目录下的架构相关代码，负责处理底层入口、上下文切换、异常与分页机制。它将硬件行为转化为内核核心的统一接口。这一层抽象，在不牺牲对 CPU 特定行为控制的前提下，实现了内核的可移植性。

• 内存分配遵循明确的策略。不同请求在原子性、对齐方式、设备可见性与可回收性上存在差异，不同子系统也有着各自的需求。内核通过分层分配器与带保护的 API 响应这些需求。这些路径的设计以正确性为首要目标，而非便利性。

• 内核天生为恢复而构建：当驱动行为异常或用户输入无效时，内核不得崩溃，也不能破坏系统状态。故障被隔离、缓冲区被校验、状态转换被保护。健壮性是内核设计的核心关切。

• 用户空间通过定义好的接口进入内核，但这些接口并不决定内核的结构。真正关键的，是控制流如何流转、哪些资源被访问、哪些保证必须被维护。

• 内核不能被视为一堆工具函数的集合。它的结构，是为了维护安全、隔离、确定性与故障恢复能力而存在的。这是内核被设计出来的方式，也是理解它的唯一方式。

如本文对你有些许帮助，欢迎大佬支持我一下（点赞+收藏+关注、关注公众号等），您的支持是我持续创作的竭动力
支持我的方式