В ядре Linux устранена следующая уязвимость: bpf: Поддержка закалки от распыления JIT. JIT-распределитель BPF упаковывает множество небольших программ в более крупные исполняемые файлы. выделяет и повторно использует пространство внутри этих выделений, поскольку программы загружен и освобожден. Когда новый код записывается в пространство, программа занята, косвенный переход в новую программу может повторно использовать ветку предсказание, оставленное старым.
Очистите предикторы косвенного ветвления перед повторным использованием JIT-памяти, чтобы
косвенные переходы во вновь написанную программу не используют повторно предсказания из
старая программа, занимавшая то же место. Введите статический ключ bpf_arch_pred_flush_enabled и bpf_arch_pred_flush.
статический вызов для очистки предикторов ветвей при повторном использовании памяти JIT. Архитектуры, которым требуется сброс, могут обновить его до сброса предиктора.
функция.
По умолчанию это NOP и не генерирует никаких CALL. Распределения, превышающие пакет, не покрываются этим сбросом. Это безопасно
потому что программы cBPF (непривилегированная поверхность атаки) хорошо ограничены
ниже размера упаковки.
Выдать предупреждение, если это предположение когда-либо будет нарушено. пока промывка активна.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: bpf: Support for hardening against JIT spraying The BPF JIT allocator packs many small programs into larger executable allocations and reuses space within those allocations as programs are loaded and freed. When fresh code is written into space that a previous program occupied, an indirect jump into the new program can reuse a branch prediction left behind by the old one. Flush the indirect branch predictors before reusing JIT memory so that indirect jumps into a newly written program don't reuse predictions from an old program that occupied the same space. Introduce bpf_arch_pred_flush_enabled static key and bpf_arch_pred_flush static call for flushing the branch predictors on JIT memory reuse. Architectures that need a flush, can update it to a predictor flush function. By default, its a NOP and does not emit any CALL. Allocations larger than a pack are not covered by this flush. That is safe because cBPF programs (the unprivileged attack surface) are bounded well below a pack size. Issue a warning if this assumption is ever violated while the flush is active.