第4章 内核模块与内存管理面试题
内存管理是Linux驱动面试的高频考点，重点考察你对物理连续 vs 虚拟连续、GFP标志、内存泄漏场景及slab分配器的理解。本章拆解3道核心面试题 + 1个项目实战模板，帮助你建立系统化的回答框架。
面试问答卡片 1：kmalloc 与 vmalloc 的区别及应用场景
面试问题：kmalloc 和 vmalloc 有什么区别？分别适用于什么场景？
面试官考察点：
- 是否理解物理连续 vs 虚拟连续对硬件访问的影响
- 是否了解分配大小限制和睡眠上下文
- 能否结合实际驱动场景（DMA、大数据缓冲）正确选择
回答框架：
- 定义对比：kmalloc分配物理连续内存，vmalloc分配虚拟连续但物理不连续。
- 关键差异：kmalloc ≤ 128KB（典型），不睡眠（GFP_ATOMIC）；vmalloc支持大内存，可能睡眠。
- 场景选择：DMA、硬件寄存器访问用kmalloc；大数据缓冲区用vmalloc。
简短示例回答：kmalloc 保证物理连续，适合 DMA 和硬件访问，最大单次约 4MB（取决于平台），GFP_KERNEL 可睡眠，GFP_ATOMIC 用于中断上下文。vmalloc 只在虚拟地址连续，适合大块缓冲区（如视频帧），但会产生 TLB 压力。通常驱动首选 kmalloc，过大时转 vmalloc。
可能追问：
- kmalloc 底层如何工作？（结合 slab 分配器）
- vmalloc 分配的内存能否用于 DMA？为什么？
- 如何查看系统当前 slab 使用情况？
避坑提醒：不要回答“vmalloc 更慢所以不用”——面试官期待你理解场景。另外，注意 GFP_KERNEL 不能在中断上下文使用，必须用 GFP_ATOMIC。
面试问答卡片 2：模块参数与 sysfs 接口
面试问题：如何为内核模块传递参数？模块参数和 sysfs 接口有何区别？
面试官考察点：
- 是否熟悉 module_param 宏及类型支持
- 是否理解运行时参数调整与加载时参数的区别
- 是否了解用户态与内核态交互的常用方式
回答框架：
- 模块参数：使用
module_param(name, type, perm)在模块加载时传入，或通过 modprobe.conf 指定。 - sysfs：通过
kobject_create_and_add创建设备属性文件，支持运行时读写。 - 选择依据：启动配置用模块参数；运行时调优用 sysfs。
简短示例回答：使用
static int debug = 0; module_param(debug, int, 0644); 允许加载时传参或通过 sysfs 运行时修改（perm 非0时创建 sysfs 入口）。sysfs 适合频繁调整的调试开关，而模块参数更适合固化的初始化配置。可能追问：
- perm 权限位如何影响 sysfs 文件的用户访问？
- 如何实现数组类型的模块参数？
- sysfs 属性读写函数的典型实现框架？
避坑提醒：不要混淆
module_param 与 module_param_named；注意参数类型必须与宏匹配（如 charp 对应字符串）。另外，sysfs 文件命名要遵循内核约定（使用下划线而非连字符）。面试问答卡片 3：内存泄漏检测与 slab 问题排查
面试问题：驱动中出现内存泄漏如何排查？你熟悉哪些 slab 相关的调试手段？
面试官考察点：
- 是否掌握内核内存泄漏的通用定位流程
- 是否了解 slab 顶层 slabtop 或 /proc/slabinfo
- 是否用过 kmemleak、KASAN 等工具
回答框架：
- 基本手段：观察
/proc/meminfoSlab 字段，对比slabtop看哪类缓存增长。 - 高级工具：启用
kmemleak扫描未释放对象，或使用 KASAN 检测越界。 - 代码分析：检查 alloc/free 是否成对，中断上下文是否正确释放。
简短示例回答：首先 cat /proc/slabinfo 查看 slab 使用量，若某个缓存持续增长则关注对应模块。其次加载 kmemleak 模块后扫描（echo scan > /sys/kernel/debug/kmemleak），获取泄漏栈。最后针对性地检查 kfree、kmem_cache_free 调用路径是否遗漏。
可能追问：
- slab 分配器与普通 kmalloc 有何关系？
- 如何创建自定义 slab 缓存？什么场景下使用？
- kmemleak 扫描的原理是什么？
避坑提醒：不要指望 kmemleak 能检测所有泄漏——它对引用计数的对象不敏感。另外，调试信息要配合
dyndbg 开启动态打印，不要直接 printk 刷屏。项目案例实战：高性能网络驱动中的内存优化
真实项目模板
| 项目名称 | 万兆网卡驱动预分配缓冲池优化 |
| 业务背景 | 客户反馈高吞吐场景下驱动内存分配导致丢包，需降低分配延迟、减少碎片 |
| 规模指标 | 10Gbps 线速转发，单口 14000 pps，CPU 占用 < 30%，平均分配延迟 < 1μs |
| 技术栈 | Linux 5.10 / 网卡驱动框架 NAPI / slab 缓存 / DMA pool / percpu 页框 |
| 核心难点 | 热路径中频繁 kmalloc 产生大量缓存抖动；中断上下文无法睡眠导致 GFP_ATOMIC 失败概率上升；skb 回收不及时 |
| 面试高频追问 |
|
| 可迁移回答话术 | “我通过 kmem_cache_create 创建固定大小的缓冲池，在模块初始化时预分配一批对象。运行时从缓存中直接取用，释放后归还，避免了频繁的伙伴系统操作。配合 NAPI 的批量收包机制，将分配次数减少 60%，丢包率从 0.1% 降至近乎为零。” |
💡 面试加分点总结：
- 会主动提起 kmemleak、slabtop、/proc/slabinfo 三个工具
- 能区分 GFP_KERNEL（可睡眠）与 GFP_ATOMIC（分配原子，失败概率更高）
- 对 per-CPU 缓存（如
__get_free_pages的 CPU 本地页框）有认知 - 知道 slab 着色 用于缓解缓存行冲突（进阶话题）
📘 复习自测指引：本章内容约占面试总出题概率 12%~18%。请重点掌握 kmalloc/vmalloc 区别表格、模块参数权限位、slab 缓存创建流程。练习时可在本地内核树中执行 make menuconfig 开启 kmemleak，动手扫描实际模块。