Skip to content

Commit 46eb170

Browse files
anna-marialxIngo Molnar
authored andcommitted
hrtimer: Update softirq_expires_next correctly after __hrtimer_get_next_event()
hrtimer_force_reprogram() and hrtimer_interrupt() invokes __hrtimer_get_next_event() to find the earliest expiry time of hrtimer bases. __hrtimer_get_next_event() does not update cpu_base::[softirq_]_expires_next to preserve reprogramming logic. That needs to be done at the callsites. hrtimer_force_reprogram() updates cpu_base::softirq_expires_next only when the first expiring timer is a softirq timer and the soft interrupt is not activated. That's wrong because cpu_base::softirq_expires_next is left stale when the first expiring timer of all bases is a timer which expires in hard interrupt context. hrtimer_interrupt() does never update cpu_base::softirq_expires_next which is wrong too. That becomes a problem when clock_settime() sets CLOCK_REALTIME forward and the first soft expiring timer is in the CLOCK_REALTIME_SOFT base. Setting CLOCK_REALTIME forward moves the clock MONOTONIC based expiry time of that timer before the stale cpu_base::softirq_expires_next. cpu_base::softirq_expires_next is cached to make the check for raising the soft interrupt fast. In the above case the soft interrupt won't be raised until clock monotonic reaches the stale cpu_base::softirq_expires_next value. That's incorrect, but what's worse it that if the softirq timer becomes the first expiring timer of all clock bases after the hard expiry timer has been handled the reprogramming of the clockevent from hrtimer_interrupt() will result in an interrupt storm. That happens because the reprogramming does not use cpu_base::softirq_expires_next, it uses __hrtimer_get_next_event() which returns the actual expiry time. Once clock MONOTONIC reaches cpu_base::softirq_expires_next the soft interrupt is raised and the storm subsides. Change the logic in hrtimer_force_reprogram() to evaluate the soft and hard bases seperately, update softirq_expires_next and handle the case when a soft expiring timer is the first of all bases by comparing the expiry times and updating the required cpu base fields. Split this functionality into a separate function to be able to use it in hrtimer_interrupt() as well without copy paste. Fixes: 5da7016 ("hrtimer: Implement support for softirq based hrtimers") Reported-by: Mikael Beckius <[email protected]> Suggested-by: Thomas Gleixner <[email protected]> Tested-by: Mikael Beckius <[email protected]> Signed-off-by: Anna-Maria Behnsen <[email protected]> Signed-off-by: Thomas Gleixner <[email protected]> Signed-off-by: Ingo Molnar <[email protected]> Link: https://lore.kernel.org/r/[email protected]
1 parent a38fd87 commit 46eb170

File tree

1 file changed

+39
-21
lines changed

1 file changed

+39
-21
lines changed

kernel/time/hrtimer.c

Lines changed: 39 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -546,8 +546,11 @@ static ktime_t __hrtimer_next_event_base(struct hrtimer_cpu_base *cpu_base,
546546
}
547547

548548
/*
549-
* Recomputes cpu_base::*next_timer and returns the earliest expires_next but
550-
* does not set cpu_base::*expires_next, that is done by hrtimer_reprogram.
549+
* Recomputes cpu_base::*next_timer and returns the earliest expires_next
550+
* but does not set cpu_base::*expires_next, that is done by
551+
* hrtimer[_force]_reprogram and hrtimer_interrupt only. When updating
552+
* cpu_base::*expires_next right away, reprogramming logic would no longer
553+
* work.
551554
*
552555
* When a softirq is pending, we can ignore the HRTIMER_ACTIVE_SOFT bases,
553556
* those timers will get run whenever the softirq gets handled, at the end of
@@ -588,6 +591,37 @@ __hrtimer_get_next_event(struct hrtimer_cpu_base *cpu_base, unsigned int active_
588591
return expires_next;
589592
}
590593

594+
static ktime_t hrtimer_update_next_event(struct hrtimer_cpu_base *cpu_base)
595+
{
596+
ktime_t expires_next, soft = KTIME_MAX;
597+
598+
/*
599+
* If the soft interrupt has already been activated, ignore the
600+
* soft bases. They will be handled in the already raised soft
601+
* interrupt.
602+
*/
603+
if (!cpu_base->softirq_activated) {
604+
soft = __hrtimer_get_next_event(cpu_base, HRTIMER_ACTIVE_SOFT);
605+
/*
606+
* Update the soft expiry time. clock_settime() might have
607+
* affected it.
608+
*/
609+
cpu_base->softirq_expires_next = soft;
610+
}
611+
612+
expires_next = __hrtimer_get_next_event(cpu_base, HRTIMER_ACTIVE_HARD);
613+
/*
614+
* If a softirq timer is expiring first, update cpu_base->next_timer
615+
* and program the hardware with the soft expiry time.
616+
*/
617+
if (expires_next > soft) {
618+
cpu_base->next_timer = cpu_base->softirq_next_timer;
619+
expires_next = soft;
620+
}
621+
622+
return expires_next;
623+
}
624+
591625
static inline ktime_t hrtimer_update_base(struct hrtimer_cpu_base *base)
592626
{
593627
ktime_t *offs_real = &base->clock_base[HRTIMER_BASE_REALTIME].offset;
@@ -628,23 +662,7 @@ hrtimer_force_reprogram(struct hrtimer_cpu_base *cpu_base, int skip_equal)
628662
{
629663
ktime_t expires_next;
630664

631-
/*
632-
* Find the current next expiration time.
633-
*/
634-
expires_next = __hrtimer_get_next_event(cpu_base, HRTIMER_ACTIVE_ALL);
635-
636-
if (cpu_base->next_timer && cpu_base->next_timer->is_soft) {
637-
/*
638-
* When the softirq is activated, hrtimer has to be
639-
* programmed with the first hard hrtimer because soft
640-
* timer interrupt could occur too late.
641-
*/
642-
if (cpu_base->softirq_activated)
643-
expires_next = __hrtimer_get_next_event(cpu_base,
644-
HRTIMER_ACTIVE_HARD);
645-
else
646-
cpu_base->softirq_expires_next = expires_next;
647-
}
665+
expires_next = hrtimer_update_next_event(cpu_base);
648666

649667
if (skip_equal && expires_next == cpu_base->expires_next)
650668
return;
@@ -1644,8 +1662,8 @@ void hrtimer_interrupt(struct clock_event_device *dev)
16441662

16451663
__hrtimer_run_queues(cpu_base, now, flags, HRTIMER_ACTIVE_HARD);
16461664

1647-
/* Reevaluate the clock bases for the next expiry */
1648-
expires_next = __hrtimer_get_next_event(cpu_base, HRTIMER_ACTIVE_ALL);
1665+
/* Reevaluate the clock bases for the [soft] next expiry */
1666+
expires_next = hrtimer_update_next_event(cpu_base);
16491667
/*
16501668
* Store the new expiry value so the migration code can verify
16511669
* against it.

0 commit comments

Comments
 (0)