基本概念
什么是进程控制?
- 进程控制的主要功能是对系统中的所有进程实施有效的管理,它具有创建新进程、撤销已有进程、实现进程状态转换等功能。
- 简化理解:进程控制就是要实现进程状态转换
如何实现进程控制?
- 用原语实现进程控制。原语的特点是执行期间不允许中断,只能一气呵成。
- 这种不可被中断的操作即原子操作。
- 原语采用“关中断指令”和“开中断指令”实现。
- 显然,关/开中断指令的权限非常大,必然是只允许在核心态下执行的特权指令。
进程控制相关的原语
无论哪个原语,要做的无非三类事情:
- 更新PCB中的信息
- 所有的进程控制原语一定都会修改进程的状态标志
- 剥夺当前运行进程的CPU使用权必然需要保存其运行环境
- 某进程开始运行前必然要恢复其运行环境
- 将PCB插入合适的队列
- 分配/回收资源
进程的创建
- 创建原语(无——>创建态——>就绪态)
- 申请空白PCB
- 为新进程分配所需资源
- 初始化PCB
- 将PCB插入就绪队列
- 引起进程创建的事件
- 用户登录
- 分时系统时,用户登录成功,系统会为其建立一个新的进程
- 作业调度
- 多道批处理系统中,有新的作业放入内存时,会为其建立一个新的进程
- 提供服务
- 用户向操作提出某些请求时,会新建一个进程处理该请求
- 应用请求
- 由用户进程主动请求创建一个子进程
- 用户登录
进程的终止
- 撤销原语(就绪态/阻塞态/运行态——>终止态——>无)
- 从PCB集合中找到终止进程的PCB
- 若进程正在运行,立即剥夺CPU,将CPU分配给其他进程
- 终止其所有子进程
- 将该进程拥有的所有资源归还给父进程或操作系统
- 删除PCB
- 引起进程终止的事件
- 正常结束
- 异常结束
- 外界干预
进程的阻塞(阻塞原语、唤醒原语必须成对使用)
- 阻塞原语(运行态——>阻塞态)
- 找到要阻塞的进程对应的PCB
- 保存进程运行现场,将PCB状态信息设置为“阻塞态”,暂时停止进程运行
- 将PCB插入相应事件的等待队列
- 引起进程阻塞的事件
- 需要等待系统分配某种资源
- 需要等待相互合作的其他进程完成工作
进程的唤醒
- 唤醒原语(阻塞态——>就绪态)
- 在事件的等待队列中找到PCB
- 将PCB从等待队列移除,设置进程为就绪态
- 将PCB插入就绪队列,等待被调度
- 引起进程唤醒的事件
- 等待的事件发生(因何事阻塞,就应由何事唤醒)
进程的切换
- 切换原语(运行态——>阻塞态/就绪态——>运行态)
- 将运行环境信息存入PCB
- PCB移入相应队列
- 选择另一个进程执行,并更新其PCB
- 根据PCB恢复新进程所需的运行环境
- 引起进程切换的事件
- 当进程时间片到
- 有更高优先级的进程到达
- 当前进程主动阻塞
- 当前进程终止