Re: [PATCH v2] usb: dwc3: gadget: Avoid canceling current request for queuing error

From: Wesley Cheng
Date: Wed May 05 2021 - 13:59:24 EST




On 5/5/2021 5:57 AM, Felipe Balbi wrote:
>
> Hi,
>
> Wesley Cheng <wcheng@xxxxxxxxxxxxxx> writes:
>> On 5/3/2021 7:20 PM, Thinh Nguyen wrote:
>>> Hi,
>>>
>>> Wesley Cheng wrote:
>>>> If an error is received when issuing a start or update transfer
>>>> command, the error handler will stop all active requests (including
>>>> the current USB request), and call dwc3_gadget_giveback() to notify
>>>> function drivers of the requests which have been stopped. Avoid
>>>> having to cancel the current request which is trying to be queued, as
>>>> the function driver will handle the EP queue error accordingly.
>>>> Simply unmap the request as it was done before, and allow previously
>>>> started transfers to be cleaned up.
>>>>
>>
>> Hi Thinh,
>>
>>>
>>> It looks like you're still letting dwc3 stopping and cancelling all the
>>> active requests instead letting the function driver doing the dequeue.
>>>
>>
>> Yeah, main issue isn't due to the function driver doing dequeue, but
>> having cleanup (ie USB request free) if there is an error during
>> usb_ep_queue().
>>
>> The function driver in question at the moment is the f_fs driver in AIO
>> mode. When async IO is enabled in the FFS driver, every time it queues
>> a packet, it will allocate a io_data struct beforehand. If the
>> usb_ep_queue() fails it will free this io_data memory. Problem is that,
>> since the DWC3 gadget calls the completion with -ECONNRESET, the FFS
>> driver will also schedule a work item (within io_data struct) to handle
>> the completion. So you end up with a flow like below
>>
>> allocate io_data (ffs)
>> --> usb_ep_queue()
>> --> __dwc3_gadget_kick_transfer()
>> --> dwc3_send_gadget_ep_cmd(EINVAL)
>> --> dwc3_gadget_ep_cleanup_cancelled_requests()
>> --> dwc3_gadget_giveback(ECONNRESET)
>> ffs completion callback
>> queue work item within io_data
>> --> usb_ep_queue returns EINVAL
>> ffs frees io_data
>> ...
>>
>> work scheduled
>> --> NULL pointer/memory fault as io_data is freed
>
> I have some vague memory of discussing (something like) this with Alan
> Stern long ago and the conclusion was that the gadget driver should
> handle cases such as this. OTOH, we're returning failure during
> usb_ep_queue() which tells me there's something with dwc3 (perhaps not
> exclusively, but that's yet to be shown).
>

Hi Felipe,

> If I understood the whole thing correctly, we want everything except the
> current request (the one that failed START or UPDATE transfer) to go
> through giveback(). This really tells me that we're not handling error
> case in kick_transfer and/or prepare_trbs() correctly.
>

We don't want the request passed in usb_ep_queue() to be calling
giveback() IF DONE IN the usb_ep_queue() context only.

> I also don't want to pass another argument to kick_transfer because it
> should be unnecessary: the current request should *always* be the last
> one in the list. Therefore we should rely on something like
> list_last_entry() followed by list_for_each_entry_safe_reverse() to
> handle this without a special case.
>
> ret = dwc3_send_gadget_ep_cmd();
> if (ret < 0) {
> current = list_last_entry();
>
> unmap(current);
> for_each_trb_in(current) {
> clear_HWO(trb);
> }
>
> list_for_entry_safe_reverse() {
> move_cancelled();
> }
> }
>
Nice, thanks for the suggestion and info! Problem we have is that kick
transfer is being used elsewhere, for example, during the TRB complete path:

static bool dwc3_gadget_endpoint_trbs_complete(struct dwc3_ep *dep,
const struct dwc3_event_depevt *event, int status)
{
...
else if (dwc3_gadget_ep_should_continue(dep))
if (__dwc3_gadget_kick_transfer(dep) == 0)
no_started_trb = false;

So in these types of calls, we would still want ALL requests to be
cancelled w/ giveback() called, so that the completion() callbacks can
cleanup/free those requests accordingly.

If we went and only unmapped the last entry (and removed it from any
list), then no one would clean it up as it is outside of the
usb_ep_queue() context, and not within any of the DWC3 lists.

Thanks
Wesley Cheng

--
The Qualcomm Innovation Center, Inc. is a member of the Code Aurora Forum,
a Linux Foundation Collaborative Project