В ядре Linux устранена следующая уязвимость:
предохранитель: исправлена утечка недействительной блокировки при открытом сбое O_TRUNC DAX.
Fuse_open() принимает filemap_invalidate_lock() для усечения DAX
(dax_truncate = true) и освобождает его перед out_inode_unlock.
этикетка. Но когда методuse_dax_break_layouts() терпит неудачу, переход
out_inode_unlock пропускает разблокировку и пропускает rwsem, поэтому позже
ошибка или усечение файла останавливается из-за устаревшей блокировки.
Fuse_dax_break_layouts() может завершиться ошибкой с -ERESTARTSYS, когда сигнал
прерывает ожидание очистки занятых страниц DAX:
open("файл", O_RDWR | O_TRUNC)
└─ предохранитель_open()
├─ filemap_invalidate_lock() # dax_truncate
└─ плавкий_dax_break_layouts()
└─ dax_break_layout()
└─ wait_page_idle() # TASK_INTERRUPTIBLE
└─ плавкий_ожидание_dax_page() # разблокировка, расписание, повторная блокировка
└─ сигнал → -ERESTARTSYS
goto out_inode_unlock # <- утечка блокировки
Исправьте это, переместив filemap_invalidate_unlock() под метку, чтобы
что все пути ошибок снимают блокировку и переименовывают метку в
out_unlock, поскольку теперь он охватывает не только блокировку индексного дескриптора.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: fuse: fix invalidate lock leak on open O_TRUNC DAX failure fuse_open() takes filemap_invalidate_lock() for a DAX truncate (dax_truncate = true) and releases it before the out_inode_unlock label. But when fuse_dax_break_layouts() fails, the goto out_inode_unlock skips the unlock and leaks the rwsem, so any later fault or truncate on the file stalls on the stale lock. fuse_dax_break_layouts() can fail with -ERESTARTSYS when a signal interrupts the wait for busy DAX pages to drain: open("file", O_RDWR | O_TRUNC) └─ fuse_open() ├─ filemap_invalidate_lock() # dax_truncate └─ fuse_dax_break_layouts() └─ dax_break_layout() └─ wait_page_idle() # TASK_INTERRUPTIBLE └─ fuse_wait_dax_page() # unlock, schedule, re-lock └─ signal → -ERESTARTSYS goto out_inode_unlock # <- lock leaked Fix this by moving filemap_invalidate_unlock() below the label so that all error paths release the lock, and rename the label to out_unlock as it now covers more than just the inode lock.