spurious_kernel_fault是 x86 架构缺页异常处理中的一个“容错”函数。它的核心任务是检测并忽略那些由“过期的 TLB 条目lazy TLB invalidation”引起的虚假内核态缺页异常。核心原理TLB 的“懒惰”更新当内核修改页表权限时例如将某个页从只读改为可写或从不可执行改为可执行理论上需要立即刷新所有 CPU 的 TLB转换检测缓冲区。然而刷新操作非常昂贵因此内核采取了一种“懒惰”的策略不立即刷新 TLB而是等到某个 CPU 真正因为旧权限触发缺页时再把它当作一次“虚假故障”来处理。spurious_kernel_fault就是用来识别这种“虚假故障”的。它通过检查当前页表中的实际权限来判断这次缺页是否真的非法。判断逻辑该函数只处理两种特定的错误码组合X86_PF_WRITE | X86_PF_PROT试图写入一个当前页表标记为只读的页。X86_PF_INSTR | X86_PF_PROT试图执行一个当前页表标记为不可执行NX的页。如果错误码不是这两种之一直接返回0不是虚假故障。接下来它会从init_mm.pgd主内核页表开始沿着 PGD → P4D → PUD → PMD → PTE 的层级逐级检查。在每一级它会确认该页表项是否存在并最终调用spurious_kernel_fault_check来验证当前页表中的权限是否已经允许了这次访问。权限检查的核心spurious_kernel_fault_check的逻辑非常直接如果是写故障检查 PTE 的写权限pte_write。如果 PTE 已经是可写的说明这次缺页是虚假的返回1。如果是指令获取故障检查 PTE 的可执行权限。如果 PTE 已经是可执行的同样返回1。如果检查通过spurious_kernel_fault会返回1调用者exc_page_fault会直接返回不进行任何处理因为这次“故障”实际上是由于 TLB 中残留的旧权限信息导致的当前页表已经允许了该访问。安全含义与限制代码注释明确指出提高页表权限时留下过期的 TLB 条目没有安全风险。因为这只是“拒绝”了一次本来已经允许的访问而不是“允许”了一次本应拒绝的访问。spurious_kernel_fault被标记为NOKPROBE_SYMBOL禁止在其上设置 kprobe避免在缺页异常处理路径上引发递归或死锁。同时WARN_ONCE的存在表明如果最终 PMD 的权限检查失败说明页表本身存在不一致的 bug内核会发出一次警告。总结spurious_kernel_fault是内核为了性能而牺牲一致性的产物。它允许内核在修改页表权限时不必立即进行昂贵的跨处理器 TLB 刷新而是将刷新成本推迟到真正触发缺页的那一刻。这个函数就是那个“回收站”专门消化这些因延迟刷新而产生的“假故障”。
spurious_kernel_fault是 x86 架构缺页异常处理中的一个“容错”函数。它的核心任务是检测并忽略那些由“过期的 TLB 条目lazy TLB invalidation”引起的虚假内核态缺页异常。核心原理TLB 的“懒惰”更新当内核修改页表权限时例如将某个页从只读改为可写或从不可执行改为可执行理论上需要立即刷新所有 CPU 的 TLB转换检测缓冲区。然而刷新操作非常昂贵因此内核采取了一种“懒惰”的策略不立即刷新 TLB而是等到某个 CPU 真正因为旧权限触发缺页时再把它当作一次“虚假故障”来处理。spurious_kernel_fault就是用来识别这种“虚假故障”的。它通过检查当前页表中的实际权限来判断这次缺页是否真的非法。判断逻辑该函数只处理两种特定的错误码组合X86_PF_WRITE | X86_PF_PROT试图写入一个当前页表标记为只读的页。X86_PF_INSTR | X86_PF_PROT试图执行一个当前页表标记为不可执行NX的页。如果错误码不是这两种之一直接返回0不是虚假故障。接下来它会从init_mm.pgd主内核页表开始沿着 PGD → P4D → PUD → PMD → PTE 的层级逐级检查。在每一级它会确认该页表项是否存在并最终调用spurious_kernel_fault_check来验证当前页表中的权限是否已经允许了这次访问。权限检查的核心spurious_kernel_fault_check的逻辑非常直接如果是写故障检查 PTE 的写权限pte_write。如果 PTE 已经是可写的说明这次缺页是虚假的返回1。如果是指令获取故障检查 PTE 的可执行权限。如果 PTE 已经是可执行的同样返回1。如果检查通过spurious_kernel_fault会返回1调用者exc_page_fault会直接返回不进行任何处理因为这次“故障”实际上是由于 TLB 中残留的旧权限信息导致的当前页表已经允许了该访问。安全含义与限制代码注释明确指出提高页表权限时留下过期的 TLB 条目没有安全风险。因为这只是“拒绝”了一次本来已经允许的访问而不是“允许”了一次本应拒绝的访问。spurious_kernel_fault被标记为NOKPROBE_SYMBOL禁止在其上设置 kprobe避免在缺页异常处理路径上引发递归或死锁。同时WARN_ONCE的存在表明如果最终 PMD 的权限检查失败说明页表本身存在不一致的 bug内核会发出一次警告。总结spurious_kernel_fault是内核为了性能而牺牲一致性的产物。它允许内核在修改页表权限时不必立即进行昂贵的跨处理器 TLB 刷新而是将刷新成本推迟到真正触发缺页的那一刻。这个函数就是那个“回收站”专门消化这些因延迟刷新而产生的“假故障”。
