操作系统-进程状态变迁分析

某系统的进程状态变迁图如图2-32 所示，

请说明：

（1）引起各种状态变迁的典型事件有哪些？

（2）当我们观察系统中某些进程时，发现某一进程产生的一次状态变迁能引起另一进程作一次状态变迁。在什么情况下，当一个进程发生变迁3 时能否立即引起另一个进程发生变迁1?

（3）试说明是否会发生下述因果变迁：

2 → 1

3 → 2

4 → 1

答案：

（1）存在 4 种状态变迁：

•变迁 1：调度程序从就绪队列中选取一个进程执行时;

•变迁 2：正在执行的进程如因时间片用完;

•变迁 3：正在执行的进程因等待发生某事 件而无法执行下去;

•变迁 4：当进程等待的事件发生。

（2）

如果就绪队列非空，则当一个进程发生变迁 3 时，会立即引起另一个进程 发生变迁 l。

（3）

2→1:当发生变迁 2 时，正在执行的进程从执行状态变为就绪状态，进程调度程序必然会从就绪队列中选取，即发生变迁 1。

3→2:当前执行进程从执行状态变为阻塞状态，不可能同时又从执行状态变为就绪状态。

4→1:如果处理机空闲，一旦某个进程发生变迁 4，这意味着有一个进程从阻塞状态变为 就绪状态，因而调度程序就会将就绪队列中的此进程投入运行。