В ядре Linux устранена следующая уязвимость:
sched_ext: исправить предположения this_rq() в диспетчерской kfuncs. При основном планировании диспетчеризация осуществляется внутри ядра и может
нацеливайтесь на родственный rq, поэтому ops.dispatch() может выполняться на процессоре, отличном от
отправленные запросы. Некоторые пути kfunc предполагают, что они всегда совпадают:
- scx_dsq_move() определил, удерживается ли блокировка rq, проверив this_rq()
rq и соответственно танцевали локи.
Посылка для брата и сестры приняла
ветку разблокированного контекста и получил блокировку источника rq поверх ветки
уже отправлена отправленная блокировка rq, которая может привести к тупику.
- scx_bpf_sub_dispatch() отправил this_rq() со своим спрятанным
sub_dispatch_prev, который имеет значение NULL при отправке для родственного элемента.
- Finish_dispatch(), scx_bpf_dsq_reenq() и scx_bpf_dsq_nr_queued()
разрешил SCX_DSQ_LOCAL для локального DSQ этого ЦП, а не для отправленного
rq. Последние два также можно вызвать из других операций с блокировкой rq:
где SCX_DSQ_LOCAL теперь также преобразуется в rq операции. Это меняет
поведение также без основного планирования, например. для ops.enqueue(), запускающего
удаленное пробуждение на пробуждающемся ЦП и предназначено: с каким ЦП происходит
выполнение операции является второстепенным, rq операции — это то, что она выполняет
включен, и разрешение теперь соответствует стороне вставки, где SCX_DSQ_LOCAL
Отправления приземляются на адрес задачи.
Используйте rq, отслеживаемый scx_locked_rq(), который установлен в отправленный rq.
вокруг вызовов операций и NULL в разблокированных контекстах.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: sched_ext: Fix this_rq() assumptions in dispatch kfuncs Under core scheduling, dispatch runs from within the core-wide pick and can target a sibling rq, so ops.dispatch() may execute on a CPU different from the dispatched rq's. Several kfunc paths assumed the two always coincide: - scx_dsq_move() decided whether an rq lock is held by testing this_rq()'s rq flags and lock-danced accordingly. A dispatch for a sibling took the unlocked-context branch and acquired the source rq lock on top of the already held dispatched rq lock which could deadlock. - scx_bpf_sub_dispatch() dispatched this_rq() with its stashed sub_dispatch_prev, which is NULL when dispatching for a sibling. - finish_dispatch(), scx_bpf_dsq_reenq() and scx_bpf_dsq_nr_queued() resolved SCX_DSQ_LOCAL to this CPU's local DSQ rather than the dispatched rq's. The latter two are callable from other rq-locked operations too, where SCX_DSQ_LOCAL now likewise resolves to the op's rq. This changes behavior also without core scheduling, e.g. for ops.enqueue() running a remote wakeup on the waking CPU, and is intended: which CPU happens to execute an operation is incidental, the op's rq is what it is operating on, and the resolution now matches the insert side where SCX_DSQ_LOCAL dispatches land on the task's rq. Use the rq tracked by scx_locked_rq(), which is set to the dispatched rq around ops invocations and NULL in unlocked contexts.