1、为了对进程从产生到消亡的整个过程进行跟踪和描述,就需要定义各种进程的各种状态并制定相应的状态转换策略,以此来控制进程的运行。
不同的操作系统对进程的状态解释不同,但是最基本的状态都是一样的。包括以下三种:
运行态:进程占用CPU,并在CPU上运行;
就绪态:进程已经具备运行条件,但是CPU还没有分配过来;
阻塞态:进程因等待某件事发生而暂时不能运行;
进程在一生中,都处于上述3中状态之一。
下面是3种状态转换图
当然理论上上述三种状态之间转换分为六种情况;
运行---》就绪:这是有调度引起的,主要是进程占用CPU的时间过长
就绪---》运行:运行的进程的时间片用完,调度就转到就绪队列中选择合适的进程分配CPU
运行---》阻塞:发生了I/O请求或等待某件事的发生
阻塞---》就绪:进程所等待的事件发生,就进入就绪队列
以上4种情况可以相互正常转换,不是还有两种情况吗?
阻塞--》运行:即使给阻塞进程分配CPU,也无法执行,操作系统載进行调度时不会載阻塞队列进行挑选,其调度的选择对象为就绪队列:
就绪--》阻塞:因为就绪态根本就没有执行,何来进入阻塞态?
2、现在知道了进程的三种基本状态,但是載操作系统具体现实中,设计者可以根据实际情况设置不同的状态,这样以来,就出现了以下几种状态:
可运行态:他是运行态和就绪态的合并,表示进程正在运行或准备运行,Linux 中使用TASK_RUNNING 宏表示此状态。
浅度睡眠态:进程正在睡眠(被阻塞),等待资源到来是唤醒,也可以通过其他进程信号或时钟中断唤醒,进入运行队列。Linux 使用TASK_INTERRUPTIBLE 宏表示此状态。
深度睡眠态:其和浅度睡眠基本类似,但有一点就是不可其他进程信号或时钟中断唤醒。Linux 使用TASK_UNINTERRUPTIBLE 宏表示此状态。
暂停状态:进程暂停执行接受某种处理。如正在接受调试的进程处于这种状态,Linux 使用TASK_STOPPED 宏表示此状态。
僵死状态:进程已经结束但未释放PCB,Linux 使用TASK_ZOMBIE 宏表示此状态。
我们可以来看下以上宏在内核中的定义:
#define TASK_RUNNING 0
183 #define TASK_INTERRUPTIBLE 1
184 #define TASK_UNINTERRUPTIBLE 2
185 #define __TASK_STOPPED 4
186 #define __TASK_TRACED 8
187 /* in tsk->exit_state */进程的退出状态
188 #define EXIT_ZOMBIE 16
189 #define EXIT_DEAD 32
190 /* in tsk->state again */我理解为进程的唤醒状态
191 #define TASK_DEAD 64
192 #define TASK_WAKEKILL 128
193 #define TASK_WAKING 256
194 #define TASK_STATE_MAX 512
195
196 #define TASK_STATE_TO_CHAR_STR "RSDTtZXxKW"
以下是LINUX进程间状态转换和内核调用图解
3、进程调度触发的时机
调度的触发主要有如下几种情况:
1、当前进程(正在CPU上运行的进程)状态变为非可执行状态。
进程执行系统调用主动变为非可执行状态。比如执行nanosleep进入睡眠、执行exit退出、等等;
进程请求的资源得不到满足而被迫进入睡眠状态。比如执行read系统调用时,磁盘高速缓存里没有所需要的数据,从而睡眠等待磁盘IO;
进程响应信号而变为非可执行状态。比如响应SIGSTOP进入暂停状态、响应SIGKILL退出、等等;
2、抢占。进程运行时,非预期地被剥夺CPU的使用权。这又分两种情况:进程用完了时间片、或出现了优先级更高的进程。
优先级更高的进程受正在CPU上运行的进程的影响而被唤醒。如发送信号主动唤醒,或因为释放互斥对象(如释放锁)而被唤醒;
内核在响应时钟中断的过程中,发现当前进程的时间片用完;
内核在响应中断的过程中,发现优先级更高的进程所等待的外部资源的变为可用,从而将其唤醒。比如CPU收到网卡中断,内核处理该中断,发现某个 socket可读,于是唤醒正在等待读这个socket的进程;再比如内核在处理时钟中断的过程中,触发了定时器,从而唤醒对应的正在nanosleep 系统调用中睡眠的进程;
4、进程调度算法
1.时间片轮转调度算法
时间片(Time Slice) 就是分配给进程运行的一段时间。
在分时系统中,为了保证人机交互的及时性,系统使每个进程依次地按时间片轮流的方 式执行,此时即应采用时间片轮转法进行调度。在通常的轮转法中,系统将所有的可运行(即 就绪)进程按先来先服务的原则,排成一个队列,每次调度时把CPU 分配给队首进程,并令 其执行一个时间片。时间片的大小从几ms 到几百ms 不等。当执行的时间片用完时,系统发 出信号,通知调度程序,调度程序便据此信号来停止该进程的执行,并将它送到运行队列的 末尾,等待下一次执行。然后,把处理机分配给就绪队列中新的队首进程,同时也让它执行 一个时间片。这样就可以保证运行队列中的所有进程,在一个给定的时间(人所能接受的等 待时间)内,均能获得一时间片的处理机执行时间。
2.优先权调度算法
为了照顾到紧迫型进程在进入系统后便能获得优先处理,引入了最高优先权调度算法。 当将该算法用于进程调度时,系统将把处理机分配给运行队列中优先权最高的进程,这时, 又可进一步把该算法分成两种方式。
(1)非抢占式优先权算法(又称不可剥夺调度, Nonpreemptive Scheduling )
在这种方式下,系统一旦将处理机(CPU)分配给运行队列中优先权最高的进程后,该 进程便一直执行下去,直至完成;或因发生某事件使该进程放弃处理机时,系统方可将处理 机分配给另一个优先权高的进程。这种调度算法主要用于批处理系统中,也可用于某些对实 时性要求不严的实时系统中。
(2)抢占式优先权调度算法(又称可剥夺调度, Preemptive Scheduling )
该算法的本质就是系统中当前运行的进程永远是可运行进程中优先权最高的那个。 在这种方式下,系统同样是把处理机分配给优先权(weight,goodness()函数求出 ) 最高的进程,使之执行。但是只要一 出现了另一个优先权更高的进程时,调度程序就暂停原最高优先权进程的执行,而将处理机 分配给新出现的优先权最高的进程,即剥夺当前进程的运行。因此,在采用这种调度算法时, 每当出现一新的可运行进程,就将它和当前运行进程进行优先权比较,如果高于当前进程, 将触发进程调度。 这种方式的优先权调度算法,能更好的满足紧迫进程的要求,故而常用于要求比较严格 的实时系统中,以及对性能要求较高的批处理和分时系统中。 Linux 也采用这种调度算法 。
3.多级反馈队列调度
这是时下最时髦的一种调度算法。其本质是:综合了时间片轮转调度和抢占式优先权调 度的优点,即:优先权高的进程先运行给定的时间片,相同优先权的进程轮流运行给定的时 间片。
最后我们来看一下实时系统中的调度。什么叫实时系统,就是系统对外部事件有求必应、 尽快响应。在实时系统中存在有若干个实时进程或任务,它们用来反应或控制某个(些)外 部事件,往往带有某种程度的紧迫性,因而对实时系统中的进程调度有某些特殊要求。 在实时系统中,广泛采用抢占调度方式,特别是对于那些要求严格的实时系统。因为这 种调度方式既具有较大的灵活性,又能获得很小的调度延迟;但是这种调度方式也比较复杂。