C++实现多级反馈队列(MLFQ)调度器,真实模拟进程迁移、时间片衰减、I/O即时插回第0级、抢占调度与CPU密集型惩罚;使用vector预分配5级队列,Process含pid、剩余时间、当前优先级等字段,I/O发起时立即插入第0级队列头部并更新last_io_time。

用C++模拟多级反馈队列(MLFQ)调度器,需真实复现进程在不同优先级队列间的迁移、时间片衰减、I/O阻塞唤醒、动态优先级重置等核心行为,不能仅用静态数组模拟队列切换。
定义进程结构体与多级队列容器
声明 Process 类,包含 pid、arrival_time、burst_time、remaining_time、priority_level(当前所在队列编号,0为最高)、time_in_queue(本轮在当前队列已运行时长)、last_io_time(上一次I/O完成时刻,用于判断是否应提升优先级)。
使用 vector<queue>></queue> 构建5级队列,索引0~4对应优先级从高到低;第0级时间片为1,第1级为2,第2级为4,第3级为8,第4级为16——时间片随队列下降呈2倍增长。
这一步不可省略队列容量预分配,否则后续 push 可能触发隐式拷贝导致 Process 中指针成员失效。
立即学习“C++免费学习笔记(深入)”;
实现进程入队与初始优先级判定
新到达进程统一插入第0级队列尾部,priority_level = 0,time_in_queue = 0。
若进程在运行中发起I/O(由输入数据标记),立即从中断点移出当前队列,插入第0级队列尾部,并将 last_io_time 设为当前模拟时钟值——【这是优先级提升的唯一合法触发点】。
注意:不能在I/O完成时才插回第0级;必须在I/O发起瞬间就插回,否则无法体现“交互型进程应被快速响应”的设计本质。
执行MLFQ主调度循环
步骤一:按模拟时钟递增,每单位时间检查是否有新进程到达,若有则调用入队逻辑。
步骤二:遍历5级队列,从第0级开始找第一个非空队列,取出队首进程 p。
步骤三:若 p.remaining_time == 0,标记为完成,记录完成时间并跳过执行;否则执行1单位时间:`p.remaining_time--`,`p.time_in_queue++`。
步骤四:判断是否耗尽当前队列时间片——对第k级队列,阈值为 1 ;若 `p.time_in_queue == (1 0`,则将其移出当前队列,插入下一级队列(若已是第4级,则仍留在第4级),重置 `p.time_in_queue = 0`,`p.priority_level++`(上限为4)。
步骤五:若进程因I/O阻塞(输入数据指定该次CPU执行后将发起I/O),立即移入第0级队列尾部,`p.time_in_queue = 0`,`p.priority_level = 0`,`p.last_io_time = current_time`。
动态优先级逻辑的深度实现细节
方法一:周期性老化机制——每经过100个时间单位,扫描所有未完成进程,若其 `current_time - p.last_io_time > 50`,且当前 `p.priority_level > 0`,则将其降级至第0级队列头部(不是尾部),并重置 `p.time_in_queue = 0`,`p.priority_level = 0`。
方法二:抢占式响应强化——当第0级队列非空,且当前正在运行的进程不在第0级时,强制中断当前进程(保存剩余时间),将其插入对应下级队列,立即调度第0级队首进程。这要求调度器在每次时间推进前都做抢占检测。
方法三:CPU密集型惩罚——若某进程连续3次从第4级队列被踢出仍未完成,则在第4级为其额外增加一个“惩罚计数器”,下次再进入第4级时,其初始时间片减半(但不低于1),该惩罚持续到该进程完成或发生I/O为止。


















