mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
* [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup()
@ 2022-01-29  9:34 Jia-Ju Bai
  2022-01-29  9:57 ` Greg KH
  0 siblings, 1 reply; 5+ messages in thread
From: Jia-Ju Bai @ 2022-01-29  9:34 UTC (permalink / raw)
  To: Greg KH, jirislaby; +Cc: linux-serial, linux-kernel

Hello,

My static analysis tool reports a possible deadlock in the tty driver in 
Linux 5.10:

uart_remove_one_port()
   mutex_lock(&port->mutex); --> Line 3017 (Lock A)
   wait_event(state->remove_wait, ...); --> Line 3019 (Wait X)
   mutex_unlock(&port->mutex); --> Line 3021 (Unlock A)

uart_hangup()
   mutex_lock(&port->mutex); --> Line 1667 (Lock A)
   uart_flush_buffer()
     uart_port_unlock()
       uart_port_deref()
         wake_up(&uport->state->remove_wait); --> Line 68 (Wake X)
   mutex_unlock(&port->mutex); --> Line 1684 (Unlock A)

When uart_remove_one_port() is executed, "Wait X" is performed by 
holding "Lock A". If uart_hangup() is executed at this time, "Wake X" 
cannot be performed to wake up "Wait X" in uart_remove_one_port(), 
because "Lock A" has been already hold by uart_remove_one_port(), 
causing a possible deadlock.

I am not quite sure whether this possible problem is real and how to fix 
it if it is real.
Maybe we can call wait_event() before mutex_lock() in 
uart_remove_one_port().
Any feedback would be appreciated, thanks :)


Best wishes,
Jia-Ju Bai



^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup()
  2022-01-29  9:34 [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup() Jia-Ju Bai
@ 2022-01-29  9:57 ` Greg KH
  2022-01-29 10:01   ` Jia-Ju Bai
                     ` (2 more replies)
  0 siblings, 3 replies; 5+ messages in thread
From: Greg KH @ 2022-01-29  9:57 UTC (permalink / raw)
  To: Jia-Ju Bai; +Cc: jirislaby, linux-serial, linux-kernel

On Sat, Jan 29, 2022 at 05:34:05PM +0800, Jia-Ju Bai wrote:
> Hello,
> 
> My static analysis tool reports a possible deadlock in the tty driver in
> Linux 5.10:

5.10 was released over a year ago and over 100 thousand changes ago.
Please redo your check on 5.16 at the oldest.

thanks,

greg k-h

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup()
  2022-01-29  9:57 ` Greg KH
@ 2022-01-29 10:01   ` Jia-Ju Bai
  2022-02-01  6:51   ` Jia-Ju Bai
       [not found]   ` <20220201090740.3816-1-hdanton@sina.com>
  2 siblings, 0 replies; 5+ messages in thread
From: Jia-Ju Bai @ 2022-01-29 10:01 UTC (permalink / raw)
  To: Greg KH; +Cc: jirislaby, linux-serial, linux-kernel



On 2022/1/29 17:57, Greg KH wrote:
> On Sat, Jan 29, 2022 at 05:34:05PM +0800, Jia-Ju Bai wrote:
>> Hello,
>>
>> My static analysis tool reports a possible deadlock in the tty driver in
>> Linux 5.10:
> 5.10 was released over a year ago and over 100 thousand changes ago.
> Please redo your check on 5.16 at the oldest.

Thanks, Greg.
I will redo my check on 5.16.


Best wishes,
Jia-Ju Bai

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup()
  2022-01-29  9:57 ` Greg KH
  2022-01-29 10:01   ` Jia-Ju Bai
@ 2022-02-01  6:51   ` Jia-Ju Bai
       [not found]   ` <20220201090740.3816-1-hdanton@sina.com>
  2 siblings, 0 replies; 5+ messages in thread
From: Jia-Ju Bai @ 2022-02-01  6:51 UTC (permalink / raw)
  To: Greg KH; +Cc: jirislaby, linux-serial, linux-kernel



On 2022/1/29 17:57, Greg KH wrote:
> On Sat, Jan 29, 2022 at 05:34:05PM +0800, Jia-Ju Bai wrote:
>> Hello,
>>
>> My static analysis tool reports a possible deadlock in the tty driver in
>> Linux 5.10:
> 5.10 was released over a year ago and over 100 thousand changes ago.
> Please redo your check on 5.16 at the oldest.

My static analysis tool checks the tty driver in Linux 5.16, and also 
finds this possible deadlock:

uart_remove_one_port()
   mutex_lock(&port->mutex); --> Line 3032 (Lock A)
   wait_event(state->remove_wait, ...); --> Line 3034 (Wait X)
   mutex_unlock(&port->mutex); --> Line 3036 (Unlock A)

uart_hangup()
   mutex_lock(&port->mutex); --> Line 1669 (Lock A)
   uart_flush_buffer()
     uart_port_unlock()
       uart_port_deref()
         wake_up(&uport->state->remove_wait); --> Line 68 (Wake X)
   mutex_unlock(&port->mutex); --> Line 1686 (Unlock A)

When uart_remove_one_port() is executed, "Wait X" is performed by 
holding "Lock A". If uart_hangup() is executed at this time, "Wake X" 
cannot be performed to wake up "Wait X" in uart_remove_one_port(), 
because "Lock A" has been already hold by uart_remove_one_port(), 
causing a possible deadlock.

I am not quite sure whether this possible problem is real and how to fix 
it if it is real.
Maybe we can call wait_event() before mutex_lock() in 
uart_remove_one_port().
Any feedback would be appreciated, thanks :)


