Início / unix / Perguntas / 435089
Accepted
Ferenc Wágner
Asked: 2018-04-03 09:22:22 +0800 CST

Qual é a prioridade da tarefa ociosa?

  • 772

Conforme explicado em vários artigos (um tanto antigos) , a tarefa ociosa do Linux (PID=0, uma por CPU) é executada quando não há outras tarefas a serem executadas. Para que o agendador faça isso, a tarefa ociosa deve ter a prioridade mais baixa reservada para ela. Aquele velho Documentation/ftrace.txtno artigo LWN vinculado diz explicitamente que

O prio "140" é reservado para a tarefa ociosa que é o segmento de prioridade mais baixa (pid 0).

Isso faz sentido, mas no 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]

relata uma prioridade de 120 para swapper/0(no colchete de fechamento), contradizendo o acima.

Como o agendador do Linux lida com a tarefa ociosa hoje em dia? A mudança de commits ftrace.txt(87d80de28, 294ae4011) não ajudou.

linux-kernel

1 respostas

  1. Best Answer

    Recebi uma boa resposta de Till Smejkal na lista de discussão do Linux Kernel:

    A tarefa ociosa tem sua própria classe de agendamento que lida apenas com os encadeamentos ociosos por núcleo da CPU. Esta classe de agendamento tem a prioridade mais baixa das classes de agendamento disponíveis no kernel. Isso significa que é o último na lista de classes de agendamento que são perguntadas em uma troca de tarefas se elas têm uma tarefa para agendar na UCP. Portanto, a tarefa ociosa não é gerenciada pelo CFS e, portanto, não tem nenhum valor ou prioridade legal (ou pelo menos não é importante hoje em dia). Arquivos interessantes na origem do kernel que podem conter mais informações são kernel/sched/idle_task.c, kernel/sched/sched.he kernel/sched/core.c.

    No entanto, de acordo com meu entendimento, as tarefas podem ter uma prioridade apesar de não serem gerenciadas pelo CFS: as tarefas de tempo real ( SCHED_FIFOe SCHED_RR) pertencem rt_sched_classe certamente têm prioridades significativas (conforme exigido pelo POSIX):

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

    Mas o ponto principal agora é o escalonamento das prioridades das classes , que é implementado pelas seguintes const struct sched_classestruturas sendo ligadas por seus .nextponteiros nesta ordem:

    stop_sched_class
dl_sched_class
rt_sched_class
fair_sched_class
idle_sched_class

    Esta lista encadeada é percorrida por ( 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)

    Conforme mencionado na citação acima, pick_next_task()in kernel/sched/core.csolicita a cada classe uma tarefa executável como esta:

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

    Tudo isso significa que as tarefas ociosas têm um valor de prioridade (algum padrão), mas nunca são consultadas durante as decisões de agendamento, porque são as únicas tarefas (fixadas a CPUs específicas) em idle_sched_class.

    O exposto acima deixa em aberto a questão do valor de prioridade alterado, mas isso é principalmente de importância histórica até agora (as citações de código acima são do Linux 4.16).

    • 1

relate perguntas