mbox series

[V11,0/4] blk-mq: refactor code of issue directly

Message ID 1544152185-32667-1-git-send-email-jianchao.w.wang@oracle.com (mailing list archive)
Headers show
Series blk-mq: refactor code of issue directly | expand

Message

jianchao.wang Dec. 7, 2018, 3:09 a.m. UTC
Hi Jens

Please consider this patchset for 4.21.

It refactors the code of issue request directly to unify the interface
and make the code clearer and more readable.

This patch set is rebased on the recent for-4.21/block and add the 1st
patch which inserts the non-read-write request to hctx dispatch
list to avoid to involve merge and io scheduler when bypass_insert
is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
and the caller will fail forever.

The 2nd patch refactors the code of issue request directly to unify the
helper interface which could handle all the cases.

The 3rd patch make blk_mq_sched_insert_requests issue requests directly
with 'bypass' false, then it needn't to handle the non-issued requests
any more.

The 4th patch replace and kill the blk_mq_request_issue_directly.

V11:
 - insert request to dispatch list when .queue_rq return
   BLK_STS_RESOURCE/BLK_STS_DEV_RESOURCE. (2/4)
 - stop to attempt direct-issue and insert the reset when meet
   non-ok case (3/4).

V10:
 - address Jen's comment.
 - let blk_mq_try_issue_directly return actual result for case
   'bypass == false'. (2/4)
 - use return value of blk_mq_try_issue_directly to identify
   whether the request is direct-issued successfully. (3/4)

V9:
 - rebase on recent for-4.21/block
 - add 1st patch

V8:
 - drop the original 2nd patch which try to insert requests into hctx->dispatch
   if quiesced or stopped.
 - remove two wrong 'unlikely'

V7:
 - drop the original 3rd patch which try to ensure hctx to be ran on
   its mapped cpu in issueing directly path.

V6:
 - drop original 1st patch to address Jen's comment
 - discard the enum mq_issue_decision and blk_mq_make_decision and use
   BLK_STS_* return values directly to address Jen's comment. (1/5)
 - add 'unlikely' in blk_mq_try_issue_directly (1/5)
 - refactor the 2nd and 3rd patch based on the new 1st patch.
 - reserve the unused_cookie in 4th and 5th patch

V5:
 - rebase against Jens' for-4.21/block branch
 - adjust the order of patch04 and patch05
 - add patch06 to replace and kill the one line blk_mq_request_bypass_insert
 - comment changes

V4:
 - split the original patch 1 into two patches, 1st and 2nd patch currently
 - rename the mq_decision to mq_issue_decision
 - comment changes

V3:
 - Correct the code about the case bypass_insert is true and io scheduler
   attached. The request still need to be issued in case above. (1/4)
 - Refactor the code to make code clearer. blk_mq_make_request is introduced
   to decide insert, end or just return based on the return value of .queue_rq
   and bypass_insert (1/4) 
 - Add the 2nd patch. It introduce a new decision result which indicates to
   insert request with blk_mq_request_bypass_insert.
 - Modify the code to adapt the new patch 1.

V2:
 - Add 1st and 2nd patch to refactor the code.


Jianchao Wang (4)
blk-mq: insert to hctx dispatch list when
blk-mq: refactor the code of issue request directly
blk-mq: issue directly with bypass 'false' in
blk-mq: replace and kill blk_mq_request_issue_directly

block/blk-core.c     |   4 +-
block/blk-mq-sched.c |   8 ++-
block/blk-mq.c       | 137 +++++++++++++++++++++++++--------------------------
block/blk-mq.h       |   6 ++-
4 files changed, 76 insertions(+), 79 deletions(-)

Thanks
Jianchao

Comments

Jens Axboe Dec. 7, 2018, 3:16 a.m. UTC | #1
On 12/6/18 8:09 PM, Jianchao Wang wrote:
> Hi Jens
> 
> Please consider this patchset for 4.21.
> 
> It refactors the code of issue request directly to unify the interface
> and make the code clearer and more readable.
> 
> This patch set is rebased on the recent for-4.21/block and add the 1st
> patch which inserts the non-read-write request to hctx dispatch
> list to avoid to involve merge and io scheduler when bypass_insert
> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
> and the caller will fail forever.
> 
> The 2nd patch refactors the code of issue request directly to unify the
> helper interface which could handle all the cases.
> 
> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
> with 'bypass' false, then it needn't to handle the non-issued requests
> any more.
> 
> The 4th patch replace and kill the blk_mq_request_issue_directly.

