Linux-进程管理
程序:存放在磁盘上的一系列代码和数据的可执行映像,是一个静止的实体
进程:一个执行中的程序,是动态的实体
进程四要素
1.有一段程序供其执行,这段程序不一定是某个进程所专有,可以与其他进程共用。
2.有进程专用的内核空间堆栈
3.在内核中有一个task_struct数据结构,即PCB(process control block),进程控制块,有了这个数据结构,进程才能成为内核调度的一个基本单位接受内核的调度。
4.有独立的用户空间
Linux的进程状态
1.TASK_RUNNING
进程正在被CPU执行,或者已经准备就绪,随时可以执行。当一个进程刚被创建时,就处于TASK_RUNNING状态。
2.TASK_INTERRUPTIBLE
处于等待中的进程,待等待条件为真时被唤醒,也可以被信号或者中断唤醒。
3.TASK_UNINTERRUPTIBLE
处于等待中的进程,待资源有效时唤醒,但不可以由其他进程通过信号或中断唤醒,这就导致无法通过kill信号来kill进程。
4.TASK_KILLABLE
处于等待中的进程,待资源有效时唤醒,不可以由其他进程通过信号或中断唤醒(除了SIGKILL信号)。
5.TASK_TRACED
正处于被调试状态的进程
6.TASK_DEAD
进程退出时(调用do_exit),所处的状态
PCB(process control block)
在内核源码(sched.h)中用task_struct表示,其中包含(只列出重要部分)了
pid_t pid; //进程号
long state; //进程状态
int prio; //进程优先级
进程调度
调度策略:
SCHED_NORMAL(SCHED_OTHER):普通的分时进程
SCHED_FIFO:先入先出的实时进程
SCHED_RR:时间片轮转的实时进程
SCHED_BATCH:批处理进程
SCHED_IDLE:只在系统空闲时才能够被调度执行的进程
调度时机:
主动式:
在内核中直接调用schedule()。当进程需要等待资源等而暂时停止运行时,会将自己的状态挂起,并主动请求调度,让出CPU。
被动式(抢占式调度):
1.用户态抢占 2.内核态抢占
用户态抢占发生在:
1.从系统调用返回用户空间
2.从中断处理程序返回用户空间
内核即将返回用户空间的时候,如果need_resched标志被设置,会导致schedule()被调用,即发生用户抢占。
1.当某个进程耗尽它的时间片时,会设置need_resched标志
2.当一个优先级更高的进程进入可执行状态的时候,也会设置need_resched标志。
缺点:进程/线程一旦运行到内核态,就可以一直执行下去,直到它主动放弃或者是时间片耗尽为止。这样会使得一些紧急的线程或进程长时间得不到运行,降低整个系统的实时性。
内核态抢占:
允许系统在内核态也支持抢占,更高优先级的进程/线程可以抢占正在内核态运行的低优先级进程/线程
发生在:
1.中断处理程序完成,返回内核空间之前
2.当内核代码进行解锁或者使能软中断的时候
不允许抢占的场合:
1.内核正在运行中断处理
2.进行软中断的时候(如进程时间片结束等)
3.进程正持有自旋锁、读写锁等。当持有这些锁时,不应该被抢占,否则由于抢占可能导致其他进程长期得不到锁,而让系统处于死锁状态。
4.内核正在执行调度程序Scheduler。因为执行调度程序本身就是为了进行新的调度,没有理由将调度程序抢占掉再运行调度程序。
抢占计数:
抢占式内核使用一个变量preempt_count,称为内核抢占计数,该变量被设置在thread_info结构中,每当内核进入上述不允许抢占的场合,变量preempt_count加1,表示内核不允许抢占,每当内核退出这几种状态,变量preempt_count就减1.
调度步骤:
Schedule函数工作流程:
1. 清理当前运行中的进程
2. 选择下一个要运行的进程
3. 设置新进程的运行环境
4. 进程上下文切换
Tips:
1.进程所使用的地址空间是独立编址的,是独立的用户空间,进程间的切换需要设置新的运行环境,效率较低
2.一个进程内的多个线程使用的地址都是进程中的地址,有共享的用户空间,所以线程的切换无需设置新的运行环境,只需要切换各自的栈就可以了,效率高。