В ядре Linux устранена следующая уязвимость:
xfrm: переместить синхронизацию policy_bydst RCU из файла .exit для каждой сети в .pre_exit. Строка документации struct pernet_operations в include/net/net_namespace.h
явно предостерегает от блокировки примитивов RCU в обработчиках .exit:
Методы выхода с использованием блокирующих примитивов RCU, таких как
sync_rcu() должен быть реализован через exit_batch.
[...]
Пожалуйста, вообще избегайте синхронизации_rcu(), где это возможно. Обратите внимание, что комбинация pre_exit() и exit() может
можно использовать, поскольку синхронизация_rcu() гарантирована между
звонки.
xfrm_policy_fini() нарушает это: перед этим он вызываетsync_rcu().
освобождение хеш-таблиц policy_bydst (чтобы ни один читатель RCU не находился в середине
обход в свободное время), но запускается из xfrm_net_ops.exit — один раз в
пространство имен - поэтому очистка_net() N пространств имен платит N полных RCU
льготные периоды последовательно.
Используйте документированное разделение pre_exit/exit. Переместите политику сброса (и
рабочая очередь истощает это в зависимости от) в новый обработчик .pre_exit;
Затем xfrm_policy_fini() запускается в .exit и освобождает хеш-таблицы.
после синхронизации_rcu_expedited(), которую гарантирует очистка_net()
между двумя фазами. Предоставление O(1) льготных периодов RCU для каждого пакета
вместо O(N).
Наблюдалось в Linux 6.18 с рабочей нагрузкой, выполняющей unshare (CLONE_NEWNET).
поддерживается со скоростью ~13/сек: cleanup_net() и спасательный поток netns_wq
оба застряли в структуреsync_rcu(),>300k xfrm_policy_fini()
net накопилось в очереди очистки, Percpu в /proc/meminfo залез
до 130+ ГБ на хостах с 256 процессорами, а затем последовали memcg OOM. setup_net и
Счетчики __put_net были сбалансированы, что исключало утечку счетчиков ссылок.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: xfrm: move policy_bydst RCU sync from per-netns .exit to .pre_exit The struct pernet_operations docstring in include/net/net_namespace.h explicitly warns against blocking RCU primitives in .exit handlers: Exit methods using blocking RCU primitives, such as synchronize_rcu(), should be implemented via exit_batch. [...] Please, avoid synchronize_rcu() at all, where it's possible. Note that a combination of pre_exit() and exit() can be used, since a synchronize_rcu() is guaranteed between the calls. xfrm_policy_fini() violates this: it calls synchronize_rcu() before freeing the policy_bydst hash tables (so no RCU reader is mid- traversal at free time), but runs from xfrm_net_ops.exit -- once per namespace -- so a cleanup_net() of N namespaces pays N full RCU grace periods serially. Use the documented pre_exit/exit split. Move the policy flush (and the workqueue drains it depends on) into a new .pre_exit handler; xfrm_policy_fini() then runs in .exit and frees the hash tables after the synchronize_rcu_expedited() that cleanup_net() guarantees between the two phases. Providing O(1) RCU grace periods per batch instead of O(N). Observed on Linux 6.18 with a workload doing unshare(CLONE_NEWNET) at ~13/sec sustained: cleanup_net() and the netns_wq rescuer kthread both stuck in xfrm_policy_fini()'s synchronize_rcu(), >300k struct net accumulated in the cleanup queue, Percpu in /proc/meminfo climbed to 130+ GB on 256-CPU hosts, and memcg OOMs followed. setup_net and __put_net counts were balanced, ruling out a refcount leak.