Re: [PATCH] fs: don't return -EINVAL for successful nested thaw

From: Christian Brauner

Date: Tue Aug 25 2026 - 10:43:01 EST


On 2026-08-21 10:54 +0200, Moritz Tanner wrote:
> Commit 7366f8b6fc6a ("fs: handle freezing from multiple devices")
> replaced the freeze_holders bitmask with per-holder counters to allow
> nested freezes. In the bitmask version, a thaw that released a shared
> hold while another holder remained returned 0. Since the rework,
> thaw_super_locked() drops the freeze reference via freeze_dec() but
> then returns -EINVAL when other freezers remain, misinforming the
> caller: the thaw did succeed, the superblock just stays frozen for the
> remaining holders.
>
> This breaks bdev-initiated freezing. When a filesystem is frozen with
> FIFREEZE and additionally frozen via bdev_freeze() -- which nests by
> design, see fs_bdev_freeze() -- the subsequent bdev_thaw() receives
> -EINVAL from the holder op although its freeze reference was dropped,
> and therefore keeps bd_fsfreeze_count elevated. Then device-mapper's
> unlock_fs() ignores bdev_thaw()'s return value, so nothing rebalances
> the count. After the user's FITHAW and umount, the block device can
> never be mounted again:
>
> dm-1: Can't mount, blockdev is frozen
>
> There is no way for userspace to drop the leaked count; only
> destroying the block device (or a reboot) recovers the device.
>
> Reproducer (any kernel since v6.8):
>
> dmsetup create dut --table "0 $(blockdev --getsz "$DEV") linear $DEV 0"
> mkfs.ext4 /dev/mapper/dut
> mount /dev/mapper/dut /mnt
> fsfreeze --freeze /mnt # freeze_ucount == 1
> dmsetup suspend dut # bd_fsfreeze_count == 1, ucount == 2
> dmsetup resume dut # ucount 2 -> 1, but thaw_super()
> # returns -EINVAL, so bdev_thaw()
> # keeps bd_fsfreeze_count at 1
> fsfreeze --unfreeze /mnt # filesystem thaws fine
> umount /mnt
> mount /dev/mapper/dut /mnt # EBUSY, forever
>
> The same happens with fsfreeze held across an LVM snapshot of the
> origin volume.
>
> fs_bdev_thaw()'s documentation already describes the intended
> semantics: "If this function returns zero it doesn't mean that the
> filesystem is unfrozen as it may have been frozen multiple times".
> Restore them by returning 0 when a nested thaw drops its hold while
> other freezers remain. Thawing without holding a freeze still fails
> with -EINVAL as may_unfreeze() rejects that case before the reference
> count is touched.

This was contentions when we discussed this back then because you can
also run into situations where userspace thinks it's safe to access the
filesystem because they think the thaw succeeded. But anyway, I think we
can try this change at least.