Podatności Linux kernel (sched_ext)

W jądrze Linux w schedulerze sched_ext flaga SCX_RQ_BAL_KEEP informuje pick o kontynuowaniu poprzedniego zadania, co jest pozostałością z czasów, gdy balansowanie i wybieranie były osobnymi operacjami. Flaga na poziomie rq działa tylko, gdy dispatche i picki łączą się jeden do jednego, co łamie core scheduling: wybory przeplatają się przez zwolnienia blokady dispatch, a pick może zużyć nieaktualną flagę, zachowując zadanie, które zostało już usunięte z kolejki.

W jądrze Linux w schedulerze sched_ext funkcja scx_bpf_dsq_reenq() kolejkuje odroczone ponowne wstawienie (dru), które uruchamia się z run_deferred(), a nie ops.dispatch(). Jeśli DSQ zostanie zniszczone przed uruchomieniem dru, process_deferred_reenq_users() widzi dsq->id == SCX_DSQ_INVALID i trafia na BUG_ON. destroy_dsq() nie opróżnia oczekujących drus, więc wystarczy pominąć.

W jądrze Linux w podsystemie sched_ext występuje możliwe zakleszczenie w funkcji deferred_irq_workfn() na jądrach z PREEMPT_RT=y. Gdy funkcja jest wykonywana w kontekście zadania per-CPU irq_work/* bez wyłączonych przerwań, może dojść do ponownego zablokowania tej samej blokady rq->__lock przez przerwanie. Poprawka wymusza wykonywanie funkcji w kontekście hard-irq.