Skip to contentSkip to conversation

A variant deadlock issue of CPU hot-unplug operation vs. the CFS bandwidth timer

Bug report Applied Yu Liao 4 participants 4 messages Nov 7, 2023 – Nov 11, 2023

Subsystems (2)
lore
Share & tools
lore

Yu Liao

author
#0 lore raw

The patch [1] from tglx solved the deadlock issue reported by Xiongfeng [2], but recently we discovered a variant of the deadlock issue.

[1] https://lore.kernel.org/all/87h6oqdq0i.ffs@tglx/
[2] https://lore.kernel.org/all/[email protected]/

(The following description is partially borrowed from the commit log of tglx)
CPU1 CPU2 CPU3

T1 sets cfs_quota
starts hrtimer cfs_bandwidth 'period_timer'
T1 is migrated to CPU3
T2(worker thread) initiates offlining of CPU1
Hotplug operation starts
...
'period_timer' expires and is
re-enqueued on CPU1
...
take_cpu_down()
CPU1 shuts down and does not handle timers
anymore. They have to be migrated in the
post dead hotplug steps by the control task.

T2(worker thread) runs the
post dead offline operation
T1 holds lockA
T1 is scheduled out //throttled by CFS bandwidth control T1 waits for 'period_timer' to expire
T2(worker thread) waits for lockA

T1 waits there forever if it is scheduled out before it can execute the hrtimer offline callback hrtimers_dead_cpu().
Thus T2 waits for lockA forever.

We discovered several different 'lockA'. This is a real example that occurs on kernel 5.10, where 'lockA' is 'kernfs_mutex'.

	T1

PID: 743234 TASK: ffff0000c7182880 CPU: 0 COMMAND: "tree"
#0 [ffffa00105fd7430] __switch_to at ffffa0010001bbb4
#1 [ffffa00105fd7460] __schedule at ffffa001013e11f4
#2 [ffffa00105fd7580] __cond_resched at ffffa001013e2278 #3 [ffffa00105fd75a0] kmem_cache_alloc at ffffa00100589168 #4 [ffffa00105fd75f0] security_inode_alloc at ffffa001007c9a64 #5 [ffffa00105fd7620] inode_init_always at ffffa001006538fc #6 [ffffa00105fd7670] alloc_inode at ffffa001006566e4
#7 [ffffa00105fd76a0] iget_locked at ffffa00100658378
#8 [ffffa00105fd7770] kernfs_get_inode at ffffa0010075a244 #9 [ffffa00105fd7790] kernfs_iop_lookup at ffffa0010075c530
#10 [ffffa00105fd77d0] __lookup_slow at ffffa0010062de68 #11 [ffffa00105fd78c0] walk_component at ffffa0010063595c #12 [ffffa00105fd7990] path_lookupat at ffffa001006360fc #13 [ffffa00105fd79f0] filename_lookup at ffffa00100638b60 #14 [ffffa00105fd7ba0] user_path_at_empty at ffffa00100638e40 #15 [ffffa00105fd7bd0] vfs_statx at ffffa00100621974
#16 [ffffa00105fd7cb0] __se_sys_newfstatat at ffffa001006223b4 #17 [ffffa00105fd7df0] __arm64_sys_newfstatat at ffffa00100622468 #18 [ffffa00105fd7e20] el0_svc_common.constprop.0 at ffffa00100036144 #19 [ffffa00105fd7e60] do_el0_svc at ffffa00100036368
#20 [ffffa00105fd7e80] el0_svc at ffffa001013d6cfc
#21 [ffffa00105fd7ea0] el0_sync_handler at ffffa001013d75fc #22 [ffffa00105fd7fe0] el0_sync at ffffa0010001255c

	T2

