page_alloc zone_spans_last_pfn-北京尧图网络

zone_spans_last_pfn()是alloc_contig_pages()在扫描候选 PFN 范围时用于边界检查的辅助函数。它判断一个从start_pfn开始、长度为nr_pages的范围其最后一页是否仍然落在指定的 zone 内。核心实现static bool zone_spans_last_pfn(const struct zone *zone, unsigned long start_pfn, unsigned long nr_pages) { unsigned long last_pfn start_pfn nr_pages - 1; return zone-zone_start_pfn last_pfn last_pfn zone_end_pfn(zone); }逻辑解析1. 计算最后一页的 PFNunsigned long last_pfn start_pfn nr_pages - 1;范围是[start_pfn, start_pfn nr_pages)所以最后一页的 PFN 是start_pfn nr_pages - 1。减 1 是关键——nr_pages是页数不是结束 PFN。2. 判断最后一页是否在 zone 内return zone-zone_start_pfn last_pfn last_pfn zone_end_pfn(zone);zone-zone_start_pfnzone 的起始 PFN包含。zone_end_pfn(zone)zone 的结束 PFN不包含等于zone_start_pfn spanned_pages。两个条件都满足说明最后一页在 zone 内。为什么只检查最后一页因为alloc_contig_pages()的扫描是从 zone 起始位置按nr_pages对齐向上推进的pfn ALIGN(zone-zone_start_pfn, nr_pages); while (zone_spans_last_pfn(zone, pfn, nr_pages)) { if (pfn_range_valid_contig(zone, pfn, nr_pages)) { ... } pfn nr_pages; }pfn从对齐后的起始位置开始每次递增nr_pages。只要第一页在 zone 内由循环起点保证且最后一页也在 zone 内那么中间的页必然也在 zone 内因为 zone 是连续 PFN 区间。所以只检查最后一页就够了无需遍历整个范围。这是一个性能优化。与zone_spans_pfn()的关系前面在get_pfnblock_bitmap_bitidx()的VM_BUG_ON_PAGE中见过zone_spans_pfn()static inline bool zone_spans_pfn(const struct zone *zone, unsigned long pfn) { return zone-zone_start_pfn pfn pfn zone_end_pfn(zone); }zone_spans_last_pfn()就是对范围最后一页调用zone_spans_pfn()的逻辑只是没有直接调用它而是内联了相同的判断并多做了一步last_pfn的计算。在调用链中的位置alloc_contig_pages(nr_pages, gfp_mask, nid, nodemask) └── for_each_zone_zonelist_nodemask(zone, ...): ├── pfn ALIGN(zone-zone_start_pfn, nr_pages) └── while (zone_spans_last_pfn(zone, pfn, nr_pages)): // ← 这里 ├── if (pfn_range_valid_contig(zone, pfn, nr_pages)) │ └── __alloc_contig_pages(pfn, nr_pages, gfp_mask) └── pfn nr_pages为什么需要它alloc_contig_pages()需要确保候选范围不跨越 zone 边界——因为alloc_contig_range()要求所有页属于同一个 zonepfn_range_valid_contig()也会检查page_zone(page) ! z。zone_spans_last_pfn()作为循环条件当范围超出 zone 边界时自动终止扫描避免对无效范围调用pfn_range_valid_contig()。边界情况nr_pages 0last_pfn start_pfn - 1可能下溢或落在 zone 外但alloc_contig_pages()不会用 0 调用它。范围恰好到 zone 末尾last_pfn zone_end_pfn(zone) - 1满足条件返回true。范围恰好超出 zone 末尾last_pfn zone_end_pfn(zone)不满足 zone_end_pfn(zone)返回false循环终止。总结zone_spans_last_pfn()是alloc_contig_pages()扫描循环的边界守门人它计算候选范围的最后一页 PFN判断它是否仍在 zone 的[zone_start_pfn, zone_end_pfn)区间内。由于扫描是按nr_pages对齐递增的只需检查最后一页即可保证整个范围都在 zone 内。当范围超出 zone 边界时返回false循环自动终止避免对无效范围做后续检查。

page_alloc zone_spans_last_pfn

相关推荐

华东师大：从单纯堆环境到系统级自我进化

AI落地的替代悖论：裁员预期如何摧毁AI最需要的经验供给

106.从中序与后序遍历序列构造二叉树

更多资讯

VS Code高效开发指南：工作区、多光标与调试技巧

统信UOS服务器部署OpenClaw AI Agent完整避坑手册

Kubernetes生产实战：HPA自动扩缩容与Helm编排实践

HPA与Helm实战：Kubernetes自动扩缩容与模板化部署

单周期RISC-V CPU设计：Vivado实战与FPGA落地指南

用GDAL实现遥感影像裁剪：从范围裁剪到批量处理实战

今日更新

微信云开发旅游小程序实战：LBS打卡+UGC社交全栈方案

金融AI代理平台核心拆解：从多代理协作到财报分析实战

基于大数据的智慧旅游推荐与可视化平台架构实践

本周精选

金融AI落地指南：从调研报告到技术选型与工程实践

大模型上下文成本与注意力优化技术深度解析——为何O(n²)平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测

基于GMM的语音识别系统原理与MATLAB实现详解

本月热门

我发现了一个新思路：用 Remotion + Claude Code 像写代码一样自动化生成短视频

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式：TaoToken 统一 Key 配置与验证

2026 大模型集体涨价：用 Python 做企业 Token 成本测算与选型避坑（附配置）

读完文章，想聊聊您的网站？