В ядре Linux устранена следующая уязвимость:
sched_ext: исправлено повреждение rq->core_pick при планировании ядра. Функция Pick_next_task() основного планирования выбирает, что запускать на каждом одноуровневом элементе SMT.
ядро за один проход под общей блокировкой rq для всего ядра. Выбор
состояние согласовано только тогда, когда блокировка удерживается непрерывно, поэтому
->pick_task() изначально не мог его освободить.
Однако, поскольку 4c95380701f5
(«sched/ext: сложите Balance_scx() в Pick_task_scx()»), sched_ext запускается
отправка изнутри выбора и диспетчеризация могут снять блокировку rq. Чтобы
поддерживает это, функция Pick_next_task() была обновлена для перезапуска всего
выбор, когда отмычка возвращает RETRY_TASK после снятия блокировки. Когда выборки на одном ядре чередуются через отброшенную блокировку, они
портят состояние друг друга: один очищает rq->core_pick другого, что приводит к
NULL разыгрывает или делает недействительным решение о сохранении предыдущей задачи, оставляя
выведенная из очереди задача, которая блокирует следующее пробуждение и соответствует
сообщили о сильных зависаниях.
Загрузка в пинг-понг с использованием файлов cookie на машине SMT делает
чередование частое и убивает ядро в течение нескольких секунд. Исправьте это, заставив выборку возвращать RETRY_TASK всякий раз, когда диспетчер освобождает
rq lock, чтобы при выборе фиксировались только выборки, сделанные под
постоянно удерживаемая блокировка. rq->scx.lock_drop_seq предыдущего патча учитывается.
релизы. Отправка, которая ничего не коснулась, никогда не снимает блокировку и
его вердикт, включающий «нечего запускать», остается в силе: повторные попытки ограничены, каждая
после отправки, которая действительно что-то сделала, а простаивающий процессор не
петля.
Если по заказу уже находится другая отправка, пропустите отправку и
выбрать из того, что уже стоит в очереди локально — отправка в полете уже
снял блокировку, поэтому его собственный выбор повторит попытку и повторно заберет этот запрос,
при возврате RETRY_TASK здесь будет вращаться только блокировка, которая отправляет
нужно закончить. Обратные вызовы баланса должны выполняться в контексте, в котором они поставлены в очередь, поэтому они могут только
быть поставлены в очередь на собственном rq процессора. При отправке по другому заказу запустите команду
вместо этого отложенная работа напрямую - чтобы rq мог использовать все свои выборы через
быстрый путь, запланированный ядром, и никогда не ставить в очередь сам обратный вызов.
Предупреждение put_prev_task_scx() о том, что работающая задача осталась позади
предположил, что отправка выполнялась как часть того самого пика, который переключается. Теперь это действует только на неосновном пути, поэтому закройте его и отбросьте
тест на совпадение файлов cookie, который всегда верен без основного планирования, из его
состояние.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: sched_ext: Fix rq->core_pick corruption under core scheduling Core scheduling's pick_next_task() picks what to run on every SMT sibling of the core in a single pass under the shared core-wide rq lock. The selection state is consistent only while the lock is held continuously, so ->pick_task() originally could not release it. However, since 4c95380701f5 ("sched/ext: Fold balance_scx() into pick_task_scx()"), sched_ext runs dispatch from inside the pick and dispatching can drop the rq lock. To support this, pick_next_task() has been updated to restart the whole selection when a pick returns RETRY_TASK after releasing the lock. When selections on the same core interleave through the dropped lock, they corrupt each other's state: one clears the other's rq->core_pick leading to a NULL deref, or invalidates its keep-the-previous-task decision leaving a dequeued task running, which deadlocks the next wakeup and matches the reported hard hangs. A cookied ping-pong load on an SMT machine makes the interleavings frequent and kills the kernel within seconds. Fix it by making the pick return RETRY_TASK whenever dispatch released the rq lock, so that a selection only ever commits picks made under a continuously held lock. The previous patch's rq->scx.lock_drop_seq counts the releases. A dispatch that touched nothing never releases the lock and its verdict, including "nothing to run", stands: retries are bounded, each following a dispatch that actually did something, and an idle CPU does not loop. If another dispatch is already in flight on the rq, skip dispatching and pick from what is already queued locally - the in-flight dispatch has released the lock, so its own selection will retry and re-pick this rq, while returning RETRY_TASK here would only spin on the lock that dispatch needs to finish. Balance callbacks must run in the context that queued them, so they can only be queued on the CPU's own rq. When dispatching for another rq, run the deferred work directly instead - that rq may consume all its picks through the core-sched fast path and never queue the callback itself. The put_prev_task_scx() warning about a runnable task being left behind assumed that dispatch ran as part of the very pick that is switching away. That now only holds on the non-core path, so gate it and drop the cookie-match test, which is always true without core scheduling, from its condition.