用数组实现mlfq调度的核心是用有序数组模拟多级队列,通过time_slices、used_quantum、last_promotion_tick等变量动态控制时间片、降级、提升与饥饿防护,轻量易调试。

用数组实现多级反馈队列(MLFQ)调度逻辑,核心不是堆叠复杂结构,而是用一组有序数组模拟多个优先级队列,并通过变量控制每个队列的执行权重——比如时间片长度、降级条件、提升时机。这种方式轻量、易调试,适合教学仿真或嵌入式任务调度器。
用数组表示多级队列:结构设计要点
不依赖链表或优先级队列,直接用 list of deques 或 list of lists 表示 N 级队列(如 3 级):
- 定义
queues = [deque(), deque(), deque()],索引 0 是最高优先级队列 - 每个队列内部保持 FIFO 顺序,新进程总进
queues[0] - 避免用
list.append()+list.pop(0)模拟队列——O(n) 开销大;改用collections.deque的popleft()和append() - 为每个进程绑定关键状态变量:
level(当前队列索引)、remaining_time(剩余运行时间)、used_quantum(本级已用时间片单位数),而非只存优先级数字
执行权重如何由变量体现
“权重”在 MLFQ 中不是静态系数,而是通过以下变量组合动态影响调度行为:
-
时间片数组:
time_slices = [5, 10, 20]—— 第 i 级队列每次最多运行time_slices[i]单位时间,高优队列响应快,低优队列吞吐稳 -
降级触发变量:
if process.used_quantum >= time_slices[process.level]→ 降级(process.level = min(process.level + 1, len(queues)-1)) -
饥饿防护变量:
last_promotion_tick全局计时器,每 100 调度周期将queues[1:]中所有等待超 3 秒的进程提回queues[0]尾部 -
I/O 反馈变量:进程因 I/O 阻塞唤醒时,若其上次运行
used_quantum ,说明它倾向交互型 → 优先提回上一级(但不高于 level 0)
实战中必须管理的关键变量清单
仅靠队列数组无法完成反馈,这些变量缺一不可:
-
global_clock:单调递增的虚拟时钟,用于计算等待时长和老化判断 -
current_level:当前正在服务的队列索引,从 0 开始扫描,找到首个非空队列即停 -
running_process:当前占用 CPU 的进程引用,含remaining_time和used_quantum -
age_threshold = 3000(毫秒):低队列进程等待超此值就触发提升,防止饥饿 -
consecutive_degrades(可选):记录同一进程连续被降级次数,用于抑制频繁回升——避免退化成纯轮转
一个极简但可运行的调度循环示意
不依赖外部库,仅用 Python 原生结构:
while any(q for q in queues):
# 扫描最高优先级非空队列
for level in range(len(queues)):
if queues[level]:
p = queues[level].popleft()
quantum = time_slices[level]
p.used_quantum = min(p.remaining_time, quantum)
p.remaining_time -= p.used_quantum
if p.remaining_time == 0:
print(f"✅ {p.pid} 完成")
else:
if p.used_quantum == quantum:
p.level = min(p.level + 1, len(queues)-1)
queues[p.level].append(p)
else:
# I/O型行为:未用完时间片就让出 → 保级或微升
queues[level].append(p)
break










