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); |