From: "Darrick J. Wong" <djwong@kernel.org>
To: Andrey Albershteyn <aalbersh@kernel.org>
Cc: ebiggers@kernel.org, hch@lst.de, Carlos Maiolino <cem@kernel.org>,
fsverity@lists.linux.dev, linux-fsdevel@vger.kernel.org,
linux-xfs@vger.kernel.org, linux-unionfs@vger.kernel.org,
linux-ext4@vger.kernel.org,
linux-f2fs-devel@lists.sourceforge.net,
linux-btrfs@vger.kernel.org, david@fromorbit.com
Subject: Re: [PATCH v17 15/21] xfs: add fs-verity support
Date: Mon, 5 Oct 2026 14:12:35 -0700 [thread overview]
Message-ID: <20261005211235.GF2705364@frogsfrogsfrogs> (raw)
In-Reply-To: <asPEIapeSklgcsUa@aalbersh-thinkpadx1carbongen13.rmtcz.csb>
On Mon, Oct 05, 2026 at 07:18:35PM +0200, Andrey Albershteyn wrote:
<snip>
> > +/*
> > + * Try to remove all the fsverity metadata after a failed enablement.
> > + */
> > +static int
> > +xfs_fsverity_delete_metadata(
> > + struct xfs_inode *ip)
> > +{
> > + struct xfs_trans *tp;
> > + struct xfs_mount *mp = ip->i_mount;
> > + int error;
> > +
> > + xfs_ilock(ip, XFS_MMAPLOCK_EXCL);
> > + error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
> > + if (error) {
> > + xfs_iunlock(ip, XFS_MMAPLOCK_EXCL);
> > + return error;
> > + }
> > +
> > + truncate_inode_pages(VFS_I(ip)->i_mapping, XFS_ISIZE(ip));
>
> Oh I haven't paid enough attention here, it has to be moved before
> xfs_ilock(ip, XFS_MMAPLOCK_EXCL) not just before the lock, to exclude
> ABBA with writeback/reclaim taking folio lock and waiting for trans
> space.
Hrm? You have to hold IOLOCK and MMAPLOCK, and *not* hold ILOCK, to
truncate the pagecache. IOWs,
xfs_ilock(ip, XFS_MMAPLOCK_EXCL);
truncate_inode_pages(VFS_I(ip)->i_mapping, XFS_ISIZE(ip));
error = xfs_trans_alloc(...);
if (error)
...
xfs_ilock(ip, XFS_ILOCK_EXCL);
xfs_trans_ijoin(tp, ip, 0);
--D
> I will send v18 if more feedback will arrive, otherwise, I can
> resend just this patch (or could be fixed during merge?).
>
> --
> - Andrey
>
WARNING: multiple messages have this Message-ID (diff)
From: "Darrick J. Wong via Linux-f2fs-devel" <linux-f2fs-devel@lists.sourceforge.net>
To: Andrey Albershteyn <aalbersh@kernel.org>
Cc: fsverity@lists.linux.dev, linux-xfs@vger.kernel.org,
Carlos Maiolino <cem@kernel.org>,
david@fromorbit.com, linux-unionfs@vger.kernel.org,
linux-f2fs-devel@lists.sourceforge.net, ebiggers@kernel.org,
linux-fsdevel@vger.kernel.org, linux-ext4@vger.kernel.org,
hch@lst.de, linux-btrfs@vger.kernel.org
Subject: Re: [f2fs-dev] [PATCH v17 15/21] xfs: add fs-verity support
Date: Mon, 5 Oct 2026 14:12:35 -0700 [thread overview]
Message-ID: <20261005211235.GF2705364@frogsfrogsfrogs> (raw)
In-Reply-To: <asPEIapeSklgcsUa@aalbersh-thinkpadx1carbongen13.rmtcz.csb>
On Mon, Oct 05, 2026 at 07:18:35PM +0200, Andrey Albershteyn wrote:
<snip>
> > +/*
> > + * Try to remove all the fsverity metadata after a failed enablement.
> > + */
> > +static int
> > +xfs_fsverity_delete_metadata(
> > + struct xfs_inode *ip)
> > +{
> > + struct xfs_trans *tp;
> > + struct xfs_mount *mp = ip->i_mount;
> > + int error;
> > +
> > + xfs_ilock(ip, XFS_MMAPLOCK_EXCL);
> > + error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
> > + if (error) {
> > + xfs_iunlock(ip, XFS_MMAPLOCK_EXCL);
> > + return error;
> > + }
> > +
> > + truncate_inode_pages(VFS_I(ip)->i_mapping, XFS_ISIZE(ip));
>
> Oh I haven't paid enough attention here, it has to be moved before
> xfs_ilock(ip, XFS_MMAPLOCK_EXCL) not just before the lock, to exclude
> ABBA with writeback/reclaim taking folio lock and waiting for trans
> space.
Hrm? You have to hold IOLOCK and MMAPLOCK, and *not* hold ILOCK, to
truncate the pagecache. IOWs,
xfs_ilock(ip, XFS_MMAPLOCK_EXCL);
truncate_inode_pages(VFS_I(ip)->i_mapping, XFS_ISIZE(ip));
error = xfs_trans_alloc(...);
if (error)
...
xfs_ilock(ip, XFS_ILOCK_EXCL);
xfs_trans_ijoin(tp, ip, 0);
--D
> I will send v18 if more feedback will arrive, otherwise, I can
> resend just this patch (or could be fixed during merge?).
>
> --
> - Andrey
>
_______________________________________________
Linux-f2fs-devel mailing list
Linux-f2fs-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/linux-f2fs-devel
next prev parent reply other threads:[~2026-10-05 21:12 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-02 22:36 [PATCH v17 00/21] fs-verity support for XFS with post EOF merkle tree Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 01/21] fsverity: report validation errors through fserror to fsnotify Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 02/21] fsverity: expose ensure_fsverity_info() Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 03/21] fsverity: pass digest size and hash of the all-zeroes block to ->write Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 04/21] fsverity: hoist pagecache_read from f2fs/ext4 to fsverity Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 05/21] fsverity: don't allow setting DAX file attribute on fsverity files Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-02 22:36 ` [PATCH v17 06/21] fsverity: hoist statx reporting of fs-verity flag Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-02 22:36 ` [PATCH v17 07/21] xfs: introduce fsverity on-disk changes Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-02 22:36 ` [PATCH v17 08/21] xfs: don't allow to enable DAX on fs-verity sealed inode Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-02 22:36 ` [PATCH v17 09/21] xfs: disable direct read path for fs-verity files Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 10/21] xfs: don't report dio_mem_align and dio_offset_align for fsverity files Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 11/21] xfs: handle fsverity I/O in write/read path Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 12/21] xfs: use read ioend for fsverity data verification Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 13/21] xfs: add XFS_BMAPI_UNWRITTEN to unmap unwritten extents in __xfs_bunmapi() Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 14/21] xfs: don't remove written extents past EOF on fsverity inodes Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 15/21] xfs: add fs-verity support Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-05 17:18 ` Andrey Albershteyn
2026-10-05 17:18 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-05 21:12 ` Darrick J. Wong [this message]
2026-10-05 21:12 ` Darrick J. Wong via Linux-f2fs-devel
2026-10-06 9:03 ` Andrey Albershteyn
2026-10-06 9:03 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 16/21] xfs: initialize fs-verity on file open Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 17/21] xfs: add fs-verity ioctls Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:36 ` [PATCH v17 18/21] xfs: advertise fs-verity being available on filesystem Andrey Albershteyn
2026-10-02 22:36 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:37 ` [PATCH v17 19/21] xfs: check and repair the verity inode flag state Andrey Albershteyn
2026-10-02 22:37 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:37 ` [PATCH v17 20/21] xfs: introduce health state for corrupted fsverity metadata Andrey Albershteyn
2026-10-02 22:37 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 22:37 ` [PATCH v17 21/21] xfs: enable ro-compat fs-verity flag Andrey Albershteyn
2026-10-02 22:37 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-03 1:34 ` sashiko-bot
2026-10-03 1:34 ` sashiko-bot--- via Linux-f2fs-devel
2026-10-02 23:25 ` [PATCH v17 00/21] fs-verity support for XFS with post EOF merkle tree Eric Biggers
2026-10-02 23:25 ` [f2fs-dev] " Eric Biggers via Linux-f2fs-devel
2026-10-03 12:07 ` Carlos Maiolino
2026-10-03 12:07 ` [f2fs-dev] " Carlos Maiolino via Linux-f2fs-devel
2026-10-05 11:26 ` Andrey Albershteyn
2026-10-05 11:26 ` [f2fs-dev] " Andrey Albershteyn via Linux-f2fs-devel
2026-10-05 13:30 ` Eric Biggers
2026-10-05 13:30 ` [f2fs-dev] " Eric Biggers via Linux-f2fs-devel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20261005211235.GF2705364@frogsfrogsfrogs \
--to=djwong@kernel.org \
--cc=aalbersh@kernel.org \
--cc=cem@kernel.org \
--cc=david@fromorbit.com \
--cc=ebiggers@kernel.org \
--cc=fsverity@lists.linux.dev \
--cc=hch@lst.de \
--cc=linux-btrfs@vger.kernel.org \
--cc=linux-ext4@vger.kernel.org \
--cc=linux-f2fs-devel@lists.sourceforge.net \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-unionfs@vger.kernel.org \
--cc=linux-xfs@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.