В ядре Linux устранена следующая уязвимость: fsnotify: исправление устаревшей маски объекта после одновременных обновлений меток. Когда метка получает новый бит события, fanotify и inotify могут избежать пересчет маски объекта, если кэшированный агрегат уже содержит ее немного. Это пикантно, поскольку перерасчет инициируется одновременным обновлением еще одна отметка на том же разъеме.
Параллельное сканирование может прочитать метку до добавления нового бита, в то время как
программа обновления считывает старую совокупность до того, как сканирование опубликует свои результаты. Затем программа обновления пропускает перерасчет, и сканирование публикует маску без
бит, в результате чего маска объекта становится устаревшей после завершения обоих обновлений. Это можно воспроизвести с помощью двух групп fanotify, просматривающих один и тот же индексный дескриптор:
один поток удаляет FAN_MODIFY из одной существующей метки, а другой поток
добавляет FAN_MODIFY к другой отметке.
После того, как оба вызова fanotify_mark() вернутся,
записи могут не создать FAN_MODIFY для группы, метка которой теперь содержит
немного. Это было воспроизведено на немодифицированном ядре v6.12.95.
эквивалентное чередование inotify теряет события IN_MODIFY. Для обычных дополнений fanotify пересчитывайте всякий раз, когда маска необработанной метки
изменения.
Обычная маска не очищается асинхронно, поэтому неизмененная
дополнение не может внести недостающие проценты. Всегда пересчитывать маску игнорирования
обновления, поскольку обработка FS_MODIFY может очистить маску игнорирования без принятия
mark->lock, что делает сравнение снимков ненадежным. Всегда пересчитывайте после обновления существующих часов inotify.
Его замена path временно устанавливает mark->mask в ноль, чтобы одновременное сканирование могло наблюдать ноль, даже если старая и последняя маски равны. Назначение замены маска напрямую позволит избежать переходного нуля, но существующие обновления наблюдения встречаются нечасто, поэтому безусловный пересчет проще.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: fsnotify: Fix stale object mask after concurrent mark updates When a mark gets a new event bit, fanotify and inotify may avoid recalculating the object mask if the cached aggregate already contains that bit. This is racy with a recalculation triggered by a concurrent update to another mark on the same connector. The concurrent scan can read the mark before the new bit is added, while the updater reads the old aggregate before that scan publishes its result. The updater then skips recalculation and the scan publishes a mask without the bit, leaving the object mask stale after both updates complete. This can be reproduced with two fanotify groups watching the same inode: one thread removes FAN_MODIFY from one existing mark while another thread adds FAN_MODIFY to the other mark. After both fanotify_mark() calls return, writes can fail to produce FAN_MODIFY for the group whose mark now contains the bit. This was reproduced on an unmodified v6.12.95 kernel. The equivalent inotify interleaving loses IN_MODIFY events. For normal fanotify additions, recalculate whenever the raw mark mask changes. The normal mask is not cleared asynchronously, so an unchanged addition cannot introduce missing interest. Always recalculate ignore-mask updates because FS_MODIFY handling may clear the ignore mask without taking mark->lock, making snapshot comparisons unreliable. Always recalculate after updating an existing inotify watch. Its replace path temporarily sets mark->mask to zero, so a concurrent scan can observe zero even when the old and final masks are equal. Assigning the replacement mask directly would avoid the transient zero, but existing-watch updates are infrequent, so unconditional recalculation is simpler.