操作系统如何进行内存管理？｜阿里巴巴算法面经解析

60 秒回答模板

面试中回答这个问题，可以从抽象、映射、分配、回收、保护、性能优化几个方面展开。操作系统不会直接让进程随意访问物理内存，而是为每个进程提供独立的虚拟地址空间，进程看到的是连续地址，实际会通过页表映射到离散的物理页框。CPU 访问内存时由 MMU 根据页表完成虚拟地址到物理地址的转换，TLB 缓存热点映射以减少查页表开销。内核负责维护页表、分配和释放物理页，管理堆、栈、mmap 区域、共享内存等不同内存区域。当访问的虚拟页尚未建立映射或权限不满足时，会触发缺页异常，内核根据情况分配新页、从文件加载、从交换区换入，或向进程发送异常信号。为了提高内存利用率，系统会使用按需分配、页面回收、页面置换、交换、写时复制等机制；为了保证安全和稳定，会用页级权限、用户态与内核态隔离、地址空间隔离和 cgroups 限制资源。一个完整答案还应说明分页减少外部碎片但会产生内部碎片，TLB 提升性能但带来失效维护成本，换页能扩大可用内存但会显著降低性能，NUMA 场景还要考虑内存访问局部性。

考点 虚拟地址空间

主线 地址空间布局

易错点 把虚拟内存简单等同于交换空间，忽略它首先是地址空间抽象…

深入解析

虚拟地址空间

现代操作系统通常为每个进程提供独立的虚拟地址空间。进程使用的地址并不是直接的物理地址，而是虚拟地址。这样做的好处是让程序认为自己拥有连续、完整、独立的内存空间，同时操作系统可以把这些虚拟页映射到任意物理页框，甚至暂时不映射，等真正访问时再分配。虚拟地址空间还天然支持进程隔离，一个进程不能随意读写另一个进程的内存。

地址空间布局

一个典型进程的虚拟地址空间会划分为代码段、只读数据段、全局数据段、堆、mmap 区、栈以及内核映射区域等。代码段通常可读可执行但不可写，数据段保存全局变量，堆用于动态分配并向高地址扩展，栈保存函数调用帧并通常向低地址扩展，mmap 区用于文件映射、共享库、匿名映射和共享内存。不同区域有不同权限、增长方式和生命周期。

分页映射

分页是主流内存管理方式。操作系统把虚拟地址空间切成固定大小的虚拟页，把物理内存切成同样大小的页框，再通过页表记录虚拟页到物理页框的映射关系。分页让物理内存不需要连续，显著降低外部碎片问题，也便于按页进行权限控制、换入换出和共享。代价是页表本身占用内存，地址转换也会带来额外开销。

页表结构

页表保存虚拟页号到物理页框号的映射，同时包含有效位、读写执行权限位、用户态访问位、脏页位、访问位、是否共享等元数据。为了避免单级页表过大，系统通常使用多级页表，只为实际使用的地址范围建立中间结构。大页机制可以减少页表项数量和 TLB 压力，但会增加内部碎片，并降低细粒度权限和回收的灵活性。

MMU 与 TLB

CPU 执行访存指令时，MMU 负责把虚拟地址转换成物理地址。若每次访问都走完整页表，成本会很高，所以处理器使用 TLB 缓存最近访问过的地址转换结果。TLB 命中时地址转换很快，未命中时才查页表。上下文切换、修改页表、权限变化和页面回收都可能涉及 TLB 失效或刷新，因此操作系统需要在隔离正确性和性能之间权衡。

缺页处理

当进程访问的虚拟页没有有效映射，或访问权限不符合页表要求时，会触发缺页异常。内核会判断这是合法的按需分配、文件映射加载、栈增长、写时复制，还是非法访问。合法场景下，内核会分配物理页、建立页表项、必要时从磁盘读取内容，然后恢复执行；非法访问则通常导致进程收到段错误等异常。缺页并不一定是错误，它也是懒加载和内存节省的重要机制。

分配与释放

内核需要管理物理页的分配和回收，常见机制包括伙伴系统、slab 或类似对象缓存。伙伴系统适合管理连续页框，能在一定程度上合并空闲块；对象缓存适合频繁分配固定大小的内核对象，减少初始化和碎片成本。用户态 malloc 通常先从堆或 mmap 获取大块虚拟内存，再在用户态维护小块分配，释放时未必立刻归还给内核。