Best wishes,
Jia-Ju Bai


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup()
       [not found]   ` <20220201090740.3816-1-hdanton@sina.com>
@ 2022-02-05  4:30     ` Jia-Ju Bai
  0 siblings, 0 replies; 5+ messages in thread
From: Jia-Ju Bai @ 2022-02-05  4:30 UTC (permalink / raw)
  To: Hillf Danton; +Cc: Greg KH, jirislaby, linux-serial, linux-kernel



On 2022/2/1 17:07, Hillf Danton wrote:
> On Tue, 1 Feb 2022 14:51:09 +0800 Jia-Ju Bai wrote:
>> On 2022/1/29 17:57, Greg KH wrote:
>>> On Sat, Jan 29, 2022 at 05:34:05PM +0800, Jia-Ju Bai wrote:
>>>> Hello,
>>>>
>>>> My static analysis tool reports a possible deadlock in the tty driver in
>>>> Linux 5.10:
>>> 5.10 was released over a year ago and over 100 thousand changes ago.
>>> Please redo your check on 5.16 at the oldest.
>> My static analysis tool checks the tty driver in Linux 5.16, and also
>> finds this possible deadlock:
>>
>> uart_remove_one_port()
>>     mutex_lock(&port->mutex); --> Line 3032 (Lock A)
>>     wait_event(state->remove_wait, ...); --> Line 3034 (Wait X)
>>     mutex_unlock(&port->mutex); --> Line 3036 (Unlock A)
>>
>> uart_hangup()
>>     mutex_lock(&port->mutex); --> Line 1669 (Lock A)
>>     uart_flush_buffer()
>>       uart_port_unlock()
>>         uart_port_deref()
>>           wake_up(&uport->state->remove_wait); --> Line 68 (Wake X)
>>     mutex_unlock(&port->mutex); --> Line 1686 (Unlock A)
>>
>> When uart_remove_one_port() is executed, "Wait X" is performed by
>> holding "Lock A". If uart_hangup() is executed at this time, "Wake X"
>> cannot be performed to wake up "Wait X" in uart_remove_one_port(),
>> because "Lock A" has been already hold by uart_remove_one_port(),
>> causing a possible deadlock.
>>
>> I am not quite sure whether this possible problem is real and how to fix
>> it if it is real.
>> Maybe we can call wait_event() before mutex_lock() in
>> uart_remove_one_port().
>> Any feedback would be appreciated, thanks :)
>>
>>
>> Best wishes,
>> Jia-Ju Bai
> Hey Jia-Ju
>
> Thank you for reporting it.
>
> In uart_flush_buffer(), uart_port_unlock() pairs with uart_port_lock()
> which bumps refcount up. OTOH no wakep is needed without refcount
> incremented, so the wakeup above in the hangup path is not waited for
> in the remove path.

Hi Hillf,

Thanks for the explanation :)
So I wonder which wait_event() can be paired with 
wake_up(&uport->state->remove_wait) in uart_port_deref()?


Best wishes,
Jia-Ju Bai

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2022-02-05  4:30 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-29  9:34 [BUG] tty: serial: possible deadlock in uart_remove_one_port() and uart_hangup() Jia-Ju Bai
2022-01-29  9:57 ` Greg KH
2022-01-29 10:01   ` Jia-Ju Bai
2022-02-01  6:51   ` Jia-Ju Bai
     [not found]   ` <20220201090740.3816-1-hdanton@sina.com>
2022-02-05  4:30     ` Jia-Ju Bai

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

Powered by JetHome