TLB 与地址转换与缺页与换入换出

• 分离的 L1 ITLB/DTLB
• 统一的 L2 sTLB
• 多级缓存与 miss 处理

现代 CPU 的 TLB 分层次组织：L1 通常分为指令 TLB（ITLB）和数据 TLB（DTLB），分别缓存指令与数据的地址转换，分离以避免指令/数据访问互相干扰；L2 是统一的 TLB（sTLB，secondary unified TLB），同时缓存指令和数据转换，容量更大。L1 ITLB/DTLB miss 时，处理器先查 L2 sTLB（若命中则填充 L1，miss 才走 page table walk）。层次关系类似 cache：L1 快但小（如 64-1024 项），L2 慢但大（如 1024-4096 项），多级 TLB 提升命中率并缩短 page walk。

TLB 也采用多级 + 分离（i/d）的层次设计，与 cache 同构：L1 分离快，L2 统一大，miss 逐级处理，最终才触发 page table walk。这是性能与规模的平衡。

• 硬件 page walker
• 软件 TLB miss handler
• 架构差异

TLB miss 时，有两种处理方式：1）硬件 page walker（硬件页表遍历器）：MMU 硬件自动遍历页表，找到物理地址并填充 TLB，无需软件干预，x86 和 ARM64 采用此方式，速度快、无需陷阱。2）软件 TLB miss handler：MMU 在 TLB miss 时触发异常，陷入内核，由软件（如 MIPS 的 tlb_miss 处理程序）遍历页表并填充 TLB，然后返回，灵活但慢（需上下文切换）。核心差异：硬件 walker 由 MMU 自动完成、低延迟；软件 handler 由内核陷入处理、灵活但开销大。x86/ARM64 用硬件，MIPS 等用软件。

硬件 walker 是"把遍历固化到硬件"以降低延迟，软件 handler 是"用软件灵活性换取硬件简单"。现代主流架构倾向硬件 walker，因为它更快且省去陷入开销。

• TLB 的缓存本质
• 典型容量
• 覆盖范围与 miss

TLB 是 MMU 中的一个高速缓存，缓存最近使用的虚拟地址到物理地址的转换（页表项），避免每次访问内存都走完整的页表遍历。其本质是"转换结果的缓存"，与 CPU cache 类似但缓存的是地址映射而非数据。典型容量：L1 DTLB 约 32-64 项（4KB 页），L1 ITLB 约 64-128 项，L2 统一 TLB 约 1024-3072 项，部分支持 2MB/1GB 大页的 TLB 条目也可缓存。TLB 容量有限，覆盖范围（TLB 项数 × 页大小）决定工作集能多大程度被 TLB 覆盖，超出则 miss 并触发 page walk。大页通过增大每项覆盖范围提升命中率。

TLB 是"地址转换缓存"，容量小（几十到几千项），覆盖范围有限。理解 TLB 本质（缓存）与容量（小）是理解 miss 与大页价值的基础。

• big.LITTLE 的异构核
• 不同核 TLB 大小差异
• 迁移与命中率

ARM big.LITTLE 由高性能大核（big）和低功耗小核（little）组成，两类核的微架构不同，TLB 大小和层级也不同：big 核通常有更大的 TLB（如更大的 L1/L2 TLB），little 核 TLB 较小。当线程在大核上运行时，TLB 命中率高、转换快；迁移到小核时，TLB 容量小，工作集可能超出其覆盖范围，导致 TLB miss 率升高。此外，核间迁移会因 TLB 内容不同而需要重新填充。因此同一个工作负载在不同类型核上 TLB 命中率不同，这是裸核异构导致的行为差异。

TLB 命中率差异源于 big/little 核的 TLB 容量与微架构不同：大核 TLB 大命中率高，小核 TLB 小命中率低。核迁移也会重置 TLB 状态，影响性能。

• x86 的 TLB shootdown
• ARM 的 ASID 机制
• 架构差异

