From: Brian Foster <bfoster@redhat.com>
To: "Darrick J. Wong" <darrick.wong@oracle.com>
Cc: linux-xfs@vger.kernel.org
Subject: Re: [PATCH 06/10] xfs: refactor inode unlinked pointer update functions
Date: Tue, 5 Feb 2019 09:23:45 -0500 [thread overview]
Message-ID: <20190205142344.GA51421@bfoster> (raw)
In-Reply-To: <154930318001.31814.5345699579287768446.stgit@magnolia>
On Mon, Feb 04, 2019 at 09:59:40AM -0800, Darrick J. Wong wrote:
> From: Darrick J. Wong <darrick.wong@oracle.com>
>
> Hoist the functions that update an inode's unlinked pointer updates into
> a helper. No functional changes.
>
> Signed-off-by: Darrick J. Wong <darrick.wong@oracle.com>
> ---
Looks fine modulo Christoph's comment:
Reviewed-by: Brian Foster <bfoster@redhat.com>
> fs/xfs/xfs_inode.c | 191 +++++++++++++++++++++++++++-------------------------
> fs/xfs/xfs_trace.h | 26 +++++++
> 2 files changed, 124 insertions(+), 93 deletions(-)
>
>
> diff --git a/fs/xfs/xfs_inode.c b/fs/xfs/xfs_inode.c
> index 9c17ae95b18f..f23f13f0f2e6 100644
> --- a/fs/xfs/xfs_inode.c
> +++ b/fs/xfs/xfs_inode.c
> @@ -1917,6 +1917,85 @@ xfs_iunlink_update_bucket(
> return 0;
> }
>
> +/* Set an on-disk inode's next_unlinked pointer. */
> +STATIC void
> +xfs_iunlink_update_dinode(
> + struct xfs_trans *tp,
> + xfs_agnumber_t agno,
> + struct xfs_buf *ibp,
> + struct xfs_dinode *dip,
> + struct xfs_imap *imap,
> + xfs_ino_t ino,
> + xfs_agino_t next_agino)
> +{
> + struct xfs_mount *mp = tp->t_mountp;
> + int offset;
> +
> + ASSERT(xfs_verify_agino_or_null(mp, agno, next_agino));
> +
> + trace_xfs_iunlink_update_dinode(mp, agno, XFS_INO_TO_AGINO(mp, ino),
> + be32_to_cpu(dip->di_next_unlinked), next_agino);
> +
> + dip->di_next_unlinked = cpu_to_be32(next_agino);
> + offset = imap->im_boffset +
> + offsetof(struct xfs_dinode, di_next_unlinked);
> +
> + /* need to recalc the inode CRC if appropriate */
> + xfs_dinode_calc_crc(mp, dip);
> + xfs_trans_inode_buf(tp, ibp);
> + xfs_trans_log_buf(tp, ibp, offset, offset + sizeof(xfs_agino_t) - 1);
> + xfs_inobp_check(mp, ibp);
> +}
> +
> +/* Set an in-core inode's unlinked pointer and return the old value. */
> +STATIC int
> +xfs_iunlink_update_inode(
> + struct xfs_trans *tp,
> + struct xfs_inode *ip,
> + xfs_agnumber_t agno,
> + xfs_agino_t next_agino,
> + xfs_agino_t *old_next_agino)
> +{
> + struct xfs_mount *mp = tp->t_mountp;
> + struct xfs_dinode *dip;
> + struct xfs_buf *ibp;
> + xfs_agino_t old_value;
> + int error;
> +
> + ASSERT(xfs_verify_agino_or_null(mp, agno, next_agino));
> +
> + error = xfs_imap_to_bp(mp, tp, &ip->i_imap, &dip, &ibp, 0, 0);
> + if (error)
> + return error;
> +
> + /* Make sure the old pointer isn't garbage. */
> + old_value = be32_to_cpu(dip->di_next_unlinked);
> + if (old_value != NULLAGINO && !xfs_verify_agino(mp, agno, old_value)) {
> + error = -EFSCORRUPTED;
> + goto out;
> + }
> +
> + /*
> + * Since we're updating a linked list, we should never find that the
> + * current pointer is the same as the new value, unless we're
> + * terminating the list.
> + */
> + *old_next_agino = old_value;
> + if (old_value == next_agino) {
> + if (next_agino != NULLAGINO)
> + error = -EFSCORRUPTED;
> + goto out;
> + }
> +
> + /* Ok, update the new pointer. */
> + xfs_iunlink_update_dinode(tp, agno, ibp, dip, &ip->i_imap, ip->i_ino,
> + next_agino);
> + return 0;
> +out:
> + xfs_trans_brelse(tp, ibp);
> + return error;
> +}
> +
> /*
> * This is called when the inode's link count goes to 0 or we are creating a
> * tmpfile via O_TMPFILE. In the case of a tmpfile, @ignore_linkcount will be
> @@ -1934,15 +2013,12 @@ xfs_iunlink(
> {
> struct xfs_mount *mp = tp->t_mountp;
> struct xfs_agi *agi;
> - struct xfs_dinode *dip;
> struct xfs_buf *agibp;
> - struct xfs_buf *ibp;
> struct xfs_perag *pag;
> xfs_agino_t next_agino;
> xfs_agnumber_t agno = XFS_INO_TO_AGNO(mp, ip->i_ino);
> xfs_agino_t agino = XFS_INO_TO_AGINO(mp, ip->i_ino);
> short bucket_index = agino % XFS_AGI_UNLINKED_BUCKETS;
> - int offset;
> int error;
>
> ASSERT(VFS_I(ip)->i_mode != 0);
> @@ -1963,33 +2039,21 @@ xfs_iunlink(
> if (next_agino == agino ||
> !xfs_verify_agino_or_null(mp, agno, next_agino)) {
> error = -EFSCORRUPTED;
> - return error;
> + goto out;
> }
>
> if (next_agino != NULLAGINO) {
> + xfs_agino_t old_agino;
> +
> /*
> - * There is already another inode in the bucket we need
> - * to add ourselves to. Add us at the front of the list.
> - * Here we put the head pointer into our next pointer,
> - * and then we fall through to point the head at us.
> + * There is already another inode in the bucket, so point this
> + * inode to the current head of the list.
> */
> - error = xfs_imap_to_bp(mp, tp, &ip->i_imap, &dip, &ibp,
> - 0, 0);
> + error = xfs_iunlink_update_inode(tp, ip, agno, next_agino,
> + &old_agino);
> if (error)
> goto out;
> -
> - ASSERT(dip->di_next_unlinked == cpu_to_be32(NULLAGINO));
> - dip->di_next_unlinked = agi->agi_unlinked[bucket_index];
> - offset = ip->i_imap.im_boffset +
> - offsetof(xfs_dinode_t, di_next_unlinked);
> -
> - /* need to recalc the inode CRC if appropriate */
> - xfs_dinode_calc_crc(mp, dip);
> -
> - xfs_trans_inode_buf(tp, ibp);
> - xfs_trans_log_buf(tp, ibp, offset,
> - (offset + sizeof(xfs_agino_t) - 1));
> - xfs_inobp_check(mp, ibp);
> + ASSERT(old_agino == NULLAGINO);
> }
>
> /* Point the head of the list to point to this inode. */
> @@ -2012,9 +2076,7 @@ xfs_iunlink_remove(
> {
> struct xfs_mount *mp = tp->t_mountp;
> struct xfs_agi *agi;
> - struct xfs_dinode *dip;
> struct xfs_buf *agibp;
> - struct xfs_buf *ibp;
> struct xfs_buf *last_ibp;
> struct xfs_dinode *last_dip = NULL;
> struct xfs_perag *pag;
> @@ -2023,8 +2085,6 @@ xfs_iunlink_remove(
> xfs_agino_t agino = XFS_INO_TO_AGINO(mp, ip->i_ino);
> xfs_agino_t next_agino;
> short bucket_index = agino % XFS_AGI_UNLINKED_BUCKETS;
> - int offset;
> - int last_offset = 0;
> int error;
>
> pag = xfs_perag_get(mp, agno);
> @@ -2051,34 +2111,11 @@ xfs_iunlink_remove(
> /*
> * We're at the head of the list. Get the inode's on-disk
> * buffer to see if there is anyone after us on the list.
> - * Only modify our next pointer if it is not already NULLAGINO.
> - * This saves us the overhead of dealing with the buffer when
> - * there is no need to change it.
> */
> - error = xfs_imap_to_bp(mp, tp, &ip->i_imap, &dip, &ibp,
> - 0, 0);
> - if (error) {
> - xfs_warn(mp, "%s: xfs_imap_to_bp returned error %d.",
> - __func__, error);
> + error = xfs_iunlink_update_inode(tp, ip, agno, NULLAGINO,
> + &next_agino);
> + if (error)
> goto out;
> - }
> - next_agino = be32_to_cpu(dip->di_next_unlinked);
> - ASSERT(next_agino != 0);
> - if (next_agino != NULLAGINO) {
> - dip->di_next_unlinked = cpu_to_be32(NULLAGINO);
> - offset = ip->i_imap.im_boffset +
> - offsetof(xfs_dinode_t, di_next_unlinked);
> -
> - /* need to recalc the inode CRC if appropriate */
> - xfs_dinode_calc_crc(mp, dip);
> -
> - xfs_trans_inode_buf(tp, ibp);
> - xfs_trans_log_buf(tp, ibp, offset,
> - (offset + sizeof(xfs_agino_t) - 1));
> - xfs_inobp_check(mp, ibp);
> - } else {
> - xfs_trans_brelse(tp, ibp);
> - }
>
> /* Point the head of the list to the next unlinked inode. */
> error = xfs_iunlink_update_bucket(tp, agno, agibp, bucket_index,
> @@ -2086,13 +2123,13 @@ xfs_iunlink_remove(
> if (error)
> goto out;
> } else {
> + struct xfs_imap imap;
> +
> /*
> * We need to search the list for the inode being freed.
> */
> last_ibp = NULL;
> while (next_agino != agino) {
> - struct xfs_imap imap;
> -
> if (last_ibp)
> xfs_trans_brelse(tp, last_ibp);
>
> @@ -2116,7 +2153,6 @@ xfs_iunlink_remove(
> goto out;
> }
>
> - last_offset = imap.im_boffset;
> next_agino = be32_to_cpu(last_dip->di_next_unlinked);
> if (!xfs_verify_agino(mp, agno, next_agino)) {
> XFS_CORRUPTION_ERROR(__func__,
> @@ -2131,45 +2167,14 @@ xfs_iunlink_remove(
> * Now last_ibp points to the buffer previous to us on the
> * unlinked list. Pull us from the list.
> */
> - error = xfs_imap_to_bp(mp, tp, &ip->i_imap, &dip, &ibp,
> - 0, 0);
> - if (error) {
> - xfs_warn(mp, "%s: xfs_imap_to_bp(2) returned error %d.",
> - __func__, error);
> + error = xfs_iunlink_update_inode(tp, ip, agno, NULLAGINO,
> + &next_agino);
> + if (error)
> goto out;
> - }
> - next_agino = be32_to_cpu(dip->di_next_unlinked);
> - ASSERT(next_agino != 0);
> - ASSERT(next_agino != agino);
> - if (next_agino != NULLAGINO) {
> - dip->di_next_unlinked = cpu_to_be32(NULLAGINO);
> - offset = ip->i_imap.im_boffset +
> - offsetof(xfs_dinode_t, di_next_unlinked);
> -
> - /* need to recalc the inode CRC if appropriate */
> - xfs_dinode_calc_crc(mp, dip);
> -
> - xfs_trans_inode_buf(tp, ibp);
> - xfs_trans_log_buf(tp, ibp, offset,
> - (offset + sizeof(xfs_agino_t) - 1));
> - xfs_inobp_check(mp, ibp);
> - } else {
> - xfs_trans_brelse(tp, ibp);
> - }
> - /*
> - * Point the previous inode on the list to the next inode.
> - */
> - last_dip->di_next_unlinked = cpu_to_be32(next_agino);
> - ASSERT(next_agino != 0);
> - offset = last_offset + offsetof(xfs_dinode_t, di_next_unlinked);
> -
> - /* need to recalc the inode CRC if appropriate */
> - xfs_dinode_calc_crc(mp, last_dip);
>
> - xfs_trans_inode_buf(tp, last_ibp);
> - xfs_trans_log_buf(tp, last_ibp, offset,
> - (offset + sizeof(xfs_agino_t) - 1));
> - xfs_inobp_check(mp, last_ibp);
> + /* Point the previous inode on the list to the next inode. */
> + xfs_iunlink_update_dinode(tp, agno, last_ibp, last_dip, &imap,
> + next_ino, next_agino);
> }
> pag->pagi_unlinked_count--;
> out:
> diff --git a/fs/xfs/xfs_trace.h b/fs/xfs/xfs_trace.h
> index c10478e7e49a..fbec8f0e1a9a 100644
> --- a/fs/xfs/xfs_trace.h
> +++ b/fs/xfs/xfs_trace.h
> @@ -3397,6 +3397,32 @@ TRACE_EVENT(xfs_iunlink_update_bucket,
> __entry->new_ptr)
> );
>
> +TRACE_EVENT(xfs_iunlink_update_dinode,
> + TP_PROTO(struct xfs_mount *mp, xfs_agnumber_t agno, xfs_agino_t agino,
> + xfs_agino_t old_ptr, xfs_agino_t new_ptr),
> + TP_ARGS(mp, agno, agino, old_ptr, new_ptr),
> + TP_STRUCT__entry(
> + __field(dev_t, dev)
> + __field(xfs_agnumber_t, agno)
> + __field(xfs_agino_t, agino)
> + __field(xfs_agino_t, old_ptr)
> + __field(xfs_agino_t, new_ptr)
> + ),
> + TP_fast_assign(
> + __entry->dev = mp->m_super->s_dev;
> + __entry->agno = agno;
> + __entry->agino = agino;
> + __entry->old_ptr = old_ptr;
> + __entry->new_ptr = new_ptr;
> + ),
> + TP_printk("dev %d:%d agno %u agino 0x%x old 0x%x new 0x%x",
> + MAJOR(__entry->dev), MINOR(__entry->dev),
> + __entry->agno,
> + __entry->agino,
> + __entry->old_ptr,
> + __entry->new_ptr)
> +);
> +
> #endif /* _TRACE_XFS_H */
>
> #undef TRACE_INCLUDE_PATH
>
next prev parent reply other threads:[~2019-02-05 14:23 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-04 17:58 [PATCH v2 00/10] xfs: incore unlinked list Darrick J. Wong
2019-02-04 17:59 ` [PATCH 01/10] xfs: clean up iunlink functions Darrick J. Wong
2019-02-04 19:24 ` Brian Foster
2019-02-04 20:51 ` Christoph Hellwig
2019-02-04 17:59 ` [PATCH 02/10] xfs: track unlinked inode counts in per-ag data Darrick J. Wong
2019-02-04 19:24 ` Brian Foster
2019-02-04 20:53 ` Christoph Hellwig
2019-02-05 0:26 ` Darrick J. Wong
2019-02-05 6:55 ` Christoph Hellwig
2019-02-05 7:07 ` Darrick J. Wong
2019-02-05 0:42 ` Darrick J. Wong
2019-02-04 17:59 ` [PATCH 03/10] xfs: add xfs_verify_agino_or_null helper Darrick J. Wong
2019-02-04 19:24 ` Brian Foster
2019-02-04 20:53 ` Christoph Hellwig
2019-02-04 17:59 ` [PATCH 04/10] xfs: refactor AGI unlinked bucket updates Darrick J. Wong
2019-02-04 19:25 ` Brian Foster
2019-02-04 20:54 ` Christoph Hellwig
2019-02-04 17:59 ` [PATCH 05/10] xfs: strengthen AGI unlinked inode bucket pointer checks Darrick J. Wong
2019-02-04 17:59 ` [PATCH 06/10] xfs: refactor inode unlinked pointer update functions Darrick J. Wong
2019-02-04 20:56 ` Christoph Hellwig
2019-02-04 21:49 ` Darrick J. Wong
2019-02-05 14:23 ` Brian Foster [this message]
2019-02-04 17:59 ` [PATCH 07/10] xfs: refactor unlinked list search and mapping to a separate function Darrick J. Wong
2019-02-04 20:58 ` Christoph Hellwig
2019-02-04 22:23 ` Darrick J. Wong
2019-02-04 17:59 ` [PATCH 08/10] xfs: refactor inode update in iunlink_remove Darrick J. Wong
2019-02-04 20:58 ` Christoph Hellwig
2019-02-05 14:23 ` Brian Foster
2019-02-04 17:59 ` [PATCH 09/10] xfs: add tracepoints for high level iunlink operations Darrick J. Wong
2019-02-04 20:59 ` Christoph Hellwig
2019-02-05 14:24 ` Brian Foster
2019-02-04 18:00 ` [PATCH 10/10] xfs: cache unlinked pointers in an rhashtable Darrick J. Wong
2019-02-04 21:08 ` Christoph Hellwig
2019-02-05 1:02 ` Darrick J. Wong
2019-02-05 14:24 ` Brian Foster
2019-02-05 17:53 ` Darrick J. Wong
2019-02-05 17:57 ` Christoph Hellwig
2019-02-05 18:17 ` Darrick J. Wong
2019-02-05 19:06 ` Brian Foster
2019-02-05 19:20 ` Darrick J. Wong
2019-02-05 20:59 ` Dave Chinner
2019-02-06 18:25 ` Darrick J. Wong
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=20190205142344.GA51421@bfoster \
--to=bfoster@redhat.com \
--cc=darrick.wong@oracle.com \
--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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).