第七十九章：内存之道
元婴后期涉及内核源码：
一
林小源站在内景世界的高处，俯瞰脚下的大地。
那些悬浮的 VMA 大陆、半透明的页表冰层、远处的内核虚空——一切都变得清晰了。他开始理解这些景象背后的设计。
"你在想什么？"mm_struct 的声音从身后传来。
"我在想，"林小源说，"虚拟内存到底是什么？"
mm_struct 沉默了片刻。
"虚拟内存是抽象。"它说，"把有限的物理内存，通过页表映射，变成看起来无限的虚拟地址空间。每个进程都以为自己独占整个内存——但实际上，它们共享同一组物理页面。"
"就像海市蜃楼。"
"不。"mm_struct 说，"海市蜃楼是假的。虚拟内存是真的——你访问一个虚拟地址，硬件会把它翻译成物理地址，你读到的数据是真实存在的。只是这个翻译过程对你透明。"
林小源点了点头。"所以抽象不是欺骗，是隐藏复杂性。"
"对。"mm_struct 说，"文件抽象了设备，进程抽象了 CPU，虚拟内存抽象了物理内存。内核的每一个抽象，都是为了让上层不需要关心下层的细节。"
二
林小源在高处坐下来，开始回忆。
他想起第一次 page fault 时的恐惧——脚下的地面突然消失，一片虚无。他想起 mm_struct 告诉他"page fault 不是错误，是机制"。
"按需分配。"他喃喃自语。
"对。"mm_struct 说，"如果每个进程启动时就分配所有需要的内存，系统很快就会耗尽。按需分配让进程可以拥有巨大的虚拟地址空间——malloc(1GB) 不会立刻占用 1GB 物理内存——只有当你真正访问那些页面时，page fault 才会分配物理页。"
"所以 page fault 不是故障，是节约。"
"是延迟分配。"mm_struct 纠正他，"你提前画好了蓝图，但施工是按需的。这样，系统可以同时运行很多进程，每个进程都以为自己拥有大内存，但实际上它们共享有限的物理内存。"
林小源想起 kswapd 守护者在水位线下降时醒来的样子。"回收也是这个道理——把不活跃的页面换出去，腾出空间给活跃的页面。"
"对。"mm_struct 说，"回收是按需分配的补充。分配是'用'，回收是'还'。没有回收，按需分配撑不了多久。"
三
林小源站起来，最后看了一眼脚下的世界。
他开始理解内存管理的分层——硬件层有 MMU 和 TLB，负责地址翻译；内核层有 VMA 和 page fault，负责内存分配和保护；用户层有 malloc 和 mmap，提供接口给应用程序。
每一层都为上层提供抽象，隐藏下层的复杂性。应用程序不需要知道页表怎么走，不需要知道物理内存在哪里，不需要知道 kswapd 什么时候醒来——它只需要调用 ，然后访问返回的指针。
"这就是内存管理的道。"林小源轻声说。
"什么道？"
"抽象。"林小源说，"把复杂变简单，把有限变无限，把混乱变有序。页表是抽象，VMA 是抽象，page fault 是抽象，回收是抽象——每一个机制都在隐藏复杂性，让上层不需要关心下层的细节。"
mm_struct 没有说话，但林小源感觉到它在微笑。
他忽然明白过来——"道"就是"抽象"。
printf("=== 内存之道 — 抽象的艺术 ===\n\n");
printf("内存管理的核心思想:\n\n");
printf("1. 虚拟化\n");
printf(" 每个进程看到独立的地址空间\n");
printf(" 虚拟地址通过页表翻译成物理地址\n\n");
printf("2. 按需分配\n");
printf(" 不预先分配所有内存\n");
printf(" page fault 时才分配物理页面\n\n");
printf("3. 共享\n");
printf(" COW: fork 后共享页面\n");
printf(" 共享库: 多进程共享代码页\n");
printf(" page cache: 文件内容缓存\n\n");
printf("4. 保护\n");
printf(" 每个页面有权限标志\n");
printf(" 越权访问触发 fault\n\n");
printf("5. 回收\n");
printf(" 不活跃页面可以回收\n");
printf(" LRU 算法、kswapd\n\n");
printf("--- 内存管理的层次 ---\n");
printf("硬件层: MMU、TLB、页表\n");
printf("内核层: VMA、page fault、回收\n");
printf("用户层: malloc、mmap\n\n");
printf("--- 设计的权衡 ---\n");
printf("空间 vs 时间: 页表占用空间，但加速地址翻译\n");
printf("安全 vs 性能: 权限检查有开销，但保证安全\n");
printf("简单 vs 高效: 算法简单但可能不是最优\n");#include <stdio.h>
int main() {
printf("=== 内存之道 — 抽象的艺术 ===\n\n");
printf("内存管理的核心思想:\n\n");
printf("1. 虚拟化\n");
printf(" 每个进程看到独立的地址空间\n");
printf(" 虚拟地址通过页表翻译成物理地址\n\n");
printf("2. 按需分配\n");
printf(" 不预先分配所有内存\n");
printf(" page fault 时才分配物理页面\n\n");
printf("3. 共享\n");
printf(" COW: fork 后共享页面\n");
printf(" 共享库: 多进程共享代码页\n");
printf(" page cache: 文件内容缓存\n\n");
printf("4. 保护\n");
printf(" 每个页面有权限标志\n");
printf(" 越权访问触发 fault\n\n");
printf("5. 回收\n");
printf(" 不活跃页面可以回收\n");
printf(" LRU 算法、kswapd\n\n");
printf("--- 内存管理的层次 ---\n");
printf("硬件层: MMU、TLB、页表\n");
printf("内核层: VMA、page fault、回收\n");
printf("用户层: malloc、mmap\n\n");
printf("--- 设计的权衡 ---\n");
printf("空间 vs 时间: 页表占用空间，但加速地址翻译\n");
printf("安全 vs 性能: 权限检查有开销，但保证安全\n");
printf("简单 vs 高效: 算法简单但可能不是最优\n");
return 0;
}道藏笔记
内核启示
内存管理的本质是"抽象"。
核心思想：
- 虚拟化 — 每个进程有独立地址空间
- 按需分配 — page fault 时才分配
- 共享 — COW、共享库、page cache
- 保护 — 权限标志、越权触发 fault
- 回收 — LRU、kswapd
设计的权衡：
- 空间 vs 时间
- 安全 vs 性能
- 简单 vs 高效
分层设计：
- 硬件层: MMU、TLB
- 内核层: VMA、page fault
- 用户层: malloc、mmap
内存管理的"道"是抽象——让复杂变简单。
内存之道
本章总结按需分配：只有真正访问页面时，哪种机制才会触发物理页分配？