Re: [PATCH] xfs: Fix a deadlock in xfs_log_commit_cil() code path

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, 2013-07-18 at 12:24 +1000, Dave Chinner wrote:
> On Wed, Jul 17, 2013 at 04:32:55PM -0500, Chandra Seetharaman wrote:
> > On Tue, 2013-07-16 at 10:54 +1000, Dave Chinner wrote:
> > > On Mon, Jul 15, 2013 at 05:52:34PM -0500, Chandra Seetharaman wrote:
> > > > While testing and rearranging my pquota/gquota code, I stumbled
> > > > on a xfs_shutdown() during a mount. But the mount just hung.
> > > > 
> > > > I debugged and found that there is a deadlock involving
> > > > &log->l_cilp->xc_ctx_lock.
> > > > 
> > > > It is in a code path where &log->l_cilp->xc_ctx_lock is first
> > > > acquired in read mode and some levels down the same semaphore
> > > > is being acquired in write mode causing a deadlock.
> > > > 
> > > > This is the stack:
> > > > xfs_log_commit_cil -> acquires &log->l_cilp->xc_ctx_lock in read mode
> > > >   xlog_print_tic_res
> > > >     xfs_force_shutdown
> > > >       xfs_log_force_umount
> > > >         xlog_cil_force
> > > >           xlog_cil_force_lsn
> > > >             xlog_cil_push_foreground
> > > >               xlog_cil_push - tries to acquire same semaphore in write mode
> > > > 
> > > > This patch fixes the deadlock by not calling xfs_force_shutdown() while
> > > > holding the semaphore, instead calling it after dropping teh semaphore.
> > > > 
> > > > Thanks to Dave for suggesting this solution.
> > > > 
> > > > Signed-off-by: Chandra Seetharaman <sekharan@xxxxxxxxxx>
> > > > 
> > > > ---
> > > >  fs/xfs/xfs_log.c      |    6 +++---
> > > >  fs/xfs/xfs_log_cil.c  |   10 ++++++----
> > > >  fs/xfs/xfs_log_priv.h |    2 +-
> > > >  fs/xfs/xfs_trans.c    |    2 +-
> > > >  4 files changed, 11 insertions(+), 9 deletions(-)
> > > > 
> > > > diff --git a/fs/xfs/xfs_log.c b/fs/xfs/xfs_log.c
> > > > index d852a2b..b9fa2da 100644
> > > > --- a/fs/xfs/xfs_log.c
> > > > +++ b/fs/xfs/xfs_log.c
> > > > @@ -1837,7 +1837,7 @@ xlog_state_finish_copy(
> > > >   * print out info relating to regions written which consume
> > > >   * the reservation
> > > >   */
> > > > -void
> > > > +int
> > > >  xlog_print_tic_res(
> > > >  	struct xfs_mount	*mp,
> > > >  	struct xlog_ticket	*ticket)
> > > > @@ -1941,7 +1941,7 @@ xlog_print_tic_res(
> > > >  
> > > >  	xfs_alert_tag(mp, XFS_PTAG_LOGRES,
> > > >  		"xlog_write: reservation ran out. Need to up reservation");
> > > > -	xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
> > > > +	return EFSCORRUPTED;
> > > 
> > > Note the "SHUTDOWN_CORRUPT_INCORE" reason given here....
> > > 
> > > > diff --git a/fs/xfs/xfs_trans.c b/fs/xfs/xfs_trans.c
> > > > index 35a2299..d96022f 100644
> > > > --- a/fs/xfs/xfs_trans.c
> > > > +++ b/fs/xfs/xfs_trans.c
> > > > @@ -1547,7 +1547,7 @@ xfs_trans_commit(
> > > >  	xfs_trans_apply_dquot_deltas(tp);
> > > >  
> > > >  	error = xfs_log_commit_cil(mp, tp, &commit_lsn, flags);
> > > > -	if (error == ENOMEM) {
> > > > +	if (error) {
> > > >  		xfs_force_shutdown(mp, SHUTDOWN_LOG_IO_ERROR);
> > > 
> > > Which is different to the reason given here. The shutdown reason
> > > should be maintained for this particular error....
> > 
> > I see.
> 
> What I mean is that the code in xfs_trans_commit() should do
> something like:
> 
> 	if (error) {
> 		int reason = SHUTDOWN_LOG_IO_ERROR;
> 		if (error == EFSCORRUPTED)
> 			reason = SHUTDOWN_CORRUPT_INCORE;
> 		xfs_force_shutdown(mp, reason);
> 		....
> 	}
> 
> > 
> > Is it ok if the error reason is not propagated to the xlog_write() code
> > path ?
> 
> No - if we get a transaction overflow, we need to trigger a
> shutdown. That means the error needs to be caught by the
> xlog_write() path an the filesystem shut down.
> 
> Looking at it more deeply, you could probably just change the
> shutdown in xlog_print_tic_res() to use SHUTDOWN_LOG_IO_ERROR and
> the problem is solved as the shutdown won't try to force the
> log. i.e. this whole problem will go away with that one line fix...

I am confused.

In the previous response you mentioned that we have to propagate the
reason as-is in xfs_trans_commit() path. But, the new suggestion you are
making will change the behavior of all paths and they will not enter
xfs_log_force_umount().

Besides, IIUC, XFS_MOUNT_FS_SHUTDOWN is set only in
xfs_log_force_umount(), so the very first time we enter
xlog_print_tic_res(), even with SHUTDOWN_LOG_IO_ERROR we will call
xfs_log_force_umount() when can lead to the deadlock we are trying to
avoid.

  
> 
> Cheers,
> 
> Dave.


_______________________________________________
xfs mailing list
xfs@xxxxxxxxxxx
http://oss.sgi.com/mailman/listinfo/xfs




[Index of Archives]     [Linux XFS Devel]     [Linux Filesystem Development]     [Filesystem Testing]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux