进程的状态和转换
-
进程的状态:(为方便CPU对各进程进行管理,OS需要合理划分几种状态)
- 运行(Running)
- 占有CPU,并在CPU上运行
- 注意:单核CPU下,每一时刻最多只有一个进程处于运行态(双核可以同时2个)
- 就绪(Ready)
- 已经具备运行条件,但没有空闲CPU,而暂时不能运行
- 进程已经拥有除了CPU之外所有需要的资源,一旦获得处理机,既可立即进入运行态开始运行
- 阻塞(Waiting/Blocked)
- 因等待某一事件而暂时不能运行
- 等待OS分配打印机、等待读磁盘操作结果。CPU是CP最贵的部件,为了提高CPU利用率,需要先将其他资源分配到位,才能得到CPU服务
- 创建(New,新建态)
- 进程正在被创建,OS为进程分配资源,初始化PCB
- 终止(Terminated,结束态)
- 进程正在从系统撤销,OS会回收进程拥有的资源,撤销PCB
- 进程运行结束(或者由于bug导致进程无法继续执行,比如数组越界错误),需要撤销进程。
- OS需要完成撤销进程相关工作。完成将分配给进程的资源回收,撤销进程PCB等工作
- 运行(Running)
-
进程状态间的转换
- 就绪 --> 运行
- 进程被调度
- 运行 --> 就绪
- 时间片到,或CPU被高优先级的进程抢占
- 运行 --> 阻塞
- 等待系统资源分配,或等待某事件发生(主动行为)
- 阻塞 --> 就绪
- 资源分配到位,等待事件发生,不是进程自身控制的被动行为
- 创建 --> 就绪
- 系统完成创建相关工作
- 运行 --> 终止
- 进程运行结束,或运行过程中遇到不可修复的错误
注:阻塞态不能直接转为运行态,也不能由就绪态直接转为阻塞态
因为进入阻塞态是进程主动请求,必然需要进程运行时才能发出这种请求
- 进程运行结束,或运行过程中遇到不可修复的错误
- 就绪 --> 运行
进程控制
- 基本概念:
- 什么是进程控制
- 进程控制就是要实现进程状态的转换
- 主要功能是对系统中所有进程实施有效管理,具有新建、撤销、实现进程状态之间转换等
- 如何实现进程控制
- 用“原语”实现
- 原语的特点: 执行期间不允许中断,这种不可被中断的操作即原子操作
- 原语采用“关中断指令”和“开中断指令”实现,开关中断指令权限很大,只允许在核心态下执行特权指令
- 什么是进程控制
- 进程控制相关的原语
- 学习技巧:
- 进程控制会导致进程状态转换。无论哪个原语,要做的是以下事情:
- 更新PCB中的信息(如修改进程状态标志、将运行环境保存到PCB、从PCB恢复运行环境)
- 所有的进程控制原语一定都会修改进程状态标志
- 剥夺当前运行进程的CPU使用权必然需要保存其运行环境
- 某进程开始运行前必然要恢复其运行环境
- 将PCB插入合适队列
- 分配/回收资源
- 进程的创建
- 终止
- 撤销原语
- 从PCB集合找到终止进程的PCB
- 若进程正在运行,立即剥夺CPU,将CPU分配给其他进程
- 终止其所有子进程
- 将该进程拥有的所有资源归还给父进程或OS
- 删除PCB
- 引起进程终止的事件
- 正常结束
- 异常结束
- 外界干预
- 撤销原语
- 阻塞
- 阻塞原语
- 找到阻塞对应的PCB
- 保护进程运行现场,将PCB状态信息设置我“阻塞态”,暂时停止进程运行
- 将PCB插入相应事件等待队列
- 引起进程阻塞的事件
- 需要等待系统分配某种资源
- 需要等待相互合作的其他进程完成工作
- 阻塞原语
- 唤醒
- 唤醒原语
- 在事件等待队列中找到PCB
- 将PCB从等待队列移除,设置进程为就绪态
- 将PCB插入就绪队列,等待被调度
- 引起进程唤醒的事件
- 等待的事件发生(因何事阻塞,就应有何事唤醒)
- 唤醒原语
- 注:阻塞和唤醒原语必须成对使用
- 切换
- 切换原语
- 将运行环境信息存入PCB
- PCB移入相应队列
- 选择另一个进程执行,并更新其PCB
- 根据PCB恢复新进程所需要的运行环境
- 引起进程切换的事件
- 当前进程时间片到
- 有更高的优先级进程到达
- 当前进程主动阻塞
- 当前进程终止
- 切换原语
- 学习技巧: