主页 / unix / 问题 / 435089
Accepted
Ferenc Wágner
Asked: 2018-04-03 09:22:22 +0800 CST

空闲任务的优先级是多少？

  • 772

正如几篇（有些旧的）文章所解释的，Linux空闲任务（PID=0，每个 CPU 一个）在没有其他任务要运行时运行。为了让调度程序执行此操作，空闲任务必须为其保留最低优先级。链接的 LWN 文章中的那个旧Documentation/ftrace.txt文章明确表示

prio“140”是为空闲任务保留的，它是最低优先级线程（pid 0）。

这是有道理的，但是在 Linux 4.9 下

# perf record -e sched:sched_switch sleep 1
# perf script
   sleep  6526 [000] 362661.310842: sched:sched_switch: sleep:6526 [120] S ==> swapper/0:0 [120]

报告优先级为 120 swapper/0（在右括号中），与上述相矛盾。

现在的 Linux 调度器是如何处理空闲任务的？提交更改ftrace.txt(87d80de28, 294ae4011) 没有帮助。

linux-kernel

1 个回答

  1. Best Answer

    我从 Linux Kernel Mailing List 上的 Till Smejkal那里得到了一个很好的回答：

    空闲任务有自己的调度类，只处理每个 CPU 内核的空闲线程。此调度类在内核中可用的调度类中具有最低优先级。这意味着它是调度类列表中的最后一个，在任务切换时询问它们是否有要在 CPU 上调度的任务。因此，空闲任务不受 CFS 管理，因此没有任何好的价值或优先级（或者至少现在不重要）。内核源代码中可能包含更多信息的有趣文件是kernel/sched/idle_task.c, kernel/sched/sched.h和kernel/sched/core.c.

    但是，根据我的理解，尽管不受 CFS 管理，但任务可以具有优先级：实时任务 (SCHED_FIFO和SCHED_RR) 属于rt_sched_class并且肯定具有有意义的优先级（根据 POSIX 的要求）：

    static inline int rt_policy(int policy)
{
    return policy == SCHED_FIFO || policy == SCHED_RR;
}

    但现在的重点是调度类的优先级，这是通过以下const struct sched_class结构实现的，这些结构按以下顺序通过它们的.next指针链接：

    stop_sched_class
dl_sched_class
rt_sched_class
fair_sched_class
idle_sched_class

    此链表经过 ( kernel/sched/sched.h)

    #ifdef CONFIG_SMP
#define sched_class_highest (&stop_sched_class)
#else
#define sched_class_highest (&dl_sched_class)
#endif
#define for_each_class(class) \
   for (class = sched_class_highest; class; class = class->next)

    正如上面引用中提到的，pick_next_task()inkernel/sched/core.c向每个类询问一个可运行的任务，如下所示：

    again:
    for_each_class(class) {
            p = class->pick_next_task(rq, prev, rf);
            if (p) {
                    if (unlikely(p == RETRY_TASK))
                            goto again;
                    return p;
            }
    }

    所有这一切意味着空闲任务碰巧有一个优先级值（一些默认值），但在调度决策期间从未参考过它，因为它们是idle_sched_class.

    上面留下了改变优先级值的问题，但现在这主要是具有历史意义的（上面的代码引用来自 Linux 4.16）。

    • 1

相关问题