x86 传统上通过 TLB shootdown（跨核发 IPI 使各核 TLB 失效）或写 CR3 来刷 TLB，早期没有 PCID 时只能全量 flush（拍平），代价是上下文切换时 TLB 清空、命中率下降。ARM 使用 ASID（Address Space ID）：每个进程分配一个 ASID 标签，TLB 条目带 ASID，切换进程时只需更换 ASID 而无需 flush 整个 TLB，通过 ASID 区分不同进程的条目，保留有用条目。差异源于架构能力：x86 通过 PCID 指令（INVPCID）也实现了类似 ASID 的按进程 TLB 分区，而 ARM 的 ASID 是硬件原生支持。现代 Linux 在 x86 上启用 PCID（version 4.4+）后也避免全量 flush。

全量 flush vs ASID 是"是否按地址空间打标签"的差异：ASID/PCID 给 TLB 条目加地址空间标签，切换时不清空、只隔离，保留命中率。x86 早期无 PCID 只能拍平，后补 PCID 缩小差距。

• 上下文切换的 TLB flush
• 拍平的含义
• 与分层的权衡

"x86 把 TLB 拍平"通常指在上下文切换时，x86 因页表切换（CR3 更新）而需要 flush TLB，早期没有 PCID，导致切换时全部 TLB 条目失效（拍平），失去了跨进程的 TLB 缓存。这是"单级 TLB 语义"（不区分地址空间）的体现：TLB 条目假设属于当前进程，切换即失效。因为 flush 代价，x86 早期在频繁切换时 TLB 命中率低。现代 x86 通过 PCID（进程上下文 ID）和 INVPCID 指令，使 TLB 条目可带 PCID 标签，切换时只失效相关进程的条目，避免全量拍平，从而兼顾安全与性能。

"拍平"是早期无 PCID 的必然结果：TLB 条目无地址空间标签，切换即全清。PCID 给条目加标签后不再需要全量拍平，是 x86 的演进。问题侧重点在解释"为什么早期拍平"——因无标签、切换语义。

• 大页增加 TLB 覆盖
• 覆盖范围仍有限
• TLB 容量与工作集

大页（2MB/1GB）使单个 TLB entry 覆盖更大的连续内存，在相同 TLB 容量下覆盖范围成倍增加，从而显著减少 TLB miss。但大页不能消除 miss，因为：1）TLB 容量仍有限（几十到几千项），若工作集（访问的不同大页）超过 TLB 项数，仍会 miss；2）大页覆盖的是连续内存，若工作集是分散的、跨多个大页的随机访问，仍需大量 TLB 项；3）大页本身不增加 TLB 条目数，只是扩大每项覆盖，命中率提升有限度。TLB 容量与工作集大小的关系决定 miss 是否出现，大页只是缓解而非根治。

大页减少 miss 的本质是"扩大每项覆盖范围"，但 TLB 项数有限，工作集分散时仍会 miss。命中率取决于"TLB 覆盖范围 vs 工作集"的比值，大页只提高分子。

• anon 与 file 页
• 回收优先级
• 交换 vs 丢弃

Linux 页回收时，优先回收 file-backed 页（文件页），因为干净文件页可直接丢弃（脏页写回后可丢弃），无需 swap，成本低；匿名页（anon）因无文件 backing，回收需要写回 swap（交换），成本高。因此内核优先回收 file 页，其次才回收 anon 页（在内存压力下）。这个策略由 vm.swappiness 与 /proc/sys/vm/vfs_cache_pressure 等参数调节：swappiness 控制回收 file 页与 anon 页的相对倾向（默认 60，倾向回收 file 页）。活性也会影响：inactive 页先回收，active 页后回收。整体是"先丢可重建的 file 页，后换出不可重建的 anon 页"。

回收顺序依据"重建成本"：文件页可丢弃/写回后重建，匿名页需 swap，故先回收 file 页。swappiness 等参数调节倾向，是内存管理的关键权衡。

• major fault 的定义
• readahead 的触发
• 异步预读提升吞吐

major fault（主要缺页）指没有相应物理页、需要从磁盘读取数据的缺页（如首次访问 file-backed 页）。触发 major fault 时，OS 不仅要为当前访问的页读取数据，还会触发 readahead（预读）：内核预期进程会顺序访问后续页，提前从磁盘读取一批相邻页到页缓存，从而减少后续缺页。readahead 的作用是隐藏磁盘访问延迟，把随机/顺序磁盘读变成批量预取，提升吞吐。它通过/按需预测（如顺序检测）动态调整预读大小，减少 major fault 的累计次数。

