Received-SPF: pass (google.com: domain of linux-kernel+bounces-211420-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.48.161 as permitted sender) client-ip=147.75.48.161;
Date: Wed, 12 Jun 2024 13:33:50 +0200
From: Petr Mladek <pmladek@suse.com>
To: John Ogness <john.ogness@linutronix.de>
Cc: Sergey Senozhatsky <senozhatsky@chromium.org>,
	Steven Rostedt <rostedt@goodmis.org>,
	Thomas Gleixner <tglx@linutronix.de>, linux-kernel@vger.kernel.org,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Subject: Re: [PATCH printk v2 04/18] printk: nbcon: Introduce printing
 kthreads
Message-ID: <ZmmHnvYf74LCQQ77@pathway.suse.cz>
References: <20240603232453.33992-1-john.ogness@linutronix.de>
 <20240603232453.33992-5-john.ogness@linutronix.de>
 <ZmMIOWEAMgXz4j-U@pathway.suse.cz>
 <87ed95j8yh.fsf@jogness.linutronix.de>
 <ZmhkVAC_3FMohrEr@pathway.suse.cz>
 <87sexipmrk.fsf@jogness.linutronix.de>
 <ZmlpPucSy8Topb5h@pathway.suse.cz>
 <87plsmpfy7.fsf@jogness.linutronix.de>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <87plsmpfy7.fsf@jogness.linutronix.de>

On Wed 2024-06-12 13:24:24, John Ogness wrote:
> On 2024-06-12, Petr Mladek <pmladek@suse.com> wrote:
> >> > After all, I would add two comments, like these:
> >> >
> >> > <proposal-2>
> >> > 	/*
> >> > 	 * Any access to the console device is serialized either by
> >> > 	 * device_lock() or console context or both.
> >> > 	 */
> >> > 	kt = kthread_run(nbcon_kthread_func, con, "pr/%s%d", con->name,
> >> > con->index);
> >> > [...]
> >> >
> >> > 	/*
> >> > 	 * Some users check con->kthread to decide whether to flush
> >> > 	 * the messages directly using con->write_atomic(). But they
> >> > 	 * do so only when the console is already in @console_list.
> >> > 	 */
> >> 
> >> I do not understand how @console_list is related to racing between
> >> non-thread and thread. kthreads are not only created during
> >> registration. For example, they can be created much later when the last
> >> boot console unregisters.
> >
> > I had in mind two particular code paths:
> >
> >   1. The check of con->kthread in nbcon_device_release() before
> >      calling __nbcon_atomic_flush_pending_con().
> >
> >      But it is called only when __uart_port_using_nbcon() returns true.
> >      And it would fail when nbcon_kthread_create() is called because
> >
> > 		checks hlist_unhashed_lockless(&up->cons->node)
> >
> >      would fail. Which checks of the console is in @console_list
> >
> >
> >   2. The following check in console_flush_all()
> >
> > 			if ((flags & CON_NBCON) && con->kthread)
> > 				continue;
> >
> >      The result affects whether the legacy flush would call
> >      nbcon_legacy_emit_next_record().
> >
> >      But this is called only for_each_console_srcu(con)
> >      => it could not race with nbcon_kthread_create()
> > 	because this console is not in @console_list at this moment.
> >
> > By other words, I was curious whether some other code paths might
> > call con->write_atomic() while the kthread is already running.
> >
> > It is not that important because it would be safe anyway.
> > I was checking this before I realized that it would be safe.
> 
> Yes, it must be safe because it can happen at any time. For example,
> when flushing after an emergency section.
> 
> > Anyway, the information about that the console is not in @console_list
> > when we set con->kthread still looks useful.
> 
> Except that it is not always true. If boot consoles are registered, the
> kthread is created later, after the console _is_ in
> @console_list. Setting con->kthread really has nothing to do with
> @console_list.

Right. I have missed this.

> > At minimum, the check would be racy if the console was on the list.
> 
> The con->kthread check _is_ racey, but it doesn't matter. Perhaps you
> just want to make it clear that it is racey but it does not matter.
> 
> How about:
> 
> 	/*
> 	 * Some users check con->kthread to decide whether to flush
> 	 * the messages directly using con->write_atomic(). Although
> 	 * racey, such a check for that purpose is safe because both
> 	 * threaded and atomic printing are serialized by the
> 	 * console context.
> 	 */
> 	con->kthread = kt;

Yes, it sounds good.

Best Regards,
Petr