Re: [PATCH v2] timers: Clear must_forward_clk inside base lock

From: Thomas Gleixner
Date: Thu Aug 02 2018 - 12:02:17 EST

On Thu, 2 Aug 2018, Gaurav Kohli wrote:
> Timer wheel base->must_forward_clock is indicating that
> the base clock might be stale due to a long idle sleep.
> The forwarding of base clock takes place in softirq of timer

of the base clock takes place in the timer softirq ...

> or when a timer is enqueued to base which is idle. While migrate

to a base ..

> timer from remote CPU to the new base which is idle, then

See below.

> following race can happen:
> run_timer_softirq timers_dead_cpu
> base = lock_timer_base(timer);
> base->must_forward_clk = false
> if (base->must_forward_clk)
> forward(base); >>skip
> migrate_timer_list

I don't know why you insist on migrate_timer_list() being part of the
picture here.

It's only _ONE_ particular way to observe that issue. But it's not the only
way. ANY remote enqueue which hits the situation on the other CPU (CPU0 in
the example) has this problem. Tying it to migrate_timer_list() just
because you observed it that way is actively misleading. Surely you can add
a sentence that you observed it in that case, but that's supplemental