blob: 194e2f24841bb48e158f6f24ffed4e7c3dbdae87 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * kernel/cpuset.c
3 *
4 * Processor and Memory placement constraints for sets of tasks.
5 *
6 * Copyright (C) 2003 BULL SA.
Paul Jackson029190c2007-10-18 23:40:20 -07007 * Copyright (C) 2004-2007 Silicon Graphics, Inc.
Paul Menage8793d852007-10-18 23:39:39 -07008 * Copyright (C) 2006 Google, Inc
Linus Torvalds1da177e2005-04-16 15:20:36 -07009 *
10 * Portions derived from Patrick Mochel's sysfs code.
11 * sysfs is Copyright (c) 2001-3 Patrick Mochel
Linus Torvalds1da177e2005-04-16 15:20:36 -070012 *
Paul Jackson825a46a2006-03-24 03:16:03 -080013 * 2003-10-10 Written by Simon Derr.
Linus Torvalds1da177e2005-04-16 15:20:36 -070014 * 2003-10-22 Updates by Stephen Hemminger.
Paul Jackson825a46a2006-03-24 03:16:03 -080015 * 2004 May-July Rework by Paul Jackson.
Paul Menage8793d852007-10-18 23:39:39 -070016 * 2006 Rework by Paul Menage to use generic cgroups
Max Krasnyanskycf417142008-08-11 14:33:53 -070017 * 2008 Rework of the scheduler domains and CPU hotplug handling
18 * by Max Krasnyansky
Linus Torvalds1da177e2005-04-16 15:20:36 -070019 *
20 * This file is subject to the terms and conditions of the GNU General Public
21 * License. See the file COPYING in the main directory of the Linux
22 * distribution for more details.
23 */
24
Linus Torvalds1da177e2005-04-16 15:20:36 -070025#include <linux/cpu.h>
26#include <linux/cpumask.h>
27#include <linux/cpuset.h>
28#include <linux/err.h>
29#include <linux/errno.h>
30#include <linux/file.h>
31#include <linux/fs.h>
32#include <linux/init.h>
33#include <linux/interrupt.h>
34#include <linux/kernel.h>
35#include <linux/kmod.h>
36#include <linux/list.h>
Paul Jackson68860ec2005-10-30 15:02:36 -080037#include <linux/mempolicy.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070038#include <linux/mm.h>
Miao Xief4818912008-11-19 15:36:30 -080039#include <linux/memory.h>
Paul Gortmaker9984de12011-05-23 14:51:41 -040040#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070041#include <linux/mount.h>
42#include <linux/namei.h>
43#include <linux/pagemap.h>
44#include <linux/proc_fs.h>
Paul Jackson6b9c2602006-01-08 01:02:02 -080045#include <linux/rcupdate.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070046#include <linux/sched.h>
47#include <linux/seq_file.h>
David Quigley22fb52d2006-06-23 02:04:00 -070048#include <linux/security.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070049#include <linux/slab.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070050#include <linux/spinlock.h>
51#include <linux/stat.h>
52#include <linux/string.h>
53#include <linux/time.h>
Arnd Bergmannd2b43652015-11-25 16:16:55 +010054#include <linux/time64.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070055#include <linux/backing-dev.h>
56#include <linux/sort.h>
57
58#include <asm/uaccess.h>
Arun Sharma600634972011-07-26 16:09:06 -070059#include <linux/atomic.h>
Ingo Molnar3d3f26a2006-03-23 03:00:18 -080060#include <linux/mutex.h>
Cliff Wickman956db3c2008-02-07 00:14:43 -080061#include <linux/cgroup.h>
Li Zefane44193d2013-06-09 17:14:22 +080062#include <linux/wait.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070063
Dima Zavin45a636e2017-08-02 13:32:18 -070064DEFINE_STATIC_KEY_FALSE(cpusets_pre_enable_key);
Vlastimil Babka002f2902016-05-19 17:14:30 -070065DEFINE_STATIC_KEY_FALSE(cpusets_enabled_key);
Paul Jackson202f72d2006-01-08 01:01:57 -080066
Paul Jackson3e0d98b2006-01-08 01:01:49 -080067/* See "Frequency meter" comments, below. */
68
69struct fmeter {
70 int cnt; /* unprocessed events count */
71 int val; /* most recent output value */
Arnd Bergmannd2b43652015-11-25 16:16:55 +010072 time64_t time; /* clock (secs) when val computed */
Paul Jackson3e0d98b2006-01-08 01:01:49 -080073 spinlock_t lock; /* guards read or write of above */
74};
75
Linus Torvalds1da177e2005-04-16 15:20:36 -070076struct cpuset {
Paul Menage8793d852007-10-18 23:39:39 -070077 struct cgroup_subsys_state css;
78
Linus Torvalds1da177e2005-04-16 15:20:36 -070079 unsigned long flags; /* "unsigned long" so bitops work */
Li Zefane2b9a3d2014-07-09 16:47:03 +080080
Li Zefan7e882912014-07-09 16:48:42 +080081 /*
82 * On default hierarchy:
83 *
84 * The user-configured masks can only be changed by writing to
85 * cpuset.cpus and cpuset.mems, and won't be limited by the
86 * parent masks.
87 *
88 * The effective masks is the real masks that apply to the tasks
89 * in the cpuset. They may be changed if the configured masks are
90 * changed or hotplug happens.
91 *
92 * effective_mask == configured_mask & parent's effective_mask,
93 * and if it ends up empty, it will inherit the parent's mask.
94 *
95 *
96 * On legacy hierachy:
97 *
98 * The user-configured masks are always the same with effective masks.
99 */
100
Li Zefane2b9a3d2014-07-09 16:47:03 +0800101 /* user-configured CPUs and Memory Nodes allow to tasks */
102 cpumask_var_t cpus_allowed;
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700103 cpumask_var_t cpus_requested;
Li Zefane2b9a3d2014-07-09 16:47:03 +0800104 nodemask_t mems_allowed;
105
106 /* effective CPUs and Memory Nodes allow to tasks */
107 cpumask_var_t effective_cpus;
108 nodemask_t effective_mems;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109
Li Zefan33ad8012013-06-09 17:15:08 +0800110 /*
111 * This is old Memory Nodes tasks took on.
112 *
113 * - top_cpuset.old_mems_allowed is initialized to mems_allowed.
114 * - A new cpuset's old_mems_allowed is initialized when some
115 * task is moved into it.
116 * - old_mems_allowed is used in cpuset_migrate_mm() when we change
117 * cpuset.mems_allowed and have tasks' nodemask updated, and
118 * then old_mems_allowed is updated to mems_allowed.
119 */
120 nodemask_t old_mems_allowed;
121
Paul Jackson3e0d98b2006-01-08 01:01:49 -0800122 struct fmeter fmeter; /* memory_pressure filter */
Paul Jackson029190c2007-10-18 23:40:20 -0700123
Tejun Heo452477f2013-01-07 08:51:07 -0800124 /*
125 * Tasks are being attached to this cpuset. Used to prevent
126 * zeroing cpus/mems_allowed between ->can_attach() and ->attach().
127 */
128 int attach_in_progress;
129
Paul Jackson029190c2007-10-18 23:40:20 -0700130 /* partition number for rebuild_sched_domains() */
131 int pn;
Cliff Wickman956db3c2008-02-07 00:14:43 -0800132
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900133 /* for custom sched domain */
134 int relax_domain_level;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135};
136
Tejun Heoa7c6d552013-08-08 20:11:23 -0400137static inline struct cpuset *css_cs(struct cgroup_subsys_state *css)
Paul Menage8793d852007-10-18 23:39:39 -0700138{
Tejun Heoa7c6d552013-08-08 20:11:23 -0400139 return css ? container_of(css, struct cpuset, css) : NULL;
Paul Menage8793d852007-10-18 23:39:39 -0700140}
141
142/* Retrieve the cpuset for a task */
143static inline struct cpuset *task_cs(struct task_struct *task)
144{
Tejun Heo073219e2014-02-08 10:36:58 -0500145 return css_cs(task_css(task, cpuset_cgrp_id));
Paul Menage8793d852007-10-18 23:39:39 -0700146}
Paul Menage8793d852007-10-18 23:39:39 -0700147
Tejun Heoc9710d82013-08-08 20:11:22 -0400148static inline struct cpuset *parent_cs(struct cpuset *cs)
Tejun Heoc4310692013-01-07 08:51:08 -0800149{
Tejun Heo5c9d5352014-05-16 13:22:48 -0400150 return css_cs(cs->css.parent);
Tejun Heoc4310692013-01-07 08:51:08 -0800151}
152
David Rientjesb2462722011-12-19 17:11:52 -0800153#ifdef CONFIG_NUMA
154static inline bool task_has_mempolicy(struct task_struct *task)
155{
156 return task->mempolicy;
157}
158#else
159static inline bool task_has_mempolicy(struct task_struct *task)
160{
161 return false;
162}
163#endif
164
165
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166/* bits in struct cpuset flags field */
167typedef enum {
Tejun Heoefeb77b2013-01-07 08:51:07 -0800168 CS_ONLINE,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169 CS_CPU_EXCLUSIVE,
170 CS_MEM_EXCLUSIVE,
Paul Menage78608362008-04-29 01:00:26 -0700171 CS_MEM_HARDWALL,
Paul Jackson45b07ef2006-01-08 01:00:56 -0800172 CS_MEMORY_MIGRATE,
Paul Jackson029190c2007-10-18 23:40:20 -0700173 CS_SCHED_LOAD_BALANCE,
Paul Jackson825a46a2006-03-24 03:16:03 -0800174 CS_SPREAD_PAGE,
175 CS_SPREAD_SLAB,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700176} cpuset_flagbits_t;
177
178/* convenient tests for these bits */
Tejun Heo829a1ca2017-05-24 12:03:48 -0400179static inline bool is_cpuset_online(struct cpuset *cs)
Tejun Heoefeb77b2013-01-07 08:51:07 -0800180{
Tejun Heo829a1ca2017-05-24 12:03:48 -0400181 return test_bit(CS_ONLINE, &cs->flags) && !css_is_dying(&cs->css);
Tejun Heoefeb77b2013-01-07 08:51:07 -0800182}
183
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184static inline int is_cpu_exclusive(const struct cpuset *cs)
185{
Paul Jackson7b5b9ef2006-03-24 03:16:00 -0800186 return test_bit(CS_CPU_EXCLUSIVE, &cs->flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700187}
188
189static inline int is_mem_exclusive(const struct cpuset *cs)
190{
Paul Jackson7b5b9ef2006-03-24 03:16:00 -0800191 return test_bit(CS_MEM_EXCLUSIVE, &cs->flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700192}
193
Paul Menage78608362008-04-29 01:00:26 -0700194static inline int is_mem_hardwall(const struct cpuset *cs)
195{
196 return test_bit(CS_MEM_HARDWALL, &cs->flags);
197}
198
Paul Jackson029190c2007-10-18 23:40:20 -0700199static inline int is_sched_load_balance(const struct cpuset *cs)
200{
201 return test_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
202}
203
Paul Jackson45b07ef2006-01-08 01:00:56 -0800204static inline int is_memory_migrate(const struct cpuset *cs)
205{
Paul Jackson7b5b9ef2006-03-24 03:16:00 -0800206 return test_bit(CS_MEMORY_MIGRATE, &cs->flags);
Paul Jackson45b07ef2006-01-08 01:00:56 -0800207}
208
Paul Jackson825a46a2006-03-24 03:16:03 -0800209static inline int is_spread_page(const struct cpuset *cs)
210{
211 return test_bit(CS_SPREAD_PAGE, &cs->flags);
212}
213
214static inline int is_spread_slab(const struct cpuset *cs)
215{
216 return test_bit(CS_SPREAD_SLAB, &cs->flags);
217}
218
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219static struct cpuset top_cpuset = {
Tejun Heoefeb77b2013-01-07 08:51:07 -0800220 .flags = ((1 << CS_ONLINE) | (1 << CS_CPU_EXCLUSIVE) |
221 (1 << CS_MEM_EXCLUSIVE)),
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222};
223
Tejun Heoae8086c2013-01-07 08:51:07 -0800224/**
225 * cpuset_for_each_child - traverse online children of a cpuset
226 * @child_cs: loop cursor pointing to the current child
Tejun Heo492eb212013-08-08 20:11:25 -0400227 * @pos_css: used for iteration
Tejun Heoae8086c2013-01-07 08:51:07 -0800228 * @parent_cs: target cpuset to walk children of
Linus Torvalds1da177e2005-04-16 15:20:36 -0700229 *
Tejun Heoae8086c2013-01-07 08:51:07 -0800230 * Walk @child_cs through the online children of @parent_cs. Must be used
231 * with RCU read locked.
232 */
Tejun Heo492eb212013-08-08 20:11:25 -0400233#define cpuset_for_each_child(child_cs, pos_css, parent_cs) \
234 css_for_each_child((pos_css), &(parent_cs)->css) \
235 if (is_cpuset_online(((child_cs) = css_cs((pos_css)))))
Tejun Heoae8086c2013-01-07 08:51:07 -0800236
Tejun Heofc560a22013-01-07 08:51:08 -0800237/**
238 * cpuset_for_each_descendant_pre - pre-order walk of a cpuset's descendants
239 * @des_cs: loop cursor pointing to the current descendant
Tejun Heo492eb212013-08-08 20:11:25 -0400240 * @pos_css: used for iteration
Tejun Heofc560a22013-01-07 08:51:08 -0800241 * @root_cs: target cpuset to walk ancestor of
242 *
243 * Walk @des_cs through the online descendants of @root_cs. Must be used
Tejun Heo492eb212013-08-08 20:11:25 -0400244 * with RCU read locked. The caller may modify @pos_css by calling
Tejun Heobd8815a2013-08-08 20:11:27 -0400245 * css_rightmost_descendant() to skip subtree. @root_cs is included in the
246 * iteration and the first node to be visited.
Tejun Heofc560a22013-01-07 08:51:08 -0800247 */
Tejun Heo492eb212013-08-08 20:11:25 -0400248#define cpuset_for_each_descendant_pre(des_cs, pos_css, root_cs) \
249 css_for_each_descendant_pre((pos_css), &(root_cs)->css) \
250 if (is_cpuset_online(((des_cs) = css_cs((pos_css)))))
Tejun Heofc560a22013-01-07 08:51:08 -0800251
Linus Torvalds1da177e2005-04-16 15:20:36 -0700252/*
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400253 * There are two global locks guarding cpuset structures - cpuset_mutex and
254 * callback_lock. We also require taking task_lock() when dereferencing a
255 * task's cpuset pointer. See "The task_lock() exception", at the end of this
256 * comment.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400258 * A task must hold both locks to modify cpusets. If a task holds
Tejun Heo5d21cc22013-01-07 08:51:08 -0800259 * cpuset_mutex, then it blocks others wanting that mutex, ensuring that it
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400260 * is the only task able to also acquire callback_lock and be able to
Tejun Heo5d21cc22013-01-07 08:51:08 -0800261 * modify cpusets. It can perform various checks on the cpuset structure
262 * first, knowing nothing will change. It can also allocate memory while
263 * just holding cpuset_mutex. While it is performing these checks, various
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400264 * callback routines can briefly acquire callback_lock to query cpusets.
265 * Once it is ready to make the changes, it takes callback_lock, blocking
Tejun Heo5d21cc22013-01-07 08:51:08 -0800266 * everyone else.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267 *
Paul Jackson053199e2005-10-30 15:02:30 -0800268 * Calls to the kernel memory allocator can not be made while holding
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400269 * callback_lock, as that would risk double tripping on callback_lock
Paul Jackson053199e2005-10-30 15:02:30 -0800270 * from one of the callbacks into the cpuset code from within
271 * __alloc_pages().
Linus Torvalds1da177e2005-04-16 15:20:36 -0700272 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400273 * If a task is only holding callback_lock, then it has read-only
Paul Jackson053199e2005-10-30 15:02:30 -0800274 * access to cpusets.
275 *
Miao Xie58568d22009-06-16 15:31:49 -0700276 * Now, the task_struct fields mems_allowed and mempolicy may be changed
277 * by other task, we use alloc_lock in the task_struct fields to protect
278 * them.
Paul Jackson053199e2005-10-30 15:02:30 -0800279 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400280 * The cpuset_common_file_read() handlers only hold callback_lock across
Paul Jackson053199e2005-10-30 15:02:30 -0800281 * small pieces of code, such as when reading out possibly multi-word
282 * cpumasks and nodemasks.
283 *
Paul Menage2df167a2008-02-07 00:14:45 -0800284 * Accessing a task's cpuset should be done in accordance with the
285 * guidelines for accessing subsystem state in kernel/cgroup.c
Linus Torvalds1da177e2005-04-16 15:20:36 -0700286 */
287
Tejun Heo5d21cc22013-01-07 08:51:08 -0800288static DEFINE_MUTEX(cpuset_mutex);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400289static DEFINE_SPINLOCK(callback_lock);
Paul Jackson4247bdc2005-09-10 00:26:06 -0700290
Tejun Heoe93ad192016-01-19 12:18:41 -0500291static struct workqueue_struct *cpuset_migrate_mm_wq;
292
Max Krasnyanskycf417142008-08-11 14:33:53 -0700293/*
Tejun Heo3a5a6d02013-01-07 08:51:07 -0800294 * CPU / memory hotplug is handled asynchronously.
295 */
296static void cpuset_hotplug_workfn(struct work_struct *work);
Tejun Heo3a5a6d02013-01-07 08:51:07 -0800297static DECLARE_WORK(cpuset_hotplug_work, cpuset_hotplug_workfn);
298
Li Zefane44193d2013-06-09 17:14:22 +0800299static DECLARE_WAIT_QUEUE_HEAD(cpuset_attach_wq);
300
Tejun Heo3a5a6d02013-01-07 08:51:07 -0800301/*
Max Krasnyanskycf417142008-08-11 14:33:53 -0700302 * This is ugly, but preserves the userspace API for existing cpuset
Paul Menage8793d852007-10-18 23:39:39 -0700303 * users. If someone tries to mount the "cpuset" filesystem, we
Max Krasnyanskycf417142008-08-11 14:33:53 -0700304 * silently switch it to mount "cgroup" instead
305 */
Al Virof7e83572010-07-26 13:23:11 +0400306static struct dentry *cpuset_mount(struct file_system_type *fs_type,
307 int flags, const char *unused_dev_name, void *data)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308{
Paul Menage8793d852007-10-18 23:39:39 -0700309 struct file_system_type *cgroup_fs = get_fs_type("cgroup");
Al Virof7e83572010-07-26 13:23:11 +0400310 struct dentry *ret = ERR_PTR(-ENODEV);
Paul Menage8793d852007-10-18 23:39:39 -0700311 if (cgroup_fs) {
312 char mountopts[] =
313 "cpuset,noprefix,"
314 "release_agent=/sbin/cpuset_release_agent";
Al Virof7e83572010-07-26 13:23:11 +0400315 ret = cgroup_fs->mount(cgroup_fs, flags,
316 unused_dev_name, mountopts);
Paul Menage8793d852007-10-18 23:39:39 -0700317 put_filesystem(cgroup_fs);
318 }
319 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320}
321
322static struct file_system_type cpuset_fs_type = {
323 .name = "cpuset",
Al Virof7e83572010-07-26 13:23:11 +0400324 .mount = cpuset_mount,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700325};
326
Linus Torvalds1da177e2005-04-16 15:20:36 -0700327/*
Li Zefan300ed6c2009-01-07 18:08:44 -0800328 * Return in pmask the portion of a cpusets's cpus_allowed that
Linus Torvalds1da177e2005-04-16 15:20:36 -0700329 * are online. If none are online, walk up the cpuset hierarchy
Joonwoo Park28b89b92016-09-11 21:14:58 -0700330 * until we find one that does have some online cpus.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 *
332 * One way or another, we guarantee to return some non-empty subset
Rusty Russell5f054e32012-03-29 15:38:31 +1030333 * of cpu_online_mask.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400335 * Call with callback_lock or cpuset_mutex held.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336 */
Tejun Heoc9710d82013-08-08 20:11:22 -0400337static void guarantee_online_cpus(struct cpuset *cs, struct cpumask *pmask)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700338{
Joonwoo Park28b89b92016-09-11 21:14:58 -0700339 while (!cpumask_intersects(cs->effective_cpus, cpu_online_mask)) {
Tejun Heoc4310692013-01-07 08:51:08 -0800340 cs = parent_cs(cs);
Joonwoo Park28b89b92016-09-11 21:14:58 -0700341 if (unlikely(!cs)) {
342 /*
343 * The top cpuset doesn't have any online cpu as a
344 * consequence of a race between cpuset_hotplug_work
345 * and cpu hotplug notifier. But we know the top
346 * cpuset's effective_cpus is on its way to to be
347 * identical to cpu_online_mask.
348 */
349 cpumask_copy(pmask, cpu_online_mask);
350 return;
351 }
352 }
Li Zefanae1c8022014-07-09 16:48:32 +0800353 cpumask_and(pmask, cs->effective_cpus, cpu_online_mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354}
355
356/*
357 * Return in *pmask the portion of a cpusets's mems_allowed that
Christoph Lameter0e1e7c72007-10-16 01:25:38 -0700358 * are online, with memory. If none are online with memory, walk
359 * up the cpuset hierarchy until we find one that does have some
Li Zefan40df2de2013-06-05 17:15:23 +0800360 * online mems. The top cpuset always has some mems online.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361 *
362 * One way or another, we guarantee to return some non-empty subset
Lai Jiangshan38d7bee2012-12-12 13:51:24 -0800363 * of node_states[N_MEMORY].
Linus Torvalds1da177e2005-04-16 15:20:36 -0700364 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400365 * Call with callback_lock or cpuset_mutex held.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366 */
Tejun Heoc9710d82013-08-08 20:11:22 -0400367static void guarantee_online_mems(struct cpuset *cs, nodemask_t *pmask)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700368{
Li Zefanae1c8022014-07-09 16:48:32 +0800369 while (!nodes_intersects(cs->effective_mems, node_states[N_MEMORY]))
Tejun Heoc4310692013-01-07 08:51:08 -0800370 cs = parent_cs(cs);
Li Zefanae1c8022014-07-09 16:48:32 +0800371 nodes_and(*pmask, cs->effective_mems, node_states[N_MEMORY]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700372}
373
Miao Xief3b39d42009-06-16 15:31:46 -0700374/*
375 * update task's spread flag if cpuset's page/slab spread flag is set
376 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400377 * Call with callback_lock or cpuset_mutex held.
Miao Xief3b39d42009-06-16 15:31:46 -0700378 */
379static void cpuset_update_task_spread_flag(struct cpuset *cs,
380 struct task_struct *tsk)
381{
382 if (is_spread_page(cs))
Zefan Li2ad654b2014-09-25 09:41:02 +0800383 task_set_spread_page(tsk);
Miao Xief3b39d42009-06-16 15:31:46 -0700384 else
Zefan Li2ad654b2014-09-25 09:41:02 +0800385 task_clear_spread_page(tsk);
386
Miao Xief3b39d42009-06-16 15:31:46 -0700387 if (is_spread_slab(cs))
Zefan Li2ad654b2014-09-25 09:41:02 +0800388 task_set_spread_slab(tsk);
Miao Xief3b39d42009-06-16 15:31:46 -0700389 else
Zefan Li2ad654b2014-09-25 09:41:02 +0800390 task_clear_spread_slab(tsk);
Miao Xief3b39d42009-06-16 15:31:46 -0700391}
392
Linus Torvalds1da177e2005-04-16 15:20:36 -0700393/*
394 * is_cpuset_subset(p, q) - Is cpuset p a subset of cpuset q?
395 *
396 * One cpuset is a subset of another if all its allowed CPUs and
397 * Memory Nodes are a subset of the other, and its exclusive flags
Tejun Heo5d21cc22013-01-07 08:51:08 -0800398 * are only set if the other's are set. Call holding cpuset_mutex.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399 */
400
401static int is_cpuset_subset(const struct cpuset *p, const struct cpuset *q)
402{
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700403 return cpumask_subset(p->cpus_requested, q->cpus_requested) &&
Linus Torvalds1da177e2005-04-16 15:20:36 -0700404 nodes_subset(p->mems_allowed, q->mems_allowed) &&
405 is_cpu_exclusive(p) <= is_cpu_exclusive(q) &&
406 is_mem_exclusive(p) <= is_mem_exclusive(q);
407}
408
Li Zefan645fcc92009-01-07 18:08:43 -0800409/**
410 * alloc_trial_cpuset - allocate a trial cpuset
411 * @cs: the cpuset that the trial cpuset duplicates
412 */
Tejun Heoc9710d82013-08-08 20:11:22 -0400413static struct cpuset *alloc_trial_cpuset(struct cpuset *cs)
Li Zefan645fcc92009-01-07 18:08:43 -0800414{
Li Zefan300ed6c2009-01-07 18:08:44 -0800415 struct cpuset *trial;
416
417 trial = kmemdup(cs, sizeof(*cs), GFP_KERNEL);
418 if (!trial)
419 return NULL;
420
Li Zefane2b9a3d2014-07-09 16:47:03 +0800421 if (!alloc_cpumask_var(&trial->cpus_allowed, GFP_KERNEL))
422 goto free_cs;
423 if (!alloc_cpumask_var(&trial->effective_cpus, GFP_KERNEL))
424 goto free_cpus;
Li Zefan300ed6c2009-01-07 18:08:44 -0800425
Li Zefane2b9a3d2014-07-09 16:47:03 +0800426 cpumask_copy(trial->cpus_allowed, cs->cpus_allowed);
427 cpumask_copy(trial->effective_cpus, cs->effective_cpus);
Li Zefan300ed6c2009-01-07 18:08:44 -0800428 return trial;
Li Zefane2b9a3d2014-07-09 16:47:03 +0800429
430free_cpus:
431 free_cpumask_var(trial->cpus_allowed);
432free_cs:
433 kfree(trial);
434 return NULL;
Li Zefan645fcc92009-01-07 18:08:43 -0800435}
436
437/**
438 * free_trial_cpuset - free the trial cpuset
439 * @trial: the trial cpuset to be freed
440 */
441static void free_trial_cpuset(struct cpuset *trial)
442{
Li Zefane2b9a3d2014-07-09 16:47:03 +0800443 free_cpumask_var(trial->effective_cpus);
Li Zefan300ed6c2009-01-07 18:08:44 -0800444 free_cpumask_var(trial->cpus_allowed);
Li Zefan645fcc92009-01-07 18:08:43 -0800445 kfree(trial);
446}
447
Linus Torvalds1da177e2005-04-16 15:20:36 -0700448/*
449 * validate_change() - Used to validate that any proposed cpuset change
450 * follows the structural rules for cpusets.
451 *
452 * If we replaced the flag and mask values of the current cpuset
453 * (cur) with those values in the trial cpuset (trial), would
454 * our various subset and exclusive rules still be valid? Presumes
Tejun Heo5d21cc22013-01-07 08:51:08 -0800455 * cpuset_mutex held.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700456 *
457 * 'cur' is the address of an actual, in-use cpuset. Operations
458 * such as list traversal that depend on the actual address of the
459 * cpuset in the list must use cur below, not trial.
460 *
461 * 'trial' is the address of bulk structure copy of cur, with
462 * perhaps one or more of the fields cpus_allowed, mems_allowed,
463 * or flags changed to new, trial values.
464 *
465 * Return 0 if valid, -errno if not.
466 */
467
Tejun Heoc9710d82013-08-08 20:11:22 -0400468static int validate_change(struct cpuset *cur, struct cpuset *trial)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700469{
Tejun Heo492eb212013-08-08 20:11:25 -0400470 struct cgroup_subsys_state *css;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700471 struct cpuset *c, *par;
Tejun Heoae8086c2013-01-07 08:51:07 -0800472 int ret;
473
474 rcu_read_lock();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475
476 /* Each of our child cpusets must be a subset of us */
Tejun Heoae8086c2013-01-07 08:51:07 -0800477 ret = -EBUSY;
Tejun Heo492eb212013-08-08 20:11:25 -0400478 cpuset_for_each_child(c, css, cur)
Tejun Heoae8086c2013-01-07 08:51:07 -0800479 if (!is_cpuset_subset(c, trial))
480 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700481
482 /* Remaining checks don't apply to root cpuset */
Tejun Heoae8086c2013-01-07 08:51:07 -0800483 ret = 0;
Paul Jackson69604062006-12-06 20:36:15 -0800484 if (cur == &top_cpuset)
Tejun Heoae8086c2013-01-07 08:51:07 -0800485 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700486
Tejun Heoc4310692013-01-07 08:51:08 -0800487 par = parent_cs(cur);
Paul Jackson69604062006-12-06 20:36:15 -0800488
Li Zefan7e882912014-07-09 16:48:42 +0800489 /* On legacy hiearchy, we must be a subset of our parent cpuset. */
Tejun Heoae8086c2013-01-07 08:51:07 -0800490 ret = -EACCES;
Tejun Heo9e10a132015-09-18 11:56:28 -0400491 if (!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
492 !is_cpuset_subset(trial, par))
Tejun Heoae8086c2013-01-07 08:51:07 -0800493 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700494
Paul Menage2df167a2008-02-07 00:14:45 -0800495 /*
496 * If either I or some sibling (!= me) is exclusive, we can't
497 * overlap
498 */
Tejun Heoae8086c2013-01-07 08:51:07 -0800499 ret = -EINVAL;
Tejun Heo492eb212013-08-08 20:11:25 -0400500 cpuset_for_each_child(c, css, par) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700501 if ((is_cpu_exclusive(trial) || is_cpu_exclusive(c)) &&
502 c != cur &&
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700503 cpumask_intersects(trial->cpus_requested, c->cpus_requested))
Tejun Heoae8086c2013-01-07 08:51:07 -0800504 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700505 if ((is_mem_exclusive(trial) || is_mem_exclusive(c)) &&
506 c != cur &&
507 nodes_intersects(trial->mems_allowed, c->mems_allowed))
Tejun Heoae8086c2013-01-07 08:51:07 -0800508 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700509 }
510
Tejun Heo452477f2013-01-07 08:51:07 -0800511 /*
512 * Cpusets with tasks - existing or newly being attached - can't
Li Zefan1c09b192013-08-21 10:22:28 +0800513 * be changed to have empty cpus_allowed or mems_allowed.
Tejun Heo452477f2013-01-07 08:51:07 -0800514 */
Tejun Heoae8086c2013-01-07 08:51:07 -0800515 ret = -ENOSPC;
Tejun Heo27bd4db2015-10-15 16:41:50 -0400516 if ((cgroup_is_populated(cur->css.cgroup) || cur->attach_in_progress)) {
Li Zefan1c09b192013-08-21 10:22:28 +0800517 if (!cpumask_empty(cur->cpus_allowed) &&
518 cpumask_empty(trial->cpus_allowed))
519 goto out;
520 if (!nodes_empty(cur->mems_allowed) &&
521 nodes_empty(trial->mems_allowed))
522 goto out;
523 }
Paul Jackson020958b2007-10-18 23:40:21 -0700524
Juri Lellif82f8042014-10-07 09:52:11 +0100525 /*
526 * We can't shrink if we won't have enough room for SCHED_DEADLINE
527 * tasks.
528 */
529 ret = -EBUSY;
530 if (is_cpu_exclusive(cur) &&
531 !cpuset_cpumask_can_shrink(cur->cpus_allowed,
532 trial->cpus_allowed))
533 goto out;
534
Tejun Heoae8086c2013-01-07 08:51:07 -0800535 ret = 0;
536out:
537 rcu_read_unlock();
538 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700539}
540
Paul Menagedb7f47c2009-04-02 16:57:55 -0700541#ifdef CONFIG_SMP
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -0700542/*
Max Krasnyanskycf417142008-08-11 14:33:53 -0700543 * Helper routine for generate_sched_domains().
Li Zefan8b5f1c52014-07-09 16:47:50 +0800544 * Do cpusets a, b have overlapping effective cpus_allowed masks?
Paul Jackson029190c2007-10-18 23:40:20 -0700545 */
Paul Jackson029190c2007-10-18 23:40:20 -0700546static int cpusets_overlap(struct cpuset *a, struct cpuset *b)
547{
Li Zefan8b5f1c52014-07-09 16:47:50 +0800548 return cpumask_intersects(a->effective_cpus, b->effective_cpus);
Paul Jackson029190c2007-10-18 23:40:20 -0700549}
550
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900551static void
552update_domain_attr(struct sched_domain_attr *dattr, struct cpuset *c)
553{
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900554 if (dattr->relax_domain_level < c->relax_domain_level)
555 dattr->relax_domain_level = c->relax_domain_level;
556 return;
557}
558
Tejun Heofc560a22013-01-07 08:51:08 -0800559static void update_domain_attr_tree(struct sched_domain_attr *dattr,
560 struct cpuset *root_cs)
Lai Jiangshanf5393692008-07-29 22:33:22 -0700561{
Tejun Heofc560a22013-01-07 08:51:08 -0800562 struct cpuset *cp;
Tejun Heo492eb212013-08-08 20:11:25 -0400563 struct cgroup_subsys_state *pos_css;
Lai Jiangshanf5393692008-07-29 22:33:22 -0700564
Tejun Heofc560a22013-01-07 08:51:08 -0800565 rcu_read_lock();
Tejun Heo492eb212013-08-08 20:11:25 -0400566 cpuset_for_each_descendant_pre(cp, pos_css, root_cs) {
Tejun Heofc560a22013-01-07 08:51:08 -0800567 /* skip the whole subtree if @cp doesn't have any CPU */
568 if (cpumask_empty(cp->cpus_allowed)) {
Tejun Heo492eb212013-08-08 20:11:25 -0400569 pos_css = css_rightmost_descendant(pos_css);
Lai Jiangshanf5393692008-07-29 22:33:22 -0700570 continue;
Tejun Heofc560a22013-01-07 08:51:08 -0800571 }
Lai Jiangshanf5393692008-07-29 22:33:22 -0700572
573 if (is_sched_load_balance(cp))
574 update_domain_attr(dattr, cp);
Lai Jiangshanf5393692008-07-29 22:33:22 -0700575 }
Tejun Heofc560a22013-01-07 08:51:08 -0800576 rcu_read_unlock();
Lai Jiangshanf5393692008-07-29 22:33:22 -0700577}
578
Paul Jackson029190c2007-10-18 23:40:20 -0700579/*
Max Krasnyanskycf417142008-08-11 14:33:53 -0700580 * generate_sched_domains()
Paul Jackson029190c2007-10-18 23:40:20 -0700581 *
Max Krasnyanskycf417142008-08-11 14:33:53 -0700582 * This function builds a partial partition of the systems CPUs
583 * A 'partial partition' is a set of non-overlapping subsets whose
584 * union is a subset of that set.
Viresh Kumar0a0fca92013-06-04 13:10:24 +0530585 * The output of this function needs to be passed to kernel/sched/core.c
Max Krasnyanskycf417142008-08-11 14:33:53 -0700586 * partition_sched_domains() routine, which will rebuild the scheduler's
587 * load balancing domains (sched domains) as specified by that partial
588 * partition.
Paul Jackson029190c2007-10-18 23:40:20 -0700589 *
Li Zefan45ce80f2009-01-15 13:50:59 -0800590 * See "What is sched_load_balance" in Documentation/cgroups/cpusets.txt
Paul Jackson029190c2007-10-18 23:40:20 -0700591 * for a background explanation of this.
592 *
593 * Does not return errors, on the theory that the callers of this
594 * routine would rather not worry about failures to rebuild sched
595 * domains when operating in the severe memory shortage situations
596 * that could cause allocation failures below.
597 *
Tejun Heo5d21cc22013-01-07 08:51:08 -0800598 * Must be called with cpuset_mutex held.
Paul Jackson029190c2007-10-18 23:40:20 -0700599 *
600 * The three key local variables below are:
Li Zefanaeed6822008-07-29 22:33:24 -0700601 * q - a linked-list queue of cpuset pointers, used to implement a
Paul Jackson029190c2007-10-18 23:40:20 -0700602 * top-down scan of all cpusets. This scan loads a pointer
603 * to each cpuset marked is_sched_load_balance into the
604 * array 'csa'. For our purposes, rebuilding the schedulers
605 * sched domains, we can ignore !is_sched_load_balance cpusets.
606 * csa - (for CpuSet Array) Array of pointers to all the cpusets
607 * that need to be load balanced, for convenient iterative
608 * access by the subsequent code that finds the best partition,
609 * i.e the set of domains (subsets) of CPUs such that the
610 * cpus_allowed of every cpuset marked is_sched_load_balance
611 * is a subset of one of these domains, while there are as
612 * many such domains as possible, each as small as possible.
613 * doms - Conversion of 'csa' to an array of cpumasks, for passing to
Viresh Kumar0a0fca92013-06-04 13:10:24 +0530614 * the kernel/sched/core.c routine partition_sched_domains() in a
Paul Jackson029190c2007-10-18 23:40:20 -0700615 * convenient format, that can be easily compared to the prior
616 * value to determine what partition elements (sched domains)
617 * were changed (added or removed.)
618 *
619 * Finding the best partition (set of domains):
620 * The triple nested loops below over i, j, k scan over the
621 * load balanced cpusets (using the array of cpuset pointers in
622 * csa[]) looking for pairs of cpusets that have overlapping
623 * cpus_allowed, but which don't have the same 'pn' partition
624 * number and gives them in the same partition number. It keeps
625 * looping on the 'restart' label until it can no longer find
626 * any such pairs.
627 *
628 * The union of the cpus_allowed masks from the set of
629 * all cpusets having the same 'pn' value then form the one
630 * element of the partition (one sched domain) to be passed to
631 * partition_sched_domains().
632 */
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030633static int generate_sched_domains(cpumask_var_t **domains,
Max Krasnyanskycf417142008-08-11 14:33:53 -0700634 struct sched_domain_attr **attributes)
Paul Jackson029190c2007-10-18 23:40:20 -0700635{
Paul Jackson029190c2007-10-18 23:40:20 -0700636 struct cpuset *cp; /* scans q */
637 struct cpuset **csa; /* array of all cpuset ptrs */
638 int csn; /* how many cpuset ptrs in csa so far */
639 int i, j, k; /* indices for partition finding loops */
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030640 cpumask_var_t *doms; /* resulting partition; i.e. sched domains */
Rik van Riel47b8ea72015-03-09 12:12:08 -0400641 cpumask_var_t non_isolated_cpus; /* load balanced CPUs */
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900642 struct sched_domain_attr *dattr; /* attributes for custom domains */
Ingo Molnar15837152008-11-25 10:27:49 +0100643 int ndoms = 0; /* number of sched domains in result */
Li Zefan6af866a2009-01-07 18:08:45 -0800644 int nslot; /* next empty doms[] struct cpumask slot */
Tejun Heo492eb212013-08-08 20:11:25 -0400645 struct cgroup_subsys_state *pos_css;
Paul Jackson029190c2007-10-18 23:40:20 -0700646
Paul Jackson029190c2007-10-18 23:40:20 -0700647 doms = NULL;
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900648 dattr = NULL;
Max Krasnyanskycf417142008-08-11 14:33:53 -0700649 csa = NULL;
Paul Jackson029190c2007-10-18 23:40:20 -0700650
Rik van Riel47b8ea72015-03-09 12:12:08 -0400651 if (!alloc_cpumask_var(&non_isolated_cpus, GFP_KERNEL))
652 goto done;
653 cpumask_andnot(non_isolated_cpus, cpu_possible_mask, cpu_isolated_map);
654
Paul Jackson029190c2007-10-18 23:40:20 -0700655 /* Special case for the 99% of systems with one, full, sched domain */
656 if (is_sched_load_balance(&top_cpuset)) {
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030657 ndoms = 1;
658 doms = alloc_sched_domains(ndoms);
Paul Jackson029190c2007-10-18 23:40:20 -0700659 if (!doms)
Max Krasnyanskycf417142008-08-11 14:33:53 -0700660 goto done;
661
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900662 dattr = kmalloc(sizeof(struct sched_domain_attr), GFP_KERNEL);
663 if (dattr) {
664 *dattr = SD_ATTR_INIT;
Li Zefan93a65572008-07-29 22:33:23 -0700665 update_domain_attr_tree(dattr, &top_cpuset);
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900666 }
Rik van Riel47b8ea72015-03-09 12:12:08 -0400667 cpumask_and(doms[0], top_cpuset.effective_cpus,
668 non_isolated_cpus);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700669
Max Krasnyanskycf417142008-08-11 14:33:53 -0700670 goto done;
Paul Jackson029190c2007-10-18 23:40:20 -0700671 }
672
Mel Gorman664eedd2014-06-04 16:10:08 -0700673 csa = kmalloc(nr_cpusets() * sizeof(cp), GFP_KERNEL);
Paul Jackson029190c2007-10-18 23:40:20 -0700674 if (!csa)
675 goto done;
676 csn = 0;
677
Tejun Heofc560a22013-01-07 08:51:08 -0800678 rcu_read_lock();
Tejun Heo492eb212013-08-08 20:11:25 -0400679 cpuset_for_each_descendant_pre(cp, pos_css, &top_cpuset) {
Tejun Heobd8815a2013-08-08 20:11:27 -0400680 if (cp == &top_cpuset)
681 continue;
Lai Jiangshanf5393692008-07-29 22:33:22 -0700682 /*
Tejun Heofc560a22013-01-07 08:51:08 -0800683 * Continue traversing beyond @cp iff @cp has some CPUs and
684 * isn't load balancing. The former is obvious. The
685 * latter: All child cpusets contain a subset of the
686 * parent's cpus, so just skip them, and then we call
687 * update_domain_attr_tree() to calc relax_domain_level of
688 * the corresponding sched domain.
Lai Jiangshanf5393692008-07-29 22:33:22 -0700689 */
Tejun Heofc560a22013-01-07 08:51:08 -0800690 if (!cpumask_empty(cp->cpus_allowed) &&
Rik van Riel47b8ea72015-03-09 12:12:08 -0400691 !(is_sched_load_balance(cp) &&
692 cpumask_intersects(cp->cpus_allowed, non_isolated_cpus)))
Lai Jiangshanf5393692008-07-29 22:33:22 -0700693 continue;
Lai Jiangshan489a5392008-07-25 01:47:23 -0700694
Tejun Heofc560a22013-01-07 08:51:08 -0800695 if (is_sched_load_balance(cp))
696 csa[csn++] = cp;
697
698 /* skip @cp's subtree */
Tejun Heo492eb212013-08-08 20:11:25 -0400699 pos_css = css_rightmost_descendant(pos_css);
Tejun Heofc560a22013-01-07 08:51:08 -0800700 }
701 rcu_read_unlock();
Paul Jackson029190c2007-10-18 23:40:20 -0700702
703 for (i = 0; i < csn; i++)
704 csa[i]->pn = i;
705 ndoms = csn;
706
707restart:
708 /* Find the best partition (set of sched domains) */
709 for (i = 0; i < csn; i++) {
710 struct cpuset *a = csa[i];
711 int apn = a->pn;
712
713 for (j = 0; j < csn; j++) {
714 struct cpuset *b = csa[j];
715 int bpn = b->pn;
716
717 if (apn != bpn && cpusets_overlap(a, b)) {
718 for (k = 0; k < csn; k++) {
719 struct cpuset *c = csa[k];
720
721 if (c->pn == bpn)
722 c->pn = apn;
723 }
724 ndoms--; /* one less element */
725 goto restart;
726 }
727 }
728 }
729
Max Krasnyanskycf417142008-08-11 14:33:53 -0700730 /*
731 * Now we know how many domains to create.
732 * Convert <csn, csa> to <ndoms, doms> and populate cpu masks.
733 */
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030734 doms = alloc_sched_domains(ndoms);
Li Zefan700018e2008-11-18 14:02:03 +0800735 if (!doms)
Max Krasnyanskycf417142008-08-11 14:33:53 -0700736 goto done;
Max Krasnyanskycf417142008-08-11 14:33:53 -0700737
738 /*
739 * The rest of the code, including the scheduler, can deal with
740 * dattr==NULL case. No need to abort if alloc fails.
741 */
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +0900742 dattr = kmalloc(ndoms * sizeof(struct sched_domain_attr), GFP_KERNEL);
Paul Jackson029190c2007-10-18 23:40:20 -0700743
744 for (nslot = 0, i = 0; i < csn; i++) {
745 struct cpuset *a = csa[i];
Li Zefan6af866a2009-01-07 18:08:45 -0800746 struct cpumask *dp;
Paul Jackson029190c2007-10-18 23:40:20 -0700747 int apn = a->pn;
748
Max Krasnyanskycf417142008-08-11 14:33:53 -0700749 if (apn < 0) {
750 /* Skip completed partitions */
751 continue;
Paul Jackson029190c2007-10-18 23:40:20 -0700752 }
Max Krasnyanskycf417142008-08-11 14:33:53 -0700753
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030754 dp = doms[nslot];
Max Krasnyanskycf417142008-08-11 14:33:53 -0700755
756 if (nslot == ndoms) {
757 static int warnings = 10;
758 if (warnings) {
Fabian Frederick12d30892014-05-05 19:49:00 +0200759 pr_warn("rebuild_sched_domains confused: nslot %d, ndoms %d, csn %d, i %d, apn %d\n",
760 nslot, ndoms, csn, i, apn);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700761 warnings--;
762 }
763 continue;
764 }
765
Li Zefan6af866a2009-01-07 18:08:45 -0800766 cpumask_clear(dp);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700767 if (dattr)
768 *(dattr + nslot) = SD_ATTR_INIT;
769 for (j = i; j < csn; j++) {
770 struct cpuset *b = csa[j];
771
772 if (apn == b->pn) {
Li Zefan8b5f1c52014-07-09 16:47:50 +0800773 cpumask_or(dp, dp, b->effective_cpus);
Rik van Riel47b8ea72015-03-09 12:12:08 -0400774 cpumask_and(dp, dp, non_isolated_cpus);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700775 if (dattr)
776 update_domain_attr_tree(dattr + nslot, b);
777
778 /* Done with this partition */
779 b->pn = -1;
780 }
781 }
782 nslot++;
Paul Jackson029190c2007-10-18 23:40:20 -0700783 }
784 BUG_ON(nslot != ndoms);
785
Paul Jackson029190c2007-10-18 23:40:20 -0700786done:
Rik van Riel47b8ea72015-03-09 12:12:08 -0400787 free_cpumask_var(non_isolated_cpus);
Paul Jackson029190c2007-10-18 23:40:20 -0700788 kfree(csa);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700789
Li Zefan700018e2008-11-18 14:02:03 +0800790 /*
791 * Fallback to the default domain if kmalloc() failed.
792 * See comments in partition_sched_domains().
793 */
794 if (doms == NULL)
795 ndoms = 1;
796
Max Krasnyanskycf417142008-08-11 14:33:53 -0700797 *domains = doms;
798 *attributes = dattr;
799 return ndoms;
800}
801
802/*
803 * Rebuild scheduler domains.
804 *
Tejun Heo699140b2013-01-07 08:51:07 -0800805 * If the flag 'sched_load_balance' of any cpuset with non-empty
806 * 'cpus' changes, or if the 'cpus' allowed changes in any cpuset
807 * which has that flag enabled, or if any cpuset with a non-empty
808 * 'cpus' is removed, then call this routine to rebuild the
809 * scheduler's dynamic sched domains.
Max Krasnyanskycf417142008-08-11 14:33:53 -0700810 *
Tejun Heo5d21cc22013-01-07 08:51:08 -0800811 * Call with cpuset_mutex held. Takes get_online_cpus().
Max Krasnyanskycf417142008-08-11 14:33:53 -0700812 */
Tejun Heo699140b2013-01-07 08:51:07 -0800813static void rebuild_sched_domains_locked(void)
Max Krasnyanskycf417142008-08-11 14:33:53 -0700814{
815 struct sched_domain_attr *attr;
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030816 cpumask_var_t *doms;
Max Krasnyanskycf417142008-08-11 14:33:53 -0700817 int ndoms;
818
Tejun Heo5d21cc22013-01-07 08:51:08 -0800819 lockdep_assert_held(&cpuset_mutex);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700820 get_online_cpus();
821
Li Zefan5b16c2a2013-04-27 06:52:43 -0700822 /*
823 * We have raced with CPU hotplug. Don't do anything to avoid
824 * passing doms with offlined cpu to partition_sched_domains().
825 * Anyways, hotplug work item will rebuild sched domains.
826 */
Li Zefan8b5f1c52014-07-09 16:47:50 +0800827 if (!cpumask_equal(top_cpuset.effective_cpus, cpu_active_mask))
Li Zefan5b16c2a2013-04-27 06:52:43 -0700828 goto out;
829
Max Krasnyanskycf417142008-08-11 14:33:53 -0700830 /* Generate domain masks and attrs */
Max Krasnyanskycf417142008-08-11 14:33:53 -0700831 ndoms = generate_sched_domains(&doms, &attr);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700832
833 /* Have scheduler rebuild the domains */
834 partition_sched_domains(ndoms, doms, attr);
Li Zefan5b16c2a2013-04-27 06:52:43 -0700835out:
Max Krasnyanskycf417142008-08-11 14:33:53 -0700836 put_online_cpus();
837}
Paul Menagedb7f47c2009-04-02 16:57:55 -0700838#else /* !CONFIG_SMP */
Tejun Heo699140b2013-01-07 08:51:07 -0800839static void rebuild_sched_domains_locked(void)
Paul Menagedb7f47c2009-04-02 16:57:55 -0700840{
841}
Paul Menagedb7f47c2009-04-02 16:57:55 -0700842#endif /* CONFIG_SMP */
Max Krasnyanskycf417142008-08-11 14:33:53 -0700843
Max Krasnyanskycf417142008-08-11 14:33:53 -0700844void rebuild_sched_domains(void)
845{
Tejun Heo5d21cc22013-01-07 08:51:08 -0800846 mutex_lock(&cpuset_mutex);
Tejun Heo699140b2013-01-07 08:51:07 -0800847 rebuild_sched_domains_locked();
Tejun Heo5d21cc22013-01-07 08:51:08 -0800848 mutex_unlock(&cpuset_mutex);
Paul Jackson029190c2007-10-18 23:40:20 -0700849}
850
Cliff Wickman58f47902008-02-07 00:14:44 -0800851/**
Miao Xie0b2f6302008-07-25 01:47:21 -0700852 * update_tasks_cpumask - Update the cpumasks of tasks in the cpuset.
853 * @cs: the cpuset in which each task's cpus_allowed mask needs to be changed
854 *
Tejun Heod66393e2014-02-13 06:58:40 -0500855 * Iterate through each task of @cs updating its cpus_allowed to the
856 * effective cpuset's. As this function is called with cpuset_mutex held,
857 * cpuset membership stays stable.
Miao Xie0b2f6302008-07-25 01:47:21 -0700858 */
Tejun Heod66393e2014-02-13 06:58:40 -0500859static void update_tasks_cpumask(struct cpuset *cs)
Miao Xie0b2f6302008-07-25 01:47:21 -0700860{
Tejun Heod66393e2014-02-13 06:58:40 -0500861 struct css_task_iter it;
862 struct task_struct *task;
863
864 css_task_iter_start(&cs->css, &it);
865 while ((task = css_task_iter_next(&it)))
Li Zefanae1c8022014-07-09 16:48:32 +0800866 set_cpus_allowed_ptr(task, cs->effective_cpus);
Tejun Heod66393e2014-02-13 06:58:40 -0500867 css_task_iter_end(&it);
Miao Xie0b2f6302008-07-25 01:47:21 -0700868}
869
Li Zefan5c5cc622013-06-09 17:16:29 +0800870/*
Li Zefan734d4512014-07-09 16:47:29 +0800871 * update_cpumasks_hier - Update effective cpumasks and tasks in the subtree
872 * @cs: the cpuset to consider
873 * @new_cpus: temp variable for calculating new effective_cpus
Li Zefan5c5cc622013-06-09 17:16:29 +0800874 *
Li Zefan734d4512014-07-09 16:47:29 +0800875 * When congifured cpumask is changed, the effective cpumasks of this cpuset
876 * and all its descendants need to be updated.
877 *
878 * On legacy hierachy, effective_cpus will be the same with cpu_allowed.
Li Zefan5c5cc622013-06-09 17:16:29 +0800879 *
880 * Called with cpuset_mutex held
881 */
Li Zefan734d4512014-07-09 16:47:29 +0800882static void update_cpumasks_hier(struct cpuset *cs, struct cpumask *new_cpus)
Li Zefan5c5cc622013-06-09 17:16:29 +0800883{
884 struct cpuset *cp;
Tejun Heo492eb212013-08-08 20:11:25 -0400885 struct cgroup_subsys_state *pos_css;
Li Zefan8b5f1c52014-07-09 16:47:50 +0800886 bool need_rebuild_sched_domains = false;
Li Zefan5c5cc622013-06-09 17:16:29 +0800887
888 rcu_read_lock();
Li Zefan734d4512014-07-09 16:47:29 +0800889 cpuset_for_each_descendant_pre(cp, pos_css, cs) {
890 struct cpuset *parent = parent_cs(cp);
891
892 cpumask_and(new_cpus, cp->cpus_allowed, parent->effective_cpus);
893
Li Zefan554b0d12014-07-09 16:47:41 +0800894 /*
895 * If it becomes empty, inherit the effective mask of the
896 * parent, which is guaranteed to have some CPUs.
897 */
Tejun Heo9e10a132015-09-18 11:56:28 -0400898 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
899 cpumask_empty(new_cpus))
Li Zefan554b0d12014-07-09 16:47:41 +0800900 cpumask_copy(new_cpus, parent->effective_cpus);
901
Li Zefan734d4512014-07-09 16:47:29 +0800902 /* Skip the whole subtree if the cpumask remains the same. */
903 if (cpumask_equal(new_cpus, cp->effective_cpus)) {
904 pos_css = css_rightmost_descendant(pos_css);
905 continue;
Li Zefan5c5cc622013-06-09 17:16:29 +0800906 }
Li Zefan734d4512014-07-09 16:47:29 +0800907
Tejun Heoec903c02014-05-13 12:11:01 -0400908 if (!css_tryget_online(&cp->css))
Li Zefan5c5cc622013-06-09 17:16:29 +0800909 continue;
910 rcu_read_unlock();
911
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400912 spin_lock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +0800913 cpumask_copy(cp->effective_cpus, new_cpus);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400914 spin_unlock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +0800915
Tejun Heo9e10a132015-09-18 11:56:28 -0400916 WARN_ON(!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
Li Zefan734d4512014-07-09 16:47:29 +0800917 !cpumask_equal(cp->cpus_allowed, cp->effective_cpus));
918
Tejun Heod66393e2014-02-13 06:58:40 -0500919 update_tasks_cpumask(cp);
Li Zefan5c5cc622013-06-09 17:16:29 +0800920
Li Zefan8b5f1c52014-07-09 16:47:50 +0800921 /*
922 * If the effective cpumask of any non-empty cpuset is changed,
923 * we need to rebuild sched domains.
924 */
925 if (!cpumask_empty(cp->cpus_allowed) &&
926 is_sched_load_balance(cp))
927 need_rebuild_sched_domains = true;
928
Li Zefan5c5cc622013-06-09 17:16:29 +0800929 rcu_read_lock();
930 css_put(&cp->css);
931 }
932 rcu_read_unlock();
Li Zefan8b5f1c52014-07-09 16:47:50 +0800933
934 if (need_rebuild_sched_domains)
935 rebuild_sched_domains_locked();
Li Zefan5c5cc622013-06-09 17:16:29 +0800936}
937
Miao Xie0b2f6302008-07-25 01:47:21 -0700938/**
Cliff Wickman58f47902008-02-07 00:14:44 -0800939 * update_cpumask - update the cpus_allowed mask of a cpuset and all tasks in it
940 * @cs: the cpuset to consider
Fabian Frederickfc34ac12014-05-05 19:46:55 +0200941 * @trialcs: trial cpuset
Cliff Wickman58f47902008-02-07 00:14:44 -0800942 * @buf: buffer of cpu numbers written to this cpuset
943 */
Li Zefan645fcc92009-01-07 18:08:43 -0800944static int update_cpumask(struct cpuset *cs, struct cpuset *trialcs,
945 const char *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700946{
Cliff Wickman58f47902008-02-07 00:14:44 -0800947 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700948
Rusty Russell5f054e32012-03-29 15:38:31 +1030949 /* top_cpuset.cpus_allowed tracks cpu_online_mask; it's read-only */
Paul Jackson4c4d50f2006-08-27 01:23:51 -0700950 if (cs == &top_cpuset)
951 return -EACCES;
952
David Rientjes6f7f02e2007-05-08 00:31:43 -0700953 /*
Paul Jacksonc8d9c902008-02-07 00:14:46 -0800954 * An empty cpus_allowed is ok only if the cpuset has no tasks.
Paul Jackson020958b2007-10-18 23:40:21 -0700955 * Since cpulist_parse() fails on an empty mask, we special case
956 * that parsing. The validate_change() call ensures that cpusets
957 * with tasks have cpus.
David Rientjes6f7f02e2007-05-08 00:31:43 -0700958 */
Paul Jackson020958b2007-10-18 23:40:21 -0700959 if (!*buf) {
Li Zefan300ed6c2009-01-07 18:08:44 -0800960 cpumask_clear(trialcs->cpus_allowed);
David Rientjes6f7f02e2007-05-08 00:31:43 -0700961 } else {
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700962 retval = cpulist_parse(buf, trialcs->cpus_requested);
David Rientjes6f7f02e2007-05-08 00:31:43 -0700963 if (retval < 0)
964 return retval;
Lai Jiangshan37340742008-06-05 22:46:32 -0700965
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700966 if (!cpumask_subset(trialcs->cpus_requested, cpu_present_mask))
Lai Jiangshan37340742008-06-05 22:46:32 -0700967 return -EINVAL;
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700968
969 cpumask_and(trialcs->cpus_allowed, trialcs->cpus_requested, cpu_active_mask);
David Rientjes6f7f02e2007-05-08 00:31:43 -0700970 }
Paul Jackson029190c2007-10-18 23:40:20 -0700971
Paul Menage8707d8b2007-10-18 23:40:22 -0700972 /* Nothing to do if the cpus didn't change */
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700973 if (cpumask_equal(cs->cpus_requested, trialcs->cpus_requested))
Paul Menage8707d8b2007-10-18 23:40:22 -0700974 return 0;
Cliff Wickman58f47902008-02-07 00:14:44 -0800975
Li Zefana73456f2013-06-05 17:15:59 +0800976 retval = validate_change(cs, trialcs);
977 if (retval < 0)
978 return retval;
979
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400980 spin_lock_irq(&callback_lock);
Li Zefan300ed6c2009-01-07 18:08:44 -0800981 cpumask_copy(cs->cpus_allowed, trialcs->cpus_allowed);
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -0700982 cpumask_copy(cs->cpus_requested, trialcs->cpus_requested);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400983 spin_unlock_irq(&callback_lock);
Paul Jackson029190c2007-10-18 23:40:20 -0700984
Li Zefan734d4512014-07-09 16:47:29 +0800985 /* use trialcs->cpus_allowed as a temp variable */
986 update_cpumasks_hier(cs, trialcs->cpus_allowed);
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -0700987 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700988}
989
Paul Jackson053199e2005-10-30 15:02:30 -0800990/*
Tejun Heoe93ad192016-01-19 12:18:41 -0500991 * Migrate memory region from one set of nodes to another. This is
992 * performed asynchronously as it can be called from process migration path
993 * holding locks involved in process management. All mm migrations are
994 * performed in the queued order and can be waited for by flushing
995 * cpuset_migrate_mm_wq.
Paul Jacksone4e364e2006-03-31 02:30:52 -0800996 */
997
Tejun Heoe93ad192016-01-19 12:18:41 -0500998struct cpuset_migrate_mm_work {
999 struct work_struct work;
1000 struct mm_struct *mm;
1001 nodemask_t from;
1002 nodemask_t to;
1003};
1004
1005static void cpuset_migrate_mm_workfn(struct work_struct *work)
1006{
1007 struct cpuset_migrate_mm_work *mwork =
1008 container_of(work, struct cpuset_migrate_mm_work, work);
1009
1010 /* on a wq worker, no need to worry about %current's mems_allowed */
1011 do_migrate_pages(mwork->mm, &mwork->from, &mwork->to, MPOL_MF_MOVE_ALL);
1012 mmput(mwork->mm);
1013 kfree(mwork);
1014}
1015
Paul Jacksone4e364e2006-03-31 02:30:52 -08001016static void cpuset_migrate_mm(struct mm_struct *mm, const nodemask_t *from,
1017 const nodemask_t *to)
1018{
Tejun Heoe93ad192016-01-19 12:18:41 -05001019 struct cpuset_migrate_mm_work *mwork;
Paul Jacksone4e364e2006-03-31 02:30:52 -08001020
Tejun Heoe93ad192016-01-19 12:18:41 -05001021 mwork = kzalloc(sizeof(*mwork), GFP_KERNEL);
1022 if (mwork) {
1023 mwork->mm = mm;
1024 mwork->from = *from;
1025 mwork->to = *to;
1026 INIT_WORK(&mwork->work, cpuset_migrate_mm_workfn);
1027 queue_work(cpuset_migrate_mm_wq, &mwork->work);
1028 } else {
1029 mmput(mm);
1030 }
1031}
Paul Jacksone4e364e2006-03-31 02:30:52 -08001032
Tejun Heo5cf1cac2016-04-21 19:06:48 -04001033static void cpuset_post_attach(void)
Tejun Heoe93ad192016-01-19 12:18:41 -05001034{
1035 flush_workqueue(cpuset_migrate_mm_wq);
Paul Jacksone4e364e2006-03-31 02:30:52 -08001036}
1037
Li Zefan3b6766f2009-04-02 16:57:51 -07001038/*
Miao Xie58568d22009-06-16 15:31:49 -07001039 * cpuset_change_task_nodemask - change task's mems_allowed and mempolicy
1040 * @tsk: the task to change
1041 * @newmems: new nodes that the task will be set
1042 *
1043 * In order to avoid seeing no nodes if the old and new nodes are disjoint,
1044 * we structure updates as setting all new allowed nodes, then clearing newly
1045 * disallowed ones.
Miao Xie58568d22009-06-16 15:31:49 -07001046 */
1047static void cpuset_change_task_nodemask(struct task_struct *tsk,
1048 nodemask_t *newmems)
1049{
David Rientjesb2462722011-12-19 17:11:52 -08001050 bool need_loop;
David Rientjes89e8a242011-11-02 13:38:39 -07001051
Miao Xiec0ff7452010-05-24 14:32:08 -07001052 task_lock(tsk);
David Rientjesb2462722011-12-19 17:11:52 -08001053 /*
1054 * Determine if a loop is necessary if another thread is doing
Mel Gormand26914d2014-04-03 14:47:24 -07001055 * read_mems_allowed_begin(). If at least one node remains unchanged and
David Rientjesb2462722011-12-19 17:11:52 -08001056 * tsk does not have a mempolicy, then an empty nodemask will not be
1057 * possible when mems_allowed is larger than a word.
1058 */
1059 need_loop = task_has_mempolicy(tsk) ||
1060 !nodes_intersects(*newmems, tsk->mems_allowed);
Mel Gormancc9a6c82012-03-21 16:34:11 -07001061
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001062 if (need_loop) {
1063 local_irq_disable();
Mel Gormancc9a6c82012-03-21 16:34:11 -07001064 write_seqcount_begin(&tsk->mems_allowed_seq);
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001065 }
Mel Gormancc9a6c82012-03-21 16:34:11 -07001066
Miao Xie58568d22009-06-16 15:31:49 -07001067 nodes_or(tsk->mems_allowed, tsk->mems_allowed, *newmems);
Miao Xiec0ff7452010-05-24 14:32:08 -07001068 mpol_rebind_task(tsk, newmems, MPOL_REBIND_STEP1);
1069
Miao Xiec0ff7452010-05-24 14:32:08 -07001070 mpol_rebind_task(tsk, newmems, MPOL_REBIND_STEP2);
Miao Xie58568d22009-06-16 15:31:49 -07001071 tsk->mems_allowed = *newmems;
Mel Gormancc9a6c82012-03-21 16:34:11 -07001072
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001073 if (need_loop) {
Mel Gormancc9a6c82012-03-21 16:34:11 -07001074 write_seqcount_end(&tsk->mems_allowed_seq);
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001075 local_irq_enable();
1076 }
Mel Gormancc9a6c82012-03-21 16:34:11 -07001077
Miao Xiec0ff7452010-05-24 14:32:08 -07001078 task_unlock(tsk);
Miao Xie58568d22009-06-16 15:31:49 -07001079}
1080
Paul Menage8793d852007-10-18 23:39:39 -07001081static void *cpuset_being_rebound;
1082
Miao Xie0b2f6302008-07-25 01:47:21 -07001083/**
1084 * update_tasks_nodemask - Update the nodemasks of tasks in the cpuset.
1085 * @cs: the cpuset in which each task's mems_allowed mask needs to be changed
Miao Xie0b2f6302008-07-25 01:47:21 -07001086 *
Tejun Heod66393e2014-02-13 06:58:40 -05001087 * Iterate through each task of @cs updating its mems_allowed to the
1088 * effective cpuset's. As this function is called with cpuset_mutex held,
1089 * cpuset membership stays stable.
Miao Xie0b2f6302008-07-25 01:47:21 -07001090 */
Tejun Heod66393e2014-02-13 06:58:40 -05001091static void update_tasks_nodemask(struct cpuset *cs)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001092{
Li Zefan33ad8012013-06-09 17:15:08 +08001093 static nodemask_t newmems; /* protected by cpuset_mutex */
Tejun Heod66393e2014-02-13 06:58:40 -05001094 struct css_task_iter it;
1095 struct task_struct *task;
Paul Jackson59dac162006-01-08 01:01:52 -08001096
Lee Schermerhorn846a16b2008-04-28 02:13:09 -07001097 cpuset_being_rebound = cs; /* causes mpol_dup() rebind */
Paul Jackson42253992006-01-08 01:01:59 -08001098
Li Zefanae1c8022014-07-09 16:48:32 +08001099 guarantee_online_mems(cs, &newmems);
Li Zefan33ad8012013-06-09 17:15:08 +08001100
Paul Jackson42253992006-01-08 01:01:59 -08001101 /*
Li Zefan3b6766f2009-04-02 16:57:51 -07001102 * The mpol_rebind_mm() call takes mmap_sem, which we couldn't
1103 * take while holding tasklist_lock. Forks can happen - the
1104 * mpol_dup() cpuset_being_rebound check will catch such forks,
1105 * and rebind their vma mempolicies too. Because we still hold
Tejun Heo5d21cc22013-01-07 08:51:08 -08001106 * the global cpuset_mutex, we know that no other rebind effort
Li Zefan3b6766f2009-04-02 16:57:51 -07001107 * will be contending for the global variable cpuset_being_rebound.
Paul Jackson42253992006-01-08 01:01:59 -08001108 * It's ok if we rebind the same mm twice; mpol_rebind_mm()
Paul Jackson04c19fa2006-01-08 01:02:00 -08001109 * is idempotent. Also migrate pages in each mm to new nodes.
Paul Jackson42253992006-01-08 01:01:59 -08001110 */
Tejun Heod66393e2014-02-13 06:58:40 -05001111 css_task_iter_start(&cs->css, &it);
1112 while ((task = css_task_iter_next(&it))) {
1113 struct mm_struct *mm;
1114 bool migrate;
1115
1116 cpuset_change_task_nodemask(task, &newmems);
1117
1118 mm = get_task_mm(task);
1119 if (!mm)
1120 continue;
1121
1122 migrate = is_memory_migrate(cs);
1123
1124 mpol_rebind_mm(mm, &cs->mems_allowed);
1125 if (migrate)
1126 cpuset_migrate_mm(mm, &cs->old_mems_allowed, &newmems);
Tejun Heoe93ad192016-01-19 12:18:41 -05001127 else
1128 mmput(mm);
Tejun Heod66393e2014-02-13 06:58:40 -05001129 }
1130 css_task_iter_end(&it);
Paul Jackson42253992006-01-08 01:01:59 -08001131
Li Zefan33ad8012013-06-09 17:15:08 +08001132 /*
1133 * All the tasks' nodemasks have been updated, update
1134 * cs->old_mems_allowed.
1135 */
1136 cs->old_mems_allowed = newmems;
1137
Paul Menage2df167a2008-02-07 00:14:45 -08001138 /* We're done rebinding vmas to this cpuset's new mems_allowed. */
Paul Menage8793d852007-10-18 23:39:39 -07001139 cpuset_being_rebound = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001140}
1141
Miao Xie0b2f6302008-07-25 01:47:21 -07001142/*
Li Zefan734d4512014-07-09 16:47:29 +08001143 * update_nodemasks_hier - Update effective nodemasks and tasks in the subtree
1144 * @cs: the cpuset to consider
1145 * @new_mems: a temp variable for calculating new effective_mems
Li Zefan5c5cc622013-06-09 17:16:29 +08001146 *
Li Zefan734d4512014-07-09 16:47:29 +08001147 * When configured nodemask is changed, the effective nodemasks of this cpuset
1148 * and all its descendants need to be updated.
1149 *
1150 * On legacy hiearchy, effective_mems will be the same with mems_allowed.
Li Zefan5c5cc622013-06-09 17:16:29 +08001151 *
1152 * Called with cpuset_mutex held
1153 */
Li Zefan734d4512014-07-09 16:47:29 +08001154static void update_nodemasks_hier(struct cpuset *cs, nodemask_t *new_mems)
Li Zefan5c5cc622013-06-09 17:16:29 +08001155{
1156 struct cpuset *cp;
Tejun Heo492eb212013-08-08 20:11:25 -04001157 struct cgroup_subsys_state *pos_css;
Li Zefan5c5cc622013-06-09 17:16:29 +08001158
1159 rcu_read_lock();
Li Zefan734d4512014-07-09 16:47:29 +08001160 cpuset_for_each_descendant_pre(cp, pos_css, cs) {
1161 struct cpuset *parent = parent_cs(cp);
1162
1163 nodes_and(*new_mems, cp->mems_allowed, parent->effective_mems);
1164
Li Zefan554b0d12014-07-09 16:47:41 +08001165 /*
1166 * If it becomes empty, inherit the effective mask of the
1167 * parent, which is guaranteed to have some MEMs.
1168 */
Tejun Heo9e10a132015-09-18 11:56:28 -04001169 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
1170 nodes_empty(*new_mems))
Li Zefan554b0d12014-07-09 16:47:41 +08001171 *new_mems = parent->effective_mems;
1172
Li Zefan734d4512014-07-09 16:47:29 +08001173 /* Skip the whole subtree if the nodemask remains the same. */
1174 if (nodes_equal(*new_mems, cp->effective_mems)) {
1175 pos_css = css_rightmost_descendant(pos_css);
1176 continue;
Li Zefan5c5cc622013-06-09 17:16:29 +08001177 }
Li Zefan734d4512014-07-09 16:47:29 +08001178
Tejun Heoec903c02014-05-13 12:11:01 -04001179 if (!css_tryget_online(&cp->css))
Li Zefan5c5cc622013-06-09 17:16:29 +08001180 continue;
1181 rcu_read_unlock();
1182
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001183 spin_lock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +08001184 cp->effective_mems = *new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001185 spin_unlock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +08001186
Tejun Heo9e10a132015-09-18 11:56:28 -04001187 WARN_ON(!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
Li Zefana1381262014-07-30 15:07:13 +08001188 !nodes_equal(cp->mems_allowed, cp->effective_mems));
Li Zefan734d4512014-07-09 16:47:29 +08001189
Tejun Heod66393e2014-02-13 06:58:40 -05001190 update_tasks_nodemask(cp);
Li Zefan5c5cc622013-06-09 17:16:29 +08001191
1192 rcu_read_lock();
1193 css_put(&cp->css);
1194 }
1195 rcu_read_unlock();
1196}
1197
1198/*
Miao Xie0b2f6302008-07-25 01:47:21 -07001199 * Handle user request to change the 'mems' memory placement
1200 * of a cpuset. Needs to validate the request, update the
Miao Xie58568d22009-06-16 15:31:49 -07001201 * cpusets mems_allowed, and for each task in the cpuset,
1202 * update mems_allowed and rebind task's mempolicy and any vma
1203 * mempolicies and if the cpuset is marked 'memory_migrate',
1204 * migrate the tasks pages to the new memory.
Miao Xie0b2f6302008-07-25 01:47:21 -07001205 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001206 * Call with cpuset_mutex held. May take callback_lock during call.
Miao Xie0b2f6302008-07-25 01:47:21 -07001207 * Will take tasklist_lock, scan tasklist for tasks in cpuset cs,
1208 * lock each such tasks mm->mmap_sem, scan its vma's and rebind
1209 * their mempolicies to the cpusets new mems_allowed.
1210 */
Li Zefan645fcc92009-01-07 18:08:43 -08001211static int update_nodemask(struct cpuset *cs, struct cpuset *trialcs,
1212 const char *buf)
Miao Xie0b2f6302008-07-25 01:47:21 -07001213{
Miao Xie0b2f6302008-07-25 01:47:21 -07001214 int retval;
1215
1216 /*
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08001217 * top_cpuset.mems_allowed tracks node_stats[N_MEMORY];
Miao Xie0b2f6302008-07-25 01:47:21 -07001218 * it's read-only
1219 */
Miao Xie53feb292010-03-23 13:35:35 -07001220 if (cs == &top_cpuset) {
1221 retval = -EACCES;
1222 goto done;
1223 }
Miao Xie0b2f6302008-07-25 01:47:21 -07001224
Miao Xie0b2f6302008-07-25 01:47:21 -07001225 /*
1226 * An empty mems_allowed is ok iff there are no tasks in the cpuset.
1227 * Since nodelist_parse() fails on an empty mask, we special case
1228 * that parsing. The validate_change() call ensures that cpusets
1229 * with tasks have memory.
1230 */
1231 if (!*buf) {
Li Zefan645fcc92009-01-07 18:08:43 -08001232 nodes_clear(trialcs->mems_allowed);
Miao Xie0b2f6302008-07-25 01:47:21 -07001233 } else {
Li Zefan645fcc92009-01-07 18:08:43 -08001234 retval = nodelist_parse(buf, trialcs->mems_allowed);
Miao Xie0b2f6302008-07-25 01:47:21 -07001235 if (retval < 0)
1236 goto done;
1237
Li Zefan645fcc92009-01-07 18:08:43 -08001238 if (!nodes_subset(trialcs->mems_allowed,
Li Zefan5d8ba822014-07-09 16:49:12 +08001239 top_cpuset.mems_allowed)) {
1240 retval = -EINVAL;
Miao Xie53feb292010-03-23 13:35:35 -07001241 goto done;
1242 }
Miao Xie0b2f6302008-07-25 01:47:21 -07001243 }
Li Zefan33ad8012013-06-09 17:15:08 +08001244
1245 if (nodes_equal(cs->mems_allowed, trialcs->mems_allowed)) {
Miao Xie0b2f6302008-07-25 01:47:21 -07001246 retval = 0; /* Too easy - nothing to do */
1247 goto done;
1248 }
Li Zefan645fcc92009-01-07 18:08:43 -08001249 retval = validate_change(cs, trialcs);
Miao Xie0b2f6302008-07-25 01:47:21 -07001250 if (retval < 0)
1251 goto done;
1252
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001253 spin_lock_irq(&callback_lock);
Li Zefan645fcc92009-01-07 18:08:43 -08001254 cs->mems_allowed = trialcs->mems_allowed;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001255 spin_unlock_irq(&callback_lock);
Miao Xie0b2f6302008-07-25 01:47:21 -07001256
Li Zefan734d4512014-07-09 16:47:29 +08001257 /* use trialcs->mems_allowed as a temp variable */
Alban Crequy24ee3cf2015-08-06 16:21:05 +02001258 update_nodemasks_hier(cs, &trialcs->mems_allowed);
Miao Xie0b2f6302008-07-25 01:47:21 -07001259done:
1260 return retval;
1261}
1262
Paul Menage8793d852007-10-18 23:39:39 -07001263int current_cpuset_is_being_rebound(void)
1264{
Gu Zheng391acf92014-06-25 09:57:18 +08001265 int ret;
1266
1267 rcu_read_lock();
1268 ret = task_cs(current) == cpuset_being_rebound;
1269 rcu_read_unlock();
1270
1271 return ret;
Paul Menage8793d852007-10-18 23:39:39 -07001272}
1273
Paul Menage5be7a472008-05-06 20:42:41 -07001274static int update_relax_domain_level(struct cpuset *cs, s64 val)
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001275{
Paul Menagedb7f47c2009-04-02 16:57:55 -07001276#ifdef CONFIG_SMP
Peter Zijlstra60495e72011-04-07 14:10:04 +02001277 if (val < -1 || val >= sched_domain_level_max)
Li Zefan30e0e172008-05-13 10:27:17 +08001278 return -EINVAL;
Paul Menagedb7f47c2009-04-02 16:57:55 -07001279#endif
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001280
1281 if (val != cs->relax_domain_level) {
1282 cs->relax_domain_level = val;
Li Zefan300ed6c2009-01-07 18:08:44 -08001283 if (!cpumask_empty(cs->cpus_allowed) &&
1284 is_sched_load_balance(cs))
Tejun Heo699140b2013-01-07 08:51:07 -08001285 rebuild_sched_domains_locked();
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001286 }
1287
1288 return 0;
1289}
1290
Tejun Heo72ec7022013-08-08 20:11:26 -04001291/**
Miao Xie950592f2009-06-16 15:31:47 -07001292 * update_tasks_flags - update the spread flags of tasks in the cpuset.
1293 * @cs: the cpuset in which each task's spread flags needs to be changed
Miao Xie950592f2009-06-16 15:31:47 -07001294 *
Tejun Heod66393e2014-02-13 06:58:40 -05001295 * Iterate through each task of @cs updating its spread flags. As this
1296 * function is called with cpuset_mutex held, cpuset membership stays
1297 * stable.
Miao Xie950592f2009-06-16 15:31:47 -07001298 */
Tejun Heod66393e2014-02-13 06:58:40 -05001299static void update_tasks_flags(struct cpuset *cs)
Miao Xie950592f2009-06-16 15:31:47 -07001300{
Tejun Heod66393e2014-02-13 06:58:40 -05001301 struct css_task_iter it;
1302 struct task_struct *task;
1303
1304 css_task_iter_start(&cs->css, &it);
1305 while ((task = css_task_iter_next(&it)))
1306 cpuset_update_task_spread_flag(cs, task);
1307 css_task_iter_end(&it);
Miao Xie950592f2009-06-16 15:31:47 -07001308}
1309
1310/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001311 * update_flag - read a 0 or a 1 in a file and update associated flag
Paul Menage78608362008-04-29 01:00:26 -07001312 * bit: the bit to update (see cpuset_flagbits_t)
1313 * cs: the cpuset to update
1314 * turning_on: whether the flag is being set or cleared
Paul Jackson053199e2005-10-30 15:02:30 -08001315 *
Tejun Heo5d21cc22013-01-07 08:51:08 -08001316 * Call with cpuset_mutex held.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001317 */
1318
Paul Menage700fe1a2008-04-29 01:00:00 -07001319static int update_flag(cpuset_flagbits_t bit, struct cpuset *cs,
1320 int turning_on)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001321{
Li Zefan645fcc92009-01-07 18:08:43 -08001322 struct cpuset *trialcs;
Rakib Mullick40b6a762008-10-18 20:28:18 -07001323 int balance_flag_changed;
Miao Xie950592f2009-06-16 15:31:47 -07001324 int spread_flag_changed;
Miao Xie950592f2009-06-16 15:31:47 -07001325 int err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001326
Li Zefan645fcc92009-01-07 18:08:43 -08001327 trialcs = alloc_trial_cpuset(cs);
1328 if (!trialcs)
1329 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001330
Li Zefan645fcc92009-01-07 18:08:43 -08001331 if (turning_on)
1332 set_bit(bit, &trialcs->flags);
1333 else
1334 clear_bit(bit, &trialcs->flags);
1335
1336 err = validate_change(cs, trialcs);
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -07001337 if (err < 0)
Li Zefan645fcc92009-01-07 18:08:43 -08001338 goto out;
Paul Jackson029190c2007-10-18 23:40:20 -07001339
Paul Jackson029190c2007-10-18 23:40:20 -07001340 balance_flag_changed = (is_sched_load_balance(cs) !=
Li Zefan645fcc92009-01-07 18:08:43 -08001341 is_sched_load_balance(trialcs));
Paul Jackson029190c2007-10-18 23:40:20 -07001342
Miao Xie950592f2009-06-16 15:31:47 -07001343 spread_flag_changed = ((is_spread_slab(cs) != is_spread_slab(trialcs))
1344 || (is_spread_page(cs) != is_spread_page(trialcs)));
1345
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001346 spin_lock_irq(&callback_lock);
Li Zefan645fcc92009-01-07 18:08:43 -08001347 cs->flags = trialcs->flags;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001348 spin_unlock_irq(&callback_lock);
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -07001349
Li Zefan300ed6c2009-01-07 18:08:44 -08001350 if (!cpumask_empty(trialcs->cpus_allowed) && balance_flag_changed)
Tejun Heo699140b2013-01-07 08:51:07 -08001351 rebuild_sched_domains_locked();
Paul Jackson029190c2007-10-18 23:40:20 -07001352
Miao Xie950592f2009-06-16 15:31:47 -07001353 if (spread_flag_changed)
Tejun Heod66393e2014-02-13 06:58:40 -05001354 update_tasks_flags(cs);
Li Zefan645fcc92009-01-07 18:08:43 -08001355out:
1356 free_trial_cpuset(trialcs);
1357 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001358}
1359
Paul Jackson053199e2005-10-30 15:02:30 -08001360/*
Adrian Bunk80f72282006-06-30 18:27:16 +02001361 * Frequency meter - How fast is some event occurring?
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001362 *
1363 * These routines manage a digitally filtered, constant time based,
1364 * event frequency meter. There are four routines:
1365 * fmeter_init() - initialize a frequency meter.
1366 * fmeter_markevent() - called each time the event happens.
1367 * fmeter_getrate() - returns the recent rate of such events.
1368 * fmeter_update() - internal routine used to update fmeter.
1369 *
1370 * A common data structure is passed to each of these routines,
1371 * which is used to keep track of the state required to manage the
1372 * frequency meter and its digital filter.
1373 *
1374 * The filter works on the number of events marked per unit time.
1375 * The filter is single-pole low-pass recursive (IIR). The time unit
1376 * is 1 second. Arithmetic is done using 32-bit integers scaled to
1377 * simulate 3 decimal digits of precision (multiplied by 1000).
1378 *
1379 * With an FM_COEF of 933, and a time base of 1 second, the filter
1380 * has a half-life of 10 seconds, meaning that if the events quit
1381 * happening, then the rate returned from the fmeter_getrate()
1382 * will be cut in half each 10 seconds, until it converges to zero.
1383 *
1384 * It is not worth doing a real infinitely recursive filter. If more
1385 * than FM_MAXTICKS ticks have elapsed since the last filter event,
1386 * just compute FM_MAXTICKS ticks worth, by which point the level
1387 * will be stable.
1388 *
1389 * Limit the count of unprocessed events to FM_MAXCNT, so as to avoid
1390 * arithmetic overflow in the fmeter_update() routine.
1391 *
1392 * Given the simple 32 bit integer arithmetic used, this meter works
1393 * best for reporting rates between one per millisecond (msec) and
1394 * one per 32 (approx) seconds. At constant rates faster than one
1395 * per msec it maxes out at values just under 1,000,000. At constant
1396 * rates between one per msec, and one per second it will stabilize
1397 * to a value N*1000, where N is the rate of events per second.
1398 * At constant rates between one per second and one per 32 seconds,
1399 * it will be choppy, moving up on the seconds that have an event,
1400 * and then decaying until the next event. At rates slower than
1401 * about one in 32 seconds, it decays all the way back to zero between
1402 * each event.
1403 */
1404
1405#define FM_COEF 933 /* coefficient for half-life of 10 secs */
Arnd Bergmannd2b43652015-11-25 16:16:55 +01001406#define FM_MAXTICKS ((u32)99) /* useless computing more ticks than this */
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001407#define FM_MAXCNT 1000000 /* limit cnt to avoid overflow */
1408#define FM_SCALE 1000 /* faux fixed point scale */
1409
1410/* Initialize a frequency meter */
1411static void fmeter_init(struct fmeter *fmp)
1412{
1413 fmp->cnt = 0;
1414 fmp->val = 0;
1415 fmp->time = 0;
1416 spin_lock_init(&fmp->lock);
1417}
1418
1419/* Internal meter update - process cnt events and update value */
1420static void fmeter_update(struct fmeter *fmp)
1421{
Arnd Bergmannd2b43652015-11-25 16:16:55 +01001422 time64_t now;
1423 u32 ticks;
1424
1425 now = ktime_get_seconds();
1426 ticks = now - fmp->time;
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001427
1428 if (ticks == 0)
1429 return;
1430
1431 ticks = min(FM_MAXTICKS, ticks);
1432 while (ticks-- > 0)
1433 fmp->val = (FM_COEF * fmp->val) / FM_SCALE;
1434 fmp->time = now;
1435
1436 fmp->val += ((FM_SCALE - FM_COEF) * fmp->cnt) / FM_SCALE;
1437 fmp->cnt = 0;
1438}
1439
1440/* Process any previous ticks, then bump cnt by one (times scale). */
1441static void fmeter_markevent(struct fmeter *fmp)
1442{
1443 spin_lock(&fmp->lock);
1444 fmeter_update(fmp);
1445 fmp->cnt = min(FM_MAXCNT, fmp->cnt + FM_SCALE);
1446 spin_unlock(&fmp->lock);
1447}
1448
1449/* Process any previous ticks, then return current value. */
1450static int fmeter_getrate(struct fmeter *fmp)
1451{
1452 int val;
1453
1454 spin_lock(&fmp->lock);
1455 fmeter_update(fmp);
1456 val = fmp->val;
1457 spin_unlock(&fmp->lock);
1458 return val;
1459}
1460
Tejun Heo57fce0a2014-02-13 06:58:41 -05001461static struct cpuset *cpuset_attach_old_cs;
1462
Tejun Heo5d21cc22013-01-07 08:51:08 -08001463/* Called by cgroups to determine if a cpuset is usable; cpuset_mutex held */
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001464static int cpuset_can_attach(struct cgroup_taskset *tset)
Ben Blumf780bdb2011-05-26 16:25:19 -07001465{
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001466 struct cgroup_subsys_state *css;
1467 struct cpuset *cs;
Tejun Heobb9d97b2011-12-12 18:12:21 -08001468 struct task_struct *task;
1469 int ret;
Ben Blumf780bdb2011-05-26 16:25:19 -07001470
Tejun Heo57fce0a2014-02-13 06:58:41 -05001471 /* used later by cpuset_attach() */
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001472 cpuset_attach_old_cs = task_cs(cgroup_taskset_first(tset, &css));
1473 cs = css_cs(css);
Tejun Heo57fce0a2014-02-13 06:58:41 -05001474
Tejun Heo5d21cc22013-01-07 08:51:08 -08001475 mutex_lock(&cpuset_mutex);
1476
Tejun Heoaa6ec292014-07-09 10:08:08 -04001477 /* allow moving tasks into an empty cpuset if on default hierarchy */
Tejun Heo5d21cc22013-01-07 08:51:08 -08001478 ret = -ENOSPC;
Tejun Heo9e10a132015-09-18 11:56:28 -04001479 if (!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
Li Zefan88fa5232013-06-09 17:16:46 +08001480 (cpumask_empty(cs->cpus_allowed) || nodes_empty(cs->mems_allowed)))
Tejun Heo5d21cc22013-01-07 08:51:08 -08001481 goto out_unlock;
Ben Blumbe367d02009-09-23 15:56:31 -07001482
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001483 cgroup_taskset_for_each(task, css, tset) {
Juri Lelli7f514122014-09-19 10:22:40 +01001484 ret = task_can_attach(task, cs->cpus_allowed);
1485 if (ret)
Tejun Heo5d21cc22013-01-07 08:51:08 -08001486 goto out_unlock;
1487 ret = security_task_setscheduler(task);
1488 if (ret)
1489 goto out_unlock;
Tejun Heobb9d97b2011-12-12 18:12:21 -08001490 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001491
Tejun Heo452477f2013-01-07 08:51:07 -08001492 /*
1493 * Mark attach is in progress. This makes validate_change() fail
1494 * changes which zero cpus/mems_allowed.
1495 */
1496 cs->attach_in_progress++;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001497 ret = 0;
1498out_unlock:
1499 mutex_unlock(&cpuset_mutex);
1500 return ret;
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001501}
1502
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001503static void cpuset_cancel_attach(struct cgroup_taskset *tset)
Tejun Heo452477f2013-01-07 08:51:07 -08001504{
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001505 struct cgroup_subsys_state *css;
1506 struct cpuset *cs;
1507
1508 cgroup_taskset_first(tset, &css);
1509 cs = css_cs(css);
1510
Tejun Heo5d21cc22013-01-07 08:51:08 -08001511 mutex_lock(&cpuset_mutex);
Tejun Heoeb954192013-08-08 20:11:23 -04001512 css_cs(css)->attach_in_progress--;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001513 mutex_unlock(&cpuset_mutex);
Tejun Heo452477f2013-01-07 08:51:07 -08001514}
1515
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001516/*
Tejun Heo5d21cc22013-01-07 08:51:08 -08001517 * Protected by cpuset_mutex. cpus_attach is used only by cpuset_attach()
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001518 * but we can't allocate it dynamically there. Define it global and
1519 * allocate from cpuset_init().
1520 */
1521static cpumask_var_t cpus_attach;
1522
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001523static void cpuset_attach(struct cgroup_taskset *tset)
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001524{
Li Zefan67bd2c52013-06-05 17:15:35 +08001525 /* static buf protected by cpuset_mutex */
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001526 static nodemask_t cpuset_attach_nodemask_to;
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001527 struct task_struct *task;
Tejun Heo4530edd2015-09-11 15:00:19 -04001528 struct task_struct *leader;
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001529 struct cgroup_subsys_state *css;
1530 struct cpuset *cs;
Tejun Heo57fce0a2014-02-13 06:58:41 -05001531 struct cpuset *oldcs = cpuset_attach_old_cs;
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001532
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001533 cgroup_taskset_first(tset, &css);
1534 cs = css_cs(css);
1535
Tejun Heo5d21cc22013-01-07 08:51:08 -08001536 mutex_lock(&cpuset_mutex);
1537
Tejun Heo94196f52011-12-12 18:12:22 -08001538 /* prepare for attach */
Ben Blumf780bdb2011-05-26 16:25:19 -07001539 if (cs == &top_cpuset)
1540 cpumask_copy(cpus_attach, cpu_possible_mask);
1541 else
Li Zefanae1c8022014-07-09 16:48:32 +08001542 guarantee_online_cpus(cs, cpus_attach);
Ben Blumf780bdb2011-05-26 16:25:19 -07001543
Li Zefanae1c8022014-07-09 16:48:32 +08001544 guarantee_online_mems(cs, &cpuset_attach_nodemask_to);
Tejun Heo94196f52011-12-12 18:12:22 -08001545
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001546 cgroup_taskset_for_each(task, css, tset) {
Tejun Heobb9d97b2011-12-12 18:12:21 -08001547 /*
1548 * can_attach beforehand should guarantee that this doesn't
1549 * fail. TODO: have a better way to handle failure here
1550 */
1551 WARN_ON_ONCE(set_cpus_allowed_ptr(task, cpus_attach));
1552
1553 cpuset_change_task_nodemask(task, &cpuset_attach_nodemask_to);
1554 cpuset_update_task_spread_flag(cs, task);
1555 }
David Quigley22fb52d2006-06-23 02:04:00 -07001556
Ben Blumf780bdb2011-05-26 16:25:19 -07001557 /*
Tejun Heo4530edd2015-09-11 15:00:19 -04001558 * Change mm for all threadgroup leaders. This is expensive and may
1559 * sleep and should be moved outside migration path proper.
Ben Blumf780bdb2011-05-26 16:25:19 -07001560 */
Li Zefanae1c8022014-07-09 16:48:32 +08001561 cpuset_attach_nodemask_to = cs->effective_mems;
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001562 cgroup_taskset_for_each_leader(leader, css, tset) {
Tejun Heo3df9ca02015-09-11 15:00:18 -04001563 struct mm_struct *mm = get_task_mm(leader);
Li Zefanf047cec2013-06-13 15:11:44 +08001564
Tejun Heo3df9ca02015-09-11 15:00:18 -04001565 if (mm) {
1566 mpol_rebind_mm(mm, &cpuset_attach_nodemask_to);
1567
1568 /*
1569 * old_mems_allowed is the same with mems_allowed
1570 * here, except if this task is being moved
1571 * automatically due to hotplug. In that case
1572 * @mems_allowed has been updated and is empty, so
1573 * @old_mems_allowed is the right nodesets that we
1574 * migrate mm from.
1575 */
Tejun Heoe93ad192016-01-19 12:18:41 -05001576 if (is_memory_migrate(cs))
Tejun Heo3df9ca02015-09-11 15:00:18 -04001577 cpuset_migrate_mm(mm, &oldcs->old_mems_allowed,
1578 &cpuset_attach_nodemask_to);
Tejun Heoe93ad192016-01-19 12:18:41 -05001579 else
1580 mmput(mm);
Li Zefanf047cec2013-06-13 15:11:44 +08001581 }
Paul Jackson42253992006-01-08 01:01:59 -08001582 }
Tejun Heo452477f2013-01-07 08:51:07 -08001583
Li Zefan33ad8012013-06-09 17:15:08 +08001584 cs->old_mems_allowed = cpuset_attach_nodemask_to;
Tejun Heo02bb5862013-01-07 08:51:08 -08001585
Tejun Heo452477f2013-01-07 08:51:07 -08001586 cs->attach_in_progress--;
Li Zefane44193d2013-06-09 17:14:22 +08001587 if (!cs->attach_in_progress)
1588 wake_up(&cpuset_attach_wq);
Tejun Heo5d21cc22013-01-07 08:51:08 -08001589
1590 mutex_unlock(&cpuset_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001591}
1592
1593/* The various types of files and directories in a cpuset file system */
1594
1595typedef enum {
Paul Jackson45b07ef2006-01-08 01:00:56 -08001596 FILE_MEMORY_MIGRATE,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001597 FILE_CPULIST,
1598 FILE_MEMLIST,
Li Zefanafd1a8b2014-07-09 16:49:25 +08001599 FILE_EFFECTIVE_CPULIST,
1600 FILE_EFFECTIVE_MEMLIST,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001601 FILE_CPU_EXCLUSIVE,
1602 FILE_MEM_EXCLUSIVE,
Paul Menage78608362008-04-29 01:00:26 -07001603 FILE_MEM_HARDWALL,
Paul Jackson029190c2007-10-18 23:40:20 -07001604 FILE_SCHED_LOAD_BALANCE,
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001605 FILE_SCHED_RELAX_DOMAIN_LEVEL,
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001606 FILE_MEMORY_PRESSURE_ENABLED,
1607 FILE_MEMORY_PRESSURE,
Paul Jackson825a46a2006-03-24 03:16:03 -08001608 FILE_SPREAD_PAGE,
1609 FILE_SPREAD_SLAB,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001610} cpuset_filetype_t;
1611
Tejun Heo182446d2013-08-08 20:11:24 -04001612static int cpuset_write_u64(struct cgroup_subsys_state *css, struct cftype *cft,
1613 u64 val)
Paul Menage700fe1a2008-04-29 01:00:00 -07001614{
Tejun Heo182446d2013-08-08 20:11:24 -04001615 struct cpuset *cs = css_cs(css);
Paul Menage700fe1a2008-04-29 01:00:00 -07001616 cpuset_filetype_t type = cft->private;
Li Zefana903f082013-08-13 10:05:59 +08001617 int retval = 0;
Paul Menage700fe1a2008-04-29 01:00:00 -07001618
Tejun Heo5d21cc22013-01-07 08:51:08 -08001619 mutex_lock(&cpuset_mutex);
Li Zefana903f082013-08-13 10:05:59 +08001620 if (!is_cpuset_online(cs)) {
1621 retval = -ENODEV;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001622 goto out_unlock;
Li Zefana903f082013-08-13 10:05:59 +08001623 }
Paul Menage700fe1a2008-04-29 01:00:00 -07001624
1625 switch (type) {
1626 case FILE_CPU_EXCLUSIVE:
1627 retval = update_flag(CS_CPU_EXCLUSIVE, cs, val);
1628 break;
1629 case FILE_MEM_EXCLUSIVE:
1630 retval = update_flag(CS_MEM_EXCLUSIVE, cs, val);
1631 break;
Paul Menage78608362008-04-29 01:00:26 -07001632 case FILE_MEM_HARDWALL:
1633 retval = update_flag(CS_MEM_HARDWALL, cs, val);
1634 break;
Paul Menage700fe1a2008-04-29 01:00:00 -07001635 case FILE_SCHED_LOAD_BALANCE:
1636 retval = update_flag(CS_SCHED_LOAD_BALANCE, cs, val);
1637 break;
1638 case FILE_MEMORY_MIGRATE:
1639 retval = update_flag(CS_MEMORY_MIGRATE, cs, val);
1640 break;
1641 case FILE_MEMORY_PRESSURE_ENABLED:
1642 cpuset_memory_pressure_enabled = !!val;
1643 break;
Paul Menage700fe1a2008-04-29 01:00:00 -07001644 case FILE_SPREAD_PAGE:
1645 retval = update_flag(CS_SPREAD_PAGE, cs, val);
Paul Menage700fe1a2008-04-29 01:00:00 -07001646 break;
1647 case FILE_SPREAD_SLAB:
1648 retval = update_flag(CS_SPREAD_SLAB, cs, val);
Paul Menage700fe1a2008-04-29 01:00:00 -07001649 break;
1650 default:
1651 retval = -EINVAL;
1652 break;
1653 }
Tejun Heo5d21cc22013-01-07 08:51:08 -08001654out_unlock:
1655 mutex_unlock(&cpuset_mutex);
Paul Menage700fe1a2008-04-29 01:00:00 -07001656 return retval;
1657}
1658
Tejun Heo182446d2013-08-08 20:11:24 -04001659static int cpuset_write_s64(struct cgroup_subsys_state *css, struct cftype *cft,
1660 s64 val)
Paul Menage5be7a472008-05-06 20:42:41 -07001661{
Tejun Heo182446d2013-08-08 20:11:24 -04001662 struct cpuset *cs = css_cs(css);
Paul Menage5be7a472008-05-06 20:42:41 -07001663 cpuset_filetype_t type = cft->private;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001664 int retval = -ENODEV;
Paul Menage5be7a472008-05-06 20:42:41 -07001665
Tejun Heo5d21cc22013-01-07 08:51:08 -08001666 mutex_lock(&cpuset_mutex);
1667 if (!is_cpuset_online(cs))
1668 goto out_unlock;
Paul Menagee3712392008-07-25 01:47:02 -07001669
Paul Menage5be7a472008-05-06 20:42:41 -07001670 switch (type) {
1671 case FILE_SCHED_RELAX_DOMAIN_LEVEL:
1672 retval = update_relax_domain_level(cs, val);
1673 break;
1674 default:
1675 retval = -EINVAL;
1676 break;
1677 }
Tejun Heo5d21cc22013-01-07 08:51:08 -08001678out_unlock:
1679 mutex_unlock(&cpuset_mutex);
Paul Menage5be7a472008-05-06 20:42:41 -07001680 return retval;
1681}
1682
Linus Torvalds1da177e2005-04-16 15:20:36 -07001683/*
Paul Menagee3712392008-07-25 01:47:02 -07001684 * Common handling for a write to a "cpus" or "mems" file.
1685 */
Tejun Heo451af502014-05-13 12:16:21 -04001686static ssize_t cpuset_write_resmask(struct kernfs_open_file *of,
1687 char *buf, size_t nbytes, loff_t off)
Paul Menagee3712392008-07-25 01:47:02 -07001688{
Tejun Heo451af502014-05-13 12:16:21 -04001689 struct cpuset *cs = css_cs(of_css(of));
Li Zefan645fcc92009-01-07 18:08:43 -08001690 struct cpuset *trialcs;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001691 int retval = -ENODEV;
Paul Menagee3712392008-07-25 01:47:02 -07001692
Tejun Heo451af502014-05-13 12:16:21 -04001693 buf = strstrip(buf);
1694
Tejun Heo3a5a6d02013-01-07 08:51:07 -08001695 /*
1696 * CPU or memory hotunplug may leave @cs w/o any execution
1697 * resources, in which case the hotplug code asynchronously updates
1698 * configuration and transfers all tasks to the nearest ancestor
1699 * which can execute.
1700 *
1701 * As writes to "cpus" or "mems" may restore @cs's execution
1702 * resources, wait for the previously scheduled operations before
1703 * proceeding, so that we don't end up keep removing tasks added
1704 * after execution capability is restored.
Tejun Heo76bb5ab2014-06-30 15:47:32 -04001705 *
1706 * cpuset_hotplug_work calls back into cgroup core via
1707 * cgroup_transfer_tasks() and waiting for it from a cgroupfs
1708 * operation like this one can lead to a deadlock through kernfs
1709 * active_ref protection. Let's break the protection. Losing the
1710 * protection is okay as we check whether @cs is online after
1711 * grabbing cpuset_mutex anyway. This only happens on the legacy
1712 * hierarchies.
Tejun Heo3a5a6d02013-01-07 08:51:07 -08001713 */
Tejun Heo76bb5ab2014-06-30 15:47:32 -04001714 css_get(&cs->css);
1715 kernfs_break_active_protection(of->kn);
Tejun Heo3a5a6d02013-01-07 08:51:07 -08001716 flush_work(&cpuset_hotplug_work);
1717
Tejun Heo5d21cc22013-01-07 08:51:08 -08001718 mutex_lock(&cpuset_mutex);
1719 if (!is_cpuset_online(cs))
1720 goto out_unlock;
Paul Menagee3712392008-07-25 01:47:02 -07001721
Li Zefan645fcc92009-01-07 18:08:43 -08001722 trialcs = alloc_trial_cpuset(cs);
Li Zefanb75f38d2011-03-04 17:36:21 -08001723 if (!trialcs) {
1724 retval = -ENOMEM;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001725 goto out_unlock;
Li Zefanb75f38d2011-03-04 17:36:21 -08001726 }
Li Zefan645fcc92009-01-07 18:08:43 -08001727
Tejun Heo451af502014-05-13 12:16:21 -04001728 switch (of_cft(of)->private) {
Paul Menagee3712392008-07-25 01:47:02 -07001729 case FILE_CPULIST:
Li Zefan645fcc92009-01-07 18:08:43 -08001730 retval = update_cpumask(cs, trialcs, buf);
Paul Menagee3712392008-07-25 01:47:02 -07001731 break;
1732 case FILE_MEMLIST:
Li Zefan645fcc92009-01-07 18:08:43 -08001733 retval = update_nodemask(cs, trialcs, buf);
Paul Menagee3712392008-07-25 01:47:02 -07001734 break;
1735 default:
1736 retval = -EINVAL;
1737 break;
1738 }
Li Zefan645fcc92009-01-07 18:08:43 -08001739
1740 free_trial_cpuset(trialcs);
Tejun Heo5d21cc22013-01-07 08:51:08 -08001741out_unlock:
1742 mutex_unlock(&cpuset_mutex);
Tejun Heo76bb5ab2014-06-30 15:47:32 -04001743 kernfs_unbreak_active_protection(of->kn);
1744 css_put(&cs->css);
Tejun Heoe93ad192016-01-19 12:18:41 -05001745 flush_workqueue(cpuset_migrate_mm_wq);
Tejun Heo451af502014-05-13 12:16:21 -04001746 return retval ?: nbytes;
Paul Menagee3712392008-07-25 01:47:02 -07001747}
1748
1749/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001750 * These ascii lists should be read in a single call, by using a user
1751 * buffer large enough to hold the entire map. If read in smaller
1752 * chunks, there is no guarantee of atomicity. Since the display format
1753 * used, list of ranges of sequential numbers, is variable length,
1754 * and since these maps can change value dynamically, one could read
1755 * gibberish by doing partial reads while a list was changing.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001756 */
Tejun Heo2da8ca82013-12-05 12:28:04 -05001757static int cpuset_common_seq_show(struct seq_file *sf, void *v)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001758{
Tejun Heo2da8ca82013-12-05 12:28:04 -05001759 struct cpuset *cs = css_cs(seq_css(sf));
1760 cpuset_filetype_t type = seq_cft(sf)->private;
Tejun Heo51ffe412013-12-05 12:28:02 -05001761 int ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001762
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001763 spin_lock_irq(&callback_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001764
1765 switch (type) {
1766 case FILE_CPULIST:
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07001767 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->cpus_requested));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001768 break;
1769 case FILE_MEMLIST:
Tejun Heoe8e6d972015-02-13 14:37:23 -08001770 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->mems_allowed));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001771 break;
Li Zefanafd1a8b2014-07-09 16:49:25 +08001772 case FILE_EFFECTIVE_CPULIST:
Tejun Heoe8e6d972015-02-13 14:37:23 -08001773 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->effective_cpus));
Li Zefanafd1a8b2014-07-09 16:49:25 +08001774 break;
1775 case FILE_EFFECTIVE_MEMLIST:
Tejun Heoe8e6d972015-02-13 14:37:23 -08001776 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->effective_mems));
Li Zefanafd1a8b2014-07-09 16:49:25 +08001777 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001778 default:
Tejun Heo51ffe412013-12-05 12:28:02 -05001779 ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001780 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001781
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001782 spin_unlock_irq(&callback_lock);
Tejun Heo51ffe412013-12-05 12:28:02 -05001783 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001784}
1785
Tejun Heo182446d2013-08-08 20:11:24 -04001786static u64 cpuset_read_u64(struct cgroup_subsys_state *css, struct cftype *cft)
Paul Menage700fe1a2008-04-29 01:00:00 -07001787{
Tejun Heo182446d2013-08-08 20:11:24 -04001788 struct cpuset *cs = css_cs(css);
Paul Menage700fe1a2008-04-29 01:00:00 -07001789 cpuset_filetype_t type = cft->private;
1790 switch (type) {
1791 case FILE_CPU_EXCLUSIVE:
1792 return is_cpu_exclusive(cs);
1793 case FILE_MEM_EXCLUSIVE:
1794 return is_mem_exclusive(cs);
Paul Menage78608362008-04-29 01:00:26 -07001795 case FILE_MEM_HARDWALL:
1796 return is_mem_hardwall(cs);
Paul Menage700fe1a2008-04-29 01:00:00 -07001797 case FILE_SCHED_LOAD_BALANCE:
1798 return is_sched_load_balance(cs);
1799 case FILE_MEMORY_MIGRATE:
1800 return is_memory_migrate(cs);
1801 case FILE_MEMORY_PRESSURE_ENABLED:
1802 return cpuset_memory_pressure_enabled;
1803 case FILE_MEMORY_PRESSURE:
1804 return fmeter_getrate(&cs->fmeter);
1805 case FILE_SPREAD_PAGE:
1806 return is_spread_page(cs);
1807 case FILE_SPREAD_SLAB:
1808 return is_spread_slab(cs);
1809 default:
1810 BUG();
1811 }
Max Krasnyanskycf417142008-08-11 14:33:53 -07001812
1813 /* Unreachable but makes gcc happy */
1814 return 0;
Paul Menage700fe1a2008-04-29 01:00:00 -07001815}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001816
Tejun Heo182446d2013-08-08 20:11:24 -04001817static s64 cpuset_read_s64(struct cgroup_subsys_state *css, struct cftype *cft)
Paul Menage5be7a472008-05-06 20:42:41 -07001818{
Tejun Heo182446d2013-08-08 20:11:24 -04001819 struct cpuset *cs = css_cs(css);
Paul Menage5be7a472008-05-06 20:42:41 -07001820 cpuset_filetype_t type = cft->private;
1821 switch (type) {
1822 case FILE_SCHED_RELAX_DOMAIN_LEVEL:
1823 return cs->relax_domain_level;
1824 default:
1825 BUG();
1826 }
Max Krasnyanskycf417142008-08-11 14:33:53 -07001827
1828 /* Unrechable but makes gcc happy */
1829 return 0;
Paul Menage5be7a472008-05-06 20:42:41 -07001830}
1831
Linus Torvalds1da177e2005-04-16 15:20:36 -07001832
1833/*
1834 * for the common functions, 'private' gives the type of file
1835 */
1836
Paul Menageaddf2c72008-04-29 01:00:26 -07001837static struct cftype files[] = {
1838 {
1839 .name = "cpus",
Tejun Heo2da8ca82013-12-05 12:28:04 -05001840 .seq_show = cpuset_common_seq_show,
Tejun Heo451af502014-05-13 12:16:21 -04001841 .write = cpuset_write_resmask,
Paul Menagee3712392008-07-25 01:47:02 -07001842 .max_write_len = (100U + 6 * NR_CPUS),
Paul Menageaddf2c72008-04-29 01:00:26 -07001843 .private = FILE_CPULIST,
1844 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001845
Paul Menageaddf2c72008-04-29 01:00:26 -07001846 {
1847 .name = "mems",
Tejun Heo2da8ca82013-12-05 12:28:04 -05001848 .seq_show = cpuset_common_seq_show,
Tejun Heo451af502014-05-13 12:16:21 -04001849 .write = cpuset_write_resmask,
Paul Menagee3712392008-07-25 01:47:02 -07001850 .max_write_len = (100U + 6 * MAX_NUMNODES),
Paul Menageaddf2c72008-04-29 01:00:26 -07001851 .private = FILE_MEMLIST,
1852 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001853
Paul Menageaddf2c72008-04-29 01:00:26 -07001854 {
Li Zefanafd1a8b2014-07-09 16:49:25 +08001855 .name = "effective_cpus",
1856 .seq_show = cpuset_common_seq_show,
1857 .private = FILE_EFFECTIVE_CPULIST,
1858 },
1859
1860 {
1861 .name = "effective_mems",
1862 .seq_show = cpuset_common_seq_show,
1863 .private = FILE_EFFECTIVE_MEMLIST,
1864 },
1865
1866 {
Paul Menageaddf2c72008-04-29 01:00:26 -07001867 .name = "cpu_exclusive",
1868 .read_u64 = cpuset_read_u64,
1869 .write_u64 = cpuset_write_u64,
1870 .private = FILE_CPU_EXCLUSIVE,
1871 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001872
Paul Menageaddf2c72008-04-29 01:00:26 -07001873 {
1874 .name = "mem_exclusive",
1875 .read_u64 = cpuset_read_u64,
1876 .write_u64 = cpuset_write_u64,
1877 .private = FILE_MEM_EXCLUSIVE,
1878 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001879
Paul Menageaddf2c72008-04-29 01:00:26 -07001880 {
Paul Menage78608362008-04-29 01:00:26 -07001881 .name = "mem_hardwall",
1882 .read_u64 = cpuset_read_u64,
1883 .write_u64 = cpuset_write_u64,
1884 .private = FILE_MEM_HARDWALL,
1885 },
1886
1887 {
Paul Menageaddf2c72008-04-29 01:00:26 -07001888 .name = "sched_load_balance",
1889 .read_u64 = cpuset_read_u64,
1890 .write_u64 = cpuset_write_u64,
1891 .private = FILE_SCHED_LOAD_BALANCE,
1892 },
Paul Jackson029190c2007-10-18 23:40:20 -07001893
Paul Menageaddf2c72008-04-29 01:00:26 -07001894 {
1895 .name = "sched_relax_domain_level",
Paul Menage5be7a472008-05-06 20:42:41 -07001896 .read_s64 = cpuset_read_s64,
1897 .write_s64 = cpuset_write_s64,
Paul Menageaddf2c72008-04-29 01:00:26 -07001898 .private = FILE_SCHED_RELAX_DOMAIN_LEVEL,
1899 },
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001900
Paul Menageaddf2c72008-04-29 01:00:26 -07001901 {
1902 .name = "memory_migrate",
1903 .read_u64 = cpuset_read_u64,
1904 .write_u64 = cpuset_write_u64,
1905 .private = FILE_MEMORY_MIGRATE,
1906 },
1907
1908 {
1909 .name = "memory_pressure",
1910 .read_u64 = cpuset_read_u64,
Waiman Long309e4db2017-08-24 12:04:29 -04001911 .private = FILE_MEMORY_PRESSURE,
Paul Menageaddf2c72008-04-29 01:00:26 -07001912 },
1913
1914 {
1915 .name = "memory_spread_page",
1916 .read_u64 = cpuset_read_u64,
1917 .write_u64 = cpuset_write_u64,
1918 .private = FILE_SPREAD_PAGE,
1919 },
1920
1921 {
1922 .name = "memory_spread_slab",
1923 .read_u64 = cpuset_read_u64,
1924 .write_u64 = cpuset_write_u64,
1925 .private = FILE_SPREAD_SLAB,
1926 },
Tejun Heo4baf6e32012-04-01 12:09:55 -07001927
1928 {
1929 .name = "memory_pressure_enabled",
1930 .flags = CFTYPE_ONLY_ON_ROOT,
1931 .read_u64 = cpuset_read_u64,
1932 .write_u64 = cpuset_write_u64,
1933 .private = FILE_MEMORY_PRESSURE_ENABLED,
1934 },
1935
1936 { } /* terminate */
Paul Jackson45b07ef2006-01-08 01:00:56 -08001937};
1938
Linus Torvalds1da177e2005-04-16 15:20:36 -07001939/*
Tejun Heo92fb9742012-11-19 08:13:38 -08001940 * cpuset_css_alloc - allocate a cpuset css
Li Zefanc9e5fe62013-06-14 11:18:27 +08001941 * cgrp: control group that the new cpuset will be part of
Linus Torvalds1da177e2005-04-16 15:20:36 -07001942 */
1943
Tejun Heoeb954192013-08-08 20:11:23 -04001944static struct cgroup_subsys_state *
1945cpuset_css_alloc(struct cgroup_subsys_state *parent_css)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001946{
Tejun Heoc8f699b2013-01-07 08:51:07 -08001947 struct cpuset *cs;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001948
Tejun Heoeb954192013-08-08 20:11:23 -04001949 if (!parent_css)
Paul Menage8793d852007-10-18 23:39:39 -07001950 return &top_cpuset.css;
Tejun Heo033fa1c2012-11-19 08:13:39 -08001951
Tejun Heoc8f699b2013-01-07 08:51:07 -08001952 cs = kzalloc(sizeof(*cs), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001953 if (!cs)
Paul Menage8793d852007-10-18 23:39:39 -07001954 return ERR_PTR(-ENOMEM);
Li Zefane2b9a3d2014-07-09 16:47:03 +08001955 if (!alloc_cpumask_var(&cs->cpus_allowed, GFP_KERNEL))
1956 goto free_cs;
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07001957 if (!alloc_cpumask_var(&cs->cpus_requested, GFP_KERNEL))
1958 goto free_allowed;
Li Zefane2b9a3d2014-07-09 16:47:03 +08001959 if (!alloc_cpumask_var(&cs->effective_cpus, GFP_KERNEL))
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07001960 goto free_requested;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001961
Paul Jackson029190c2007-10-18 23:40:20 -07001962 set_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
Li Zefan300ed6c2009-01-07 18:08:44 -08001963 cpumask_clear(cs->cpus_allowed);
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07001964 cpumask_clear(cs->cpus_requested);
Mike Travisf9a86fc2008-04-04 18:11:07 -07001965 nodes_clear(cs->mems_allowed);
Li Zefane2b9a3d2014-07-09 16:47:03 +08001966 cpumask_clear(cs->effective_cpus);
1967 nodes_clear(cs->effective_mems);
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001968 fmeter_init(&cs->fmeter);
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001969 cs->relax_domain_level = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001970
Tejun Heoc8f699b2013-01-07 08:51:07 -08001971 return &cs->css;
Li Zefane2b9a3d2014-07-09 16:47:03 +08001972
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07001973free_requested:
1974 free_cpumask_var(cs->cpus_requested);
1975free_allowed:
Li Zefane2b9a3d2014-07-09 16:47:03 +08001976 free_cpumask_var(cs->cpus_allowed);
1977free_cs:
1978 kfree(cs);
1979 return ERR_PTR(-ENOMEM);
Tejun Heoc8f699b2013-01-07 08:51:07 -08001980}
1981
Tejun Heoeb954192013-08-08 20:11:23 -04001982static int cpuset_css_online(struct cgroup_subsys_state *css)
Tejun Heoc8f699b2013-01-07 08:51:07 -08001983{
Tejun Heoeb954192013-08-08 20:11:23 -04001984 struct cpuset *cs = css_cs(css);
Tejun Heoc4310692013-01-07 08:51:08 -08001985 struct cpuset *parent = parent_cs(cs);
Tejun Heoae8086c2013-01-07 08:51:07 -08001986 struct cpuset *tmp_cs;
Tejun Heo492eb212013-08-08 20:11:25 -04001987 struct cgroup_subsys_state *pos_css;
Tejun Heoc8f699b2013-01-07 08:51:07 -08001988
1989 if (!parent)
1990 return 0;
1991
Tejun Heo5d21cc22013-01-07 08:51:08 -08001992 mutex_lock(&cpuset_mutex);
1993
Tejun Heoefeb77b2013-01-07 08:51:07 -08001994 set_bit(CS_ONLINE, &cs->flags);
Tejun Heoc8f699b2013-01-07 08:51:07 -08001995 if (is_spread_page(parent))
1996 set_bit(CS_SPREAD_PAGE, &cs->flags);
1997 if (is_spread_slab(parent))
1998 set_bit(CS_SPREAD_SLAB, &cs->flags);
1999
Mel Gorman664eedd2014-06-04 16:10:08 -07002000 cpuset_inc();
Tejun Heo033fa1c2012-11-19 08:13:39 -08002001
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002002 spin_lock_irq(&callback_lock);
Tejun Heo9e10a132015-09-18 11:56:28 -04002003 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys)) {
Li Zefane2b9a3d2014-07-09 16:47:03 +08002004 cpumask_copy(cs->effective_cpus, parent->effective_cpus);
2005 cs->effective_mems = parent->effective_mems;
2006 }
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002007 spin_unlock_irq(&callback_lock);
Li Zefane2b9a3d2014-07-09 16:47:03 +08002008
Tejun Heoeb954192013-08-08 20:11:23 -04002009 if (!test_bit(CGRP_CPUSET_CLONE_CHILDREN, &css->cgroup->flags))
Tejun Heo5d21cc22013-01-07 08:51:08 -08002010 goto out_unlock;
Tejun Heo033fa1c2012-11-19 08:13:39 -08002011
2012 /*
2013 * Clone @parent's configuration if CGRP_CPUSET_CLONE_CHILDREN is
2014 * set. This flag handling is implemented in cgroup core for
2015 * histrical reasons - the flag may be specified during mount.
2016 *
2017 * Currently, if any sibling cpusets have exclusive cpus or mem, we
2018 * refuse to clone the configuration - thereby refusing the task to
2019 * be entered, and as a result refusing the sys_unshare() or
2020 * clone() which initiated it. If this becomes a problem for some
2021 * users who wish to allow that scenario, then this could be
2022 * changed to grant parent->cpus_allowed-sibling_cpus_exclusive
2023 * (and likewise for mems) to the new cgroup.
2024 */
Tejun Heoae8086c2013-01-07 08:51:07 -08002025 rcu_read_lock();
Tejun Heo492eb212013-08-08 20:11:25 -04002026 cpuset_for_each_child(tmp_cs, pos_css, parent) {
Tejun Heoae8086c2013-01-07 08:51:07 -08002027 if (is_mem_exclusive(tmp_cs) || is_cpu_exclusive(tmp_cs)) {
2028 rcu_read_unlock();
Tejun Heo5d21cc22013-01-07 08:51:08 -08002029 goto out_unlock;
Tejun Heoae8086c2013-01-07 08:51:07 -08002030 }
Tejun Heo033fa1c2012-11-19 08:13:39 -08002031 }
Tejun Heoae8086c2013-01-07 08:51:07 -08002032 rcu_read_unlock();
Tejun Heo033fa1c2012-11-19 08:13:39 -08002033
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002034 spin_lock_irq(&callback_lock);
Tejun Heo033fa1c2012-11-19 08:13:39 -08002035 cs->mems_allowed = parent->mems_allowed;
Zefan Li790317e2015-02-13 11:19:49 +08002036 cs->effective_mems = parent->mems_allowed;
Tejun Heo033fa1c2012-11-19 08:13:39 -08002037 cpumask_copy(cs->cpus_allowed, parent->cpus_allowed);
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07002038 cpumask_copy(cs->cpus_requested, parent->cpus_requested);
Zefan Li790317e2015-02-13 11:19:49 +08002039 cpumask_copy(cs->effective_cpus, parent->cpus_allowed);
Dan Carpentercea74462014-10-27 16:27:02 +03002040 spin_unlock_irq(&callback_lock);
Tejun Heo5d21cc22013-01-07 08:51:08 -08002041out_unlock:
2042 mutex_unlock(&cpuset_mutex);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002043 return 0;
2044}
2045
Zhao Hongjiang0b9e6962013-07-27 11:56:53 +08002046/*
2047 * If the cpuset being removed has its flag 'sched_load_balance'
2048 * enabled, then simulate turning sched_load_balance off, which
2049 * will call rebuild_sched_domains_locked().
2050 */
2051
Tejun Heoeb954192013-08-08 20:11:23 -04002052static void cpuset_css_offline(struct cgroup_subsys_state *css)
Tejun Heoc8f699b2013-01-07 08:51:07 -08002053{
Tejun Heoeb954192013-08-08 20:11:23 -04002054 struct cpuset *cs = css_cs(css);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002055
Tejun Heo5d21cc22013-01-07 08:51:08 -08002056 mutex_lock(&cpuset_mutex);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002057
2058 if (is_sched_load_balance(cs))
2059 update_flag(CS_SCHED_LOAD_BALANCE, cs, 0);
2060
Mel Gorman664eedd2014-06-04 16:10:08 -07002061 cpuset_dec();
Tejun Heoefeb77b2013-01-07 08:51:07 -08002062 clear_bit(CS_ONLINE, &cs->flags);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002063
Tejun Heo5d21cc22013-01-07 08:51:08 -08002064 mutex_unlock(&cpuset_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002065}
2066
Tejun Heoeb954192013-08-08 20:11:23 -04002067static void cpuset_css_free(struct cgroup_subsys_state *css)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002068{
Tejun Heoeb954192013-08-08 20:11:23 -04002069 struct cpuset *cs = css_cs(css);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002070
Li Zefane2b9a3d2014-07-09 16:47:03 +08002071 free_cpumask_var(cs->effective_cpus);
Li Zefan300ed6c2009-01-07 18:08:44 -08002072 free_cpumask_var(cs->cpus_allowed);
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07002073 free_cpumask_var(cs->cpus_requested);
Paul Menage8793d852007-10-18 23:39:39 -07002074 kfree(cs);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002075}
2076
Li Zefan39bd0d12014-07-09 16:48:01 +08002077static void cpuset_bind(struct cgroup_subsys_state *root_css)
2078{
2079 mutex_lock(&cpuset_mutex);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002080 spin_lock_irq(&callback_lock);
Li Zefan39bd0d12014-07-09 16:48:01 +08002081
Tejun Heo9e10a132015-09-18 11:56:28 -04002082 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys)) {
Li Zefan39bd0d12014-07-09 16:48:01 +08002083 cpumask_copy(top_cpuset.cpus_allowed, cpu_possible_mask);
2084 top_cpuset.mems_allowed = node_possible_map;
2085 } else {
2086 cpumask_copy(top_cpuset.cpus_allowed,
2087 top_cpuset.effective_cpus);
2088 top_cpuset.mems_allowed = top_cpuset.effective_mems;
2089 }
2090
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002091 spin_unlock_irq(&callback_lock);
Li Zefan39bd0d12014-07-09 16:48:01 +08002092 mutex_unlock(&cpuset_mutex);
2093}
2094
Zefan Li06f4e9482016-08-09 11:25:01 +08002095/*
2096 * Make sure the new task conform to the current state of its parent,
2097 * which could have been changed by cpuset just after it inherits the
2098 * state from the parent and before it sits on the cgroup's task list.
2099 */
Wei Yongjun8a15b812016-09-16 13:02:37 +00002100static void cpuset_fork(struct task_struct *task)
Zefan Li06f4e9482016-08-09 11:25:01 +08002101{
2102 if (task_css_is_root(task, cpuset_cgrp_id))
2103 return;
2104
2105 set_cpus_allowed_ptr(task, &current->cpus_allowed);
2106 task->mems_allowed = current->mems_allowed;
2107}
2108
Tejun Heo073219e2014-02-08 10:36:58 -05002109struct cgroup_subsys cpuset_cgrp_subsys = {
Li Zefan39bd0d12014-07-09 16:48:01 +08002110 .css_alloc = cpuset_css_alloc,
2111 .css_online = cpuset_css_online,
2112 .css_offline = cpuset_css_offline,
2113 .css_free = cpuset_css_free,
2114 .can_attach = cpuset_can_attach,
2115 .cancel_attach = cpuset_cancel_attach,
2116 .attach = cpuset_attach,
Tejun Heo5cf1cac2016-04-21 19:06:48 -04002117 .post_attach = cpuset_post_attach,
Li Zefan39bd0d12014-07-09 16:48:01 +08002118 .bind = cpuset_bind,
Zefan Li06f4e9482016-08-09 11:25:01 +08002119 .fork = cpuset_fork,
Tejun Heo55779642014-07-15 11:05:09 -04002120 .legacy_cftypes = files,
Tejun Heob38e42e2016-02-23 10:00:50 -05002121 .early_init = true,
Paul Menage8793d852007-10-18 23:39:39 -07002122};
2123
Linus Torvalds1da177e2005-04-16 15:20:36 -07002124/**
2125 * cpuset_init - initialize cpusets at system boot
2126 *
2127 * Description: Initialize top_cpuset and the cpuset internal file system,
2128 **/
2129
2130int __init cpuset_init(void)
2131{
Paul Menage8793d852007-10-18 23:39:39 -07002132 int err = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002133
Miao Xie58568d22009-06-16 15:31:49 -07002134 if (!alloc_cpumask_var(&top_cpuset.cpus_allowed, GFP_KERNEL))
2135 BUG();
Li Zefane2b9a3d2014-07-09 16:47:03 +08002136 if (!alloc_cpumask_var(&top_cpuset.effective_cpus, GFP_KERNEL))
2137 BUG();
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07002138 if (!alloc_cpumask_var(&top_cpuset.cpus_requested, GFP_KERNEL))
2139 BUG();
Miao Xie58568d22009-06-16 15:31:49 -07002140
Li Zefan300ed6c2009-01-07 18:08:44 -08002141 cpumask_setall(top_cpuset.cpus_allowed);
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07002142 cpumask_setall(top_cpuset.cpus_requested);
Mike Travisf9a86fc2008-04-04 18:11:07 -07002143 nodes_setall(top_cpuset.mems_allowed);
Li Zefane2b9a3d2014-07-09 16:47:03 +08002144 cpumask_setall(top_cpuset.effective_cpus);
2145 nodes_setall(top_cpuset.effective_mems);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002146
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002147 fmeter_init(&top_cpuset.fmeter);
Paul Jackson029190c2007-10-18 23:40:20 -07002148 set_bit(CS_SCHED_LOAD_BALANCE, &top_cpuset.flags);
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09002149 top_cpuset.relax_domain_level = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002150
Linus Torvalds1da177e2005-04-16 15:20:36 -07002151 err = register_filesystem(&cpuset_fs_type);
2152 if (err < 0)
Paul Menage8793d852007-10-18 23:39:39 -07002153 return err;
2154
Li Zefan2341d1b2009-01-07 18:08:42 -08002155 if (!alloc_cpumask_var(&cpus_attach, GFP_KERNEL))
2156 BUG();
2157
Paul Menage8793d852007-10-18 23:39:39 -07002158 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002159}
2160
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002161/*
Max Krasnyanskycf417142008-08-11 14:33:53 -07002162 * If CPU and/or memory hotplug handlers, below, unplug any CPUs
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002163 * or memory nodes, we need to walk over the cpuset hierarchy,
2164 * removing that CPU or node from all cpusets. If this removes the
Cliff Wickman956db3c2008-02-07 00:14:43 -08002165 * last CPU or node from a cpuset, then move the tasks in the empty
2166 * cpuset to its next-highest non-empty parent.
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002167 */
Cliff Wickman956db3c2008-02-07 00:14:43 -08002168static void remove_tasks_in_empty_cpuset(struct cpuset *cs)
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002169{
Cliff Wickman956db3c2008-02-07 00:14:43 -08002170 struct cpuset *parent;
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002171
Paul Jacksonc8d9c902008-02-07 00:14:46 -08002172 /*
Cliff Wickman956db3c2008-02-07 00:14:43 -08002173 * Find its next-highest non-empty parent, (top cpuset
2174 * has online cpus, so can't be empty).
2175 */
Tejun Heoc4310692013-01-07 08:51:08 -08002176 parent = parent_cs(cs);
Li Zefan300ed6c2009-01-07 18:08:44 -08002177 while (cpumask_empty(parent->cpus_allowed) ||
Paul Jacksonb4501292008-02-07 00:14:47 -08002178 nodes_empty(parent->mems_allowed))
Tejun Heoc4310692013-01-07 08:51:08 -08002179 parent = parent_cs(parent);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002180
Tejun Heo8cc99342013-04-07 09:29:50 -07002181 if (cgroup_transfer_tasks(parent->css.cgroup, cs->css.cgroup)) {
Fabian Frederick12d30892014-05-05 19:49:00 +02002182 pr_err("cpuset: failed to transfer tasks out of empty cpuset ");
Tejun Heoe61734c2014-02-12 09:29:50 -05002183 pr_cont_cgroup_name(cs->css.cgroup);
2184 pr_cont("\n");
Tejun Heo8cc99342013-04-07 09:29:50 -07002185 }
Cliff Wickman956db3c2008-02-07 00:14:43 -08002186}
2187
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002188static void
2189hotplug_update_tasks_legacy(struct cpuset *cs,
2190 struct cpumask *new_cpus, nodemask_t *new_mems,
2191 bool cpus_updated, bool mems_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002192{
2193 bool is_empty;
2194
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002195 spin_lock_irq(&callback_lock);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002196 cpumask_copy(cs->cpus_allowed, new_cpus);
2197 cpumask_copy(cs->effective_cpus, new_cpus);
2198 cs->mems_allowed = *new_mems;
2199 cs->effective_mems = *new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002200 spin_unlock_irq(&callback_lock);
Li Zefan390a36a2014-07-09 16:48:54 +08002201
2202 /*
2203 * Don't call update_tasks_cpumask() if the cpuset becomes empty,
2204 * as the tasks will be migratecd to an ancestor.
2205 */
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002206 if (cpus_updated && !cpumask_empty(cs->cpus_allowed))
Li Zefan390a36a2014-07-09 16:48:54 +08002207 update_tasks_cpumask(cs);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002208 if (mems_updated && !nodes_empty(cs->mems_allowed))
Li Zefan390a36a2014-07-09 16:48:54 +08002209 update_tasks_nodemask(cs);
2210
2211 is_empty = cpumask_empty(cs->cpus_allowed) ||
2212 nodes_empty(cs->mems_allowed);
2213
2214 mutex_unlock(&cpuset_mutex);
2215
2216 /*
2217 * Move tasks to the nearest ancestor with execution resources,
2218 * This is full cgroup operation which will also call back into
2219 * cpuset. Should be done outside any lock.
2220 */
2221 if (is_empty)
2222 remove_tasks_in_empty_cpuset(cs);
2223
2224 mutex_lock(&cpuset_mutex);
2225}
2226
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002227static void
2228hotplug_update_tasks(struct cpuset *cs,
2229 struct cpumask *new_cpus, nodemask_t *new_mems,
2230 bool cpus_updated, bool mems_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002231{
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002232 if (cpumask_empty(new_cpus))
2233 cpumask_copy(new_cpus, parent_cs(cs)->effective_cpus);
2234 if (nodes_empty(*new_mems))
2235 *new_mems = parent_cs(cs)->effective_mems;
Li Zefan390a36a2014-07-09 16:48:54 +08002236
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002237 spin_lock_irq(&callback_lock);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002238 cpumask_copy(cs->effective_cpus, new_cpus);
2239 cs->effective_mems = *new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002240 spin_unlock_irq(&callback_lock);
Li Zefan390a36a2014-07-09 16:48:54 +08002241
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002242 if (cpus_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002243 update_tasks_cpumask(cs);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002244 if (mems_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002245 update_tasks_nodemask(cs);
2246}
2247
Tejun Heodeb7aa32013-01-07 08:51:07 -08002248/**
Li Zefan388afd82013-06-09 17:14:47 +08002249 * cpuset_hotplug_update_tasks - update tasks in a cpuset for hotunplug
Tejun Heodeb7aa32013-01-07 08:51:07 -08002250 * @cs: cpuset in interest
Cliff Wickman956db3c2008-02-07 00:14:43 -08002251 *
Tejun Heodeb7aa32013-01-07 08:51:07 -08002252 * Compare @cs's cpu and mem masks against top_cpuset and if some have gone
2253 * offline, update @cs accordingly. If @cs ends up with no CPU or memory,
2254 * all its tasks are moved to the nearest ancestor with both resources.
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002255 */
Li Zefan388afd82013-06-09 17:14:47 +08002256static void cpuset_hotplug_update_tasks(struct cpuset *cs)
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002257{
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002258 static cpumask_t new_cpus;
2259 static nodemask_t new_mems;
2260 bool cpus_updated;
2261 bool mems_updated;
Li Zefane44193d2013-06-09 17:14:22 +08002262retry:
2263 wait_event(cpuset_attach_wq, cs->attach_in_progress == 0);
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002264
Tejun Heo5d21cc22013-01-07 08:51:08 -08002265 mutex_lock(&cpuset_mutex);
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002266
Li Zefane44193d2013-06-09 17:14:22 +08002267 /*
2268 * We have raced with task attaching. We wait until attaching
2269 * is finished, so we won't attach a task to an empty cpuset.
2270 */
2271 if (cs->attach_in_progress) {
2272 mutex_unlock(&cpuset_mutex);
2273 goto retry;
2274 }
2275
Riley Andrewsb3ea9ac2016-09-06 15:16:25 -07002276 cpumask_and(&new_cpus, cs->cpus_requested, parent_cs(cs)->effective_cpus);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002277 nodes_and(new_mems, cs->mems_allowed, parent_cs(cs)->effective_mems);
Paul Jacksonb4501292008-02-07 00:14:47 -08002278
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002279 cpus_updated = !cpumask_equal(&new_cpus, cs->effective_cpus);
2280 mems_updated = !nodes_equal(new_mems, cs->effective_mems);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002281
Tejun Heo9e10a132015-09-18 11:56:28 -04002282 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys))
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002283 hotplug_update_tasks(cs, &new_cpus, &new_mems,
2284 cpus_updated, mems_updated);
Li Zefan390a36a2014-07-09 16:48:54 +08002285 else
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002286 hotplug_update_tasks_legacy(cs, &new_cpus, &new_mems,
2287 cpus_updated, mems_updated);
Tejun Heo8d033942013-01-07 08:51:07 -08002288
Tejun Heo5d21cc22013-01-07 08:51:08 -08002289 mutex_unlock(&cpuset_mutex);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002290}
Paul Jacksonb4501292008-02-07 00:14:47 -08002291
Peter Zijlstraba155182017-09-07 11:13:38 +02002292static bool force_rebuild;
2293
2294void cpuset_force_rebuild(void)
2295{
2296 force_rebuild = true;
2297}
2298
Tejun Heodeb7aa32013-01-07 08:51:07 -08002299/**
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002300 * cpuset_hotplug_workfn - handle CPU/memory hotunplug for a cpuset
Tejun Heodeb7aa32013-01-07 08:51:07 -08002301 *
2302 * This function is called after either CPU or memory configuration has
2303 * changed and updates cpuset accordingly. The top_cpuset is always
2304 * synchronized to cpu_active_mask and N_MEMORY, which is necessary in
2305 * order to make cpusets transparent (of no affect) on systems that are
2306 * actively using CPU hotplug but making no active use of cpusets.
2307 *
2308 * Non-root cpusets are only affected by offlining. If any CPUs or memory
Li Zefan388afd82013-06-09 17:14:47 +08002309 * nodes have been taken down, cpuset_hotplug_update_tasks() is invoked on
2310 * all descendants.
Tejun Heodeb7aa32013-01-07 08:51:07 -08002311 *
2312 * Note that CPU offlining during suspend is ignored. We don't modify
2313 * cpusets across suspend/resume cycles at all.
2314 */
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002315static void cpuset_hotplug_workfn(struct work_struct *work)
Tejun Heodeb7aa32013-01-07 08:51:07 -08002316{
Li Zefan5c5cc622013-06-09 17:16:29 +08002317 static cpumask_t new_cpus;
2318 static nodemask_t new_mems;
Tejun Heodeb7aa32013-01-07 08:51:07 -08002319 bool cpus_updated, mems_updated;
Tejun Heo9e10a132015-09-18 11:56:28 -04002320 bool on_dfl = cgroup_subsys_on_dfl(cpuset_cgrp_subsys);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002321
Tejun Heo5d21cc22013-01-07 08:51:08 -08002322 mutex_lock(&cpuset_mutex);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002323
Tejun Heodeb7aa32013-01-07 08:51:07 -08002324 /* fetch the available cpus/mems and find out which changed how */
2325 cpumask_copy(&new_cpus, cpu_active_mask);
2326 new_mems = node_states[N_MEMORY];
Cliff Wickman956db3c2008-02-07 00:14:43 -08002327
Li Zefan7e882912014-07-09 16:48:42 +08002328 cpus_updated = !cpumask_equal(top_cpuset.effective_cpus, &new_cpus);
2329 mems_updated = !nodes_equal(top_cpuset.effective_mems, new_mems);
Srivatsa S. Bhat7ddf96b2012-05-24 19:46:55 +05302330
Tejun Heodeb7aa32013-01-07 08:51:07 -08002331 /* synchronize cpus_allowed to cpu_active_mask */
2332 if (cpus_updated) {
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002333 spin_lock_irq(&callback_lock);
Li Zefan7e882912014-07-09 16:48:42 +08002334 if (!on_dfl)
2335 cpumask_copy(top_cpuset.cpus_allowed, &new_cpus);
Li Zefan1344ab92014-07-09 16:47:16 +08002336 cpumask_copy(top_cpuset.effective_cpus, &new_cpus);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002337 spin_unlock_irq(&callback_lock);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002338 /* we don't mess with cpumasks of tasks in top_cpuset */
2339 }
Srivatsa S. Bhat7ddf96b2012-05-24 19:46:55 +05302340
Tejun Heodeb7aa32013-01-07 08:51:07 -08002341 /* synchronize mems_allowed to N_MEMORY */
2342 if (mems_updated) {
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002343 spin_lock_irq(&callback_lock);
Li Zefan7e882912014-07-09 16:48:42 +08002344 if (!on_dfl)
2345 top_cpuset.mems_allowed = new_mems;
Li Zefan1344ab92014-07-09 16:47:16 +08002346 top_cpuset.effective_mems = new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002347 spin_unlock_irq(&callback_lock);
Tejun Heod66393e2014-02-13 06:58:40 -05002348 update_tasks_nodemask(&top_cpuset);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002349 }
2350
Tejun Heo5d21cc22013-01-07 08:51:08 -08002351 mutex_unlock(&cpuset_mutex);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002352
Li Zefan5c5cc622013-06-09 17:16:29 +08002353 /* if cpus or mems changed, we need to propagate to descendants */
2354 if (cpus_updated || mems_updated) {
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002355 struct cpuset *cs;
Tejun Heo492eb212013-08-08 20:11:25 -04002356 struct cgroup_subsys_state *pos_css;
Paul Jacksonb4501292008-02-07 00:14:47 -08002357
Paul Jacksonb4501292008-02-07 00:14:47 -08002358 rcu_read_lock();
Tejun Heo492eb212013-08-08 20:11:25 -04002359 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) {
Tejun Heoec903c02014-05-13 12:11:01 -04002360 if (cs == &top_cpuset || !css_tryget_online(&cs->css))
Li Zefan388afd82013-06-09 17:14:47 +08002361 continue;
2362 rcu_read_unlock();
2363
2364 cpuset_hotplug_update_tasks(cs);
2365
2366 rcu_read_lock();
2367 css_put(&cs->css);
2368 }
Tejun Heodeb7aa32013-01-07 08:51:07 -08002369 rcu_read_unlock();
2370 }
Tejun Heo8d033942013-01-07 08:51:07 -08002371
Tejun Heodeb7aa32013-01-07 08:51:07 -08002372 /* rebuild sched domains if cpus_allowed has changed */
Peter Zijlstraba155182017-09-07 11:13:38 +02002373 if (cpus_updated || force_rebuild) {
2374 force_rebuild = false;
Li Zhonge0e80a02013-04-27 06:52:43 -07002375 rebuild_sched_domains();
Peter Zijlstraba155182017-09-07 11:13:38 +02002376 }
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002377}
2378
Srivatsa S. Bhat7ddf96b2012-05-24 19:46:55 +05302379void cpuset_update_active_cpus(bool cpu_online)
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002380{
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002381 /*
2382 * We're inside cpu hotplug critical region which usually nests
2383 * inside cgroup synchronization. Bounce actual hotplug processing
2384 * to a work item to avoid reverse locking order.
2385 *
2386 * We still need to do partition_sched_domains() synchronously;
2387 * otherwise, the scheduler will get confused and put tasks to the
2388 * dead CPU. Fall back to the default single domain.
2389 * cpuset_hotplug_workfn() will rebuild it as necessary.
2390 */
2391 partition_sched_domains(1, NULL, NULL);
2392 schedule_work(&cpuset_hotplug_work);
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002393}
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002394
Peter Zijlstraba155182017-09-07 11:13:38 +02002395void cpuset_wait_for_hotplug(void)
2396{
2397 flush_work(&cpuset_hotplug_work);
2398}
2399
Paul Jackson38837fc2006-09-29 02:01:16 -07002400/*
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002401 * Keep top_cpuset.mems_allowed tracking node_states[N_MEMORY].
2402 * Call this routine anytime after node_states[N_MEMORY] changes.
Srivatsa S. Bhata1cd2b12012-05-24 19:47:03 +05302403 * See cpuset_update_active_cpus() for CPU hotplug handling.
Paul Jackson38837fc2006-09-29 02:01:16 -07002404 */
Miao Xief4818912008-11-19 15:36:30 -08002405static int cpuset_track_online_nodes(struct notifier_block *self,
2406 unsigned long action, void *arg)
Paul Jackson38837fc2006-09-29 02:01:16 -07002407{
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002408 schedule_work(&cpuset_hotplug_work);
Miao Xief4818912008-11-19 15:36:30 -08002409 return NOTIFY_OK;
Paul Jackson38837fc2006-09-29 02:01:16 -07002410}
Andrew Mortond8f10cb2013-04-29 15:08:08 -07002411
2412static struct notifier_block cpuset_track_online_nodes_nb = {
2413 .notifier_call = cpuset_track_online_nodes,
2414 .priority = 10, /* ??! */
2415};
Paul Jackson38837fc2006-09-29 02:01:16 -07002416
Linus Torvalds1da177e2005-04-16 15:20:36 -07002417/**
2418 * cpuset_init_smp - initialize cpus_allowed
2419 *
2420 * Description: Finish top cpuset after cpu, node maps are initialized
Andrew Mortond8f10cb2013-04-29 15:08:08 -07002421 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002422void __init cpuset_init_smp(void)
2423{
Peter Zijlstra6ad4c182009-11-25 13:31:39 +01002424 cpumask_copy(top_cpuset.cpus_allowed, cpu_active_mask);
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002425 top_cpuset.mems_allowed = node_states[N_MEMORY];
Li Zefan33ad8012013-06-09 17:15:08 +08002426 top_cpuset.old_mems_allowed = top_cpuset.mems_allowed;
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002427
Li Zefane2b9a3d2014-07-09 16:47:03 +08002428 cpumask_copy(top_cpuset.effective_cpus, cpu_active_mask);
2429 top_cpuset.effective_mems = node_states[N_MEMORY];
2430
Andrew Mortond8f10cb2013-04-29 15:08:08 -07002431 register_hotmemory_notifier(&cpuset_track_online_nodes_nb);
Tejun Heoe93ad192016-01-19 12:18:41 -05002432
2433 cpuset_migrate_mm_wq = alloc_ordered_workqueue("cpuset_migrate_mm", 0);
2434 BUG_ON(!cpuset_migrate_mm_wq);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002435}
2436
2437/**
Linus Torvalds1da177e2005-04-16 15:20:36 -07002438 * cpuset_cpus_allowed - return cpus_allowed mask from a tasks cpuset.
2439 * @tsk: pointer to task_struct from which to obtain cpuset->cpus_allowed.
Li Zefan6af866a2009-01-07 18:08:45 -08002440 * @pmask: pointer to struct cpumask variable to receive cpus_allowed set.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002441 *
Li Zefan300ed6c2009-01-07 18:08:44 -08002442 * Description: Returns the cpumask_var_t cpus_allowed of the cpuset
Linus Torvalds1da177e2005-04-16 15:20:36 -07002443 * attached to the specified @tsk. Guaranteed to return some non-empty
Rusty Russell5f054e32012-03-29 15:38:31 +10302444 * subset of cpu_online_mask, even if this means going outside the
Linus Torvalds1da177e2005-04-16 15:20:36 -07002445 * tasks cpuset.
2446 **/
2447
Li Zefan6af866a2009-01-07 18:08:45 -08002448void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002449{
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002450 unsigned long flags;
2451
2452 spin_lock_irqsave(&callback_lock, flags);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002453 rcu_read_lock();
Li Zefanae1c8022014-07-09 16:48:32 +08002454 guarantee_online_cpus(task_cs(tsk), pmask);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002455 rcu_read_unlock();
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002456 spin_unlock_irqrestore(&callback_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002457}
2458
Peter Zijlstra2baab4e2012-03-20 15:57:01 +01002459void cpuset_cpus_allowed_fallback(struct task_struct *tsk)
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002460{
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002461 rcu_read_lock();
Li Zefanae1c8022014-07-09 16:48:32 +08002462 do_set_cpus_allowed(tsk, task_cs(tsk)->effective_cpus);
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002463 rcu_read_unlock();
2464
2465 /*
2466 * We own tsk->cpus_allowed, nobody can change it under us.
2467 *
2468 * But we used cs && cs->cpus_allowed lockless and thus can
2469 * race with cgroup_attach_task() or update_cpumask() and get
2470 * the wrong tsk->cpus_allowed. However, both cases imply the
2471 * subsequent cpuset_change_cpumask()->set_cpus_allowed_ptr()
2472 * which takes task_rq_lock().
2473 *
2474 * If we are called after it dropped the lock we must see all
2475 * changes in tsk_cs()->cpus_allowed. Otherwise we can temporary
2476 * set any mask even if it is not right from task_cs() pov,
2477 * the pending set_cpus_allowed_ptr() will fix things.
Peter Zijlstra2baab4e2012-03-20 15:57:01 +01002478 *
2479 * select_fallback_rq() will fix things ups and set cpu_possible_mask
2480 * if required.
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002481 */
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002482}
2483
Rasmus Villemoes8f4ab072015-02-12 15:00:16 -08002484void __init cpuset_init_current_mems_allowed(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002485{
Mike Travisf9a86fc2008-04-04 18:11:07 -07002486 nodes_setall(current->mems_allowed);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002487}
2488
Randy Dunlapd9fd8a62005-07-27 11:45:11 -07002489/**
Paul Jackson909d75a2006-01-08 01:01:55 -08002490 * cpuset_mems_allowed - return mems_allowed mask from a tasks cpuset.
2491 * @tsk: pointer to task_struct from which to obtain cpuset->mems_allowed.
2492 *
2493 * Description: Returns the nodemask_t mems_allowed of the cpuset
2494 * attached to the specified @tsk. Guaranteed to return some non-empty
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002495 * subset of node_states[N_MEMORY], even if this means going outside the
Paul Jackson909d75a2006-01-08 01:01:55 -08002496 * tasks cpuset.
2497 **/
2498
2499nodemask_t cpuset_mems_allowed(struct task_struct *tsk)
2500{
2501 nodemask_t mask;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002502 unsigned long flags;
Paul Jackson909d75a2006-01-08 01:01:55 -08002503
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002504 spin_lock_irqsave(&callback_lock, flags);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002505 rcu_read_lock();
Li Zefanae1c8022014-07-09 16:48:32 +08002506 guarantee_online_mems(task_cs(tsk), &mask);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002507 rcu_read_unlock();
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002508 spin_unlock_irqrestore(&callback_lock, flags);
Paul Jackson909d75a2006-01-08 01:01:55 -08002509
2510 return mask;
2511}
2512
2513/**
Mel Gorman19770b32008-04-28 02:12:18 -07002514 * cpuset_nodemask_valid_mems_allowed - check nodemask vs. curremt mems_allowed
2515 * @nodemask: the nodemask to be checked
Randy Dunlapd9fd8a62005-07-27 11:45:11 -07002516 *
Mel Gorman19770b32008-04-28 02:12:18 -07002517 * Are any of the nodes in the nodemask allowed in current->mems_allowed?
Linus Torvalds1da177e2005-04-16 15:20:36 -07002518 */
Mel Gorman19770b32008-04-28 02:12:18 -07002519int cpuset_nodemask_valid_mems_allowed(nodemask_t *nodemask)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002520{
Mel Gorman19770b32008-04-28 02:12:18 -07002521 return nodes_intersects(*nodemask, current->mems_allowed);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002522}
2523
Paul Jackson9bf22292005-09-06 15:18:12 -07002524/*
Paul Menage78608362008-04-29 01:00:26 -07002525 * nearest_hardwall_ancestor() - Returns the nearest mem_exclusive or
2526 * mem_hardwall ancestor to the specified cpuset. Call holding
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002527 * callback_lock. If no ancestor is mem_exclusive or mem_hardwall
Paul Menage78608362008-04-29 01:00:26 -07002528 * (an unusual configuration), then returns the root cpuset.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002529 */
Tejun Heoc9710d82013-08-08 20:11:22 -04002530static struct cpuset *nearest_hardwall_ancestor(struct cpuset *cs)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002531{
Tejun Heoc4310692013-01-07 08:51:08 -08002532 while (!(is_mem_exclusive(cs) || is_mem_hardwall(cs)) && parent_cs(cs))
2533 cs = parent_cs(cs);
Paul Jackson9bf22292005-09-06 15:18:12 -07002534 return cs;
2535}
2536
2537/**
Vladimir Davydov344736f2014-10-20 15:50:30 +04002538 * cpuset_node_allowed - Can we allocate on a memory node?
David Rientjesa1bc5a42009-04-02 16:57:54 -07002539 * @node: is this an allowed node?
Paul Jackson02a0e532006-12-13 00:34:25 -08002540 * @gfp_mask: memory allocation flags
Paul Jackson9bf22292005-09-06 15:18:12 -07002541 *
David Rientjes6e276d22015-04-14 15:47:01 -07002542 * If we're in interrupt, yes, we can always allocate. If @node is set in
2543 * current's mems_allowed, yes. If it's not a __GFP_HARDWALL request and this
2544 * node is set in the nearest hardwalled cpuset ancestor to current's cpuset,
2545 * yes. If current has access to memory reserves due to TIF_MEMDIE, yes.
Paul Jackson9bf22292005-09-06 15:18:12 -07002546 * Otherwise, no.
2547 *
2548 * GFP_USER allocations are marked with the __GFP_HARDWALL bit,
David Rientjesc596d9f2007-05-06 14:49:32 -07002549 * and do not allow allocations outside the current tasks cpuset
2550 * unless the task has been OOM killed as is marked TIF_MEMDIE.
Paul Jackson9bf22292005-09-06 15:18:12 -07002551 * GFP_KERNEL allocations are not so marked, so can escape to the
Paul Menage78608362008-04-29 01:00:26 -07002552 * nearest enclosing hardwalled ancestor cpuset.
Paul Jackson9bf22292005-09-06 15:18:12 -07002553 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002554 * Scanning up parent cpusets requires callback_lock. The
Paul Jackson02a0e532006-12-13 00:34:25 -08002555 * __alloc_pages() routine only calls here with __GFP_HARDWALL bit
2556 * _not_ set if it's a GFP_KERNEL allocation, and all nodes in the
2557 * current tasks mems_allowed came up empty on the first pass over
2558 * the zonelist. So only GFP_KERNEL allocations, if all nodes in the
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002559 * cpuset are short of memory, might require taking the callback_lock.
Paul Jackson9bf22292005-09-06 15:18:12 -07002560 *
Paul Jackson36be57f2006-05-20 15:00:10 -07002561 * The first call here from mm/page_alloc:get_page_from_freelist()
Paul Jackson02a0e532006-12-13 00:34:25 -08002562 * has __GFP_HARDWALL set in gfp_mask, enforcing hardwall cpusets,
2563 * so no allocation on a node outside the cpuset is allowed (unless
2564 * in interrupt, of course).
Paul Jackson9bf22292005-09-06 15:18:12 -07002565 *
Paul Jackson36be57f2006-05-20 15:00:10 -07002566 * The second pass through get_page_from_freelist() doesn't even call
2567 * here for GFP_ATOMIC calls. For those calls, the __alloc_pages()
2568 * variable 'wait' is not set, and the bit ALLOC_CPUSET is not set
2569 * in alloc_flags. That logic and the checks below have the combined
2570 * affect that:
Paul Jackson9bf22292005-09-06 15:18:12 -07002571 * in_interrupt - any node ok (current task context irrelevant)
2572 * GFP_ATOMIC - any node ok
David Rientjesc596d9f2007-05-06 14:49:32 -07002573 * TIF_MEMDIE - any node ok
Paul Menage78608362008-04-29 01:00:26 -07002574 * GFP_KERNEL - any node in enclosing hardwalled cpuset ok
Paul Jackson9bf22292005-09-06 15:18:12 -07002575 * GFP_USER - only nodes in current tasks mems allowed ok.
Paul Jackson02a0e532006-12-13 00:34:25 -08002576 */
Vlastimil Babka002f2902016-05-19 17:14:30 -07002577bool __cpuset_node_allowed(int node, gfp_t gfp_mask)
Paul Jackson9bf22292005-09-06 15:18:12 -07002578{
Tejun Heoc9710d82013-08-08 20:11:22 -04002579 struct cpuset *cs; /* current cpuset ancestors */
Paul Jackson29afd492006-03-24 03:16:12 -08002580 int allowed; /* is allocation in zone z allowed? */
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002581 unsigned long flags;
Paul Jackson9bf22292005-09-06 15:18:12 -07002582
David Rientjes6e276d22015-04-14 15:47:01 -07002583 if (in_interrupt())
Vlastimil Babka002f2902016-05-19 17:14:30 -07002584 return true;
Paul Jackson9bf22292005-09-06 15:18:12 -07002585 if (node_isset(node, current->mems_allowed))
Vlastimil Babka002f2902016-05-19 17:14:30 -07002586 return true;
David Rientjesc596d9f2007-05-06 14:49:32 -07002587 /*
2588 * Allow tasks that have access to memory reserves because they have
2589 * been OOM killed to get memory anywhere.
2590 */
2591 if (unlikely(test_thread_flag(TIF_MEMDIE)))
Vlastimil Babka002f2902016-05-19 17:14:30 -07002592 return true;
Paul Jackson9bf22292005-09-06 15:18:12 -07002593 if (gfp_mask & __GFP_HARDWALL) /* If hardwall request, stop here */
Vlastimil Babka002f2902016-05-19 17:14:30 -07002594 return false;
Paul Jackson9bf22292005-09-06 15:18:12 -07002595
Bob Picco5563e772005-11-13 16:06:35 -08002596 if (current->flags & PF_EXITING) /* Let dying task have memory */
Vlastimil Babka002f2902016-05-19 17:14:30 -07002597 return true;
Bob Picco5563e772005-11-13 16:06:35 -08002598
Paul Jackson9bf22292005-09-06 15:18:12 -07002599 /* Not hardwall and node outside mems_allowed: scan up cpusets */
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002600 spin_lock_irqsave(&callback_lock, flags);
Paul Jackson053199e2005-10-30 15:02:30 -08002601
Li Zefanb8dadcb2014-03-03 17:28:36 -05002602 rcu_read_lock();
Paul Menage78608362008-04-29 01:00:26 -07002603 cs = nearest_hardwall_ancestor(task_cs(current));
Li Zefan99afb0f2014-02-27 18:19:36 +08002604 allowed = node_isset(node, cs->mems_allowed);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002605 rcu_read_unlock();
Paul Jackson053199e2005-10-30 15:02:30 -08002606
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002607 spin_unlock_irqrestore(&callback_lock, flags);
Paul Jackson9bf22292005-09-06 15:18:12 -07002608 return allowed;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002609}
2610
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002611/**
Jack Steiner6adef3e2010-05-26 14:42:49 -07002612 * cpuset_mem_spread_node() - On which node to begin search for a file page
2613 * cpuset_slab_spread_node() - On which node to begin search for a slab page
Paul Jackson825a46a2006-03-24 03:16:03 -08002614 *
2615 * If a task is marked PF_SPREAD_PAGE or PF_SPREAD_SLAB (as for
2616 * tasks in a cpuset with is_spread_page or is_spread_slab set),
2617 * and if the memory allocation used cpuset_mem_spread_node()
2618 * to determine on which node to start looking, as it will for
2619 * certain page cache or slab cache pages such as used for file
2620 * system buffers and inode caches, then instead of starting on the
2621 * local node to look for a free page, rather spread the starting
2622 * node around the tasks mems_allowed nodes.
2623 *
2624 * We don't have to worry about the returned node being offline
2625 * because "it can't happen", and even if it did, it would be ok.
2626 *
2627 * The routines calling guarantee_online_mems() are careful to
2628 * only set nodes in task->mems_allowed that are online. So it
2629 * should not be possible for the following code to return an
2630 * offline node. But if it did, that would be ok, as this routine
2631 * is not returning the node where the allocation must be, only
2632 * the node where the search should start. The zonelist passed to
2633 * __alloc_pages() will include all nodes. If the slab allocator
2634 * is passed an offline node, it will fall back to the local node.
2635 * See kmem_cache_alloc_node().
2636 */
2637
Jack Steiner6adef3e2010-05-26 14:42:49 -07002638static int cpuset_spread_node(int *rotor)
Paul Jackson825a46a2006-03-24 03:16:03 -08002639{
Andrew Morton0edaf862016-05-19 17:10:58 -07002640 return *rotor = next_node_in(*rotor, current->mems_allowed);
Paul Jackson825a46a2006-03-24 03:16:03 -08002641}
Jack Steiner6adef3e2010-05-26 14:42:49 -07002642
2643int cpuset_mem_spread_node(void)
2644{
Michal Hocko778d3b02011-07-26 16:08:30 -07002645 if (current->cpuset_mem_spread_rotor == NUMA_NO_NODE)
2646 current->cpuset_mem_spread_rotor =
2647 node_random(&current->mems_allowed);
2648
Jack Steiner6adef3e2010-05-26 14:42:49 -07002649 return cpuset_spread_node(&current->cpuset_mem_spread_rotor);
2650}
2651
2652int cpuset_slab_spread_node(void)
2653{
Michal Hocko778d3b02011-07-26 16:08:30 -07002654 if (current->cpuset_slab_spread_rotor == NUMA_NO_NODE)
2655 current->cpuset_slab_spread_rotor =
2656 node_random(&current->mems_allowed);
2657
Jack Steiner6adef3e2010-05-26 14:42:49 -07002658 return cpuset_spread_node(&current->cpuset_slab_spread_rotor);
2659}
2660
Paul Jackson825a46a2006-03-24 03:16:03 -08002661EXPORT_SYMBOL_GPL(cpuset_mem_spread_node);
2662
2663/**
David Rientjesbbe373f2007-10-16 23:25:58 -07002664 * cpuset_mems_allowed_intersects - Does @tsk1's mems_allowed intersect @tsk2's?
2665 * @tsk1: pointer to task_struct of some task.
2666 * @tsk2: pointer to task_struct of some other task.
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002667 *
David Rientjesbbe373f2007-10-16 23:25:58 -07002668 * Description: Return true if @tsk1's mems_allowed intersects the
2669 * mems_allowed of @tsk2. Used by the OOM killer to determine if
2670 * one of the task's memory usage might impact the memory available
2671 * to the other.
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002672 **/
2673
David Rientjesbbe373f2007-10-16 23:25:58 -07002674int cpuset_mems_allowed_intersects(const struct task_struct *tsk1,
2675 const struct task_struct *tsk2)
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002676{
David Rientjesbbe373f2007-10-16 23:25:58 -07002677 return nodes_intersects(tsk1->mems_allowed, tsk2->mems_allowed);
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002678}
2679
David Rientjes75aa1992009-01-06 14:39:01 -08002680/**
David Rientjesda39da32015-11-05 18:48:05 -08002681 * cpuset_print_current_mems_allowed - prints current's cpuset and mems_allowed
David Rientjes75aa1992009-01-06 14:39:01 -08002682 *
David Rientjesda39da32015-11-05 18:48:05 -08002683 * Description: Prints current's name, cpuset name, and cached copy of its
Li Zefanb8dadcb2014-03-03 17:28:36 -05002684 * mems_allowed to the kernel log.
David Rientjes75aa1992009-01-06 14:39:01 -08002685 */
David Rientjesda39da32015-11-05 18:48:05 -08002686void cpuset_print_current_mems_allowed(void)
David Rientjes75aa1992009-01-06 14:39:01 -08002687{
Li Zefanb8dadcb2014-03-03 17:28:36 -05002688 struct cgroup *cgrp;
David Rientjes75aa1992009-01-06 14:39:01 -08002689
Li Zefanb8dadcb2014-03-03 17:28:36 -05002690 rcu_read_lock();
Li Zefan63f43f52013-01-25 16:08:01 +08002691
David Rientjesda39da32015-11-05 18:48:05 -08002692 cgrp = task_cs(current)->css.cgroup;
2693 pr_info("%s cpuset=", current->comm);
Tejun Heoe61734c2014-02-12 09:29:50 -05002694 pr_cont_cgroup_name(cgrp);
David Rientjesda39da32015-11-05 18:48:05 -08002695 pr_cont(" mems_allowed=%*pbl\n",
2696 nodemask_pr_args(&current->mems_allowed));
Li Zefanf440d982013-03-01 15:02:15 +08002697
Li Zefancfb59662013-03-12 10:28:39 +08002698 rcu_read_unlock();
David Rientjes75aa1992009-01-06 14:39:01 -08002699}
2700
Linus Torvalds1da177e2005-04-16 15:20:36 -07002701/*
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002702 * Collection of memory_pressure is suppressed unless
2703 * this flag is enabled by writing "1" to the special
2704 * cpuset file 'memory_pressure_enabled' in the root cpuset.
2705 */
2706
Paul Jacksonc5b2aff2006-01-08 01:01:51 -08002707int cpuset_memory_pressure_enabled __read_mostly;
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002708
2709/**
2710 * cpuset_memory_pressure_bump - keep stats of per-cpuset reclaims.
2711 *
2712 * Keep a running average of the rate of synchronous (direct)
2713 * page reclaim efforts initiated by tasks in each cpuset.
2714 *
2715 * This represents the rate at which some task in the cpuset
2716 * ran low on memory on all nodes it was allowed to use, and
2717 * had to enter the kernels page reclaim code in an effort to
2718 * create more free memory by tossing clean pages or swapping
2719 * or writing dirty pages.
2720 *
2721 * Display to user space in the per-cpuset read-only file
2722 * "memory_pressure". Value displayed is an integer
2723 * representing the recent rate of entry into the synchronous
2724 * (direct) page reclaim by any task attached to the cpuset.
2725 **/
2726
2727void __cpuset_memory_pressure_bump(void)
2728{
Li Zefanb8dadcb2014-03-03 17:28:36 -05002729 rcu_read_lock();
Paul Menage8793d852007-10-18 23:39:39 -07002730 fmeter_markevent(&task_cs(current)->fmeter);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002731 rcu_read_unlock();
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002732}
2733
Paul Menage8793d852007-10-18 23:39:39 -07002734#ifdef CONFIG_PROC_PID_CPUSET
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002735/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07002736 * proc_cpuset_show()
2737 * - Print tasks cpuset path into seq_file.
2738 * - Used for /proc/<pid>/cpuset.
Paul Jackson053199e2005-10-30 15:02:30 -08002739 * - No need to task_lock(tsk) on this tsk->cpuset reference, as it
2740 * doesn't really matter if tsk->cpuset changes after we read it,
Tejun Heo5d21cc22013-01-07 08:51:08 -08002741 * and we take cpuset_mutex, keeping cpuset_attach() from changing it
Paul Menage2df167a2008-02-07 00:14:45 -08002742 * anyway.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002743 */
Zefan Li52de4772014-09-18 16:03:36 +08002744int proc_cpuset_show(struct seq_file *m, struct pid_namespace *ns,
2745 struct pid *pid, struct task_struct *tsk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002746{
Tejun Heo4c737b42016-08-10 11:23:44 -04002747 char *buf;
Paul Menage8793d852007-10-18 23:39:39 -07002748 struct cgroup_subsys_state *css;
Eric W. Biederman99f89552006-06-26 00:25:55 -07002749 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002750
Eric W. Biederman99f89552006-06-26 00:25:55 -07002751 retval = -ENOMEM;
Tejun Heoe61734c2014-02-12 09:29:50 -05002752 buf = kmalloc(PATH_MAX, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002753 if (!buf)
Eric W. Biederman99f89552006-06-26 00:25:55 -07002754 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002755
Aditya Kalia79a9082016-01-29 02:54:06 -06002756 css = task_get_css(tsk, cpuset_cgrp_id);
Tejun Heo4c737b42016-08-10 11:23:44 -04002757 retval = cgroup_path_ns(css->cgroup, buf, PATH_MAX,
2758 current->nsproxy->cgroup_ns);
Aditya Kalia79a9082016-01-29 02:54:06 -06002759 css_put(css);
Tejun Heo4c737b42016-08-10 11:23:44 -04002760 if (retval >= PATH_MAX)
Tejun Heo679a5e32016-09-29 11:58:36 +02002761 retval = -ENAMETOOLONG;
2762 if (retval < 0)
Zefan Li52de4772014-09-18 16:03:36 +08002763 goto out_free;
Tejun Heo4c737b42016-08-10 11:23:44 -04002764 seq_puts(m, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002765 seq_putc(m, '\n');
Tejun Heoe61734c2014-02-12 09:29:50 -05002766 retval = 0;
Eric W. Biederman99f89552006-06-26 00:25:55 -07002767out_free:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002768 kfree(buf);
Eric W. Biederman99f89552006-06-26 00:25:55 -07002769out:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002770 return retval;
2771}
Paul Menage8793d852007-10-18 23:39:39 -07002772#endif /* CONFIG_PROC_PID_CPUSET */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002773
Heiko Carstensd01d4822009-09-21 11:06:27 +02002774/* Display task mems_allowed in /proc/<pid>/status file. */
Eric W. Biedermandf5f8312008-02-08 04:18:33 -08002775void cpuset_task_status_allowed(struct seq_file *m, struct task_struct *task)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002776{
Tejun Heoe8e6d972015-02-13 14:37:23 -08002777 seq_printf(m, "Mems_allowed:\t%*pb\n",
2778 nodemask_pr_args(&task->mems_allowed));
2779 seq_printf(m, "Mems_allowed_list:\t%*pbl\n",
2780 nodemask_pr_args(&task->mems_allowed));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002781}