PID: 240180 TASK: ffff0000f25ba880 CPU: 0 COMMAND: "kworker/0:7"
#0 [ffffa00105e37710] __switch_to at ffffa0010001bbb4
#1 [ffffa00105e37740] __schedule at ffffa001013e11f4
#2 [ffffa00105e37860] schedule at ffffa001013e1a3c
#3 [ffffa00105e37890] schedule_preempt_disabled at ffffa001013e2384 #4 [ffffa00105e378a0] __mutex_lock.constprop.0 at ffffa001013e418c #5 [ffffa00105e379d0] __mutex_lock_slowpath at ffffa001013e4d48 #6 [ffffa00105e379e0] mutex_lock at ffffa001013e4ec0
#7 [ffffa00105e37a90] kernfs_find_and_get_ns at ffffa0010075c168 #8 [ffffa00105e37ac0] sysfs_remove_group at ffffa00100764698 #9 [ffffa00105e37af0] topology_remove_dev at ffffa00100d8f0a0
#10 [ffffa00105e37b00] cpuhp_invoke_callback at ffffa00100102fc4 #11 [ffffa00105e37ba0] _cpu_down at ffffa001013d89b8
#12 [ffffa00105e37c10] alloc_insn_page at ffffa0010006df98 #13 [ffffa00105e37c30] work_for_cpu_fn at ffffa00100139014 #14 [ffffa00105e37c50] process_one_work at ffffa00100141318 #15 [ffffa00105e37d50] worker_thread at ffffa00100141b7c #16 [ffffa00105e37e50] kthread at ffffa0010014e5c8

#1 lore raw
Quoted 32 lines · Yu Liao

The patch [1] from tglx solved the deadlock issue reported by Xiongfeng [2], but recently we discovered a variant of the deadlock issue.

[1] https://lore.kernel.org/all/87h6oqdq0i.ffs@tglx/
[2] https://lore.kernel.org/all/[email protected]/

(The following description is partially borrowed from the commit log of tglx)
CPU1 CPU2 CPU3

T1 sets cfs_quota
starts hrtimer cfs_bandwidth 'period_timer'
T1 is migrated to CPU3
T2(worker thread) initiates offlining of CPU1
Hotplug operation starts
...
'period_timer' expires and is
re-enqueued on CPU1
...
take_cpu_down()
CPU1 shuts down and does not handle timers
anymore. They have to be migrated in the
post dead hotplug steps by the control task.

T2(worker thread) runs the
post dead offline operation
T1 holds lockA
T1 is scheduled out //throttled by CFS bandwidth control T1 waits for 'period_timer' to expire
T2(worker thread) waits for lockA

Quoted 6 lines

T1 waits there forever if it is scheduled out before it can execute the hrtimer offline callback hrtimers_dead_cpu().
Thus T2 waits for lockA forever.

We discovered several different 'lockA'. This is a real example that occurs on kernel 5.10, where 'lockA' is 'kernfs_mutex'.

Bah.

So we can actually migrate the hrtimers away from the outgoing CPU in the dying callbacks. That's safe as nothing can queue an hrtimer remote on the outgoing CPU because all other CPUs are spinwaiting with interrupts disabled in stomp_machine() until the CPU marked itself offline.

Survived a quick test, but needs some scrunity and probably a sanity check in the post dead stage.

Thanks,

tglx
---

