Re: [PATCH] pinctrl: Add lock to ensure the state atomization

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


On 12/5/2023 12:46 AM, Bjorn Andersson wrote:
On Mon, Dec 04, 2023 at 05:57:42PM +0800, Aiqun(Maria) Yu wrote:
On 12/2/2023 4:39 AM, Bjorn Andersson wrote:
On Fri, Dec 01, 2023 at 11:29:31PM +0800, Maria Yu wrote:
Currently pinctrl_select_state is an export symbol and don't have
effective re-entrance protect design. And possible of pinctrl state
changed during pinctrl_commit_state handling. Add per pinctrl lock to
ensure the old state and new state transition atomization.
Move dev error print message right before old_state pinctrl_select_state
and out of lock protection to avoid console related driver call
pinctrl_select_state recursively.

I'm uncertain about the validity of having client code call this api in
a racy manner. I'm likely just missing something here... It would be
nice if this scenario was described in a little bit more detail.
Hi Bjorn,

we've got a customer dump that the real racy happened, and the system
frequently have printk message like:
   "not freeing pin xx (xxx) as part of deactivating group xxx - it is
already used for some other setting".
Finally the system crashed after the flood log.

Sounds like we have a valid issue, but let's make sure that we
describe the problem on its technical grounds in the commit that is
upstreamed - if nothing else, so that others can determine if the
solution matches their bug reports.

We've inform the customer to check their own client code which called this
api, to have proper lock to avoid racy of per dev pinctrl_select_state call
from customer driver end.
For example:

Placing a lock inside pinctrl_select_state() will not make this whole
sequence atomic, so if the client driver needs to know that the state
remains from here until the "other hardware behaviors" below, something
more is needed.
This is only an example to enforcing from the clients which call this API. while apparently not all clients ensured this kind of lock safe when to call pinctrl_select_state, so that's why placing a lock inside pinctrl_select_state to ensure atomic of per dev pinctrl at least.

Perhaps I'm misunderstanding what you're saying though?

gpio pulling;
check state;
other hardware behaviors;

While it is still unnecessary the volatile re-load of p->state for the
interation and so I upstream a patch like link[2].

while during the merge discussion, upstream maintainer suggest to have the
lock issue fixed, instead of only READ_ONCE for the interation.
I think it is also make sense since although current in-tree driver have
take care of each pinctrl_select_state call, since it is a export symbole
and we've see the similar issue continuously (a year back ago also we've
seen similar issue before[3]).

I think you're correcting a real problem, in that two contexts calling
pinctrl_select_state() seems to be able to cause non-deterministic
results. But is the motivation "pinctrl_select_state() is an
EXPORT_SYMBOL, so let's make it thread safe", or is the motivation
EXPORT_SYMBOL pinctrl_select_state, let's make it thread safe is a motivation here. As above reason explained.
"during async probing of devices it's possible to end up in
pinctrl_select_state() from multiple contexts simultaneously, so make it
thread safe"?

The whole serials discussion can be found link here:

The recursive error print sounds like a distinct problem of its own,
that warrants being introduced in a patch of its own. But as with the
other part, I'm not able to spot a code path in the upstream kernel
where this hppens, so please properly describe the scenario where
touching the console would result back in another pinctrl_select_state().
For this part, I am thinking about a spin lock is introduced and have the
error log out of the lock will be safer.
The current patch disable irq during the lock, and some console driver rely
on interrupt to get tx dma/fifo ready.

Logging outside the region with interrupts disabled make total sense,
I'm definitely in favor of this.
Fair enough.

Also console driver will be a pinctrl client, so avoid unnecessary recursive
in theory.

I don't think a console driver should pinctrl_select_state() from its
tx path, that's why I'm asking.

Got you. I haven't seen in-tree console driver have tx path call pinctrl_select_state. Will re-vise the commit comments accordingly.
But perhaps I'm missing some scenario, if so please describe this in the
commit message.

Just incase some out of tree concole driver was able to use the
pinctrl_select_state in console write related APIs as well.

If there is a valid usage pattern I think we should consider that, but
we do not care about out-of-tree drivers misusing/abusing framework


Thx and BRs,
Aiqun(Maria) Yu

[Index of Archives]     [Linux ARM Kernel]     [Linux ARM]     [Linux Omap]     [Fedora ARM]     [Linux for Sparc]     [IETF Annouce]     [Security]     [Bugtraq]     [Linux MIPS]     [ECOS]     [Asterisk Internet PBX]     [Linux API]

  Powered by Linux