В ядре Linux устранена следующая уязвимость:
drm/amdkfd: удерживать event_mutex при проверке событий CRIU
kfd_criu_checkpoint_events() подсчитывает записи в p->event_idr через
kfd_get_num_events() выделяет массив размером в это число, а затем
проходит тот же РДЭ, чтобы заполнить его. Ни счет, ни прогулка не держится
p->event_mutex. Вызывающий контрольную точку CRIU удерживает только мьютекс p->.
Событие создать и уничтожить
(kfd_event_create()/kfd_event_destroy()) возьмите p->event_mutex и не
возьмите p->mutex, чтобы второй поток в том же процессе мог вставлять или удалять
события между счетом и прогулкой. Если событие вставлено, прогулка
повторяет больше записей, чем было подсчитано, и записывает после конца
выделение ev_privs; если событие удалено, обход разыменовывает
запись, которая освобождается. Удерживайте p->event_mutex на протяжении всего счетчика и обхода, чтобы оба наблюдали
последовательное представление p->event_idr.
Блокировка открывается раньше
copy_to_user(), который касается только локального буфера. Звонивший уже
содержит p->мьютекс, а пути создания/уничтожения никогда не используют p->мьютекс, поэтому
Порядок p->mutex -> p->event_mutex не инвертируется и взаимоблокировок нет.
представил.
(вишня выбрана из коммита ff57e223ab105795b05d3ef3f3c35a5a441bcbaa)
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: drm/amdkfd: hold event_mutex while checkpointing CRIU events kfd_criu_checkpoint_events() counts the entries in p->event_idr via kfd_get_num_events(), allocates an array sized to that count, and then walks the same IDR to fill it. Neither the count nor the walk holds p->event_mutex. The CRIU checkpoint caller holds only p->mutex. Event create and destroy (kfd_event_create()/kfd_event_destroy()) take p->event_mutex and do not take p->mutex, so a second thread in the same process can insert or remove events between the count and the walk. If an event is inserted, the walk iterates more entries than were counted and writes past the end of the ev_privs allocation; if an event is removed, the walk dereferences an entry that is being freed. Hold p->event_mutex across the count and the walk so both observe a consistent view of p->event_idr. The lock is released before copy_to_user(), which only touches the local buffer. The caller already holds p->mutex and the create/destroy paths never take p->mutex, so the p->mutex -> p->event_mutex order is not inverted and no deadlock is introduced. (cherry picked from commit ff57e223ab105795b05d3ef3f3c35a5a441bcbaa)
Характеристики атаки
Последствия
Строка CVSS v3.1