Thread (18 messages) 18 messages, 3 authors, 2020-06-09

Re: [PATCH RT 1/2] tasklet: Address a race resulting in double-enqueue

From: Tom Zanussi <zanussi@kernel.org>
Date: 2020-06-09 16:57:37
Also in: lkml

Hi Sebastian,

On Tue, 2020-06-09 at 18:34 +0200, Sebastian Andrzej Siewior wrote:
On 2020-06-09 11:17:53 [-0500], Tom Zanussi wrote:
quoted
Hi Sebastian,
Hi Tom,
quoted
I did find a problem with the patch when configured as !SMP since
in
that case the RUN flag is never set (will send a patch for that
shortly), but that wouldn't be the case here.
How?
My test machine with !SMP and !RT doesn't boot, and in that case we
have:

#define tasklet_trylock(t) 1
#define tasklet_tryunlock(t)    1

instead of setting/clearing the RUN flag.

So the cmpxchg with RUN+CHAIN can never work and we hit the loop.
quoted
#if defined(CONFIG_SMP) || defined(CONFIG_PREEMPT_RT_FULL)
static inline int tasklet_trylock(struct tasklet_struct *t)
{
        return !test_and_set_bit(TASKLET_STATE_RUN, &(t)->state);
}
I can't tell from the backtrace if he runs with RT or without but I
assumed RT. But yes, for !SMP && !RT it would explain it.
Yeah, for me !SMP and RT works, but !SMP and !RT doesn't.

I had assumed he was talking about the samely configured kernel, but
apparently it's not.

Tom
quoted
It would help to be able to reproduce it, but I haven't been able
to
yet.

Tom
Sebastian
  
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help