On 2019/2/15 下午3:18, Qu Wenruo wrote:
> 
> 
> On 2019/1/31 下午10:36, David Sterba wrote:
>> On Thu, Jan 31, 2019 at 08:45:42AM +0800, Qu Wenruo wrote:
>>>
>>>
>>> On 2019/1/30 下午11:19, David Sterba wrote:
>>>> On Fri, Jan 25, 2019 at 01:09:17PM +0800, Qu Wenruo wrote:
>>>>> +static int __must_check flush_write_bio(struct extent_page_data *epd)
>>>>>  {
>>>>> - if (epd->bio) {
>>>>> -         int ret;
>>>>> + int ret = 0;
>>>>>  
>>>>> + if (epd->bio) {
>>>>>           ret = submit_one_bio(epd->bio, 0, 0);
>>>>> -         BUG_ON(ret < 0); /* -ENOMEM */
>>>>>           epd->bio = NULL;
>>>>
>>>> I'm not sure if resetting epd->bio to NULL is all that needs to be done
>>>> here. With the BUG_ON the error case never happens so if all goes fine
>>>> it's also ok to set it to NULL and continue. But the callers might need
>>>> to send the flush again.
>>>
>>> If flush_write_bio() get called again on the failed one, it will just
>>> get skipped as  epd->bio is NULL, submit_one_bio() will not be triggered.
>>
>> Yes that's clear, but what is the state of the bio that went to
>> flush_write_bio and submit_one_bio failed?
>>
> 
> You got me.
> 
> In fact current simple "epd->bio = NULL" on failure will just leak epd->bio.
> 
> We need to at least call "bio_put(epd->bio);" before setting "epd->bio =
> NULL;"

Facepalm, I'm always too quick to draw a conclusion.

With proper test, the epd->bio is freed by its endio function.
So at flush_write_bio() call time, no matter whether submit_one_bio()
returns error or not, endio of epd->bio will be or has already been
triggered thus free the bio.

Either by successful bio submission, or by manual bio_endio(bio) call in
submit_bio_hook.

So in fact just setting "epd->bio = NULL" is completely fine in this
context.

Thanks,
Qu

> 
> Thanks for pointing this problem out,
> Qu
> 

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to