__rmqueue()是伙伴系统分配路径的核心调度器。它在持有zone-lock的前提下按照碎片化风险从低到高的顺序依次尝试不同的分配策略直到成功或彻底失败。核心作用与策略链它的本质是一个多级降级策略链先尝试最“干净”的方式同类型分配失败后才逐步退而求其次最终退到“偷页”这种会加剧碎片化的方式。根据内核代码典型的策略顺序是__rmqueue_smallest()首选策略。在请求的迁移类型空闲链表中从请求阶数向上查找最小的可用块。__rmqueue_cma_fallback()仅当请求MIGRATE_MOVABLE且首选失败时尝试。从CMA 区域分配但不进行破坏性拆分。__rmqueue_claim()在其他迁移类型中从最大阶数向下扫描尝试“认领”整个 pageblock即把大块的所有权转移给请求类型。__rmqueue_steal()最后手段。不关心认领从请求阶数向上扫描偷取任何可用的单个页块会加剧碎片化。mode参数的优化参数enum rmqueue_mode *mode是性能优化的关键。在rmqueue_bulk()中函数会批量分配多个页。如果每次分配都从RMQUEUE_NORMAL首选策略开始扫描在内存碎片化时开销很大。mode让调用方记住上次成功的策略如果上次是通过__rmqueue_claim()成功的这次就直接从该策略开始尝试跳过高阶扫描。当某个策略成功且“补充”了请求类型的空闲链表后mode会被重置为RMQUEUE_NORMAL因为首选策略可能又变得可用了。在分配路径中的位置它是rmqueue()和rmqueue_bulk()在持锁状态下调用的核心函数rmqueue() / rmqueue_bulk() └── spin_lock(zone-lock) └── __rmqueue(zone, order, migratetype, alloc_flags, mode) // ← 这里 ├── __rmqueue_smallest() ├── __rmqueue_cma_fallback() ├── __rmqueue_claim() └── __rmqueue_steal()总结__rmqueue()是伙伴系统在持锁状态下的多级分配调度器它按碎片化风险递增的顺序依次尝试同类型分配、CMA、认领整块、偷页四种策略。mode参数让批量分配能记忆并复用上次成功的策略避免重复无效扫描当策略成功补充了首选类型链表后模式重置回归最优路径。
__rmqueue()是伙伴系统分配路径的核心调度器。它在持有zone-lock的前提下按照碎片化风险从低到高的顺序依次尝试不同的分配策略直到成功或彻底失败。核心作用与策略链它的本质是一个多级降级策略链先尝试最“干净”的方式同类型分配失败后才逐步退而求其次最终退到“偷页”这种会加剧碎片化的方式。根据内核代码典型的策略顺序是__rmqueue_smallest()首选策略。在请求的迁移类型空闲链表中从请求阶数向上查找最小的可用块。__rmqueue_cma_fallback()仅当请求MIGRATE_MOVABLE且首选失败时尝试。从CMA 区域分配但不进行破坏性拆分。__rmqueue_claim()在其他迁移类型中从最大阶数向下扫描尝试“认领”整个 pageblock即把大块的所有权转移给请求类型。__rmqueue_steal()最后手段。不关心认领从请求阶数向上扫描偷取任何可用的单个页块会加剧碎片化。mode参数的优化参数enum rmqueue_mode *mode是性能优化的关键。在rmqueue_bulk()中函数会批量分配多个页。如果每次分配都从RMQUEUE_NORMAL首选策略开始扫描在内存碎片化时开销很大。mode让调用方记住上次成功的策略如果上次是通过__rmqueue_claim()成功的这次就直接从该策略开始尝试跳过高阶扫描。当某个策略成功且“补充”了请求类型的空闲链表后mode会被重置为RMQUEUE_NORMAL因为首选策略可能又变得可用了。在分配路径中的位置它是rmqueue()和rmqueue_bulk()在持锁状态下调用的核心函数rmqueue() / rmqueue_bulk() └── spin_lock(zone-lock) └── __rmqueue(zone, order, migratetype, alloc_flags, mode) // ← 这里 ├── __rmqueue_smallest() ├── __rmqueue_cma_fallback() ├── __rmqueue_claim() └── __rmqueue_steal()总结__rmqueue()是伙伴系统在持锁状态下的多级分配调度器它按碎片化风险递增的顺序依次尝试同类型分配、CMA、认领整块、偷页四种策略。mode参数让批量分配能记忆并复用上次成功的策略避免重复无效扫描当策略成功补充了首选类型链表后模式重置回归最优路径。
