Skip to content

Commit

Permalink
xfs: XLOG_STATE_IOERROR must die
Browse files Browse the repository at this point in the history
We don't need an iclog state field to tell us the log has been shut
down. We can just check the xlog_is_shutdown() instead. The avoids
the need to have shutdown overwrite the current iclog state while
being active used by the log code and so having to ensure that every
iclog state check handles XLOG_STATE_IOERROR appropriately.

Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Christoph Hellwig <hch@lst.de>
Reviewed-by: Darrick J. Wong <djwong@kernel.org>
Signed-off-by: Darrick J. Wong <djwong@kernel.org>
  • Loading branch information
Dave Chinner authored and Darrick J. Wong committed Aug 16, 2021
1 parent 2039a27 commit 5112e20
Show file tree
Hide file tree
Showing 4 changed files with 32 additions and 83 deletions.
108 changes: 30 additions & 78 deletions fs/xfs/xfs_log.c
Original file line number Diff line number Diff line change
Expand Up @@ -523,7 +523,7 @@ xlog_state_release_iclog(
lockdep_assert_held(&log->l_icloglock);

trace_xlog_iclog_release(iclog, _RET_IP_);
if (iclog->ic_state == XLOG_STATE_IOERROR)
if (xlog_is_shutdown(log))
return -EIO;

/*
Expand Down Expand Up @@ -893,7 +893,7 @@ xlog_unmount_write(
error = xlog_write_unmount_record(log, tic);
/*
* At this point, we're umounting anyway, so there's no point in
* transitioning log state to IOERROR. Just continue...
* transitioning log state to shutdown. Just continue...
*/
out_err:
if (error)
Expand Down Expand Up @@ -1837,7 +1837,7 @@ xlog_write_iclog(
* across the log IO to archieve that.
*/
down(&iclog->ic_sema);
if (unlikely(iclog->ic_state == XLOG_STATE_IOERROR)) {
if (xlog_is_shutdown(log)) {
/*
* It would seem logical to return EIO here, but we rely on
* the log state machine to propagate I/O errors instead of
Expand Down Expand Up @@ -2376,7 +2376,7 @@ xlog_write_copy_finish(
xlog_state_switch_iclogs(log, iclog, 0);
else
ASSERT(iclog->ic_state == XLOG_STATE_WANT_SYNC ||
iclog->ic_state == XLOG_STATE_IOERROR);
xlog_is_shutdown(log));
if (!commit_iclog)
goto release_iclog;
spin_unlock(&log->l_icloglock);
Expand Down Expand Up @@ -2793,8 +2793,7 @@ xlog_state_set_callback(
static bool
xlog_state_iodone_process_iclog(
struct xlog *log,
struct xlog_in_core *iclog,
bool *ioerror)
struct xlog_in_core *iclog)
{
xfs_lsn_t lowest_lsn;
xfs_lsn_t header_lsn;
Expand All @@ -2806,15 +2805,6 @@ xlog_state_iodone_process_iclog(
* Skip all iclogs in the ACTIVE & DIRTY states:
*/
return false;
case XLOG_STATE_IOERROR:
/*
* Between marking a filesystem SHUTDOWN and stopping the log,
* we do flush all iclogs to disk (if there wasn't a log I/O
* error). So, we do want things to go smoothly in case of just
* a SHUTDOWN w/o a LOG_IO_ERROR.
*/
*ioerror = true;
return false;
case XLOG_STATE_DONE_SYNC:
/*
* Now that we have an iclog that is in the DONE_SYNC state, do
Expand Down Expand Up @@ -2845,7 +2835,6 @@ xlog_state_do_callback(
struct xlog_in_core *iclog;
struct xlog_in_core *first_iclog;
bool cycled_icloglock;
bool ioerror;
int flushcnt = 0;
int repeats = 0;

Expand All @@ -2859,23 +2848,20 @@ xlog_state_do_callback(
* Keep looping through iclogs until one full pass is made
* without running any callbacks.
*/
first_iclog = log->l_iclog;
iclog = log->l_iclog;
cycled_icloglock = false;
ioerror = false;
repeats++;
first_iclog = log->l_iclog;
iclog = first_iclog;

do {
LIST_HEAD(cb_list);

if (xlog_state_iodone_process_iclog(log, iclog,
&ioerror))
break;

if (iclog->ic_state != XLOG_STATE_CALLBACK &&
iclog->ic_state != XLOG_STATE_IOERROR) {
iclog = iclog->ic_next;
continue;
if (!xlog_is_shutdown(log)) {
if (xlog_state_iodone_process_iclog(log, iclog))
break;
if (iclog->ic_state != XLOG_STATE_CALLBACK) {
iclog = iclog->ic_next;
continue;
}
}
list_splice_init(&iclog->ic_callbacks, &cb_list);
spin_unlock(&log->l_icloglock);
Expand All @@ -2891,19 +2877,19 @@ xlog_state_do_callback(
else
xlog_state_clean_iclog(log, iclog);
iclog = iclog->ic_next;
} while (first_iclog != iclog);
} while (iclog != first_iclog);

if (repeats > 5000) {
if (++repeats > 5000) {
flushcnt += repeats;
repeats = 0;
xfs_warn(log->l_mp,
"%s: possible infinite loop (%d iterations)",
__func__, flushcnt);
}
} while (!ioerror && cycled_icloglock);
} while (!xlog_is_shutdown(log) && cycled_icloglock);

if (log->l_iclog->ic_state == XLOG_STATE_ACTIVE ||
log->l_iclog->ic_state == XLOG_STATE_IOERROR)
xlog_is_shutdown(log))
wake_up_all(&log->l_flush_wait);

spin_unlock(&log->l_icloglock);
Expand All @@ -2913,13 +2899,6 @@ xlog_state_do_callback(
/*
* Finish transitioning this iclog to the dirty state.
*
* Make sure that we completely execute this routine only when this is
* the last call to the iclog. There is a good chance that iclog flushes,
* when we reach the end of the physical log, get turned into 2 separate
* calls to bwrite. Hence, one iclog flush could generate two calls to this
* routine. By using the reference count bwritecnt, we guarantee that only
* the second completion goes through.
*
* Callbacks could take time, so they are done outside the scope of the
* global state machine log lock.
*/
Expand Down Expand Up @@ -3279,10 +3258,10 @@ xfs_log_force(
xlog_cil_force(log);

spin_lock(&log->l_icloglock);
iclog = log->l_iclog;
if (iclog->ic_state == XLOG_STATE_IOERROR)
if (xlog_is_shutdown(log))
goto out_error;

iclog = log->l_iclog;
trace_xlog_iclog_force(iclog, _RET_IP_);

if (iclog->ic_state == XLOG_STATE_DIRTY ||
Expand Down Expand Up @@ -3348,10 +3327,10 @@ xlog_force_lsn(
bool completed;

spin_lock(&log->l_icloglock);
iclog = log->l_iclog;
if (iclog->ic_state == XLOG_STATE_IOERROR)
if (xlog_is_shutdown(log))
goto out_error;

iclog = log->l_iclog;
while (be64_to_cpu(iclog->ic_header.h_lsn) != lsn) {
trace_xlog_iclog_force_lsn(iclog, _RET_IP_);
iclog = iclog->ic_next;
Expand Down Expand Up @@ -3806,34 +3785,6 @@ xlog_verify_iclog(
}
#endif

/*
* Mark all iclogs IOERROR. l_icloglock is held by the caller.
*/
STATIC int
xlog_state_ioerror(
struct xlog *log)
{
xlog_in_core_t *iclog, *ic;

iclog = log->l_iclog;
if (iclog->ic_state != XLOG_STATE_IOERROR) {
/*
* Mark all the incore logs IOERROR.
* From now on, no log flushes will result.
*/
ic = iclog;
do {
ic->ic_state = XLOG_STATE_IOERROR;
ic = ic->ic_next;
} while (ic != iclog);
return 0;
}
/*
* Return non-zero, if state transition has already happened.
*/
return 1;
}

/*
* This is called from xfs_force_shutdown, when we're forcibly
* shutting down the filesystem, typically because of an IO error.
Expand All @@ -3849,14 +3800,16 @@ xlog_state_ioerror(
* Note: for the !logerror case we need to flush the regions held in memory out
* to disk first. This needs to be done before the log is marked as shutdown,
* otherwise the iclog writes will fail.
*
* Return non-zero if log shutdown transition had already happened.
*/
int
xfs_log_force_umount(
struct xfs_mount *mp,
int logerror)
{
struct xlog *log;
int retval;
int retval = 0;

log = mp->m_log;

Expand All @@ -3876,10 +3829,8 @@ xfs_log_force_umount(
* Somebody could've already done the hard work for us.
* No need to get locks for this.
*/
if (logerror && log->l_iclog->ic_state == XLOG_STATE_IOERROR) {
ASSERT(xlog_is_shutdown(log));
if (logerror && xlog_is_shutdown(log))
return 1;
}

/*
* Flush all the completed transactions to disk before marking the log
Expand All @@ -3904,8 +3855,10 @@ xfs_log_force_umount(
* Mark the log and the iclogs with IO error flags to prevent any
* further log IO from being issued or completed.
*/
log->l_flags |= XLOG_IO_ERROR;
retval = xlog_state_ioerror(log);
if (!(log->l_flags & XLOG_IO_ERROR)) {
log->l_flags |= XLOG_IO_ERROR;
retval = 1;
}
spin_unlock(&log->l_icloglock);

/*
Expand All @@ -3929,7 +3882,6 @@ xfs_log_force_umount(
spin_unlock(&log->l_cilp->xc_push_lock);
xlog_state_do_callback(log);

/* return non-zero if log IOERROR transition had already happened */
return retval;
}

Expand Down
2 changes: 1 addition & 1 deletion fs/xfs/xfs_log_cil.c
Original file line number Diff line number Diff line change
Expand Up @@ -898,7 +898,7 @@ xlog_cil_push_work(
* callbacks and dropped the icloglock.
*/
spin_lock(&log->l_icloglock);
if (commit_iclog->ic_state == XLOG_STATE_IOERROR) {
if (xlog_is_shutdown(log)) {
spin_unlock(&log->l_icloglock);
goto out_abort;
}
Expand Down
4 changes: 1 addition & 3 deletions fs/xfs/xfs_log_priv.h
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,6 @@ enum xlog_iclog_state {
XLOG_STATE_DONE_SYNC, /* Done syncing to disk */
XLOG_STATE_CALLBACK, /* Callback functions now */
XLOG_STATE_DIRTY, /* Dirty IC log, not ready for ACTIVE status */
XLOG_STATE_IOERROR, /* IO error happened in sync'ing log */
};

#define XLOG_STATE_STRINGS \
Expand All @@ -56,8 +55,7 @@ enum xlog_iclog_state {
{ XLOG_STATE_SYNCING, "XLOG_STATE_SYNCING" }, \
{ XLOG_STATE_DONE_SYNC, "XLOG_STATE_DONE_SYNC" }, \
{ XLOG_STATE_CALLBACK, "XLOG_STATE_CALLBACK" }, \
{ XLOG_STATE_DIRTY, "XLOG_STATE_DIRTY" }, \
{ XLOG_STATE_IOERROR, "XLOG_STATE_IOERROR" }
{ XLOG_STATE_DIRTY, "XLOG_STATE_DIRTY" }

/*
* In core log flags
Expand Down
1 change: 0 additions & 1 deletion fs/xfs/xfs_trace.h
Original file line number Diff line number Diff line change
Expand Up @@ -4017,7 +4017,6 @@ TRACE_DEFINE_ENUM(XLOG_STATE_SYNCING);
TRACE_DEFINE_ENUM(XLOG_STATE_DONE_SYNC);
TRACE_DEFINE_ENUM(XLOG_STATE_CALLBACK);
TRACE_DEFINE_ENUM(XLOG_STATE_DIRTY);
TRACE_DEFINE_ENUM(XLOG_STATE_IOERROR);

DECLARE_EVENT_CLASS(xlog_iclog_class,
TP_PROTO(struct xlog_in_core *iclog, unsigned long caller_ip),
Expand Down

0 comments on commit 5112e20

Please sign in to comment.