非抢占调度下,任务取得 CPU 后通常运行到主动阻塞、结束或主动让出;抢占式调度允许系统因时间片耗尽、优先级更高任务就绪等事件暂停当前任务,再调度其他任务。抢占能改善交互响应和高优先级任务延迟,但带来调度与上下文切换成本,且共享状态必须正确同步。
短作业优先(SJF)在可选任务中挑预计 CPU 服务时间最短者。经典结论“平均等待时间最小”依赖明确假设,例如一批作业同时可用、运行时间已知且采用单处理器工作保守调度;现实中未来 CPU burst 未知,只能估计,长任务还可能饥饿。SJF 通常是非抢占;若新任务到来后可抢占并改选剩余 CPU 时间最短者,称最短剩余时间优先(SRTF)。两者不能混为同一个执行策略。
多级反馈队列(MLFQ)用多条优先级队列动态调整任务位置,目标是在不知道任务长度时兼顾短交互任务响应与长 CPU 任务公平。新任务通常先进入高优先级队列;持续用满时间片的任务逐渐降级,频繁主动让出 CPU 的任务可能保持较高优先级。策略需明确每级时间片、降级规则、同级轮转和周期性提升优先级等机制。若没有优先级提升或其他公平保障,低队列任务可能长期饥饿。
选择调度策略时要说明优化指标:响应时间适合交互系统,吞吐量适合批处理,截止期限和最坏延迟适合实时负载;调度开销、公平性和优先级反转也会影响结果。算法名字不构成对实际系统表现的保证,运行时间预测和负载分布是关键前提。
常见追问
Q:SJF 与 SRTF 的区别?
A:SJF 通常非抢占,选最短作业后运行到阻塞或结束;SRTF 是抢占式版本,比较各任务剩余 CPU 时间,新任务更短时可抢占当前任务。
Q:SJF 为什么不是现实系统的万能最佳算法?
A:它依赖已知或可预测的作业时长;真实 CPU burst 不确定,长任务可能饥饿,而且交互响应或实时截止期未必是其优化目标。
Q:MLFQ 如何减少长任务饥饿?
A:可周期性把任务提升到较高队列、老化优先级或给低队列保障时间;具体策略要平衡交互响应与公平性。
Q:抢占式调度有什么代价?
A:需要处理中断、保存恢复上下文,可能破坏缓存局部性;并发代码还必须避免共享数据在抢占交错下出现竞态。