[Cluster-devel] [GFS2 PATCH v2] GFS2: Use local iopen glock holder in gfs2_evict_inode

Bob Peterson rpeterso at redhat.com
Thu Jun 16 15:51:07 UTC 2016


Self-NACK. While this patch seems to fix the problem, in theory
it should not be necessary because the i_iopen_gh that may be used
by other processes should be unique to I_NEW inode. So I still have
some investigating to do here. Sorry for the noise.

Bob Peterson
Red Hat File Systems
----- Original Message -----
| Hi,
| 
| I found a couple problems with the previous version of this patch
| during testing. Here is my replacement, version 2.
| 
| Patch description:
| 
| Before this patch, function gfs2_evict_inode unlocked the iopen
| glock (from SH), waited for completion, then locked it again in
| EXclusive mode. That's all well and good except that other processes
| (not in gfs2_evict_inode) can try to do lookups, and function
| gfs2_inode_lookup tries to lock the iopen glock in SH again. This
| second lookup can and does wipe out the holder's pid with getpid().
| The first putpid (from glock_holder_uninit) will be successful, but
| the second one will crash the kernel with:
| BUG: unable to handle kernel paging request
| This patch introduces a holder variable, io_gh, local to function
| gfs2_evict_inode, which will keep its own getpid() and subsequent
| putpid() from interfering with one another. So simultaneous inode
| lookups won't change the value out from under gfs2_evict_inode.
| 
| Signed-off-by: Bob Peterson <rpeterso at redhat.com>
| ---
|  fs/gfs2/super.c | 25 ++++++++++++++++---------
|  1 file changed, 16 insertions(+), 9 deletions(-)
| 
| diff --git a/fs/gfs2/super.c b/fs/gfs2/super.c
| index 9b2ff353..21a8ba8 100644
| --- a/fs/gfs2/super.c
| +++ b/fs/gfs2/super.c
| @@ -1518,7 +1518,7 @@ static void gfs2_evict_inode(struct inode *inode)
|  	struct super_block *sb = inode->i_sb;
|  	struct gfs2_sbd *sdp = sb->s_fs_info;
|  	struct gfs2_inode *ip = GFS2_I(inode);
| -	struct gfs2_holder gh;
| +	struct gfs2_holder gh, iopen_gh;
|  	struct address_space *metamapping;
|  	int error;
|  
| @@ -1527,6 +1527,7 @@ static void gfs2_evict_inode(struct inode *inode)
|  		return;
|  	}
|  
| +	memset(&iopen_gh, 0, sizeof(iopen_gh));
|  	if (inode->i_nlink || (sb->s_flags & MS_RDONLY))
|  		goto out;
|  
| @@ -1555,9 +1556,15 @@ static void gfs2_evict_inode(struct inode *inode)
|  	    test_bit(HIF_HOLDER, &ip->i_iopen_gh.gh_iflags)) {
|  		ip->i_iopen_gh.gh_flags |= GL_NOCACHE;
|  		gfs2_glock_dq_wait(&ip->i_iopen_gh);
| -		gfs2_holder_reinit(LM_ST_EXCLUSIVE, LM_FLAG_TRY_1CB | GL_NOCACHE,
| -				   &ip->i_iopen_gh);
| -		error = gfs2_glock_nq(&ip->i_iopen_gh);
| +		/* This is subtle: Now we need to uninit the i_iopen_holder,
| +		   but if we do that before we obtain the new reference with
| +		   the local holder, the uninit's glock_put will free the
| +		   glock, which causes the new ref. to crash. So we need to do
| +		   this in a very specific order. Can't use glock_nq_init. */
| +		gfs2_holder_init(ip->i_iopen_gh.gh_gl, LM_ST_EXCLUSIVE,
| +				 LM_FLAG_TRY_1CB | GL_NOCACHE, &iopen_gh);
| +		gfs2_holder_uninit(&ip->i_iopen_gh);
| +		error = gfs2_glock_nq(&iopen_gh);
|  		if (error)
|  			goto out_truncate;
|  	}
| @@ -1610,12 +1617,12 @@ out_unlock:
|  	if (gfs2_rs_active(&ip->i_res))
|  		gfs2_rs_deltree(&ip->i_res);
|  
| -	if (ip->i_iopen_gh.gh_gl) {
| -		if (test_bit(HIF_HOLDER, &ip->i_iopen_gh.gh_iflags)) {
| -			ip->i_iopen_gh.gh_flags |= GL_NOCACHE;
| -			gfs2_glock_dq_wait(&ip->i_iopen_gh);
| +	if (iopen_gh.gh_gl) {
| +		if (test_bit(HIF_HOLDER, &iopen_gh.gh_iflags)) {
| +			iopen_gh.gh_flags |= GL_NOCACHE;
| +			gfs2_glock_dq_wait(&iopen_gh);
|  		}
| -		gfs2_holder_uninit(&ip->i_iopen_gh);
| +		gfs2_holder_uninit(&iopen_gh);
|  	}
|  	gfs2_glock_dq_uninit(&gh);
|  	if (error && error != GLR_TRYFAILED && error != -EROFS)
| 
| 




More information about the Cluster-devel mailing list