加权公平队列（WFQ）双流模拟异常：未按预期分配数据包量

嘿，你遇到的这个情况其实是WFQ模拟里非常典型的「空队列导致调度退化」问题——核心是你的实现可能没抓住WFQ的核心逻辑，反而在队列为空时 fallback 到了简单轮询，这就偏离了加权公平调度的初衷。

问题根源拆解 #

WFQ的核心是虚拟时间（Virtual Time）和流优先级排序，而不是简单的队列非空判断。你提到T1包大小是T2的一半，理论上如果权重配置合理（比如T1权重2、T2权重1，或者权重相同但带宽分配按包大小反比），T1应该获得两倍的调度机会。但如果你的实现里：

• 当T1队列空了，就直接切换到T2，并且没有保留T1的「虚拟时间进度」；
• 等T1新包进来时，又从头计算它的虚拟完成时间，而不是基于全局已经推进的虚拟时间来更新；

那自然就会变成两个流轮流调度的轮询逻辑，完全没体现加权的效果。

具体修复思路 #

要让WFQ按预期工作，你需要给每个流维护持久化的流虚拟时间（Flow Virtual Time），并且始终基于「虚拟完成时间」来选择下一个要调度的包，哪怕某个流暂时没有包：

1. 为每个流维护流虚拟时间：哪怕队列空了，这个值也不能重置。比如T1队列空的时候，系统的全局虚拟时间还在随着T2的调度推进，等T1有新包进来时，先把T1的流虚拟时间更新到当前的全局虚拟时间，再计算新包的虚拟完成时间。
2. 始终按虚拟完成时间调度：每次调度时，遍历所有有包的流，选择队首包虚拟完成时间最小的那个流，而不是看哪个队列非空就切过去。
3. 正确计算虚拟完成时间：每个包的虚拟完成时间 = 所属流的当前虚拟时间 + (包大小 / 流权重)。调度完成后，把该流的虚拟时间更新为这个包的虚拟完成时间，同时更新全局虚拟时间为所有流虚拟时间的最小值。

举个简单的例子：
假设T1权重2，T2权重1，T1包大小100，T2包大小200：

• 初始时，T1流虚拟时间=0，包虚拟完成时间=0 + 100/2=50；T2流虚拟时间=0，包虚拟完成时间=0 + 200/1=200。优先调度T1。
• 调度后，T1流虚拟时间更新为50，全局虚拟时间推进到50。如果此时T1没新包，调度T2，T2流虚拟时间更新为200，全局虚拟时间到200。
• 等T1新包进来，先把T1流虚拟时间拉到当前全局虚拟时间200，新包虚拟完成时间=200 + 100/2=250，比T2下一个包（假设有的话）的虚拟完成时间200+200/1=400小，所以接下来还是调度T1，直到T1的虚拟完成时间超过T2，才会切换。

实现里要避开的坑 #

• 绝对不要在队列为空时重置流的虚拟时间，这会直接抹掉之前的调度积累，退化成轮询；
• 全局虚拟时间的更新要基于实际调度的包的虚拟完成时间，而不是真实的物理时间；
• 确保权重和包大小的比例对应你的预期——如果想让T1的调度次数是T2的两倍，要么给T1设置两倍于T2的权重，要么保证T1的包大小是T2的一半且权重相同。

内容的提问来源于stack exchange，提问作者skyde