Thread (34 messages) 34 messages, 3 authors, 2021-03-18

Re: [PATCH 4/6] usbip: fix stub_dev usbip_sockfd_store() races leading to gpf

From: Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>
Date: 2021-03-10 00:04:27
Also in: lkml

On 2021/03/10 8:52, Shuah Khan wrote:
On 3/9/21 4:40 PM, Tetsuo Handa wrote:
quoted
On 2021/03/10 4:50, Shuah Khan wrote:
quoted
On 3/9/21 4:04 AM, Tetsuo Handa wrote:
quoted
On 2021/03/09 1:27, Shuah Khan wrote:
quoted
Yes. We might need synchronization between events, threads, and shutdown
in usbip_host side and in connection polling and threads in vhci.

I am also looking at the shutdown sequences closely as well since the
local state is referenced without usbip_device lock in these paths.

I am approaching these problems as peeling the onion an expression so
we can limit the changes and take a spot fix approach. We have the
goal to address these crashes and not introduce regressions.
I think my [PATCH v4 01/12]-[PATCH v4 06/12] simplify your further changes
without introducing regressions. While ud->lock is held when checking ud->status,
current attach/detach code is racy about read/update of ud->status . I think we
can close race in attach/detach code via a simple usbip_event_mutex serialization.
Do you mean patches 1,2,3,3,4,5,6?
Yes, my 1,2,3,4,5,6.

Since you think that usbip_prepare_threads() does not worth introducing, I'm fine with
replacing my 7,8,9,10,11,12 with your "[PATCH 0/6] usbip fixes to crashes found by syzbot".
Using event lock isn't the right approach to solve the race. It is a
large grain lock. I am not looking to replace patches.
It is not a large grain lock. Since event_handler() is exclusively executed, this lock
does _NOT_ block event_handler() unless attach/detach operations run concurrently.
I still haven't seen any response from you about if you were able to
verify the fixes I sent in fix the problem you are seeing.
I won't be able to verify your fixes, for it is syzbot who is seeing the problem.
But I can see that your patch description is wrong because you are ignoring what I'm commenting.

Global serialization had better come first. Your patch description depends on global serialization.
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help