Sorry to keep iterating on this, but let's default to inserting to
the dispatch list if we ever see busy from a direct dispatch. I'm fine
with doing that for 4.21, as suggested by Ming, I just didn't want to
fiddle with it for 4.20. This will prevent any merging on the request
going forward, which I think is a much safer default.

You do this already for some cases. Let's do it unconditionally for
a request that was ever subjected to ->queue_rq() and we didn't either
error or finish after the fact.
jianchao.wang Dec. 7, 2018, 3:26 a.m. UTC | #2
On 12/7/18 11:16 AM, Jens Axboe wrote:
> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>> Hi Jens
>>
>> Please consider this patchset for 4.21.
>>
>> It refactors the code of issue request directly to unify the interface
>> and make the code clearer and more readable.
>>
>> This patch set is rebased on the recent for-4.21/block and add the 1st
>> patch which inserts the non-read-write request to hctx dispatch
>> list to avoid to involve merge and io scheduler when bypass_insert
>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>> and the caller will fail forever.
>>
>> The 2nd patch refactors the code of issue request directly to unify the
>> helper interface which could handle all the cases.
>>
>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>> with 'bypass' false, then it needn't to handle the non-issued requests
>> any more.
>>
>> The 4th patch replace and kill the blk_mq_request_issue_directly.
> 
> Sorry to keep iterating on this, but let's default to inserting to
> the dispatch list if we ever see busy from a direct dispatch. I'm fine
> with doing that for 4.21, as suggested by Ming, I just didn't want to
> fiddle with it for 4.20. This will prevent any merging on the request
> going forward, which I think is a much safer default.
> 
> You do this already for some cases. Let's do it unconditionally for
> a request that was ever subjected to ->queue_rq() and we didn't either
> error or finish after the fact.
> 
I have done it in this version if I get your point correctly.
Please refer to the following fragment in the 2nd patch.

