统一的结构 task_struct
在 Linux 里面,无论是进程,还是线程,到了内核里面,统一都叫任务(Task),由一个统一的结构 task_struct 进行管理
Linux 内核有有链表串联所有task_struct,struct list_head tasks;
task_struct 相关源码位置:
linux-4.13.16\include\linux\sched.h
任务task_struct包含的字段
任务 ID
每一个任务都应该有一个 ID,作为这个任务的唯一标识
pid_t pid;
pid_t tgid;
struct task_struct *group_leader;
pid(process id, 线程的id);
tgid(thread group id, 所属进程[主线程]的id);
group_leader 指向 tgid 的结构体的指针
任何一个进程,如果只有主线程,那 pid 是自己,tgid 是自己,group_leader 指向的还是自己。
创建了其他线程,pid是线程自己的id,tgid 就是进程的主线程的 pid,group_leader 指向的就是进程的主线程
通过tgid,可以区分 tast_struct 代表的是一个进程还是代表一个线程了
信号处理
task_struct 里面关于信号处理的字段:
/* Signal handlers: */
struct signal_struct *signal;
struct sighand_struct *sighand;
sigset_t blocked;
sigset_t real_blocked;
sigset_t saved_sigmask;
struct sigpending pending;
unsigned long sas_ss_sp;
size_t sas_ss_size;
unsigned int sas_ss_flags;
被阻塞暂不处理的信号(blocked)、尚等待处理的信号(pending)、正在通过信号处理函数进行处理的信号(sighand)
信号处理函数默认使用用户态的函数栈, 也可以开辟新的栈专门用于信号处理, 由 sas_ss_xxx 指定
任务状态
task_struct 里面,涉及任务状态的几个变量:
volatile long state; /* -1 unrunnable, 0 runnable, >0 stopped */
int exit_state;
unsigned int flags;
state(状态)可以取:
/* Used in tsk->state: */
#define TASK_RUNNING 0
#define TASK_INTERRUPTIBLE 1
#define TASK_UNINTERRUPTIBLE 2
#define __TASK_STOPPED 4
#define __TASK_TRACED 8
/* Used in tsk->exit_state: */
#define EXIT_DEAD 16
#define EXIT_ZOMBIE 32
#define EXIT_TRACE (EXIT_ZOMBIE | EXIT_DEAD)
/* Used in tsk->state again: */
#define TASK_DEAD 64
#define TASK_WAKEKILL 128
#define TASK_WAKING 256
#define TASK_PARKED 512
#define TASK_NOLOAD 1024
#define TASK_NEW 2048
#define TASK_STATE_MAX 4096
state 是通过 bitset 的方式设置的
几种任务状态
TASK_RUNNING:表示进程在时刻准备运行的状态,而不是说进程正在运行,获得时间片,就在运行中
睡眠状态:可中断; 不可中断; 可杀
- TASK_INTERRUPTIBLE,可中断的睡眠状态
收到信号要被唤醒 - TASK_UNINTERRUPTIBLE,不可中断的睡眠状态
收到信号不会被唤醒, 不能被kill, 只能重启 - TASK_KILLABLE,可以终止的新睡眠状态
可以响应致命信号, 由不可中断与 TASK_WAKEKILL 组合
#define TASK_KILLABLE (TASK_WAKEKILL | TASK_UNINTERRUPTIBLE)
停止状态 TASK_STOPPED:由信号 SIGSTOP, SIGTTIN, SIGTSTP 与 SIGTTOU 触发进入
调试跟踪 TASK_TRACED:被 debugger 等进程监视时进入
结束状态:
- EXIT_ZOMBIE, 父进程还没有使用 wait()等系统调用来获知它的终止信息,此时进程就成了僵尸进程
- EXIT_DEAD, 最终状态
标志flags:
#define PF_EXITING 0x00000004
#define PF_VCPU 0x00000010
#define PF_FORKNOEXEC 0x00000040
- PF_EXITING 表示正在退出
- PF_VCPU 表示进程运行在虚拟 CPU 上
- PF_FORKNOEXEC 表示 fork 完了,还没有 exec
进程调度
task_struct用于调度的部分字段:
//是否在运行队列上
int on_rq;
//优先级
int prio;
int static_prio;
int normal_prio;
unsigned int rt_priority;
//调度器类
const struct sched_class *sched_class;
//调度实体
struct sched_entity se;
struct sched_rt_entity rt;
struct sched_dl_entity dl;
//调度策略
unsigned int policy;
//可以使用哪些CPU
int nr_cpus_allowed;
cpumask_t cpus_allowed;
struct sched_info sched_info;
task_struct 数据结构全览
参考资料:
趣谈Linux操作系统(极客时间)链接:
http://gk.link/a/10iXZ
欢迎大家来一起交流学习