{"name":"内存管理","id":"操作系统-内存管理","content":"# 内存管理\n\n> **核心问题只有一个：如何在有限、异构、昂贵的物理存储资源之上，构造一个安全、可扩展、对程序友好的逻辑地址世界。**\n\n---\n\n## 一、问题起点：物理内存的客观约束\n\n### 1.1 分层存储器体系（Memory Hierarchy）\n\n物理现实：\n\n* 存储介质在**容量、速度、成本**上不可兼得\n* 由此形成层级结构：寄存器 → Cache → 主存 → 外存\n\n**结论**：\n\n> 内存管理的本质，是在分层存储器体系之上进行**数据放置与迁移决策**。\n\n### 1.2 存储管理器的职责\n\n操作系统中负责内存的核心子系统，其职责不是“分配内存”，而是：\n\n* 记录资源状态（使用 / 空闲）\n* 进行空间隔离（Protection）\n* 执行地址映射（Translation）\n* 决定数据驻留位置（Placement & Replacement）\n\n---\n\n## 二、第一阶段：无存储器抽象（Bare Machine Model）\n\n### 2.1 直接暴露物理地址的问题\n\n在无抽象模型下：\n\n* 程序直接使用物理地址\n* 任意进程可读写全部内存\n\n导致两个根本性缺陷：\n\n1. **无法隔离**：安全性不可控\n2. **无法并发**：多道程序设计几乎不可实现\n\n### 2.2 静态重定位的历史方案\n\n如 IBM 360：\n\n* 通过编译期或加载期地址映射\n* 逻辑地址 ≈ 偏移后的物理地址\n\n**关键认知**：\n\n> 这不是“抽象”，只是一次性地址修正。\n\n---\n\n## 三、核心抽象的诞生：地址空间（Address Space）\n\n### 3.1 地址空间的本质定义\n\n> **地址空间 = 一组逻辑地址的有序集合**\n\n关键不是“地址”，而是：\n\n* 每个进程拥有**独立命名空间**\n* 相同地址值 ≠ 相同物理位置\n\n这与编程语言中的作用域 / 命名空间是同一类抽象。\n\n### 3.2 抽象带来的两个核心能力\n\n运行多个程序而互不干扰，必须解决：\n\n1. **保护（Protection）**：禁止非法访问\n2. **重定位（Relocation）**：地址可移动\n\n### 3.3 基址 / 界限寄存器模型\n\n* 基址寄存器：映射起点\n* 界限寄存器：合法范围\n\n**认知层结论**：\n\n> 这是最小可用的地址空间实现，但扩展性极差。\n\n---\n\n## 四、资源压力的应对：交换与连续内存管理\n\n### 4.1 局部性原理（Locality）\n\n程序行为呈现：\n\n* 时间局部性\n* 空间局部性\n\n这是虚拟内存一切机制的**理论基础**。\n\n### 4.2 交换（Swapping）的思想\n\n* 整个进程作为单位换入 / 换出\n* 用磁盘换取并发度\n\n问题：\n\n* 粗粒度\n* 高开销\n* 容易产生碎片\n\n### 4.3 连续内存的空闲管理\n\n**两类本质模型**：\n\n* 位图（Bitmap）：空间换时间\n* 链表（Free List）：时间换空间\n\n所有“首次 / 最佳 / 最差 / 快速适配”算法，本质上都是：\n\n> **在碎片率与搜索成本之间取舍**\n\n---\n\n## 五、质变点：虚拟内存（Virtual Memory）\n\n### 5.1 抽象升级\n\n> 地址空间 ≠ 物理内存大小\n\n虚拟内存将地址空间切分为**页（Page）**：\n\n* 逻辑上连续\n* 物理上离散\n\n### 5.2 页、页框与映射\n\n* 虚拟页（VP）\n* 物理页框（PP）\n* 页表（Page Table）描述映射关系\n\n访问不存在映射的页 → **缺页中断**\n\n---\n\n## 六、地址转换体系：MMU + 页表 + TLB\n\n### 6.1 MMU 的角色定位\n\nMMU 不是“操作系统组件”，而是：\n\n> **硬件执行抽象的载体**\n\n职责：\n\n* 虚拟地址 → 物理地址\n* 权限校验\n\n### 6.2 页表的逻辑模型\n\n每个页表项（PTE）至少包含：\n\n* 有效位\n* 物理页号 / 磁盘地址\n* 权限位（R/W/X）\n* 状态位（访问 / 修改）\n\n### 6.3 TLB：缓存加速抽象\n\nTLB 的本质：\n\n> **地址转换结果的高速缓存**\n\n它将一次可能需要多次内存访问的操作，压缩为一次硬件并行匹配。\n\n---\n\n## 七、规模问题：大地址空间的页表设计\n\n### 7.1 多级页表\n\n* 按需创建\n* 空间换时间\n\n### 7.2 倒排页表\n\n* 以物理页为中心\n* 必须依赖 TLB\n\n**统一认知**：\n\n> 页表设计的本质是：**稀疏映射的压缩表达**。\n\n---\n\n## 八、多进程语义：共享、隔离与保护\n\n### 8.1 虚拟内存的进程视角\n\n* 地址相同 ≠ 数据相同\n* 物理页可被多个地址空间映射\n\n### 8.2 共享的工程价值\n\n* 共享库\n* 只读代码\n* 写时复制（Copy-on-Write）\n\n### 8.3 内存保护模型\n\n权限控制并不作用于“物理内存”，而是：\n\n> **作用于地址空间到物理页的映射关系**\n\n---\n\n## 九、缓存淘汰的统一模型：页面置换算法\n\n### 9.1 统一抽象\n\n> 页面置换 ≈ 缓存淘汰\n\n### 9.2 算法谱系\n\n* OPT：理论上界\n* FIFO：时间近似\n* LRU：访问历史近似\n* Clock / Aging：工程折中\n* Working Set：程序语义感知\n\n**核心权衡**：\n\n* 精确度\n* 维护成本\n* 硬件支持\n\n---\n\n## 十、系统稳定性问题：颠簸与负载控制\n\n* 缺页率（PFF）\n* 局部 / 全局分配\n* 负载削减\n\n目标只有一个：\n\n> **防止系统进入自激振荡（Thrashing）**\n\n---\n\n## 十一、分段、分页与历史融合\n\n### 11.1 分段的动机\n\n* 程序语义可见\n* 天然支持共享与保护\n\n### 11.2 分页的动机\n\n* 支持虚拟内存\n* 消除外部碎片\n\n### 11.3 段页式模型\n\n* MULTICS\n* x86（GDT / LDT + Paging）\n\n**结论**：\n\n> 分段解决“语义”，分页解决“规模”。\n\n---\n\n## 十二、进程内存布局与系统调用接口\n\n* Code / Data / BSS\n* Heap（brk / sbrk / mmap）\n* Stack\n* Shared Library\n* Memory-mapped Files\n\n**现代内存管理已高度依赖 mmap 作为统一抽象接口**。\n\n---\n\n## 十三、用户态分配器：再一次抽象\n\n### 13.1 malloc 的真实职责\n\nmalloc 并不管理“内存”，而是：\n\n> **管理一段虚拟地址区间的子分配**\n\n### 13.2 分配器的核心设计问题\n\n* 空闲块组织\n* 放置策略\n* 分割与合并\n* 并发优化（Thread Cache）\n\n所有实现（ptmalloc / jemalloc / tcmalloc）都是在这组问题上的不同取舍。\n\n---\n\n## 十四、异常与中断：抽象失效的处理路径\n\n### 14.1 页异常类型\n\n* 未映射\n* 不在内存\n* 写保护\n* 权限违规\n\n### 14.2 缺页中断处理流程\n\n* 保存现场\n* 判定合法性\n* 选择牺牲页\n* IO 交换\n* 更新映射\n* 恢复执行\n\n---\n\n## 十五、虚拟化场景下的内存管理\n\n* GVA → GPA → HPA\n* Shadow Page Table\n* EPT / NPT\n\n**结论**：\n\n> 虚拟化并没有引入新问题，只是把“地址转换”堆叠了一层。\n\n---\n\n## 十六、常见内存错误的抽象视角\n\n所有内存错误，本质都源于：\n\n> **程序假设的地址语义，与系统维护的真实映射不一致**。\n\n## 关联内容（自动生成）\n\n- [/操作系统/linux/内核.md](/操作系统/linux/内核.md) Linux内核中的内存管理机制与虚拟内存概念密切相关，提供了对虚拟内存、地址空间等概念的具体实现\n- [/操作系统/linux/Linux性能优化.md](/操作系统/linux/Linux性能优化.md) Linux性能优化中的内存管理部分与操作系统内存管理机制紧密相关，包括内存分配、回收、Swap机制等内容\n- [/操作系统/虚拟化.md](/操作系统/虚拟化.md) 虚拟化场景下的内存管理涉及GVA→GPA→HPA的地址转换，是对传统内存管理在虚拟化环境中的扩展\n- [/操作系统/安全.md](/操作系统/安全.md) 操作系统安全中的内存安全防护与内存管理机制紧密相关，包括地址空间布局随机化、内存访问权限控制等\n- [/中间件/浏览器/V8.md](/中间件/浏览器/V8.md) V8引擎的内存管理和垃圾回收机制体现了高级语言运行时系统对底层内存管理的抽象和优化\n- [/编程语言/JAVA/JVM/JVM.md](/编程语言/JAVA/JVM/JVM.md) JVM的内存管理机制（堆、栈、方法区等）是对操作系统内存管理的进一步抽象，体现了语言运行时的内存管理策略\n- [/中间件/数据库/redis/Redis.md](/中间件/数据库/redis/Redis.md) Redis作为内存数据库，其内存管理策略、内存优化和内存分配机制与操作系统内存管理原理相通\n- [/算法与数据结构/排序.md](/算法与数据结构/排序.md) 排序算法中的内存使用策略与操作系统内存管理中的页面置换算法在思想上有相似之处\n- [/编程语言/C.md](/编程语言/C.md) C语言的内存模型和直接内存操作体现了操作系统内存管理的基本原理，包括堆栈管理、内存布局等\n- [/操作系统/多处理机系统.md](/操作系统/多处理机系统.md) 多处理机系统中的内存一致性问题和NUMA架构与内存管理密切相关\n- [/操作系统/输入输出.md](/操作系统/输入输出.md) 内存映射I/O机制是内存管理在I/O系统中的重要应用\n","metadata":"tags: ['计算机系统', '操作系统']","hasMoreCommit":true,"totalCommits":23,"commitList":[{"date":"2026-02-12T14:07:03+08:00","author":"MY","message":"doc: 整理标签","hash":"290b3e8ad18f48832ac282290238d020fc030a88"},{"date":"2026-01-21T16:41:25+08:00","author":"MY","message":"docs(内存管理): 添加内存管理文档及相关图片资源","hash":"956a84958c4da2db2a4dbf39a47bf5a93f1dce2e"},{"date":"2025-11-16T21:30:56+08:00","author":"MY","message":"docs: 统一并精简文档标签","hash":"21362e9d7aeb62e05364cd5e7f3a3c24d7e293c7"},{"date":"2024-11-15T11:28:52+08:00","author":"MY","message":"📦计算机系统","hash":"2d51e571e26ddfc7666c767c3370a836332575ef"},{"date":"2024-03-04T20:00:20+08:00","author":"MY","message":"✏内存管理","hash":"c017b000df59591a6d4a6345a0a50c7e8dafe4e4"},{"date":"2024-03-01T18:59:54+08:00","author":"MY","message":"✏操作系统","hash":"99b3c5cbeaa75dc349453feebc7dc5d3ff62db8b"},{"date":"2024-02-29T20:05:30+08:00","author":"MY","message":"✏内存管理","hash":"e686d8a8731fcf30f9db9c60cb4d748e125e131f"},{"date":"2024-02-28T20:03:40+08:00","author":"MY","message":"✏内存管理","hash":"e51f3b3889116c62386e2fad5eba24cb73f23431"},{"date":"2023-09-13T16:31:05+08:00","author":"MY","message":"📦IO","hash":"4d55fc1e6699d75db71a6082e18f36a4a89e8767"},{"date":"2022-07-10T15:08:09+08:00","author":"MY","message":"✏️更新 操作系统","hash":"96cd8f3752fc76a06e935a9069dcf2c6a322d797"}],"createTime":"2019-06-05T22:10:00+08:00"}