+	/*
+	 * If the request is issued unsuccessfully with
+	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
+	 * the request to hctx dispatch list due to attached
+	 * lldd resource.
+	 */
+	force = true;
+	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
+out_unlock:
+	hctx_unlock(hctx, srcu_idx);
+out:
+	switch (ret) {
+	case BLK_STS_OK:
+		break;
+	case BLK_STS_DEV_RESOURCE:
+	case BLK_STS_RESOURCE:
+		if (force) {
+			blk_mq_request_bypass_insert(rq, run_queue);
+			ret = bypass ? BLK_STS_OK : ret;
+		} else if (!bypass) {
+			blk_mq_sched_insert_request(rq, false,
+						    run_queue, false);
+		}
+		break;
+	default:


Thanks
Jianchao
Jens Axboe Dec. 7, 2018, 3:32 a.m. UTC | #3
On 12/6/18 8:26 PM, jianchao.wang wrote:
> 
> 
> On 12/7/18 11:16 AM, Jens Axboe wrote:
>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>> Hi Jens
>>>
>>> Please consider this patchset for 4.21.
>>>
>>> It refactors the code of issue request directly to unify the interface
>>> and make the code clearer and more readable.
>>>
>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>> patch which inserts the non-read-write request to hctx dispatch
>>> list to avoid to involve merge and io scheduler when bypass_insert
>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>> and the caller will fail forever.
>>>
>>> The 2nd patch refactors the code of issue request directly to unify the
>>> helper interface which could handle all the cases.
>>>
>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>> any more.
>>>
>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>
>> Sorry to keep iterating on this, but let's default to inserting to
>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>> fiddle with it for 4.20. This will prevent any merging on the request
>> going forward, which I think is a much safer default.
>>
>> You do this already for some cases. Let's do it unconditionally for
>> a request that was ever subjected to ->queue_rq() and we didn't either
>> error or finish after the fact.
>>
> I have done it in this version if I get your point correctly.
> Please refer to the following fragment in the 2nd patch.
> 
> +	/*
> +	 * If the request is issued unsuccessfully with
> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
> +	 * the request to hctx dispatch list due to attached
> +	 * lldd resource.
> +	 */
> +	force = true;
> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
> +out_unlock:
> +	hctx_unlock(hctx, srcu_idx);
> +out:
> +	switch (ret) {
> +	case BLK_STS_OK:
> +		break;
> +	case BLK_STS_DEV_RESOURCE:
> +	case BLK_STS_RESOURCE:
> +		if (force) {
> +			blk_mq_request_bypass_insert(rq, run_queue);
> +			ret = bypass ? BLK_STS_OK : ret;
> +		} else if (!bypass) {
> +			blk_mq_sched_insert_request(rq, false,
> +						    run_queue, false);
> +		}
> +		break;
> +	default:

You are right, I missed that you set force = true before doing the
issue. So this looks good to me!
Jens Axboe Dec. 7, 2018, 3:34 a.m. UTC | #4
On 12/6/18 8:32 PM, Jens Axboe wrote:
> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>
>>
>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>> Hi Jens
>>>>
>>>> Please consider this patchset for 4.21.
>>>>
>>>> It refactors the code of issue request directly to unify the interface
>>>> and make the code clearer and more readable.
>>>>
>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>> patch which inserts the non-read-write request to hctx dispatch
>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>> and the caller will fail forever.
>>>>
>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>> helper interface which could handle all the cases.
>>>>
>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>> any more.
>>>>
>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>
>>> Sorry to keep iterating on this, but let's default to inserting to
>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>> fiddle with it for 4.20. This will prevent any merging on the request
>>> going forward, which I think is a much safer default.
>>>
>>> You do this already for some cases. Let's do it unconditionally for
>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>> error or finish after the fact.
>>>
>> I have done it in this version if I get your point correctly.
>> Please refer to the following fragment in the 2nd patch.
>>
>> +	/*
>> +	 * If the request is issued unsuccessfully with
>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>> +	 * the request to hctx dispatch list due to attached
>> +	 * lldd resource.
>> +	 */
>> +	force = true;
>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>> +out_unlock:
>> +	hctx_unlock(hctx, srcu_idx);
>> +out:
>> +	switch (ret) {
>> +	case BLK_STS_OK:
>> +		break;
>> +	case BLK_STS_DEV_RESOURCE:
>> +	case BLK_STS_RESOURCE:
>> +		if (force) {
>> +			blk_mq_request_bypass_insert(rq, run_queue);
>> +			ret = bypass ? BLK_STS_OK : ret;
>> +		} else if (!bypass) {
>> +			blk_mq_sched_insert_request(rq, false,
>> +						    run_queue, false);
>> +		}
>> +		break;
>> +	default:
> 
> You are right, I missed that you set force = true before doing the
> issue. So this looks good to me!

I applied your series. With this, we should be good to remove the
REQ_NOMERGE logic that was added for the corruption case, and the
blk_rq_can_direct_dispatch() as well?
jianchao.wang Dec. 7, 2018, 3:41 a.m. UTC | #5
On 12/7/18 11:34 AM, Jens Axboe wrote:
> On 12/6/18 8:32 PM, Jens Axboe wrote:
>> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>>
>>>
>>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>>> Hi Jens
>>>>>
>>>>> Please consider this patchset for 4.21.
>>>>>
>>>>> It refactors the code of issue request directly to unify the interface
>>>>> and make the code clearer and more readable.
>>>>>
>>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>>> patch which inserts the non-read-write request to hctx dispatch
>>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>>> and the caller will fail forever.
>>>>>
>>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>>> helper interface which could handle all the cases.
>>>>>
>>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>>> any more.
>>>>>
>>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>>
>>>> Sorry to keep iterating on this, but let's default to inserting to
>>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>>> fiddle with it for 4.20. This will prevent any merging on the request
>>>> going forward, which I think is a much safer default.
>>>>
>>>> You do this already for some cases. Let's do it unconditionally for
>>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>>> error or finish after the fact.
>>>>
>>> I have done it in this version if I get your point correctly.
>>> Please refer to the following fragment in the 2nd patch.
>>>
>>> +	/*
>>> +	 * If the request is issued unsuccessfully with
>>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>>> +	 * the request to hctx dispatch list due to attached
>>> +	 * lldd resource.
>>> +	 */
>>> +	force = true;
>>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>>> +out_unlock:
>>> +	hctx_unlock(hctx, srcu_idx);
>>> +out:
>>> +	switch (ret) {
>>> +	case BLK_STS_OK:
>>> +		break;
>>> +	case BLK_STS_DEV_RESOURCE:
>>> +	case BLK_STS_RESOURCE:
>>> +		if (force) {
>>> +			blk_mq_request_bypass_insert(rq, run_queue);
>>> +			ret = bypass ? BLK_STS_OK : ret;
>>> +		} else if (!bypass) {
>>> +			blk_mq_sched_insert_request(rq, false,
>>> +						    run_queue, false);
>>> +		}
>>> +		break;
>>> +	default:
>>
>> You are right, I missed that you set force = true before doing the
>> issue. So this looks good to me!
> 
> I applied your series. With this, we should be good to remove the
> REQ_NOMERGE logic that was added for the corruption case, and the
> blk_rq_can_direct_dispatch() as well?
> 

Yes, it should be that.
Every thing rejected by .queue_rq is ended or inserted into hctx dispatch
list. And also direct-issue path is unified with normal path.

Thanks
Jianchao
Jens Axboe Dec. 7, 2018, 3:42 a.m. UTC | #6
On 12/6/18 8:41 PM, jianchao.wang wrote:
> 
> 
> On 12/7/18 11:34 AM, Jens Axboe wrote:
>> On 12/6/18 8:32 PM, Jens Axboe wrote:
>>> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>>>
>>>>
>>>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>>>> Hi Jens
>>>>>>
>>>>>> Please consider this patchset for 4.21.
>>>>>>
>>>>>> It refactors the code of issue request directly to unify the interface
>>>>>> and make the code clearer and more readable.
>>>>>>
>>>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>>>> patch which inserts the non-read-write request to hctx dispatch
>>>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>>>> and the caller will fail forever.
>>>>>>
>>>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>>>> helper interface which could handle all the cases.
>>>>>>
>>>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>>>> any more.
>>>>>>
>>>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>>>
>>>>> Sorry to keep iterating on this, but let's default to inserting to
>>>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>>>> fiddle with it for 4.20. This will prevent any merging on the request
>>>>> going forward, which I think is a much safer default.
>>>>>
>>>>> You do this already for some cases. Let's do it unconditionally for
>>>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>>>> error or finish after the fact.
>>>>>
>>>> I have done it in this version if I get your point correctly.
>>>> Please refer to the following fragment in the 2nd patch.
>>>>
>>>> +	/*
>>>> +	 * If the request is issued unsuccessfully with
>>>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>>>> +	 * the request to hctx dispatch list due to attached
>>>> +	 * lldd resource.
>>>> +	 */
>>>> +	force = true;
>>>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>>>> +out_unlock:
>>>> +	hctx_unlock(hctx, srcu_idx);
>>>> +out:
>>>> +	switch (ret) {
>>>> +	case BLK_STS_OK:
>>>> +		break;
>>>> +	case BLK_STS_DEV_RESOURCE:
>>>> +	case BLK_STS_RESOURCE:
>>>> +		if (force) {
>>>> +			blk_mq_request_bypass_insert(rq, run_queue);
>>>> +			ret = bypass ? BLK_STS_OK : ret;
>>>> +		} else if (!bypass) {
>>>> +			blk_mq_sched_insert_request(rq, false,
>>>> +						    run_queue, false);
>>>> +		}
>>>> +		break;
>>>> +	default:
>>>
>>> You are right, I missed that you set force = true before doing the
>>> issue. So this looks good to me!
>>
>> I applied your series. With this, we should be good to remove the
>> REQ_NOMERGE logic that was added for the corruption case, and the
>> blk_rq_can_direct_dispatch() as well?
>>
> 
> Yes, it should be that.
> Every thing rejected by .queue_rq is ended or inserted into hctx dispatch
> list. And also direct-issue path is unified with normal path.

Why are we doing that return value dance, depending on whether this
is a bypass insert or not? That seems confusing.
jianchao.wang Dec. 7, 2018, 3:46 a.m. UTC | #7
On 12/7/18 11:42 AM, Jens Axboe wrote:
> On 12/6/18 8:41 PM, jianchao.wang wrote:
>>
>>
>> On 12/7/18 11:34 AM, Jens Axboe wrote:
>>> On 12/6/18 8:32 PM, Jens Axboe wrote:
>>>> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>>>>
>>>>>
>>>>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>>>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>>>>> Hi Jens
>>>>>>>
>>>>>>> Please consider this patchset for 4.21.
>>>>>>>
>>>>>>> It refactors the code of issue request directly to unify the interface
>>>>>>> and make the code clearer and more readable.
>>>>>>>
>>>>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>>>>> patch which inserts the non-read-write request to hctx dispatch
>>>>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>>>>> and the caller will fail forever.
>>>>>>>
>>>>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>>>>> helper interface which could handle all the cases.
>>>>>>>
>>>>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>>>>> any more.
>>>>>>>
>>>>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>>>>
>>>>>> Sorry to keep iterating on this, but let's default to inserting to
>>>>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>>>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>>>>> fiddle with it for 4.20. This will prevent any merging on the request
>>>>>> going forward, which I think is a much safer default.
>>>>>>
>>>>>> You do this already for some cases. Let's do it unconditionally for
>>>>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>>>>> error or finish after the fact.
>>>>>>
>>>>> I have done it in this version if I get your point correctly.
>>>>> Please refer to the following fragment in the 2nd patch.
>>>>>
>>>>> +	/*
>>>>> +	 * If the request is issued unsuccessfully with
>>>>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>>>>> +	 * the request to hctx dispatch list due to attached
>>>>> +	 * lldd resource.
>>>>> +	 */
>>>>> +	force = true;
>>>>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>>>>> +out_unlock:
>>>>> +	hctx_unlock(hctx, srcu_idx);
>>>>> +out:
>>>>> +	switch (ret) {
>>>>> +	case BLK_STS_OK:
>>>>> +		break;
>>>>> +	case BLK_STS_DEV_RESOURCE:
>>>>> +	case BLK_STS_RESOURCE:
>>>>> +		if (force) {
>>>>> +			blk_mq_request_bypass_insert(rq, run_queue);
>>>>> +			ret = bypass ? BLK_STS_OK : ret;
>>>>> +		} else if (!bypass) {
>>>>> +			blk_mq_sched_insert_request(rq, false,
>>>>> +						    run_queue, false);
>>>>> +		}
>>>>> +		break;
>>>>> +	default:
>>>>
>>>> You are right, I missed that you set force = true before doing the
>>>> issue. So this looks good to me!
>>>
>>> I applied your series. With this, we should be good to remove the
>>> REQ_NOMERGE logic that was added for the corruption case, and the
>>> blk_rq_can_direct_dispatch() as well?
>>>
>>
>> Yes, it should be that.
>> Every thing rejected by .queue_rq is ended or inserted into hctx dispatch
>> list. And also direct-issue path is unified with normal path.
> 
> Why are we doing that return value dance, depending on whether this
> is a bypass insert or not? That seems confusing.
> 

For the 'bypass == false' case, it need to know whether the request is issued
successfully. This is for the 3rd patch.
I used to use the returned cookie to identify the result, but you don't like it.
So I have to use this return value.

Thanks
Jianchao
Jens Axboe Dec. 7, 2018, 3:47 a.m. UTC | #8
On 12/6/18 8:46 PM, jianchao.wang wrote:
> 
> 
> On 12/7/18 11:42 AM, Jens Axboe wrote:
>> On 12/6/18 8:41 PM, jianchao.wang wrote:
>>>
>>>
>>> On 12/7/18 11:34 AM, Jens Axboe wrote:
>>>> On 12/6/18 8:32 PM, Jens Axboe wrote:
>>>>> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>>>>>
>>>>>>
>>>>>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>>>>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>>>>>> Hi Jens
>>>>>>>>
>>>>>>>> Please consider this patchset for 4.21.
>>>>>>>>
>>>>>>>> It refactors the code of issue request directly to unify the interface
>>>>>>>> and make the code clearer and more readable.
>>>>>>>>
>>>>>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>>>>>> patch which inserts the non-read-write request to hctx dispatch
>>>>>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>>>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>>>>>> and the caller will fail forever.
>>>>>>>>
>>>>>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>>>>>> helper interface which could handle all the cases.
>>>>>>>>
>>>>>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>>>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>>>>>> any more.
>>>>>>>>
>>>>>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>>>>>
>>>>>>> Sorry to keep iterating on this, but let's default to inserting to
>>>>>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>>>>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>>>>>> fiddle with it for 4.20. This will prevent any merging on the request
>>>>>>> going forward, which I think is a much safer default.
>>>>>>>
>>>>>>> You do this already for some cases. Let's do it unconditionally for
>>>>>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>>>>>> error or finish after the fact.
>>>>>>>
>>>>>> I have done it in this version if I get your point correctly.
>>>>>> Please refer to the following fragment in the 2nd patch.
>>>>>>
>>>>>> +	/*
>>>>>> +	 * If the request is issued unsuccessfully with
>>>>>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>>>>>> +	 * the request to hctx dispatch list due to attached
>>>>>> +	 * lldd resource.
>>>>>> +	 */
>>>>>> +	force = true;
>>>>>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>>>>>> +out_unlock:
>>>>>> +	hctx_unlock(hctx, srcu_idx);
>>>>>> +out:
>>>>>> +	switch (ret) {
>>>>>> +	case BLK_STS_OK:
>>>>>> +		break;
>>>>>> +	case BLK_STS_DEV_RESOURCE:
>>>>>> +	case BLK_STS_RESOURCE:
>>>>>> +		if (force) {
>>>>>> +			blk_mq_request_bypass_insert(rq, run_queue);
>>>>>> +			ret = bypass ? BLK_STS_OK : ret;
>>>>>> +		} else if (!bypass) {
>>>>>> +			blk_mq_sched_insert_request(rq, false,
>>>>>> +						    run_queue, false);
>>>>>> +		}
>>>>>> +		break;
>>>>>> +	default:
>>>>>
>>>>> You are right, I missed that you set force = true before doing the
>>>>> issue. So this looks good to me!
>>>>
>>>> I applied your series. With this, we should be good to remove the
>>>> REQ_NOMERGE logic that was added for the corruption case, and the
>>>> blk_rq_can_direct_dispatch() as well?
>>>>
>>>
>>> Yes, it should be that.
>>> Every thing rejected by .queue_rq is ended or inserted into hctx dispatch
>>> list. And also direct-issue path is unified with normal path.
>>
>> Why are we doing that return value dance, depending on whether this
>> is a bypass insert or not? That seems confusing.
>>
> 
> For the 'bypass == false' case, it need to know whether the request is issued
> successfully. This is for the 3rd patch.
> I used to use the returned cookie to identify the result, but you don't like it.
> So I have to use this return value.

Makes sense, but could probably do with a comment. I'm going to let the
series float for a day or two to ensure others get a chance to review it,
then we can move forward.
jianchao.wang Dec. 10, 2018, 1:18 a.m. UTC | #9
On 12/7/18 11:47 AM, Jens Axboe wrote:
> On 12/6/18 8:46 PM, jianchao.wang wrote:
>>
>>
>> On 12/7/18 11:42 AM, Jens Axboe wrote:
>>> On 12/6/18 8:41 PM, jianchao.wang wrote:
>>>>
>>>>
>>>> On 12/7/18 11:34 AM, Jens Axboe wrote:
>>>>> On 12/6/18 8:32 PM, Jens Axboe wrote:
>>>>>> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>>>>>>
>>>>>>>
>>>>>>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>>>>>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>>>>>>> Hi Jens
>>>>>>>>>
>>>>>>>>> Please consider this patchset for 4.21.
>>>>>>>>>
>>>>>>>>> It refactors the code of issue request directly to unify the interface
>>>>>>>>> and make the code clearer and more readable.
>>>>>>>>>
>>>>>>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>>>>>>> patch which inserts the non-read-write request to hctx dispatch
>>>>>>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>>>>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>>>>>>> and the caller will fail forever.
>>>>>>>>>
>>>>>>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>>>>>>> helper interface which could handle all the cases.
>>>>>>>>>
>>>>>>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>>>>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>>>>>>> any more.
>>>>>>>>>
>>>>>>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>>>>>>
>>>>>>>> Sorry to keep iterating on this, but let's default to inserting to
>>>>>>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>>>>>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>>>>>>> fiddle with it for 4.20. This will prevent any merging on the request
>>>>>>>> going forward, which I think is a much safer default.
>>>>>>>>
>>>>>>>> You do this already for some cases. Let's do it unconditionally for
>>>>>>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>>>>>>> error or finish after the fact.
>>>>>>>>
>>>>>>> I have done it in this version if I get your point correctly.
>>>>>>> Please refer to the following fragment in the 2nd patch.
>>>>>>>
>>>>>>> +	/*
>>>>>>> +	 * If the request is issued unsuccessfully with
>>>>>>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>>>>>>> +	 * the request to hctx dispatch list due to attached
>>>>>>> +	 * lldd resource.
>>>>>>> +	 */
>>>>>>> +	force = true;
>>>>>>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>>>>>>> +out_unlock:
>>>>>>> +	hctx_unlock(hctx, srcu_idx);
>>>>>>> +out:
>>>>>>> +	switch (ret) {
>>>>>>> +	case BLK_STS_OK:
>>>>>>> +		break;
>>>>>>> +	case BLK_STS_DEV_RESOURCE:
>>>>>>> +	case BLK_STS_RESOURCE:
>>>>>>> +		if (force) {
>>>>>>> +			blk_mq_request_bypass_insert(rq, run_queue);
>>>>>>> +			ret = bypass ? BLK_STS_OK : ret;
>>>>>>> +		} else if (!bypass) {
>>>>>>> +			blk_mq_sched_insert_request(rq, false,
>>>>>>> +						    run_queue, false);
>>>>>>> +		}
>>>>>>> +		break;
>>>>>>> +	default:
>>>>>>
>>>>>> You are right, I missed that you set force = true before doing the
>>>>>> issue. So this looks good to me!
>>>>>
>>>>> I applied your series. With this, we should be good to remove the
>>>>> REQ_NOMERGE logic that was added for the corruption case, and the
>>>>> blk_rq_can_direct_dispatch() as well?
>>>>>
>>>>
>>>> Yes, it should be that.
>>>> Every thing rejected by .queue_rq is ended or inserted into hctx dispatch
>>>> list. And also direct-issue path is unified with normal path.
>>>
>>> Why are we doing that return value dance, depending on whether this
>>> is a bypass insert or not? That seems confusing.
>>>
>>
>> For the 'bypass == false' case, it need to know whether the request is issued
>> successfully. This is for the 3rd patch.
>> I used to use the returned cookie to identify the result, but you don't like it.
>> So I have to use this return value.
> 
> Makes sense, but could probably do with a comment. I'm going to let the
> series float for a day or two to ensure others get a chance to review it,
> then we can move forward.
> 

Do I need a respin about the comment ?

Thanks
Jianchao
Jens Axboe Dec. 10, 2018, 1:27 a.m. UTC | #10
On 12/9/18 6:18 PM, jianchao.wang wrote:
> 
> 
> On 12/7/18 11:47 AM, Jens Axboe wrote:
>> On 12/6/18 8:46 PM, jianchao.wang wrote:
>>>
>>>
>>> On 12/7/18 11:42 AM, Jens Axboe wrote:
>>>> On 12/6/18 8:41 PM, jianchao.wang wrote:
>>>>>
>>>>>
>>>>> On 12/7/18 11:34 AM, Jens Axboe wrote:
>>>>>> On 12/6/18 8:32 PM, Jens Axboe wrote:
>>>>>>> On 12/6/18 8:26 PM, jianchao.wang wrote:
>>>>>>>>
>>>>>>>>
>>>>>>>> On 12/7/18 11:16 AM, Jens Axboe wrote:
>>>>>>>>> On 12/6/18 8:09 PM, Jianchao Wang wrote:
>>>>>>>>>> Hi Jens
>>>>>>>>>>
>>>>>>>>>> Please consider this patchset for 4.21.
>>>>>>>>>>
>>>>>>>>>> It refactors the code of issue request directly to unify the interface
>>>>>>>>>> and make the code clearer and more readable.
>>>>>>>>>>
>>>>>>>>>> This patch set is rebased on the recent for-4.21/block and add the 1st
>>>>>>>>>> patch which inserts the non-read-write request to hctx dispatch
>>>>>>>>>> list to avoid to involve merge and io scheduler when bypass_insert
>>>>>>>>>> is true, otherwise, inserting is ignored, BLK_STS_RESOURCE is returned
>>>>>>>>>> and the caller will fail forever.
>>>>>>>>>>
>>>>>>>>>> The 2nd patch refactors the code of issue request directly to unify the
>>>>>>>>>> helper interface which could handle all the cases.
>>>>>>>>>>
>>>>>>>>>> The 3rd patch make blk_mq_sched_insert_requests issue requests directly
>>>>>>>>>> with 'bypass' false, then it needn't to handle the non-issued requests
>>>>>>>>>> any more.
>>>>>>>>>>
>>>>>>>>>> The 4th patch replace and kill the blk_mq_request_issue_directly.
>>>>>>>>>
>>>>>>>>> Sorry to keep iterating on this, but let's default to inserting to
>>>>>>>>> the dispatch list if we ever see busy from a direct dispatch. I'm fine
>>>>>>>>> with doing that for 4.21, as suggested by Ming, I just didn't want to
>>>>>>>>> fiddle with it for 4.20. This will prevent any merging on the request
>>>>>>>>> going forward, which I think is a much safer default.
>>>>>>>>>
>>>>>>>>> You do this already for some cases. Let's do it unconditionally for
>>>>>>>>> a request that was ever subjected to ->queue_rq() and we didn't either
>>>>>>>>> error or finish after the fact.
>>>>>>>>>
>>>>>>>> I have done it in this version if I get your point correctly.
>>>>>>>> Please refer to the following fragment in the 2nd patch.
>>>>>>>>
>>>>>>>> +	/*
>>>>>>>> +	 * If the request is issued unsuccessfully with
>>>>>>>> +	 * BLK_STS_DEV_RESOURCE or BLK_STS_RESOURCE, insert
>>>>>>>> +	 * the request to hctx dispatch list due to attached
>>>>>>>> +	 * lldd resource.
>>>>>>>> +	 */
>>>>>>>> +	force = true;
>>>>>>>> +	ret = __blk_mq_issue_directly(hctx, rq, cookie, last);
>>>>>>>> +out_unlock:
>>>>>>>> +	hctx_unlock(hctx, srcu_idx);
>>>>>>>> +out:
>>>>>>>> +	switch (ret) {
>>>>>>>> +	case BLK_STS_OK:
>>>>>>>> +		break;
>>>>>>>> +	case BLK_STS_DEV_RESOURCE:
>>>>>>>> +	case BLK_STS_RESOURCE:
>>>>>>>> +		if (force) {
>>>>>>>> +			blk_mq_request_bypass_insert(rq, run_queue);
>>>>>>>> +			ret = bypass ? BLK_STS_OK : ret;
>>>>>>>> +		} else if (!bypass) {
>>>>>>>> +			blk_mq_sched_insert_request(rq, false,
>>>>>>>> +						    run_queue, false);
>>>>>>>> +		}
>>>>>>>> +		break;
>>>>>>>> +	default:
>>>>>>>
>>>>>>> You are right, I missed that you set force = true before doing the
>>>>>>> issue. So this looks good to me!
>>>>>>
>>>>>> I applied your series. With this, we should be good to remove the
>>>>>> REQ_NOMERGE logic that was added for the corruption case, and the
>>>>>> blk_rq_can_direct_dispatch() as well?
>>>>>>
>>>>>
>>>>> Yes, it should be that.
>>>>> Every thing rejected by .queue_rq is ended or inserted into hctx dispatch
>>>>> list. And also direct-issue path is unified with normal path.
>>>>
>>>> Why are we doing that return value dance, depending on whether this
>>>> is a bypass insert or not? That seems confusing.
>>>>
>>>
>>> For the 'bypass == false' case, it need to know whether the request is issued
>>> successfully. This is for the 3rd patch.
>>> I used to use the returned cookie to identify the result, but you don't like it.
>>> So I have to use this return value.
>>
>> Makes sense, but could probably do with a comment. I'm going to let the
>> series float for a day or two to ensure others get a chance to review it,
>> then we can move forward.
>>
> 
> Do I need a respin about the comment ?

I pulled in the two fixes from this week, so it would probably need a
respin on top of that.