On Tue 2018-06-19 09:53:08, Sergey Senozhatsky wrote: > Thanks for taking a look! > > On (06/18/18 14:38), Alan Cox wrote: > > > It doesn't come as a surprise that recursive printk() calls are not the > > > only way for us to deadlock in printk() and we still have a whole bunch > > > of other printk() deadlock scenarios. For instance, those that involve > > > TTY port->lock spin_lock and UART port->lock spin_lock. > > > > The tty layer code there is not re-entrant. Nor is it supposed to be It is re-entrant via printk(). I mean that any printk() called inside the locked sections might cause recursion if the same lock is needed also by con->write() callbacks. > Could be. > > But at least we have circular locking dependency in tty, > see [1] for more details: > > tty_port->lock => uart_port->lock > > CPU0 > tty > spin_lock(&tty_port->lock) > printk() > call_console_drivers() > foo_console_write() > spin_lock(&uart_port->lock) > > Whereas we normally have > > uart_port->lock => tty_port->lock > > CPU1 > IRQ > foo_console_handle_IRQ() > spin_lock(&uart_port->lock) > tty > spin_lock(&tty_port->lock) This is even more complicated situation because printk() allowed an ABBA lock scenario. > If we switch to printk_safe when we take tty_port->lock then we > remove the printk->uart_port chain from the picture. > > > > So the idea of this patch set is to take tty_port->lock and > > > uart_port->lock from printk_safe context and to eliminate some > > > of non-recursive printk() deadlocks - the ones that don't start > > > in printk(), but involve console related locks and thus eventually > > > deadlock us in printk(). For this purpose the patch set introduces > > > several helper macros: > > > > I don't see how this helps - if you recurse into the uart code you are > > still hitting the paths that are unsafe when re-entered. All you've done > > is messed up a pile of locking code on critical performance paths. > > > > As it stands I think it's a bad idea. > > The only new thing is that we inc/dec per-CPU printk context > variable when we lock/unlock tty/uart port lock: > > printk_safe_enter() -> this_cpu_inc(printk_context); > printk_safe_exit() -> this_cpu_dec(printk_context); To make it clear. This patch set adds yet another spin_lock API. It behaves exactly as spin_lock_irqsafe()/spin_unlock_irqrestore() but in addition it sets printk_context. Where printk_context defines what printk implementation is safe. We basically have four possibilities: 1. normal (store in logbuf, try to handle consoles) 2. deferred (store in logbuf, deffer consoles) 3. safe (store in per-CPU buffer, deffer everything) 4. safe_nmi (store in another per-CPU buffer, deffer everything) This patchset forces safe context around TTY and UART locks. In fact, the deferred context would be enough to prevent all the mentioned deadlocks. IMHO, the only question is if people might get familiar with yet another spin_lock API. Best Regards, Petr -- To unsubscribe from this list: send the line "unsubscribe linux-serial" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
