Message ID | 20241014210840.5941d336@foxbook (mailing list archive) |
---|---|
Headers | show |
Series | Fix the NEC stop bug workaround | expand |
On 14.10.2024 22.08, Michal Pecio wrote: > Hi, > > I found an unfortunate problem with my workaround for this hardware bug. > > To recap, Stop Endpoint sometimes fails, the Endpoint Context says the > EP is Stopped, but cancelled TRBs are still executed. I found this bug > earlier this year and submitted a workaround, which retries the command > (sometimes a few times) and all is good. > > This works fine for common cases, but what if the endpoint is really > stopped? Then Stop Endpoint is supposed to fail and fail it does. The > workaround code doesn't know that it happened and retries infinitely. > > I have never seen it in normal use, but I devised a reliable repro. > The effect isn't pretty - no URBs can be cancelled, device gets stuck, > if unplugged it locks up connections/disconnections on the whole bus. > > With some experimentation I found that the bug is a variant of the old > "stop after restart" issue - the doorbell ring is internally reordered > after the subsequent command. By busy-waiting I confirmed that EP state > which is initially seen as Stopped becomes Running some time later. > Seems host controllers aren't designed to stop, move dequeue, and restart an endpoint in quick succession. In addition to fixing this NEC case we could think about avoiding these cases, some could be avoided by adding a new ".flush_endpoint()" callback to the USB host side API. Usb core itself has a usb_hcd_flush_endpoint() function that calls .urb_dequeue() in a loop for each queued URB, causing host to issue the stop, move deq and ring doorbell for every URB. If usbcore knows all URBs will be cancelled it could let host do it in one go. i.e. stop endpoint once. Thanks Mathias
On Tue, Oct 15, 2024 at 03:23:23PM +0300, Mathias Nyman wrote: > In addition to fixing this NEC case we could think about avoiding these > cases, some could be avoided by adding a new ".flush_endpoint()" callback to > the USB host side API. Usb core itself has a usb_hcd_flush_endpoint() function > that calls .urb_dequeue() in a loop for each queued URB, causing host to > issue the stop, move deq and ring doorbell for every URB. > > If usbcore knows all URBs will be cancelled it could let host do it in one go. > i.e. stop endpoint once. Indeed, this makes a lot of sense, and I have long thought that the API should have been designed this way from the beginning. At least for non-Control transfers, unlinking a single URB somewhere inside a sequence of URBs seems pointless. I doubt that it ever happens in the kernel. (On the other hand, it _is_ reasonable to do this for Control transfers, because they can come from several different sources, not just from the device's driver. The source for a Control URB might want to unlink it while not affecting the URBs from other sources.) Furthermore, I suspect this is what Windows does and what the USBIF originally had in mind for URB management. (It's harder to tell what they thought about Control transfers, though.) Alan Stern
> > With some experimentation I found that the bug is a variant of the > > old "stop after restart" issue - the doorbell ring is internally > > reordered after the subsequent command. By busy-waiting I confirmed > > that EP state which is initially seen as Stopped becomes Running > > some time later. > > Seems host controllers aren't designed to stop, move dequeue, and > restart an endpoint in quick succession. As it was you who added the Running case handling, do you know hardware other than NEC which triggers this? Or could it be just a single vendor who screwed up once 15 years ago and caused all the chaos? NEC sometimes triggers the Running case too and it is obvious why. I'm not sure how I missed it back in January and assumed it's some sort of random failure for no reason. BTW, the NEC problem appears to be limited to periodic endpoints. I am unable to reproduce it on bulk. I thought that I reproduced it on bulk back then, but on second thought it may have been interrupt, which that device also has. Unfortunatel I wasn't printing endpoint numbers then. Regards, Michal
On 16.10.2024 8.47, Michał Pecio wrote: >>> With some experimentation I found that the bug is a variant of the >>> old "stop after restart" issue - the doorbell ring is internally >>> reordered after the subsequent command. By busy-waiting I confirmed >>> that EP state which is initially seen as Stopped becomes Running >>> some time later. >> >> Seems host controllers aren't designed to stop, move dequeue, and >> restart an endpoint in quick succession. > > As it was you who added the Running case handling, do you know hardware > other than NEC which triggers this? Or could it be just a single vendor > who screwed up once 15 years ago and caused all the chaos? > > NEC sometimes triggers the Running case too and it is obvious why. I'm > not sure how I missed it back in January and assumed it's some sort of > random failure for no reason. > > BTW, the NEC problem appears to be limited to periodic endpoints. I am > unable to reproduce it on bulk. I thought that I reproduced it on bulk > back then, but on second thought it may have been interrupt, which that > device also has. Unfortunatel I wasn't printing endpoint numbers then. > > Regards, > Michal Sorry about the reply delay. I don't think this is a NEC only issue. I was originally fixing halted endpoints at stop endpoint command completion, did some stress testing, and was able to hit that running case on Intel xHC controllers See: 9ebf30007858 xhci: Fix halted endpoint at stop endpoint command completion 1174d44906d5 xhci: handle stop endpoint command completion with endpoint in running state. I also just got a report off-list about an exactly similar case as yours, endpoint stopped with ctx error, endpoint state was still stopped even if doorbell was already rung. This caused Set TR Deq command to fail with context error as endpoint was running by the time this command was processed. This was on a Intel host, se we need a generic solution to this. Thanks -Mathias