readahead 是"以顺序预取换取缺页减少"的优化：major fault 触发的磁盘读是瓶颈，预读把多次磁盘 I/O 合并为一次批量读，降低总延迟。

• OOM killer 的选择逻辑
• anon 页不可回收
• root 与评分

OOM killer 在内存严重不足（无法回收足够内存）时选择进程终止。它倾向于选择占用大量匿名页（anon）的进程，因为匿名页无法像 file 页那样丢弃或写回然后重建，回收 anon 页需要 swap 且代价高；当 swap 耗尽或不足时，anon 页是"不可回收"的，而 file 页可被回收。因此 kill 一个 anon-heavy 进程能最大程度释放内存，且这些内存无法通过常规回收获得。OOM 评分（oom_score）综合考虑 RSS、swap 占用、进程大小等，anon 占用高的进程评分高、更可能被 kill。内核态、root 进程、init 等有保护。

OOM 选择的核心是"释放最多、回收成本最高的不可回收内存"：anon 页需 swap 且不可重建，是内存压力的主要来源，kill anon-heavy 进程能有效缓解。这是"回收都不可能就 kill"的兜底策略。

• shared_buffers 的物理内存
• 内存压力下的换出
• swap 的影响

PostgreSQL 的 shared_buffers 是共享内存缓冲区，通常由内核分配为固定物理内存（MAP_SHARED 匿名映射）。但 shared_buffers 的物理页并非"钉住"（pinned）在内存中，在系统内存压力下，内核可能把这些共享页换出到 swap，即使技术上它们是"共享内存"（shmem 也可被换出）。此外，shared_buffers 之外的数据库内存（如 backend 的私有堆、work_mem）也可能被换出。当共享内存被换出时，PostgreSQL 访问这些页会触发 swap in，导致性能骤降。因此大 shared_buffers 建议配合 mlock（mlockall）或足够内存避免换出。

共享内存（shmem）也是可换出的普通页，内核在压力下会 swap 它们。shared_buffers 用 swap 意味着"本该驻留的缓冲磁盘 I/O 变成了 swap I/O"，性能更差，故需 mlock 或足量内存。

• ASID 标记地址空间
• TLB 条目带 ASID
• 避免进程切换 flush

ASID（Address Space ID）是分配给每个进程的唯一标识，TLB 条目会带上对应的 ASID 标签。当进程切换时，CPU 只需切换 ASID 寄存器，而不必 flush 整个 TLB，因为 TLB 中不同 ASID 的条目被区分（当前 ASID 的条目才有效），从而保留其他进程的 TLB 条目，维持高命中率。若 TLB 条目不带 ASID，切换进程时必须全量 flush，否则会命中错误进程的映射。ASID 把"地址空间隔离"内置到 TLB，避免不必要的 flush，降低上下文切换开销。ASID 耗尽时需全局 flush 并重分配。

ASID 的本质是"给 TLB 条目打地址空间标签，实现按进程隔离"，从而切换时免清空。这与 x86 的 PCID 原理一致，是避免 TLB flush 的关键机制。

• PCID 标记进程
• INVPCID 选择性失效
• Linux 的启用

PCID（Process Context ID）是 x86 的机制，给 TLB 条目打上进程上下文 ID 标签，使 TLB 能区分不同进程的条目，从而在上下文切换时避免全量 flush。配合 INVPCID 指令，Linux 可以按 PCID 有选择地失效特定进程的 TLB 条目（而非全部），从而在保留其他进程 TLB 条目的同时安全切换。Linux 从 4.4 开始启用 PCID（通过 CR4.PCIDE 和 INVPCID），显著减少上下文切换时的 TLB flush，提升多进程场景性能。PCID 与 4-level 页表配合，使 TLB 管理更精细。

PCID 是 x86 对 ASID 的对等实现：用进程上下文 ID 隔离 TLB 条目，INVPCID 实现选择性失效。这对 Linux 高并发/多进程场景的 TLB 性能至关重要。

