___pmd_free_tlb是 x86 架构中用于在 TLB 批量刷新mmu_gather过程中延迟释放一个 PMD 页表页的底层函数。它的核心特点是将页表页的释放推迟到 TLB 刷新之后并处理 PAE 模式下的特殊需求。核心作用延迟释放与 TLB 协调当内核拆除一段页表映射时对应的 PMD 页表页需要被释放。但直接释放是危险的如果 TLB 中还缓存着指向该 PMD 的条目释放后可能导致 CPU 访问已释放内存。因此内核使用mmu_gather机制收集将要释放的页表页记录到tlb-pages数组中。刷新 TLB在所有收集完成后执行 TLB 刷新。释放TLB 刷新后才真正释放这些页表页。___pmd_free_tlb负责第 1 步——将 PMD 页表页加入待释放列表。代码逐行解析void ___pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd) { paravirt_release_pmd(__pa(pmd) PAGE_SHIFT);半虚拟化通知paravirt_release_pmd是一个半虚拟化钩子。在 Xen 等虚拟化环境中客户机释放页表页时需要通知 Hypervisor因为 Hypervisor 需要维护自己的影子页表。__pa(pmd)获取 PMD 的物理地址 PAGE_SHIFT转换为页帧号。#ifdef CONFIG_X86_PAE tlb-need_flush_all 1; #endifPAE 特殊处理在启用 PAE物理地址扩展的 32 位系统上PMD 层级实际上对应的是页目录指针表PDPT。修改 PDPT 的顶层条目需要完整的 CR3 重载才能刷新 TLB因为INVLPG指令对 PDPT 条目的失效效果不可靠。因此设置need_flush_all 1强制后续执行全局 TLB 刷新。tlb_remove_ptdesc(tlb, virt_to_ptdesc(pmd)); }加入待释放列表virt_to_ptdesc(pmd)将 PMD 的虚拟地址转换为struct ptdesc指针这是内核将页表描述符从struct page中拆分出来的新机制。tlb_remove_ptdesc将其加入tlb-pages数组等待 TLB 刷新后统一释放。在页表释放链条中的位置这个函数通常由宏pmd_free_tlb调用而后者在free_pgd_range→free_pud_range→free_pmd_range的递归释放过程中被触发。它确保了 PMD 页表页的释放与 TLB 刷新的正确顺序避免了“释放后仍被 TLB 引用”的竞态条件。谁调用___pmd_free_tlb它由pmd_free_tlb()这个包装函数或宏调用。在 x86 架构下pmd_free_tlb()的典型实现是static inline void pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd, unsigned long address) { if (mm_pmd_folded(tlb-mm)) return; ___pmd_free_tlb(tlb, pmd); }pmd_free_tlb()本身则是在free_pmd_range()中被调用的而free_pmd_range()又是free_pud_range()→free_pgd_range()→free_pgtables()这个递归释放链条的一部分。完整的调用链条free_pgtables() // 释放页表的总入口 └── free_pgd_range() └── free_pud_range() └── free_pmd_range() // ← 在这里调用 pmd_free_tlb └── pmd_free_tlb() └── ___pmd_free_tlb()这个链条的触发场景包括进程退出exit_mmap、munmap、以及mremap等需要拆除页表映射的操作。___pmd_free_tlb调用谁在函数内部它调用了两个关键函数paravirt_release_pmd()半虚拟化钩子通知 Hypervisor如 Xen释放对应的 PMD 页表页。tlb_remove_ptdesc()将 PMD 页表页加入mmu_gather的待释放列表延迟到 TLB 刷新后再真正释放。设计要点___pmd_free_tlb是一个架构相关的底层函数它的核心职责是协调页表页释放与 TLB 刷新。直接释放页表页是危险的因为 TLB 中可能还缓存着指向该页的条目。因此它通过tlb_remove_ptdesc将释放操作“挂起”等待tlb_finish_mmu()完成 TLB 刷新后再统一释放。在 PAE 模式下它还额外设置tlb-need_flush_all 1因为修改顶层 PDPT 条目需要完整的 CR3 重载才能确保 TLB 正确失效。