深入解读Linux进程调度系列——数据结构解析

最新推荐文章于 2022-11-06 20:51:35 发布

LoneHugo

最新推荐文章于 2022-11-06 20:51:35 发布

阅读量796

点赞数

分类专栏： Linux进程调度文章标签： sched_class task_struct task_group 调度 schedule

本文链接：https://blog.csdn.net/Vince_/article/details/89068187

版权

Linux进程调度专栏收录该内容

13 篇文章 9 订阅

订阅专栏

日期	内核版本	CPU架构	作者
2019.04.06	Linux-5.0	PowerPC	LoneHugo

系列文章：https://blog.csdn.net/Vince_/article/details/89054330

调度实际上称为Porcess Scheduling，即进程调度，Linux对此作了封装，以调度实体（Schedule Entity）为单位进行调度。下面分别看一下Linux中与调度相关的数据结果或结构成员。

1. task_struct

task_struct为进程描述符，Linux上进程相关的所有信息都包含在其中，比如用户虚拟地址空间、打开的文件和进程内核栈等等。

定义：https://elixir.bootlin.com/linux/v5.0.7/source/include/linux/sched.h#L592

policy

又称为scheduling policy，表示一组用来决定何时以及如何选择下一个进程进行调度执行的规则。这组规则或者调度策略很好地解决了现在看似矛盾的问题：进程快速响应、后台进程高流量、进程饥饿以及优先级分配等。

policy可取值范围如下：

/*
 * Scheduling policies
 */
#define SCHED_NORMAL    0    /* 普通调度类型CFS，采用fair_sched_class调度类 */
#define SCHED_FIFO      1    /* 先进先出，用于实时调度，采用rt_sched_class等调度类 */
#define SCHED_RR        2    /* 轮转Round Robin，用于实时调度，采用rt_sched_class等调度类 */
#define SCHED_BATCH     3    /* 普通调度，用于大流量消耗型进程组，采用rt_sched_class等调度类 */
/* SCHED_ISO: reserved but not implemented yet */
#define SCHED_IDLE      5    /* idle，空闲调度，优先级最低 */
#define SCHED_DEADLINE  6    /* deadline，紧急调度策略，优先级最高 */

state

表示进程当前的状态，取值范围如下：

/*
 * Task state bitmask. NOTE! These bits are also
 * encoded in fs/proc/array.c: get_task_state().
 *
 * We have two separate sets of flags: task->state
 * is about runnability, while task->exit_state are
 * about the task exiting. Confusing, but this way
 * modifying one set can't modify the other one by
 * mistake.
 */

/* Used in tsk->state: */
/* 进程处于可运行状态，正在运行或者排队等待运行，如果在等待，则调度器可以可以选择该进程调度 */
#define TASK_RUNNING            0x0000
/* 进程处于睡眠状态，等待信号或其他事件发生；如果接收到事件发生的信号，则会进入就绪状态TASK_RUNNING，继而可以被调度器选中调度 */
#define TASK_INTERRUPTIBLE      0x0001
/* 进程处于睡眠状态，正在等待其他事件；只有内核主动唤醒才会重新加入就绪队列被调度，不响应信号 */
#define TASK_UNINTERRUPTIBLE        0x0002
/* 进程因调试或者其他原因停止运行 */
#define __TASK_STOPPED          0x0004
/* 进程停止运行，因为被traced而停止 */
#define __TASK_TRACED           0x0008
/* Used in tsk->exit_state: */
/* 进程退出，但是还有multi其他进程以wait系统调用等待该进程退出 */
#define EXIT_DEAD           0x0010
/* 进程退出，但是父进程并未等待其退出，进程结构并未释放 */
#define EXIT_ZOMBIE         0x0020
#define EXIT_TRACE          (EXIT_ZOMBIE | EXIT_DEAD)
/* Used in tsk->state again: */
#define TASK_PARKED         0x0040
#define TASK_DEAD           0x0080
#define TASK_WAKEKILL           0x0100
#define TASK_WAKING         0x0200
#define TASK_NOLOAD         0x0400
#define TASK_NEW            0x0800
#define TASK_STATE_MAX          0x1000

/* Convenience macros for the sake of set_current_state: */
/* 新引入的状态，在TASK_UNINTERRUPTIBLE基础之上会相应kill信号，可以被杀死，下面的状态类似 */
#define TASK_KILLABLE           (TASK_WAKEKILL | TASK_UNINTERRUPTIBLE)
#define TASK_STOPPED            (TASK_WAKEKILL | __TASK_STOPPED)
#define TASK_TRACED         (TASK_WAKEKILL | __TASK_TRACED)

#define TASK_IDLE           (TASK_UNINTERRUPTIBLE | TASK_NOLOAD)

/* Convenience macros for the sake of wake_up(): */
#define TASK_NORMAL         (TASK_INTERRUPTIBLE | TASK_UNINTERRUPTIBLE)

/* get_task_state(): */
#define TASK_REPORT         (TASK_RUNNING | TASK_INTERRUPTIBLE | \
                     TASK_UNINTERRUPTIBLE | __TASK_STOPPED | \
                     __TASK_TRACED | EXIT_DEAD | EXIT_ZOMBIE | \
                     TASK_PARKED)

进程状态转换

Running——正在运行
Waiting——等待运行，处于就绪状态，scheduler可以在下次调度时选择该进程调度运行
Sleeping——睡眠进程，等待外部事件，不可调度运行

进程分别在就绪队列rq和等待队列wq等待。rq中的进程等待被调度运行，下次调度过程调度器scheduler会选择一个进程执行；而wq有很多个，每个事件会有自己相应的等待队列，当事件发生时唤醒等待进程，将其加入rq等待调度。同样，运行中的进程可能因为请求某些资源等开始进入等待状态被调度器调度出去睡眠，或者简单地被放在rq上等待再次调度执行，如果进程完成工作退出，则会进入Stopped状态。