1. 进程调度概述：进程与线程的区别、调度器的作用、调度策略的分类

进程调度是操作系统内核最核心的功能之一，它决定了哪个任务在何时获得 CPU 的使用权。理解进程与线程的本质区别、调度器的职责以及调度策略的分类，是深入掌握 Linux 内核抢占机制的前提。

1.1 进程与线程的区别

在 Linux 内核视角下，进程是资源分配的最小单位，拥有独立的地址空间、文件描述符表、信号处理表等资源；线程是 CPU 调度的最小单位，共享所属进程的地址空间和资源。Linux 对线程的实现采用“轻量级进程”模型，即线程本质上是一个与父进程共享资源的进程。

1.2 调度器的作用

调度器 (Scheduler) 是内核中负责选择下一个要运行的任务的子系统。其核心职责包括：

• 任务选择： 从就绪队列 (runqueue) 中按照特定策略选出下一个要执行的进程。
• 上下文切换： 保存当前进程的 CPU 寄存器状态，恢复新进程的寄存器状态。
• 负载均衡： 在多核系统中，将任务均匀分配到各个 CPU 核心上，避免某些核心过载而其他核心空闲。
• 时间片管理： 为进程分配 CPU 时间片，并在时间片耗尽时触发重新调度。
• 抢占决策： 判断是否允许当前进程被更高优先级的进程抢占。

1.3 调度策略的分类

Linux 内核支持多种调度策略，每种策略适用于不同场景。调度策略通过 task_struct 中的 policy 字段指定，内核根据策略将任务分配到对应的调度类中。

1.4 调度策略的选择与切换

用户态程序可以通过 sched_setscheduler() 系统调用或 chrt 命令行工具修改进程的调度策略和优先级。内核在 __setscheduler() 函数中执行策略切换逻辑：

// 内核调度策略切换核心逻辑 (简化)
static void __setscheduler(struct task_struct *p, const struct sched_attr *attr)
{
    int policy = attr->sched_policy;

    // 检查权限：设置实时策略需要 CAP_SYS_NICE
    if (rt_policy(policy) && !capable(CAP_SYS_NICE))
        return -EPERM;

    // 更新 task_struct 中的策略字段
    p->policy = policy;

    // 将任务从旧调度类的就绪队列中移除
    dequeue_task(rq, p, DEQUEUE_SAVE);

    // 设置新的优先级/权重
    p->prio = effective_prio(p);
    p->normal_prio = normal_prio(p);

    // 将任务重新入队到新调度类的就绪队列
    enqueue_task(rq, p, ENQUEUE_RESTORE);

    // 如果新策略优先级更高，触发抢占检查
    check_preempt_curr(rq, p, 0);
}

1.5 调度策略选择实践建议

• 普通服务器/桌面： 使用默认的 SCHED_NORMAL (CFS)，内核自动平衡交互性和吞吐量。
• 批处理/科学计算： 使用 SCHED_BATCH，减少上下文切换开销，提升缓存命中率。
• 音视频播放/低延迟应用： 使用 SCHED_FIFO 或 SCHED_RR，优先级设为 50~80，确保及时响应。
• 工业控制/自动驾驶： 使用 SCHED_DEADLINE，精确控制任务的截止时间和执行预算。
• 后台维护任务： 使用 SCHED_IDLE，避免影响前台交互体验。