include/linux/cpuhotplug.h +1 -0
@@ -195,6 +195,7 @@ enum cpuhp_state {
 	CPUHP_AP_ARM_CORESIGHT_CTI_STARTING,
 	CPUHP_AP_ARM64_ISNDEP_STARTING,
 	CPUHP_AP_SMPCFD_DYING,
+	CPUHP_AP_HRTIMERS_DYING,
 	CPUHP_AP_X86_TBOOT_DYING,
 	CPUHP_AP_ARM_CACHE_B15_RAC_DYING,
 	CPUHP_AP_ONLINE,
include/linux/hrtimer.h +2 -2
@@ -531,9 +531,9 @@ extern void sysrq_timer_list_show(void);
 
 int hrtimers_prepare_cpu(unsigned int cpu);
 #ifdef CONFIG_HOTPLUG_CPU
-int hrtimers_dead_cpu(unsigned int cpu);
+int hrtimers_cpu_dying(unsigned int cpu);
 #else
-#define hrtimers_dead_cpu	NULL
+#define hrtimers_cpu_dying	NULL
 #endif
 
 #endif
kernel/cpu.c +7 -1
@@ -2116,7 +2116,7 @@ static struct cpuhp_step cpuhp_hp_states
 	[CPUHP_HRTIMERS_PREPARE] = {
 		.name			= "hrtimers:prepare",
 		.startup.single		= hrtimers_prepare_cpu,
-		.teardown.single	= hrtimers_dead_cpu,
+		.teardown.single	= NULL,
 	},
 	[CPUHP_SMPCFD_PREPARE] = {
 		.name			= "smpcfd:prepare",
@@ -2208,6 +2208,12 @@ static struct cpuhp_step cpuhp_hp_states
 		.startup.single		= NULL,
 		.teardown.single	= smpcfd_dying_cpu,
 	},
+	[CPUHP_AP_HRTIMERS_DYING] = {
+		.name			= "hrtimers:dying",
+		.startup.single		= NULL,
+		.teardown.single	= hrtimers_cpu_dying,
+	},
+
 	/* Entry state on starting. Interrupts enabled from here on. Transient
 	 * state for synchronsization */
 	[CPUHP_AP_ONLINE] = {
kernel/time/hrtimer.c +12 -21
@@ -2219,29 +2219,22 @@ static void migrate_hrtimer_list(struct
 	}
 }
 
-int hrtimers_dead_cpu(unsigned int scpu)
+int hrtimers_cpu_dying(unsigned int dying_cpu)
 {
 	struct hrtimer_cpu_base *old_base, *new_base;
-	int i;
+	int i, ncpu = cpumask_first(cpu_active_mask);
 
-	BUG_ON(cpu_online(scpu));
-	tick_cancel_sched_timer(scpu);
+	tick_cancel_sched_timer(dying_cpu);
+
+	old_base = this_cpu_ptr(&hrtimer_bases);
+	new_base = &per_cpu(hrtimer_bases, ncpu);
 
-	/*
-	 * this BH disable ensures that raise_softirq_irqoff() does
-	 * not wakeup ksoftirqd (and acquire the pi-lock) while
-	 * holding the cpu_base lock
-	 */
-	local_bh_disable();
-	local_irq_disable();
-	old_base = &per_cpu(hrtimer_bases, scpu);
-	new_base = this_cpu_ptr(&hrtimer_bases);
 	/*
 	 * The caller is globally serialized and nobody else
 	 * takes two locks at once, deadlock is not possible.
 	 */
-	raw_spin_lock(&new_base->lock);
-	raw_spin_lock_nested(&old_base->lock, SINGLE_DEPTH_NESTING);
+	raw_spin_lock(&old_base->lock);
+	raw_spin_lock_nested(&new_base->lock, SINGLE_DEPTH_NESTING);
 
 	for (i = 0; i < HRTIMER_MAX_CLOCK_BASES; i++) {
 		migrate_hrtimer_list(&old_base->clock_base[i],
@@ -2252,15 +2245,13 @@ int hrtimers_dead_cpu(unsigned int scpu)
 	 * The migration might have changed the first expiring softirq
 	 * timer on this CPU. Update it.
 	 */
-	hrtimer_update_softirq_timer(new_base, false);
+	__hrtimer_get_next_event(new_base, HRTIMER_ACTIVE_SOFT);
+	/* Tell the other CPU to retrigger the next event */
+	smp_call_function_single(ncpu, retrigger_next_event, NULL, 0);
 
-	raw_spin_unlock(&old_base->lock);
 	raw_spin_unlock(&new_base->lock);
+	raw_spin_unlock(&old_base->lock);
 
-	/* Check, if we got expired work to do */
-	__hrtimer_peek_ahead_timers();
-	local_irq_enable();
-	local_bh_enable();
 	return 0;
 }
 
Tested-by
#2 lore raw
Quoted 114 lines · Thomas Gleixner

Bah.

So we can actually migrate the hrtimers away from the outgoing CPU in the dying callbacks. That's safe as nothing can queue an hrtimer remote on the outgoing CPU because all other CPUs are spinwaiting with interrupts disabled in stomp_machine() until the CPU marked itself offline.

Survived a quick test, but needs some scrunity and probably a sanity check in the post dead stage.

Thanks,

tglx
---

include/linux/cpuhotplug.h +1 -0
@@ -195,6 +195,7 @@ enum cpuhp_state {
  	CPUHP_AP_ARM_CORESIGHT_CTI_STARTING,
  	CPUHP_AP_ARM64_ISNDEP_STARTING,
  	CPUHP_AP_SMPCFD_DYING,
+	CPUHP_AP_HRTIMERS_DYING,
  	CPUHP_AP_X86_TBOOT_DYING,
  	CPUHP_AP_ARM_CACHE_B15_RAC_DYING,
  	CPUHP_AP_ONLINE,
include/linux/hrtimer.h +2 -2
@@ -531,9 +531,9 @@ extern void sysrq_timer_list_show(void);
 
  int hrtimers_prepare_cpu(unsigned int cpu);
  #ifdef CONFIG_HOTPLUG_CPU
-int hrtimers_dead_cpu(unsigned int cpu);
+int hrtimers_cpu_dying(unsigned int cpu);
  #else
-#define hrtimers_dead_cpu	NULL
+#define hrtimers_cpu_dying	NULL
  #endif
 
  #endif
kernel/cpu.c +7 -1
@@ -2116,7 +2116,7 @@ static struct cpuhp_step cpuhp_hp_states
  	[CPUHP_HRTIMERS_PREPARE] = {
  		.name			= "hrtimers:prepare",
  		.startup.single		= hrtimers_prepare_cpu,
-		.teardown.single	= hrtimers_dead_cpu,
+		.teardown.single	= NULL,
  	},
  	[CPUHP_SMPCFD_PREPARE] = {
  		.name			= "smpcfd:prepare",
@@ -2208,6 +2208,12 @@ static struct cpuhp_step cpuhp_hp_states
  		.startup.single		= NULL,
  		.teardown.single	= smpcfd_dying_cpu,
  	},
+	[CPUHP_AP_HRTIMERS_DYING] = {
+		.name			= "hrtimers:dying",
+		.startup.single		= NULL,
+		.teardown.single	= hrtimers_cpu_dying,
+	},
+
  	/* Entry state on starting. Interrupts enabled from here on. Transient
  	 * state for synchronsization */
  	[CPUHP_AP_ONLINE] = {
kernel/time/hrtimer.c +11 -17
@@ -2219,29 +2219,22 @@ static void migrate_hrtimer_list(struct
  	}
  }
 
-int hrtimers_dead_cpu(unsigned int scpu)
+int hrtimers_cpu_dying(unsigned int dying_cpu)
  {
  	struct hrtimer_cpu_base *old_base, *new_base;
-	int i;
+	int i, ncpu = cpumask_first(cpu_active_mask);
 
-	BUG_ON(cpu_online(scpu));
-	tick_cancel_sched_timer(scpu);
+	tick_cancel_sched_timer(dying_cpu);
+
+	old_base = this_cpu_ptr(&hrtimer_bases);
+	new_base = &per_cpu(hrtimer_bases, ncpu);
 
-	/*
-	 * this BH disable ensures that raise_softirq_irqoff() does
-	 * not wakeup ksoftirqd (and acquire the pi-lock) while
-	 * holding the cpu_base lock
-	 */
-	local_bh_disable();
-	local_irq_disable();
-	old_base = &per_cpu(hrtimer_bases, scpu);
-	new_base = this_cpu_ptr(&hrtimer_bases);
  	/*
  	 * The caller is globally serialized and nobody else
  	 * takes two locks at once, deadlock is not possible.
  	 */
-	raw_spin_lock(&new_base->lock);
-	raw_spin_lock_nested(&old_base->lock, SINGLE_DEPTH_NESTING);
+	raw_spin_lock(&old_base->lock);
+	raw_spin_lock_nested(&new_base->lock, SINGLE_DEPTH_NESTING);
 
  	for (i = 0; i < HRTIMER_MAX_CLOCK_BASES; i++) {
  		migrate_hrtimer_list(&old_base->clock_base[i],
@@ -2252,15 +2245,13 @@ int hrtimers_dead_cpu(unsigned int scpu)
  	 * The migration might have changed the first expiring softirq
  	 * timer on this CPU. Update it.
  	 */
-	hrtimer_update_softirq_timer(new_base, false);
+	__hrtimer_get_next_event(new_base, HRTIMER_ACTIVE_SOFT);
+	/* Tell the other CPU to retrigger the next event */
+	smp_call_function_single(ncpu, retrigger_next_event, NULL, 0);
 
-	raw_spin_unlock(&old_base->lock);

kernel/time/hrtimer.c int hrtimers_dead_cpu(unsigned int scpu) · line 2257

Quoted 10 lines
kernel/time/hrtimer.c +1 -4
  	raw_spin_unlock(&new_base->lock);
+	raw_spin_unlock(&old_base->lock);
 
-	/* Check, if we got expired work to do */
-	__hrtimer_peek_ahead_timers();
-	local_irq_enable();
-	local_bh_enable();
  	return 0;
  }
 

Thanks for the patch. Tested in v6.6 and this patch works.

Best regards,
Tie

#3 lore raw

[tip: timers/urgent] hrtimers: Push pending hrtimers away from outgoing CPU earlier

In reply to Thomas Gleixner
The following commit has been merged into the timers/urgent branch of tip:

The following commit has been merged into the timers/urgent branch of tip:

Commit-ID:     5c0930ccaad5a74d74e8b18b648c5eb21ed2fe94
Gitweb:        https://git.kernel.org/tip/5c0930ccaad5a74d74e8b18b648c5eb21ed2fe94
Author:        Thomas Gleixner <[email protected]>
AuthorDate:    Tue, 07 Nov 2023 15:57:13 +01:00
Committer:     Thomas Gleixner <[email protected]>
CommitterDate: Sat, 11 Nov 2023 18:06:42 +01:00

hrtimers: Push pending hrtimers away from outgoing CPU earlier

2b8272ff4a70 ("cpu/hotplug: Prevent self deadlock on CPU hot-unplug") solved the straight forward CPU hotplug deadlock vs. the scheduler bandwidth timer. Yu discovered a more involved variant where a task which has a bandwidth timer started on the outgoing CPU holds a lock and then gets throttled. If the lock required by one of the CPU hotplug callbacks the hotplug operation deadlocks because the unthrottling timer event is not handled on the dying CPU and can only be recovered once the control CPU reaches the hotplug state which pulls the pending hrtimers from the dead CPU.

Solve this by pushing the hrtimers away from the dying CPU in the dying callbacks. Nothing can queue a hrtimer on the dying CPU at that point because all other CPUs spin in stop_machine() with interrupts disabled and once the operation is finished the CPU is marked offline.

---
 include/linux/cpuhotplug.h |  1 +
 include/linux/hrtimer.h    |  4 ++--
 kernel/cpu.c               |  8 +++++++-
 kernel/time/hrtimer.c      | 33 ++++++++++++---------------------
 4 files changed, 22 insertions(+), 24 deletions(-)
include/linux/cpuhotplug.h +1 -0
index 068f773..448f5f9 100644
@@ -193,6 +193,7 @@ enum cpuhp_state {
 	CPUHP_AP_ARM_CORESIGHT_CTI_STARTING,
 	CPUHP_AP_ARM64_ISNDEP_STARTING,
 	CPUHP_AP_SMPCFD_DYING,
+	CPUHP_AP_HRTIMERS_DYING,
 	CPUHP_AP_X86_TBOOT_DYING,
 	CPUHP_AP_ARM_CACHE_B15_RAC_DYING,
 	CPUHP_AP_ONLINE,
include/linux/hrtimer.h +2 -2
index 0ee1401..f2044d5 100644
@@ -531,9 +531,9 @@ extern void sysrq_timer_list_show(void);
 
 int hrtimers_prepare_cpu(unsigned int cpu);
 #ifdef CONFIG_HOTPLUG_CPU
-int hrtimers_dead_cpu(unsigned int cpu);
+int hrtimers_cpu_dying(unsigned int cpu);
 #else
-#define hrtimers_dead_cpu	NULL
+#define hrtimers_cpu_dying	NULL
 #endif
 
 #endif
kernel/cpu.c +7 -1
index 6de7c6b..2e69a1d 100644
@@ -2098,7 +2098,7 @@ static struct cpuhp_step cpuhp_hp_states[] = {
 	[CPUHP_HRTIMERS_PREPARE] = {
 		.name			= "hrtimers:prepare",
 		.startup.single		= hrtimers_prepare_cpu,
-		.teardown.single	= hrtimers_dead_cpu,
+		.teardown.single	= NULL,
 	},
 	[CPUHP_SMPCFD_PREPARE] = {
 		.name			= "smpcfd:prepare",
@@ -2190,6 +2190,12 @@ static struct cpuhp_step cpuhp_hp_states[] = {
 		.startup.single		= NULL,
 		.teardown.single	= smpcfd_dying_cpu,
 	},
+	[CPUHP_AP_HRTIMERS_DYING] = {
+		.name			= "hrtimers:dying",
+		.startup.single		= NULL,
+		.teardown.single	= hrtimers_cpu_dying,
+	},
+
 	/* Entry state on starting. Interrupts enabled from here on. Transient
 	 * state for synchronsization */
 	[CPUHP_AP_ONLINE] = {
kernel/time/hrtimer.c +12 -21
index 238262e..7607939 100644
@@ -2219,29 +2219,22 @@ static void migrate_hrtimer_list(struct hrtimer_clock_base *old_base,
 	}
 }
 
-int hrtimers_dead_cpu(unsigned int scpu)
+int hrtimers_cpu_dying(unsigned int dying_cpu)
 {
 	struct hrtimer_cpu_base *old_base, *new_base;
-	int i;
+	int i, ncpu = cpumask_first(cpu_active_mask);
 
-	BUG_ON(cpu_online(scpu));
-	tick_cancel_sched_timer(scpu);
+	tick_cancel_sched_timer(dying_cpu);
+
+	old_base = this_cpu_ptr(&hrtimer_bases);
+	new_base = &per_cpu(hrtimer_bases, ncpu);
 
-	/*
-	 * this BH disable ensures that raise_softirq_irqoff() does
-	 * not wakeup ksoftirqd (and acquire the pi-lock) while
-	 * holding the cpu_base lock
-	 */
-	local_bh_disable();
-	local_irq_disable();
-	old_base = &per_cpu(hrtimer_bases, scpu);
-	new_base = this_cpu_ptr(&hrtimer_bases);
 	/*
 	 * The caller is globally serialized and nobody else
 	 * takes two locks at once, deadlock is not possible.
 	 */
-	raw_spin_lock(&new_base->lock);
-	raw_spin_lock_nested(&old_base->lock, SINGLE_DEPTH_NESTING);
+	raw_spin_lock(&old_base->lock);
+	raw_spin_lock_nested(&new_base->lock, SINGLE_DEPTH_NESTING);
 
 	for (i = 0; i < HRTIMER_MAX_CLOCK_BASES; i++) {
 		migrate_hrtimer_list(&old_base->clock_base[i],
@@ -2252,15 +2245,13 @@ int hrtimers_dead_cpu(unsigned int scpu)
 	 * The migration might have changed the first expiring softirq
 	 * timer on this CPU. Update it.
 	 */
-	hrtimer_update_softirq_timer(new_base, false);
+	__hrtimer_get_next_event(new_base, HRTIMER_ACTIVE_SOFT);
+	/* Tell the other CPU to retrigger the next event */
+	smp_call_function_single(ncpu, retrigger_next_event, NULL, 0);
 
-	raw_spin_unlock(&old_base->lock);
 	raw_spin_unlock(&new_base->lock);
+	raw_spin_unlock(&old_base->lock);
 
-	/* Check, if we got expired work to do */
-	__hrtimer_peek_ahead_timers();
-	local_irq_enable();
-	local_bh_enable();
 	return 0;
 }