4. KSM扫描线程：ksmd内核线程的创建与生命周期、扫描循环的工作机制

KSM（Kernel Same-page Merging）的核心执行实体是一个名为 ksmd 的内核线程。该线程负责遍历所有注册的虚拟内存区域（VMA），查找并合并内容相同的物理页面。理解 ksmd 的创建、生命周期以及其核心扫描循环 scan_get_next_rmap_item 的工作机制，是掌握 KSM 工程落地的关键。

4.1 ksmd内核线程的创建与生命周期

ksmd 线程并非系统启动时默认创建，而是由用户空间通过 madvise() 系统调用或 /sys/kernel/mm/ksm 接口触发。其生命周期严格遵循“注册-激活-扫描-休眠-销毁”的流程。

4.2 扫描循环的核心数据结构

ksmd 的扫描循环围绕三个核心数据结构展开，它们共同维护了扫描的“游标”状态：

4.3 scan_get_next_rmap_item 工作机制

scan_get_next_rmap_item 是 ksmd 扫描循环的核心函数，负责从当前扫描位置获取下一个待处理的 rmap_item。其工作流程可分解为以下步骤：

1. 获取当前 mm_slot： 从 ksm_scan 中读取当前正在扫描的进程内存描述符 mm_slot。若为空，则从链表头开始。
2. 锁定进程内存： 调用 mmap_read_lock 获取进程的 mmap_lock（读锁），防止扫描期间 VMA 布局发生变化。
3. 遍历 VMA 红黑树： 从 ksm_scan.address 开始，在进程的 VMA 红黑树中查找下一个标记为 VM_MERGEABLE 的 VMA。
4. 查找 rmap_item： 在目标 VMA 对应的 anon_vma 红黑树中，查找或创建 rmap_item。若该页面已被合并（KSM 页面），则跳过。
5. 更新游标： 将 ksm_scan.address 前进到下一个页面边界。若当前 VMA 扫描完毕，则移动到下一个 VMA 或下一个 mm_slot。
6. 返回结果： 返回找到的 rmap_item 指针；若所有 VMA 扫描完毕，返回 NULL 触发 ksmd 休眠。

4.4 扫描循环的完整代码逻辑

以下为 ksmd 主循环的简化伪代码，展示了 scan_get_next_rmap_item 的调用上下文：

/* ksmd 内核线程主函数 */
static int ksm_scan_thread(void *nothing)
{
    while (!kthread_should_stop()) {
        /* 检查是否被要求休眠 */
        if (ksm_run & KSM_RUN_STOP)
            wait_event_freezable(ksm_thread_wait,
                     (ksm_run & KSM_RUN_MERGE) || kthread_should_stop());

        /* 核心扫描循环 */
        while (ksm_run & KSM_RUN_MERGE) {
            struct rmap_item *rmap_item;

            /* 获取下一个待扫描的 rmap_item */
            rmap_item = scan_get_next_rmap_item(&ksm_scan);
            if (!rmap_item) {
                /* 所有 VMA 扫描完毕，休眠 */
                schedule_timeout_interruptible(
                    msecs_to_jiffies(sleep_millisecs));
                break;
            }

            /* 尝试合并该页面 */
            cmp_and_merge_page(rmap_item);
        }
    }
    return 0;
}

4.5 性能参数与调优对照

ksmd 的行为受多个 /sys/kernel/mm/ksm/ 下的参数控制，直接影响扫描循环的执行效率：

4.6 避坑指南：扫描循环的常见问题

• 锁竞争导致业务抖动： ksmd 在扫描时持有 mmap_lock 读锁，若业务进程频繁进行 mmap/munmap 操作，可能因写锁等待导致延迟增加。解决方案：降低 pages_to_scan 或使用 madvise(MADV_UNMERGEABLE) 排除关键路径。
• 扫描死锁： ksmd 在获取 mmap_lock 时使用 mutex_lock 而非 down_read_trylock，若业务进程持有 mmap_lock 写锁并等待 ksmd 持有的其他锁，可能形成死锁。KSM 通过 ksm_exit 回调在进程退出时清理，避免长期阻塞。
• 大页面透明化冲突： 若 THP（透明大页）与 KSM 同时启用，ksmd 可能扫描到 2MB 大页。KSM 只能合并 4KB 基页，大页会被 split_huge_page 拆分，导致额外的内存碎片。建议在 KSM 场景下禁用 THP。