diff options
| author | Oleg Nesterov <oleg@redhat.com> | 2010-03-15 05:10:03 -0400 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2010-04-02 14:12:01 -0400 |
| commit | 897f0b3c3ff40b443c84e271bef19bd6ae885195 (patch) | |
| tree | 6b969149bb59591a1c9485de405639db6c4208d6 | |
| parent | 25c2d55c00c6097e6792ebf21e31342f23b9b768 (diff) | |
sched: Kill the broken and deadlockable cpuset_lock/cpuset_cpus_allowed_locked code
This patch just states the fact the cpusets/cpuhotplug interaction is
broken and removes the deadlockable code which only pretends to work.
- cpuset_lock() doesn't really work. It is needed for
cpuset_cpus_allowed_locked() but we can't take this lock in
try_to_wake_up()->select_fallback_rq() path.
- cpuset_lock() is deadlockable. Suppose that a task T bound to CPU takes
callback_mutex. If cpu_down(CPU) happens before T drops callback_mutex
stop_machine() preempts T, then migration_call(CPU_DEAD) tries to take
cpuset_lock() and hangs forever because CPU is already dead and thus
T can't be scheduled.
- cpuset_cpus_allowed_locked() is deadlockable too. It takes task_lock()
which is not irq-safe, but try_to_wake_up() can be called from irq.
Kill them, and change select_fallback_rq() to use cpu_possible_mask, like
we currently do without CONFIG_CPUSETS.
Also, with or without this patch, with or without CONFIG_CPUSETS, the
callers of select_fallback_rq() can race with each other or with
set_cpus_allowed() pathes.
The subsequent patches try to to fix these problems.
Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Signed-off-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
LKML-Reference: <20100315091003.GA9123@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
| -rw-r--r-- | include/linux/cpuset.h | 13 | ||||
| -rw-r--r-- | kernel/cpuset.c | 27 | ||||
| -rw-r--r-- | kernel/sched.c | 10 |
3 files changed, 4 insertions, 46 deletions
diff --git a/include/linux/cpuset.h b/include/linux/cpuset.h index a5740fc4d04b..eeaaee746bee 100644 --- a/include/linux/cpuset.h +++ b/include/linux/cpuset.h | |||
| @@ -21,8 +21,6 @@ extern int number_of_cpusets; /* How many cpusets are defined in system? */ | |||
| 21 | extern int cpuset_init(void); | 21 | extern int cpuset_init(void); |
| 22 | extern void cpuset_init_smp(void); | 22 | extern void cpuset_init_smp(void); |
| 23 | extern void cpuset_cpus_allowed(struct task_struct *p, struct cpumask *mask); | 23 | extern void cpuset_cpus_allowed(struct task_struct *p, struct cpumask *mask); |
| 24 | extern void cpuset_cpus_allowed_locked(struct task_struct *p, | ||
| 25 | struct cpumask *mask); | ||
| 26 | extern nodemask_t cpuset_mems_allowed(struct task_struct *p); | 24 | extern nodemask_t cpuset_mems_allowed(struct task_struct *p); |
| 27 | #define cpuset_current_mems_allowed (current->mems_allowed) | 25 | #define cpuset_current_mems_allowed (current->mems_allowed) |
| 28 | void cpuset_init_current_mems_allowed(void); | 26 | void cpuset_init_current_mems_allowed(void); |
| @@ -69,9 +67,6 @@ struct seq_file; | |||
| 69 | extern void cpuset_task_status_allowed(struct seq_file *m, | 67 | extern void cpuset_task_status_allowed(struct seq_file *m, |
| 70 | struct task_struct *task); | 68 | struct task_struct *task); |
| 71 | 69 | ||
| 72 | extern void cpuset_lock(void); | ||
| 73 | extern void cpuset_unlock(void); | ||
| 74 | |||
| 75 | extern int cpuset_mem_spread_node(void); | 70 | extern int cpuset_mem_spread_node(void); |
| 76 | 71 | ||
| 77 | static inline int cpuset_do_page_mem_spread(void) | 72 | static inline int cpuset_do_page_mem_spread(void) |
| @@ -105,11 +100,6 @@ static inline void cpuset_cpus_allowed(struct task_struct *p, | |||
| 105 | { | 100 | { |
| 106 | cpumask_copy(mask, cpu_possible_mask); | 101 | cpumask_copy(mask, cpu_possible_mask); |
| 107 | } | 102 | } |
| 108 | static inline void cpuset_cpus_allowed_locked(struct task_struct *p, | ||
| 109 | struct cpumask *mask) | ||
| 110 | { | ||
| 111 | cpumask_copy(mask, cpu_possible_mask); | ||
| 112 | } | ||
| 113 | 103 | ||
| 114 | static inline nodemask_t cpuset_mems_allowed(struct task_struct *p) | 104 | static inline nodemask_t cpuset_mems_allowed(struct task_struct *p) |
| 115 | { | 105 | { |
| @@ -157,9 +147,6 @@ static inline void cpuset_task_status_allowed(struct seq_file *m, | |||
| 157 | { | 147 | { |
| 158 | } | 148 | } |
| 159 | 149 | ||
| 160 | static inline void cpuset_lock(void) {} | ||
| 161 | static inline void cpuset_unlock(void) {} | ||
| 162 | |||
| 163 | static inline int cpuset_mem_spread_node(void) | 150 | static inline int cpuset_mem_spread_node(void) |
| 164 | { | 151 | { |
| 165 | return 0; | 152 | return 0; |
diff --git a/kernel/cpuset.c b/kernel/cpuset.c index d10946748ec2..9a747f56d58c 100644 --- a/kernel/cpuset.c +++ b/kernel/cpuset.c | |||
| @@ -2182,19 +2182,10 @@ void __init cpuset_init_smp(void) | |||
| 2182 | void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask) | 2182 | void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask) |
| 2183 | { | 2183 | { |
| 2184 | mutex_lock(&callback_mutex); | 2184 | mutex_lock(&callback_mutex); |
| 2185 | cpuset_cpus_allowed_locked(tsk, pmask); | ||
| 2186 | mutex_unlock(&callback_mutex); | ||
| 2187 | } | ||
| 2188 | |||
| 2189 | /** | ||
| 2190 | * cpuset_cpus_allowed_locked - return cpus_allowed mask from a tasks cpuset. | ||
| 2191 | * Must be called with callback_mutex held. | ||
| 2192 | **/ | ||
| 2193 | void cpuset_cpus_allowed_locked(struct task_struct *tsk, struct cpumask *pmask) | ||
| 2194 | { | ||
| 2195 | task_lock(tsk); | 2185 | task_lock(tsk); |
| 2196 | guarantee_online_cpus(task_cs(tsk), pmask); | 2186 | guarantee_online_cpus(task_cs(tsk), pmask); |
| 2197 | task_unlock(tsk); | 2187 | task_unlock(tsk); |
| 2188 | mutex_unlock(&callback_mutex); | ||
| 2198 | } | 2189 | } |
| 2199 | 2190 | ||
| 2200 | void cpuset_init_current_mems_allowed(void) | 2191 | void cpuset_init_current_mems_allowed(void) |
| @@ -2383,22 +2374,6 @@ int __cpuset_node_allowed_hardwall(int node, gfp_t gfp_mask) | |||
| 2383 | } | 2374 | } |
| 2384 | 2375 | ||
| 2385 | /** | 2376 | /** |
| 2386 | * cpuset_lock - lock out any changes to cpuset structures | ||
| 2387 | * | ||
| 2388 | * The out of memory (oom) code needs to mutex_lock cpusets | ||
| 2389 | * from being changed while it scans the tasklist looking for a | ||
| 2390 | * task in an overlapping cpuset. Expose callback_mutex via this | ||
| 2391 | * cpuset_lock() routine, so the oom code can lock it, before | ||
| 2392 | * locking the task list. The tasklist_lock is a spinlock, so | ||
| 2393 | * must be taken inside callback_mutex. | ||
| 2394 | */ | ||
| 2395 | |||
| 2396 | void cpuset_lock(void) | ||
| 2397 | { | ||
| 2398 | mutex_lock(&callback_mutex); | ||
| 2399 | } | ||
| 2400 | |||
| 2401 | /** | ||
| 2402 | * cpuset_unlock - release lock on cpuset changes | 2377 | * cpuset_unlock - release lock on cpuset changes |
| 2403 | * | 2378 | * |
| 2404 | * Undo the lock taken in a previous cpuset_lock() call. | 2379 | * Undo the lock taken in a previous cpuset_lock() call. |
diff --git a/kernel/sched.c b/kernel/sched.c index 52b7efd27416..c0b3ebc16317 100644 --- a/kernel/sched.c +++ b/kernel/sched.c | |||
| @@ -2296,11 +2296,9 @@ static int select_fallback_rq(int cpu, struct task_struct *p) | |||
| 2296 | return dest_cpu; | 2296 | return dest_cpu; |
| 2297 | 2297 | ||
| 2298 | /* No more Mr. Nice Guy. */ | 2298 | /* No more Mr. Nice Guy. */ |
| 2299 | if (dest_cpu >= nr_cpu_ids) { | 2299 | if (unlikely(dest_cpu >= nr_cpu_ids)) { |
| 2300 | rcu_read_lock(); | 2300 | cpumask_copy(&p->cpus_allowed, cpu_possible_mask); |
| 2301 | cpuset_cpus_allowed_locked(p, &p->cpus_allowed); | 2301 | dest_cpu = cpumask_any(cpu_active_mask); |
| 2302 | rcu_read_unlock(); | ||
| 2303 | dest_cpu = cpumask_any_and(cpu_active_mask, &p->cpus_allowed); | ||
| 2304 | 2302 | ||
| 2305 | /* | 2303 | /* |
| 2306 | * Don't tell them about moving exiting tasks or | 2304 | * Don't tell them about moving exiting tasks or |
| @@ -5866,7 +5864,6 @@ migration_call(struct notifier_block *nfb, unsigned long action, void *hcpu) | |||
| 5866 | 5864 | ||
| 5867 | case CPU_DEAD: | 5865 | case CPU_DEAD: |
| 5868 | case CPU_DEAD_FROZEN: | 5866 | case CPU_DEAD_FROZEN: |
| 5869 | cpuset_lock(); /* around calls to cpuset_cpus_allowed_lock() */ | ||
| 5870 | migrate_live_tasks(cpu); | 5867 | migrate_live_tasks(cpu); |
| 5871 | rq = cpu_rq(cpu); | 5868 | rq = cpu_rq(cpu); |
| 5872 | kthread_stop(rq->migration_thread); | 5869 | kthread_stop(rq->migration_thread); |
| @@ -5879,7 +5876,6 @@ migration_call(struct notifier_block *nfb, unsigned long action, void *hcpu) | |||
| 5879 | rq->idle->sched_class = &idle_sched_class; | 5876 | rq->idle->sched_class = &idle_sched_class; |
| 5880 | migrate_dead_tasks(cpu); | 5877 | migrate_dead_tasks(cpu); |
| 5881 | raw_spin_unlock_irq(&rq->lock); | 5878 | raw_spin_unlock_irq(&rq->lock); |
| 5882 | cpuset_unlock(); | ||
| 5883 | migrate_nr_uninterruptible(rq); | 5879 | migrate_nr_uninterruptible(rq); |
| 5884 | BUG_ON(rq->nr_running != 0); | 5880 | BUG_ON(rq->nr_running != 0); |
| 5885 | calc_global_load_remove(rq); | 5881 | calc_global_load_remove(rq); |
