В ядре Linux устранена следующая уязвимость:
предохранитель: исправлена утечка недействительной блокировки при сбое обратной записи setattr.
Fuse_do_setattr() принимает filemap_invalidate_lock() для усечения DAX
(fault_blocked = true) и освобождает его на метках out:/error:. Но
когда также требуется сброс обратной записи, происходит сбой write_inode_now()
возвращает напрямую и пропускает блокировку, поэтому любая последующая ошибка или усечение
файл зависает на устаревшем rwsem.
Например, truncate(2) в файле setuid достигает функции funse_do_setattr().
с установленными ATTR_SIZE и ATTR_MODE:
усечь(2)
└─ do_truncate()
├─ dentry_needs_remove_privs() # S_ISUID
└─ notify_change() # KILL_SUID -> ATTR_MODE
└─use_setattr() # no killpriv:
│ # ia_valid |= ATTR_MODE
└─ плавкий_до_setattr()
├─ filemap_invalidate_lock() # IS_DAX && is_truncate
└─ write_inode_now() # is_wb && ATTR_MODE
└─ if (ошибка) # напр. демон -> -EIO
return err # <- утечка блокировки
Исправьте это, добавив метку разблокировки, которая снимает блокировку раньше.
возвращаем ошибку и используем ее для fuse_dax_break_layouts()
путь отказа тоже.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: fuse: fix invalidate lock leak on setattr writeback failure fuse_do_setattr() takes filemap_invalidate_lock() for a DAX truncate (fault_blocked = true) and releases it at the out:/error: labels. But when a writeback flush is also needed, a write_inode_now() failure returns directly and leaks the lock, so any later fault or truncate on the file stalls on the stale rwsem. For example, truncate(2) on a setuid file reaches fuse_do_setattr() with both ATTR_SIZE and ATTR_MODE set: truncate(2) └─ do_truncate() ├─ dentry_needs_remove_privs() # S_ISUID └─ notify_change() # KILL_SUID -> ATTR_MODE └─ fuse_setattr() # no killpriv: │ # ia_valid |= ATTR_MODE └─ fuse_do_setattr() ├─ filemap_invalidate_lock() # IS_DAX && is_truncate └─ write_inode_now() # is_wb && ATTR_MODE └─ if (err) # e.g. daemon -> -EIO return err # <- lock leaked Fix this by adding an unlock label that releases the lock before returning the error, and use it for the fuse_dax_break_layouts() failure path as well.