В ядре Linux устранена следующая уязвимость:
net/sched: sch_hfsc: не делайте класс пассивным дважды
update_vf() вызывается из двух мест для одного и того же класса в течение одного
удалять из очереди, когда дочерний qdisc класса (например, codel/fq_codel) удаляет свой последний
пакеты при удалении из очереди:
1. Дочерний элемент вызывает функцию qdisc_tree_reduce_backlog(), которая теперь, когда дочерний элемент
пуст, вызывает hfsc_qlen_notify() -> update_vf(cl, 0, 0) и поворачивает
пассивный класс (cl_nactive уменьшается вверх по иерархии).
2. hfsc_dequeue() затем вызывает update_vf(cl, qdisc_pkt_len(skb), cur_time)
для зарядки исключенных из очереди байтов. При втором вызове класс уже пассивен, но его дочерний qdisc
все еще пусто, поэтому update_vf() снова включает go_passive:
if (cl->qdisc->q.qlen == 0 && cl->cl_flags & HFSC_FSC)
go_passive = 1;
Затем лист пропускается проверкой cl_nactive == 0 внутри цикла,
который не очищает go_passive, поэтому устаревший go_passive распространяется на
родителя и уменьшает его cl_nactive во второй раз.
Родитель, который до сих пор
имеет других активных дочерних элементов, присваивается cl_nactive == 0 и удаляется из
vttree, даже несмотря на то, что эти братья и сестры все еще находятся в очереди. Они
больше никогда не удаляется из очереди, и qdisc зависает. Исправьте это, активируя go_passive только тогда, когда класс действительно активен, поэтому
уже пассивный класс больше не вызывает второй пассивный переход.
учет байтов (cl->cl_total += len) по-прежнему выполняется для каждого предка, поэтому
байты, выведенные из очереди, продолжают учитываться ровно один раз.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: net/sched: sch_hfsc: Don't make class passive twice update_vf() is called from two places for the same class during a single dequeue when the class's child qdisc (e.g. codel/fq_codel) drops its last packets while dequeuing: 1. The child calls qdisc_tree_reduce_backlog(), which, now that the child is empty, invokes hfsc_qlen_notify() -> update_vf(cl, 0, 0) and turns the class passive (cl_nactive is decremented up the hierarchy). 2. hfsc_dequeue() then calls update_vf(cl, qdisc_pkt_len(skb), cur_time) to charge the dequeued bytes. On the second call the class is already passive, but its child qdisc is still empty, so update_vf() arms go_passive again: if (cl->qdisc->q.qlen == 0 && cl->cl_flags & HFSC_FSC) go_passive = 1; The leaf is then skipped by the cl_nactive == 0 check inside the loop, which does not clear go_passive, so the stale go_passive propagates to the parent and decrements its cl_nactive a second time. A parent that still has other active children is driven to cl_nactive == 0 and removed from the vttree, even though those siblings are still backlogged. They are never dequeued again and the qdisc stalls. Fix this by only arming go_passive when the class is actually active, so an already-passive class no longer triggers a second passive transition. The byte accounting (cl->cl_total += len) still runs for every ancestor, so dequeued bytes continue to be counted exactly once.