Re: [patch 05/22] cleanup the inode reclaim path

Dave Chinner
2008-12-03T02:34:57Z

On Tue, Dec 02, 2008 at 11:04:35AM -0500, Christoph Hellwig wrote:
> Merge xfs_iextract and xfs_idestory into xfs_ireclaim as they are never
xfs_idestroy
> called individually. Also rewrite most comments in this area as they
> were serverly out of date.
severely

>
> Signed-off-by: Christoph Hellwig <hch@lst.de>
>
> Index: xfs-master/fs/xfs/xfs_iget.c
> ===================================================================
> --- xfs-master.orig/fs/xfs/xfs_iget.c 2008-12-01 19:26:04.000000000 +0100
> +++ xfs-master/fs/xfs/xfs_iget.c 2008-12-01 19:27:15.000000000 +0100
> @@ -450,65 +450,109 @@ xfs_iput_new(
> IRELE(ip);
> }
>
> -
> /*
> - * This routine embodies the part of the reclaim code that pulls
> - * the inode from the inode hash table and the mount structure's
> - * inode list.
> - * This should only be called from xfs_reclaim().
> + * This is called free all the memory associated with an inode.
* xfs_ireclaim is called to free....

> + * It must free the inode itself and any buffers allocated for
> + * if_extents/if_data and if_broot. It must also free the lock
> + * associated with the inode.
> + *
> + * Note: because we don't initialise everything on reallocation out
> + * of the zone, we must ensure we nullify everything correctly before
> + * freeing the structure.
> */
> void
> -xfs_ireclaim(xfs_inode_t *ip)
> +xfs_ireclaim(
> + struct xfs_inode *ip)
> {
> - /*
> - * Remove from old hash list and mount list.
> - */
> - XFS_STATS_INC(xs_ig_reclaims);
> + struct xfs_mount *mp = ip->i_mount;
> + struct xfs_perag *pag;
>
> - xfs_iextract(ip);
> + XFS_STATS_INC(xs_ig_reclaims);
>
> /*
> - * Here we do a spurious inode lock in order to coordinate with inode
> - * cache radix tree lookups. This is because the lookup can reference
> - * the inodes in the cache without taking references. We make that OK
> - * here by ensuring that we wait until the inode is unlocked after the
> - * lookup before we go ahead and free it. We get both the ilock and
> - * the iolock because the code may need to drop the ilock one but will
> - * still hold the iolock.
> + * Remove the inode from the per-AG radix tree. It doesn't matter
> + * if it was never added to it because radix_tree_delete can deal
> + * with that case just fine.
> */
> - xfs_ilock(ip, XFS_ILOCK_EXCL | XFS_IOLOCK_EXCL);
> + pag = xfs_get_perag(mp, ip->i_ino);
> + write_lock(&pag->pag_ici_lock);
> + radix_tree_delete(&pag->pag_ici_root, XFS_INO_TO_AGINO(mp, ip->i_ino));
> + write_unlock(&pag->pag_ici_lock);
> + xfs_put_perag(mp, pag);
>
> /*
> - * Release dquots (and their references) if any. An inode may escape
> - * xfs_inactive and get here via vn_alloc->vn_reclaim path.
> + * Here we do an (almost) spurious inode lock in order to coordinate
> + * with inode cache radix tree lookups. This is because the lookup
> + * can reference the inodes in the cache without taking references.
> + *
> + * We make that OK here by ensuring that we wait until the inode is
> + * unlocked after the lookup before we go ahead and free it. We get
> + * both the ilock and the iolock because the code may need to drop the
> + * ilock one but will still hold the iolock.
> */

Hmmm - I need to check if this is still true. We now use igrab() to
get a reference on all lookups except the reclaim lookup. In the
case of a racing reclaim lookup, we check for the reclaim
flags on the inode after the lookup but before we try to lock the
inode. Hence this lock check probably doesn't do anything anymore,
but I need to look a bit closer....

Other than the typos, the code looks ok, so:

Reviewed-by: Dave Chinner <david@fromorbit.com>

Cheers,

Dave.
--
Dave Chinner
david@fromorbit.com