2. 某系统的进程状态转换如图所示，请说明：
2→1 3→2 4→1 解答：
在本题所给的进程状态转换图中，存在四种状态转换。当进程调度程序从就绪队列中选取一个进程投入运行时引起转换1；正在执行的进程如因时间片用完而被暂停执行就会引起转换2；正在执行的进程因等待的事件尚未发生而无法执行（如进程请求完成I/O）则会引去转换3；当进程等待的事件发生时（如I/O完成）则会引起转换4。
如果就绪队列非空，则一个进程的转换3会立即引去另一个进程的转换1。这是因为一个进程发生转换3意味着正在执行的进程由执行状态变为阻塞状态，这时处理机空闲，进程调度程序必然会从就绪队列中选取一个进程并将它投入运行，因此只要就绪队列非空，一个进程的转换3能立即引起一个进程的转换1。
所谓因果转换指的是有两个转换，一个转换的发生会引起另一个转换的发生，前一个转换称为因，后一个转换成为果，这两个转换称为因果转换。当然这种因果关系并不是什么时候都能发生，而是在一定条件下才能发生。
2→1：当某进程发生转换2时，就必然引起另一个进程的转换1。因为当发生转换2时，正在执行的进程从执行状态变为就绪状态，进程调度程序必然会从就绪队列中选取一个进程投入运行，即发生转换1。 3→2：某一进程的转换3决不可能引起另一个进程发生转换2。这是因为当前执行进程从执行状态变为阻塞状态，不可能又从执行状态变为就绪状态。
4→1：当处理机空闲且就绪队列为空时，某一进程的转换4就会引起该进程的转换1。因为此时处理机空闲，一旦某个进程发生转换4，就意味着有一个进程从阻塞状态变为就绪状态，因而调度程序就会将就绪队列中的此进程投入运行。
引起各种状态转换的典型事件有哪些？
当我们观察系统中某些进程时，能够看到某一进程产生的一次状态转换能引起另一个进程作一试说明是否会发生下述因果转换：
次状态转换。在什么情况下，当一个进程发生转换3时能立即引起另一个进程发生转换1；
一、进程的三种基本状态
进程在运行中不断地改变其运行状态。通常，一个运行进程必须具有以下三种基本状态。
就绪(Ready)状态
当进程已分配到除CPU以外的所有必要的资源，只要获得处理机便可立即执行，这时的进程状态称为就绪状态。
执行（Running）状态
当进程已获得处理机，其程序正在处理机上执行，此时的进程状态称为执行状态。
阻塞(Blocked)状态
正在执行的进程，由于等待某个事件发生而无法执行时，便放弃处理机而处于阻塞状态。引起进程阻塞的事件可有多种，例如，等待I/O完成、申请缓冲区不能满足、等待信件(信号)等。
二、进程三种状态间的转换
一个进程在运行期间，不断地从一种状态转换到另一种状态，它可以多次处于就绪状态和执行状态，也可以多次处于阻塞状态。 (1) 就绪→执行
处于就绪状态的进程，当进程调度程序为之分配了处理机后，该进程便由就绪状态转变成执行状态。 (2) 执行→就绪
处于执行状态的进程在其执行过程中，因分配给它的一个时间片已用完而不得不让出处理机，于是进程从执行状态转变成就绪状态。 (3) 执行→阻塞
正在执行的进程因等待某种事件发生而无法继续执行时，便从执行状态变成阻塞状态。 (4) 阻塞→就绪
处于阻塞状态的进程，若其等待的事件已经发生，于是进程由阻塞状态转变为就绪状态。
题目：某系统的状态转换图如图所示。
（1）分别说明引起状态转换1、2、3、4的原因，并各举一个事件。 （2）为什么在转换图中没有就绪到阻塞和阻塞到运行的转换方向？
（3）一个进程的状态变换能够引起另一个进程的状态变换，说明下列因果变迁是否可能发生，原因是什么？
（a）3→1（b）2→1（c）3→2（d）3→4（e）4→1
答： （1）
1：就绪->执行， 当前运行进程阻塞，调度程序选一个优先权最高的进程占有处理机； 2：执行->就绪， 当前运行进程时间片用完；
3：执行->阻塞，当前运行进程等待键盘输入，进入了睡眠状态。 4：阻塞->就绪，I/O操作完成，被中断处理程序唤醒。
（2）就绪进程没有占有处理机，也即没有经过运行，其状态就不会改变。 阻塞状态进程唤醒后先要进入就绪队列，才会被调度程序选中，进入了执行状态。
（3）
（a） 3→1： 可能，当前运行进程阻塞，调度程序选一个优先级最高的进程占有处理机。 （b）2→1：可能，当前运行进程优先级下降，调度程序选一个优先级最高的进程占有处理机。
（c）3→2： 不可能，占有CPU的一个进程不能同时进入两个状态；在单CPU的系统中，状态3发生后，cpu没有执行进程，故不会发生状态转换2。
（d）3→4：一般不可能，不相干的两个事件。状态转换3是由于运行进程等待资源而发生
的，这并不会使得阻塞队列中的进程得到资源而进入就绪队列。但在Unix中，当系统的0＃进程因runin标志而睡眠时，有（在内存）进程睡眠，就会唤醒0＃进程，使其进入就绪状态，以便将该进程和在盘交换区就绪进程交换位置。
（e）4→1：一般无关，但当就绪队列为空时，一个进程被唤醒转入就绪队列后，调度程序使该进程占有处理机（但是同一个进程）。
因篇幅问题不能全部显示，请点此查看更多更全内容