• ASID 的机制
• x86 的 PCID 需求
• 架构差异

这个问题本质上是在问"为什么 x86 仍需要 PCID 而 ARM 的 ASID 看似够用"。答案在于架构差异：ARM 的 ASID 是硬件原生支持，内核每次切换进程时替换 ASID 寄存器，TLB 条目带 ASID 自动区分，无需显式 flush。而 x86 早期没有等价的 ASID 机制，TLB 条目不带地址空间标签，切换（CR3 更新）必须全量 flush，损失性能。因此 x86 引入 PCID 作为"ASID 的对等物"，避免全量 flush。说"ASID 不足以避免 PCID 需求"是指：没有 PCID 的 x86 只能用全量 flush（即没有 ASID 的 x86 不充分），所以需要 PCID 来填补这一空白。在纯 ARM 语境下 ASID 已足够，但 x86 需要 PCID。

关键差异是"硬件是否原生支持按地址空间隔离 TLB"。ARM 有 ASID 足够，x86 无此原生机制，故引入 PCID，二者功能等价但起源不同。问题强调"在 x86 上 ASID 无法替代，必须有 PCID"。

• 大页 TLB 覆盖
• 与 4KB TLB 的对比
• 命中率提升

大页（2MB/1GB）的一个 TLB entry 覆盖 512 或 262144 个 4KB 页，因此在相同 TLB 条目数下，大页 TLB 的覆盖范围远超 4KB TLB，miss 率显著降低。例如，一个 2MB 大页 TLB entry 覆盖 512 个 4KB 页，一个 1GB entry 覆盖 262144 个 4KB 页。对于大工作集（如数据库、JVM 堆），4KB TLB 因覆盖不足而 miss 频繁，换用大页 TLB 后 miss 率大幅下降。但两者是同一物理 TLB 的不同映射（TLB 条目数共享），大页只是"每项覆盖更大"，并非独立的"更大 TLB"。命中率提升取决于工作集是否能用少量大页覆盖。

大页 TLB 与 4KB TLB 共享 TLB 硬件，区别在"每项覆盖范围"：大页用更少条目覆盖更多内存，降低 miss。提升幅度与工作集的连续性和大页对齐程度相关。

• 双 LRU 链表
• 老化与提升
• 回收优先级

Linux 用两个 LRU 链表（active 和 inactive）管理页的活跃度，实现近似 LRU 的回收。新页先进入 inactive 链表；inactive 页被再次访问时提升到 active 链表；active 页长期未被访问会回落/推回 inactive。回收时优先分 inactive 链表中的页（因为不活跃），避免误回收活跃页。通过 active/inactive 分离，Linux 能区分"刚分配但未用"和"长期活跃"的页，合理选择回收对象，提高回收命中率（减少换出后很快再访问的抖动）。这是基于 accessed bit 的二次机会等算法的基础。

双 LRU 是"区分活跃度"的回收策略：inactive 是候选回收池，active 是保护池，通过提升/回落实现近似 LRU，避免回收刚被访问的页和抖动。

• minor fault
• major fault
• none（无 fault）

page fault 按处理成本分为：1）minor fault（次要缺页）：页表项不存在但物理页已存在（如页在页缓存、共享页、COW 时），只需更新页表映射，无需磁盘 I/O，成本低；2）major fault（主要缺页）：物理页不存在，需从磁盘读取（首次访问 file-backed 页、swap in），涉及磁盘 I/O，成本高；3）none（无缺页）：页表项已存在且物理页已映射，访问直接命中，无需 fault。minor/major 的区分核心是"是否需要磁盘 I/O"：需要则 major，否则 minor。频繁 major fault 说明工作集未驻留内存，性能差。

page fault 分类依据"是否磁盘 I/O"：minor 只更新映射，major 需读盘。无 fault 是理想情况（命中）。这决定了内存访问的性能特征。

• swap out 的写盘
• swap in 的读回
• 与页表/缺页的关系

