Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Date:   Thu, 2 Aug 2018 08:34:42 +0200 (CEST)
From:   Thomas Gleixner <tglx@linutronix.de>
To:     Gaurav Kohli <gkohli@codeaurora.org>
cc:     john.stultz@linaro.org, sboyd@kernel.org,
        linux-kernel@vger.kernel.org, linux-arm-msm@vger.kernel.org
Subject: Re: [PATCH v2] timers: Clear must_forward_clk inside base lock
In-Reply-To: <1533186903-28419-1-git-send-email-gkohli@codeaurora.org>
Message-ID: <alpine.DEB.2.21.1808020826580.1835@nanos.tec.linutronix.de>
References: <1533186903-28419-1-git-send-email-gkohli@codeaurora.org>
User-Agent: Alpine 2.21 (DEB 202 2017-01-01)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

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:
> 
>   CPU0                                  CPU1
>   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
information.

Thanks,

	tglx