扫码获取 VIP 码
添加管理员微信获取 VIP 码
在软考体系中，系统架构设计师、系统分析师、软件设计师、网络工程师等多个科目都频繁考查进程相关概念。按照教材正式定义，进程是程序在一个数据集合上的一次运行活动，是系统进行资源分配与调度的基本单位。每个进程在生命周期中经历多种状态，这些状态的转换构成了操作系统进程管理的底层骨架。
理解进程状态必须从进程控制块入手。PCB是操作系统为每个进程维护的数据结构，记录了进程标识符、程序计数器、CPU寄存器保存区、进程状态、优先级、内存管理信息和打开文件列表等核心数据。操作系统进行进程切换时，实际上就是切换各个进程的PCB控制权，而非切换程序代码本身。
经典教科书将进程基本状态归纳为三种：运行态、就绪态和阻塞态。运行态是进程已获得CPU且正在执行指令的状态。就绪态是进程具备一切运行条件、只等CPU空闲即可运行的状态。阻塞态则是进程因等待某个事件发生而暂时无法继续执行的状态。这三种状态是进程状态转换的起点，也是软考反复考查的基础框架。
三态模型的转换规则有四条。从运行态到就绪态的转换由调度程序触发——时间片用完或被更高优先级进程抢占时，操作系统将当前进程撤下CPU并置为就绪态。从运行态到阻塞态是进程主动发起的——需要等待未就绪资源时，进程调用阻塞原语让自己进入阻塞。从就绪态到运行态由进程调度程序完成——CPU空闲时从就绪队列选出进程运行。从阻塞态到就绪态由外部事件驱动——等待的事件发生时，操作系统通过唤醒原语将进程从阻塞转为就绪，让其重新竞争CPU。
软考命题人反复设陷阱的核心知识点是转换路径的合法性。就绪态绝对不能直接转为阻塞态——就绪态进程未获得CPU，不可能发出阻塞请求。阻塞态也不可能直接跳到运行态——必须先经过就绪态的过渡。运行态被抢占后进入的是就绪态而非阻塞态，因为抢占是操作系统强制行为，进程本身不等待任何资源。
现代操作系统需要处理内存压力，引入了挂起概念。当内存紧张时，操作系统将部分进程数据换出到外存以腾出空间，由此演进为五态模型和七态模型。五态模型在基础三态上增加新建态和终止态——新建态是进程正在被创建尚未进入就绪队列的过渡阶段，终止态是进程执行完毕后操作系统正在回收资源清理PCB的阶段。七态模型进一步为就绪态和阻塞态各增加挂起版本：就绪挂起态和阻塞挂起态。前者进程数据已换出但其他条件具备，一旦换入内存即可就绪；后者既等待事件又数据已换出，是进程最远离CPU的状态。
进程切换的本质是上下文切换，包含三个关键动作：保存当前进程的CPU现场到其PCB；按调度算法从就绪队列选择下一个进程；将新进程的CPU现场从其PCB恢复到处理器寄存器。上下文切换的时间开销不可忽略——保存恢复寄存器、刷新TLB缓存、切换内核栈都消耗CPU周期。频繁切换会显著降低吞吐量，这是操作系统设计者需要在响应时间与效率之间做权衡的根源。
软考对进程调度的考查可沿三个维度展开。第一个维度是调度发生的时机，分为非抢占式和抢占式。非抢占式中一旦CPU分配给某进程，该进程将持续运行直到主动放弃CPU，先来先服务算法为典型代表。抢占式中操作系统可在当前进程运行期间强行剥夺CPU分配给更高优先级进程，时间片轮转和多级反馈队列属于此类。真题中多次考查"进程P1运行时操作系统强行撤下CPU让P2运行"这一抢占式调度的标志性场景。
第二个维度是调度算法策略。先来先服务按到达顺序分配CPU，简单但容易出现长进程堵住短进程的护航效应。短作业优先总是选择估计运行时间最短的进程，可最小化平均等待时间但需预知运行时长且可能导致长作业饥饿。优先级调度为每个进程分配优先级数值，始终选择最高优先级进程运行，其中动态优先级会随等待时间调整以避免低优先级永不得CPU。时间片轮转为每个进程分配固定时间片，用完即排到队尾，保证公平性。多级反馈队列是实际操作系统最常用的算法——设置多个不同优先级队列，高优先级队列时间片短，新进程入最高级，时间片内未完成则降级，兼顾了交互进程响应和批处理效率。
第三个维度是调度层次。长程调度决定哪些作业允许进入系统，控制并发度。中程调度即挂起与激活机制，负责内存紧张时换出进程数据。短程调度决定CPU下一次运行哪个进程，执行频率最高。软考考查时命题人会要求考生区分三个层次的职责边界，不可混淆。
PV操作与信号量机制是进程同步的经典工具。P操作对应信号量减一——值大于零则继续，等于零则进程进入阻塞态等待。V操作对应信号量加一——若有进程等待则唤醒其一。信号量设计的精妙在于将阻塞与唤醒封装为原子操作，执行期间不会被中断。前趋图是PV操作的典型考查形式——命题人给出有向无环图表示进程执行先后顺序，要求判断哪些位置插入P和V操作以保证同步正确。解题关键在于识别前趋图中每条边对应的同步约束，每个前趋关系都需要一对信号量来保证。
第一类陷阱是虚构
本篇完！