swap out（换出）：内存压力下，内核选择匿名页（或可换出的页）写入 swap 设备（磁盘/分区），并更新页表项：present 位清 0，物理地址字段改为记录 swap 位置（swap 设备号 + 偏移），这样页被"换出"释放物理内存。swap in（换入）：当访问一个被换出的页时，触发 page fault（not present），内核读取页表项中的 swap 信息，从 swap 设备读回物理页，更新页表项为 present 并指向新物理页，访问继续。swap in 是 major fault（需磁盘 I/O）。换出通常先写回/丢弃 file 页，anon 页才 swap 到磁盘。

swap 过程是"内存与磁盘的页交换"：换出把页写盘并编码 swap 信息到 PTE，换入靠缺页从磁盘读回。核心是 PTE 的 present 位与 swap 编码，以及 major fault 的触发。

• 匿名页回收需 swap
• 文件页回收可丢弃/写回
• 默认策略

匿名页（anon）没有文件 backing，回收时只能写回 swap 设备，否则无法释放（数据会丢失）。文件页（file）有文件 backing，回收时可直接丢弃（干净页）或写回原文件（脏页）后释放，无需 swap。因此 Linux 默认只在回收匿名页时才使用 swap，文件页回收不写 swap（直接丢弃/写回）。这一策略是"swappiness 控制"的体现：系统优先回收文件页，只有文件页不足或 swappiness 高时才换出匿名页。核心是"文件页可重建，匿名页不可重建，故 swap 只用于匿名页"。

swap 的用途取决于"页能否重建"：匿名页只能从 swap 恢复，文件页可重新读回，故默认 swap 只用于匿名页。这是内存回收与磁盘 I/O 的合理分工。

• anon 页的零页映射
• file-backed 的磁盘读
• 缺页类型差异

mmap 匿名映射（MAP_ANONYMOUS）首次访问时，页表项不存在，触发缺页。由于匿名页无需从磁盘读数据，内核映射一个"零页"（ZERO_PAGE）或分配一个清零的新物理页即可，无需磁盘 I/O，因此是 minor fault（低成本）。而 file-backed 映射（mmap 文件）首次访问时，页不在页缓存，需要从磁盘读取文件内容，涉及磁盘 I/O，因此是 major fault。差异的本质是"是否需要从磁盘取数据"：anon 页是零初始化（无磁盘源），file 页有磁盘源需读取。

缺页类型取决于"数据来源"：anon 页数据为全零（可本地生成），minor；file 页数据来自磁盘（需读取），major。这解释了为何懒加载的 anon 映射缺页成本低。

• zRAM 的压缩块设备
• 匿名页压缩
• 内存扩展

zRAM 是一个基于 RAM 的压缩块设备，作为 swap 设备使用。Android 在内存不足时，把匿名页压缩后写入 zRAM（而非真正的磁盘），由于压缩，同等内存能容纳更多"换出"页，相当于扩展可用内存。zRAM 的 swap 是内存到内存的压缩，读写速度远快于磁盘 swap，但换出/换入仍需要 CPU 做压缩/解压。zRAM 缓解了低内存设备的压力，避免频繁 OOM，是 Android 内存管理的关键手段。相比磁盘 swap，zRAM 无 IO 延迟、更快，但占用 CPU 和内存（压缩后）。

zRAM 是"用 CPU 压缩换内存空间"：把匿名页压缩到 RAM 块设备，牺牲一点 CPU 换取可用内存提升，是移动端内存不足的经典解法。

• SSD 的随机访问性能
• HDD 的寻道延迟
• swap 的 I/O 特征

swap 是随机、小块的 I/O（换入换出零散页），HDD 的随机访问受限于磁头寻道和旋转延迟，延迟高（毫秒级）、吞吐低，因此 HDD 上 swap 代价极大，应尽量避免。SSD 无机械寻道，随机访问延迟低（微秒级）、吞吐高，swap 的随机 I/O 表现好得多，因此系统可以更激进地使用 swap（设置更高的 swappiness），在内存不足时靠 swap 平滑过渡，而不至于造成灾难性性能下降。不过 SSD 有写寿命限制，仍需适度。内核据此对 swap 的激进程度做评估。

swap 的可用性取决于随机 I/O 性能：HDD 随机寻道慢、swap 代价大；SSD 随机快、swap 更可接受。因此 SSD 上可以更激进地启用 swap。