堆栈与 mmap

堆、栈和 mmap 是进程使用内存的主要入口。堆适合生命周期灵活的小中型动态对象，栈适合函数调用和局部变量，mmap 适合大块内存、文件映射、共享内存和动态库加载。操作系统对这些区域统一通过虚拟内存机制管理，但它们的扩展规则、缺页行为、回收方式和与文件系统的关系不同。理解这些差异有助于分析内存泄漏、栈溢出、大对象分配和共享内存问题。

交换与页面置换

当物理内存压力较大时，操作系统会回收部分页面。干净的文件页可以直接丢弃，之后再从文件加载；脏页需要写回文件或交换区；匿名页如果暂时不用，可能被换出到交换空间。页面置换算法通常近似 LRU，结合访问位、活跃链表、内存压力和脏页成本来决策。换页能提高内存承载能力，但频繁换入换出会导致严重抖动，使系统性能急剧下降。

内存保护与共享

操作系统通过页表权限控制读、写、执行和用户态访问，从而实现代码只读、栈不可执行、内核空间隔离、进程间保护等能力。共享库、文件映射和共享内存可以让多个进程映射同一批物理页，减少内存占用。写时复制常用于 fork，父子进程先共享物理页，只有一方写入时才复制新页，既保证语义正确，又避免无意义的整块拷贝。

碎片与资源控制

分页基本解决了外部碎片，但页内未使用空间会形成内部碎片；长期运行后，大块连续物理页也可能难以分配，因此内核需要页迁移、内存规整和合理的分配策略。在 NUMA 系统中，CPU 访问本地节点内存更快，跨节点访问更慢，调度器和内存分配器要尽量保持计算与数据靠近。容器和服务端场景还会使用 cgroups 限制内存用量，避免单个进程或服务耗尽整机资源。

易错点

把虚拟内存简单等同于交换空间，忽略它首先是地址空间抽象和隔离机制。
只说 malloc 分配内存，不区分用户态分配器、虚拟地址申请和内核物理页分配。
认为申请内存时一定立刻占用等量物理内存，忽略按需分配和缺页加载。
把缺页异常都当成错误，没有说明合法缺页和非法访问的区别。
只讲分页优点，不提页表开销、TLB miss、内部碎片和换页抖动。
忽略内存权限保护，无法解释只读代码段、不可执行栈、用户态与内核态隔离。
把页面置换算法说成精确 LRU，忽略实际系统通常使用近似策略和多种页面类型判断。
没有提写时复制，导致无法解释 fork、共享库和内存节省的关键场景。

面试官追问

虚拟内存和物理内存是什么关系？

虚拟内存是进程看到的地址空间，物理内存是真实 RAM。二者通过页表映射关联，一个虚拟页可以映射到某个物理页框，也可以暂时没有映射，等缺页时再建立。

为什么需要 TLB？

因为每次访存都查多级页表成本太高，TLB 缓存近期虚拟页到物理页框的转换结果。TLB 命中可以显著降低地址转换延迟，未命中才需要走页表查询。

缺页异常一定是程序错误吗？

不是。合法缺页包括按需分配、文件映射加载、栈扩展、写时复制等；非法缺页才是访问越界、权限错误或访问无效地址，通常会导致进程异常终止。

分页如何解决内存碎片？

分页把内存拆成固定大小的页和页框，虚拟地址连续但物理页框可以离散，因此减少外部碎片。不过最后一页可能用不满，会产生内部碎片。

fork 为什么通常很快？

因为 fork 常用写时复制。父子进程初始共享相同物理页，页表标记为只读；当某一方写入时触发缺页，再复制对应页面，因此避免立即复制整个地址空间。

内存不足时操作系统会做什么？

系统会尝试回收缓存页、写回脏页、换出冷匿名页、压缩或规整内存；如果仍无法满足需求，可能触发内存限制处理或选择终止部分进程释放内存。

NUMA 对内存管理有什么影响？

NUMA 下不同 CPU 访问不同内存节点的延迟不同。系统需要尽量让线程运行位置和内存分配位置接近，否则远程访问会增加延迟并降低吞吐。