scsi: Do not rely on blk-mq for double completions
Subsystems (2)
PATCH 1/2 scsi: Do not rely on blk-mq for double completions
The scsi timeout error handling had been directly updating the request state to prevent a natural completion and error handling from completing the same request twice. Fix this layering violation by having scsi control the fate of its commands with scsi owned flags rather than use blk-mq's.
--- drivers/scsi/scsi_error.c | 17 +++-------------- drivers/scsi/scsi_lib.c | 11 +++++++++++ include/scsi/scsi_cmnd.h | 5 ++++- 3 files changed, 18 insertions(+), 15 deletions(-)
drivers/scsi/scsi_error.c +3 -14
@@ -204,6 +204,9 @@ scsi_abort_command(struct scsi_cmnd *scmd) shost->last_reset = jiffies;spin_unlock_irqrestore (shost->host_lock, flags); +if (test_and_set_bit (__SCMD_COMPLETE, &scmd->flags)) +return SUCCESS ; + scmd->eh_eflags |=SCSI_EH_ABORT_SCHEDULED ;SCSI_LOG_ERROR_RECOVERY (3 ,scmd_printk (KERN_INFO , scmd,"abort scheduled\n" ));
@@ -296,20 +299,6 @@ enum blk_eh_timer_return scsi_times_out(struct request *req) rtn = host->hostt->eh_timed_out (scmd);if (rtn ==BLK_EH_DONE ) { -/* -* For blk-mq, we must set the request state to complete now -* before sending the request to the scsi error handler. This -* will prevent a use-after-free in the event the LLD manages -* to complete the request before the error handler finishes -* processing this timed out request. -* -* If the request was already completed, then the LLD beat the -* time out handler from transferring the request to the scsi -* error handler. In that case we can return immediately as no -* further action is required. -*/ -if (!blk_mq_mark_complete (req)) -return rtn;if (scsi_abort_command (scmd) !=SUCCESS ) {set_host_byte (scmd,DID_TIME_OUT );scsi_eh_scmd_add (scmd);
drivers/scsi/scsi_lib.c +11 -0
@@ -1635,8 +1635,18 @@ static blk_status_t scsi_mq_prep_fn(struct request *req)static void scsi_mq_done (struct scsi_cmnd *cmd) { +if (test_and_set_bit (__SCMD_COMPLETE, &cmd->flags)) +return ;trace_scsi_dispatch_cmd_done (cmd);blk_mq_complete_request (cmd->request); + +#ifdef CONFIG_FAIL_IO_TIMEOUT +/* +* Clearing complete here serves only to allow the desired recovery to +* escalate on blk_rq_should_fake_timeout()'s error injection. +*/ +clear_bit (__SCMD_COMPLETE, &cmd->flags); +#endif }static void scsi_mq_put_budget (struct blk_mq_hw_ctx *hctx)
@@ -1701,6 +1711,7 @@ static blk_status_t scsi_queue_rq(struct blk_mq_hw_ctx *hctx, goto out_dec_host_busy; req->rq_flags |=RQF_DONTPREP ; }else { + cmd->flags &= ~SCMD_COMPLETE ;blk_mq_start_request (req); }
include/scsi/scsi_cmnd.h +4 -1
@@ -58,6 +58,9 @@ struct scsi_pointer {#define SCMD_TAGGED (1 << 0)#define SCMD_UNCHECKED_ISA_DMA (1 << 1)#define SCMD_INITIALIZED (1 << 2) + +#define __SCMD_COMPLETE 3 +#define SCMD_COMPLETE (1 << __SCMD_COMPLETE)/* flags preserved across unprep / reprep */ #define SCMD_PRESERVED_FLAGS (SCMD_UNCHECKED_ISA_DMA | SCMD_INITIALIZED)
@@ -144,7 +147,7 @@ struct scsi_cmnd {* to be at an address < 16Mb). */ int result;/* Status code from lower level driver */ -int flags;/* Command flags */ +unsigned long flags;/* Command flags */ unsigned char tag;/* SCSI-II queued command tag */ };
Signature · 1 line
2.14.4
PATCH 2/2 blk-mq: Simplify request completion state
There are no more users relying on blk-mq request states to prevent double completions, so replace the relatively expensive cmpxchg operation with WRITE_ONCE.
--- block/blk-mq.c | 4 +--- include/linux/blk-mq.h | 14 -------------- 2 files changed, 1 insertion(+), 17 deletions(-)
block/blk-mq.c +1 -3
@@ -568,9 +568,7 @@ static void __blk_mq_complete_request(struct request *rq)bool shared = false;int cpu; -if (!blk_mq_mark_complete (rq)) -return ; - +WRITE_ONCE (rq->state,MQ_RQ_COMPLETE );/* * Most of single queue controllers, there is only one irq vector * for handling IO completion, and the only irq's affinity is set
include/linux/blk-mq.h +0 -14
@@ -237,20 +237,6 @@ void blk_mq_quiesce_queue_nowait(struct request_queue *q);unsigned int blk_mq_rq_cpu (struct request *rq); -/** -* blk_mq_mark_complete() - Set request state to complete -* @rq: request to set to complete state -* -* Returns true if request state was successfully set to complete. If -* successful, the caller is responsibile for seeing this request is ended, as -* blk_mq_complete_request will not work again. -*/ -static inline bool blk_mq_mark_complete (struct request *rq) -{ -return cmpxchg (&rq->state,MQ_RQ_IN_FLIGHT ,MQ_RQ_COMPLETE ) == -MQ_RQ_IN_FLIGHT ; -} -/* * Driver command data is immediately after the request. So subtract request * size to get back to the original request, add request size to get the PDU.
Signature · 1 line
2.14.4
Jens Axboe
maintainerQuoted 17 lines · Keith Busch
The scsi timeout error handling had been directly updating the request state to prevent a natural completion and error handling from completing the same request twice. Fix this layering violation by having scsi control the fate of its commands with scsi owned flags rather than use blk-mq's.
drivers/scsi/scsi_lib.c +2
-0@@ -1635,8 +1635,18 @@ static blk_status_t scsi_mq_prep_fn(struct request *req)static void scsi_mq_done (struct scsi_cmnd *cmd) { +if (test_and_set_bit (__SCMD_COMPLETE, &cmd->flags)) +return ;trace_scsi_dispatch_cmd_done (cmd);
drivers/scsi/scsi_lib.c static blk_status_t scsi_mq_prep_fn(struct request *req) · line 1650
Quoted 10 lines
drivers/scsi/scsi_lib.c +8
-0blk_mq_complete_request (cmd->request); + +#ifdef CONFIG_FAIL_IO_TIMEOUT +/* +* Clearing complete here serves only to allow the desired recovery to +* escalate on blk_rq_should_fake_timeout()'s error injection. +*/ +clear_bit (__SCMD_COMPLETE, &cmd->flags); +#endif }
We could have this be:
static void scsi_mq_done(struct scsi_cmnd *cmd)
{
if (test_and_set_bit(__SCMD_COMPLETE, &cmd->flags))
return; trace_scsi_dispatch_cmd_done(cmd);
if (blk_mq_complete_request(cmd->request)) {
/*
* Clearing complete here serves only to allow the
* desired recovery to escalate on
* blk_rq_should_fake_timeout()'s error injection.
*/
clear_bit(__SCMD_COMPLETE, &cmd->flags);
}
}with
bool blk_mq_complete_request(struct request *rq)
{
if (unlikely(blk_should_fake_timeout(rq->q)))
return true;
__blk_mq_complete_request(rq);
return false;
}and not have this CONFIG_FAIL_IO_TIMEOUT dependency, but that'd be a bit more expensive.
Was going to suggest a request flag, but the request is gone at this point. So that won't really work...
I'm with your solution as well, fwiw.
Signature · 1 line
Jens Axboe
Quoted 45 lines · Jens Axboe
Quoted 5 lines · Keith Busch
static void
scsi_mq_done(struct scsi_cmnd *cmd)
{drivers/scsi/scsi_lib.c +2
-0+if (test_and_set_bit (__SCMD_COMPLETE, &cmd->flags)) +return ;trace_scsi_dispatch_cmd_done (cmd);drivers/scsi/scsi_lib.c static blk_status_t scsi_mq_prep_fn(struct request *req) · line 1650
Quoted 10 lines
drivers/scsi/scsi_lib.c +8
-0blk_mq_complete_request (cmd->request); + +#ifdef CONFIG_FAIL_IO_TIMEOUT +/* +* Clearing complete here serves only to allow the desired recovery to +* escalate on blk_rq_should_fake_timeout()'s error injection. +*/ +clear_bit (__SCMD_COMPLETE, &cmd->flags); +#endif }We could have this be:
static void
scsi_mq_done(struct scsi_cmnd *cmd){ if (test_and_set_bit(__SCMD_COMPLETE, &cmd->flags)) return;drivers/scsi/scsi_lib.c +0
-0trace_scsi_dispatch_cmd_done (cmd);if (blk_mq_complete_request (cmd->request)) {/* * Clearing complete here serves only to allow the * desired recovery to escalate on * blk_rq_should_fake_timeout()'s error injection. */ clear_bit(__SCMD_COMPLETE, &cmd->flags); } }with
bool
blk_mq_complete_request(struct request *rq){ if (unlikely(blk_should_fake_timeout(rq->q))) return true; __blk_mq_complete_request(rq); return false; }
Quoted 2 lines
and not have this
CONFIG_FAIL_IO_TIMEOUTdependency, but that'd be a bit more expensive.
I was trying to avoid every cost no matter how negligable (those are the only types of costs left as far as I can see), but I think your proposal might actually be necessary: if a timeout wasn't faked, clearing the completion flag unconditionally might have a problem with a real timeout racing with the real completion. :(
Jens Axboe
maintainerQuoted 46 lines · Keith Busch
Quoted 45 lines · Jens Axboe
Quoted 5 lines · Keith Busch
static void
scsi_mq_done(struct scsi_cmnd *cmd)
{drivers/scsi/scsi_lib.c +2
-0+if (test_and_set_bit (__SCMD_COMPLETE, &cmd->flags)) +return ;trace_scsi_dispatch_cmd_done (cmd);drivers/scsi/scsi_lib.c static blk_status_t scsi_mq_prep_fn(struct request *req) · line 1650
Quoted 10 lines
drivers/scsi/scsi_lib.c +8
-0blk_mq_complete_request (cmd->request); + +#ifdef CONFIG_FAIL_IO_TIMEOUT +/* +* Clearing complete here serves only to allow the desired recovery to +* escalate on blk_rq_should_fake_timeout()'s error injection. +*/ +clear_bit (__SCMD_COMPLETE, &cmd->flags); +#endif }We could have this be:
static void
scsi_mq_done(struct scsi_cmnd *cmd){ if (test_and_set_bit(__SCMD_COMPLETE, &cmd->flags)) return;drivers/scsi/scsi_lib.c +0
-0trace_scsi_dispatch_cmd_done (cmd);if (blk_mq_complete_request (cmd->request)) {/* * Clearing complete here serves only to allow the * desired recovery to escalate on * blk_rq_should_fake_timeout()'s error injection. */ clear_bit(__SCMD_COMPLETE, &cmd->flags); } }with
bool
blk_mq_complete_request(struct request *rq){ if (unlikely(blk_should_fake_timeout(rq->q))) return true; __blk_mq_complete_request(rq); return false; }
Quoted 8 lines
Quoted 2 lines
and not have this
CONFIG_FAIL_IO_TIMEOUTdependency, but that'd be a bit more expensive.I was trying to avoid every cost no matter how negligable (those are the only types of costs left as far as I can see), but I think your proposal might actually be necessary: if a timeout wasn't faked, clearing the completion flag unconditionally might have a problem with a real timeout racing with the real completion. :(
Yep, I think you are right... No way around it then. Are you going to resend it with the fix?
Signature · 1 line
Jens Axboe