В ядре Linux устранена следующая уязвимость:
locking/rt: исправлена некорректная защита RCU в rt_spin_unlock().
rt_spin_unlock() снимает защиту RCU перед разблокировкой
замок. Это открывает дверь для следующего сценария ВСУ:
Т1 Т2
spin_lock(&p->блокировка); rcu_read_lock();
сделать недействительным (р); р = rcu_dereference (ptr);
rcu_assign_pointer (ptr, NULL); если (!p) возврат;
spin_unlock(&p->блокировка); spin_lock(&p->блокировка)
блокировка(&блокировка->блокировка);
rcu_read_lock();
kfree_rcu (п); rcu_read_unlock();
....
spin_unlock(&p->блокировка)
rcu_read_unlock(); // Завершается льготный период
rcu_do_batch()
свободный (р);
UAF -> rt_mutex_cmpxchg_release(&lock->lock...)
Обычные спин-блокировки отключают вытеснение во время операции разблокировки.
который обеспечивает полную защиту RCU, но замена RT не дает результатов.
похожи на это. То же самое относится и к замене rwlock.
Переместите вызов rcu_read_unlock() за пределы операций разблокировки, чтобы они соответствовали
семантика, отличная от RT. Это делает его асимметричным по сравнению с rt_xxx_lock(), но
это безвредно, поскольку вызывающему абоненту необходимо удерживать блокировку чтения RCU через блокировку
операция. Вызов миграции_enable() остается до операции разблокировки.
потому что в пути разблокировки нет операции для каждого процессора, которая могла бы
требуют, чтобы миграция была отключена.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: locking/rt: Fix the incorrect RCU protection in rt_spin_unlock() rt_spin_unlock() releases the RCU protection before unlocking the lock. That opens the door for the following UAF scenario: T1 T2 spin_lock(&p->lock); rcu_read_lock(); invalidate(p); p = rcu_dereference(ptr); rcu_assign_pointer(ptr, NULL); if (!p) return; spin_unlock(&p->lock); spin_lock(&p->lock) lock(&lock->lock); rcu_read_lock(); kfree_rcu(p); rcu_read_unlock(); .... spin_unlock(&p->lock) rcu_read_unlock(); // Ends grace period rcu_do_batch() kfree(p); UAF -> rt_mutex_cmpxchg_release(&lock->lock...) Regular spinlocks keep preemption disabled accross the unlock operation, which provides full RCU protection, but the RT substitution fails to resemble that. Same applies for the rwlock substitution. Move the rcu_read_unlock() invocation past the unlock operations to match the non-RT semantics. This makes it asymmetric vs. rt_xxx_lock(), but that's harmless as the caller needs to hold RCU read lock across the lock operation. The migrate_enable() call stays before the unlock operation because there is no per CPU operation in the unlock path which would require migration to be kept disabled.
Характеристики атаки
Последствия
Строка CVSS v3.1