1调度层次与评价指标
闭卷重建调度层次与评价指标的对象、状态、事件、不变量与一个失败反例。
操作系统与系统实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2FCFS与护航效应
闭卷重建FCFS与护航效应的对象、状态、事件、不变量与一个失败反例。
3SJF、SRTF与长度预测
闭卷重建SJF、SRTF与长度预测的对象、状态、事件、不变量与一个失败反例。
4时间片轮转与交互权衡
闭卷重建时间片轮转与交互权衡的对象、状态、事件、不变量与一个失败反例。
5优先级、多级反馈与公平
闭卷重建优先级、多级反馈与公平的对象、状态、事件、不变量与一个失败反例。
6实验：FCFS与SJF指标比较
闭卷重建实验：FCFS与SJF指标比较的对象、状态、事件、不变量与一个失败反例。
7实验：RR甘特图模拟
闭卷重建实验：RR甘特图模拟的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：先来先服务简单且非抢占，但长作业可让短作业整体排队；实验入口：对到达/服务时间(0,8),(1,2),(2,1)画甘特图并计算平均等待；边界：FCFS中的先来按到达就绪队列定义，不是按进程编号；I/O返回会重新排队。
核心机制：长期、内存与短期调度控制进入系统、驻留集合与CPU选择；指标需区分周转、等待、响应和吞吐；实验入口：对三个到达时间不同的作业画就绪队列，逐项计算首次响应、完成、等待与带权周转；边界：平均值会掩盖饥饿与尾部；CPU利用率高也可能伴随交互响应极差。
核心机制：RR按时间片轮换就绪任务，时间片小改善首响却增加切换，过大则退化为FCFS；实验入口：固定上下文切换0.2ms，对1、4、20ms时间片计算有效CPU比例与响应序列；边界：到达事件与时间片结束同刻时必须声明入队规则，否则答案不唯一。
核心机制：短作业优先最小化已知服务时间下的平均等待，抢占版本在新短任务到达时重新选择；实验入口：用指数平均预测下一CPU burst，比较预测误差如何改变SRTF决策；边界：真实系统不知道未来长度；长期任务可能饥饿，需要老化或服务保证。
核心机制：调度模拟器必须显式处理到达、空闲、选择和完成四类事件；实验入口：输入若干到达/服务时间，分别输出FCFS与非抢占SJF平均等待时间；边界：服务时间相同时需稳定定义到达与编号次序，空闲区间不能算作某进程等待。
核心机制：动态优先级和多级反馈用行为近似任务类型，老化抑制长期饥饿；实验入口：推演CPU密集任务与交互任务在三层队列中的升降级，并检查每个任务的最长等待；边界：优先级反转不是普通饥饿；共享锁会让高优先级任务等待低优先级持锁者。
核心机制：离散事件循环维护当前时刻、就绪队列、剩余时间和新到达任务；实验入口：输入进程到达、服务与时间片，输出执行片段序列以及每个进程完成时刻；边界：先处理片段内到达再决定重排；零服务任务与同刻到达必须有明确规则。