blob: af9159a3bc9b1a9817c95c5f3d9a7fdec5e02aef [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 Andrews266ee742016-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 Andrews266ee742016-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 Andrews266ee742016-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 *
Max Krasnyanskycf417142008-08-11 14:33:53 -0700811 */
Prateek Soode9e7b752017-09-08 13:10:55 +0530812static void rebuild_sched_domains_unlocked(void)
Max Krasnyanskycf417142008-08-11 14:33:53 -0700813{
814 struct sched_domain_attr *attr;
Rusty Russellacc3f5d2009-11-03 14:53:40 +1030815 cpumask_var_t *doms;
Max Krasnyanskycf417142008-08-11 14:33:53 -0700816 int ndoms;
817
Prateek Soode9e7b752017-09-08 13:10:55 +0530818 cpu_hotplug_mutex_held();
Tejun Heo5d21cc22013-01-07 08:51:08 -0800819 lockdep_assert_held(&cpuset_mutex);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700820
Li Zefan5b16c2a2013-04-27 06:52:43 -0700821 /*
822 * We have raced with CPU hotplug. Don't do anything to avoid
823 * passing doms with offlined cpu to partition_sched_domains().
824 * Anyways, hotplug work item will rebuild sched domains.
825 */
Li Zefan8b5f1c52014-07-09 16:47:50 +0800826 if (!cpumask_equal(top_cpuset.effective_cpus, cpu_active_mask))
Prateek Soode9e7b752017-09-08 13:10:55 +0530827 return;
Li Zefan5b16c2a2013-04-27 06:52:43 -0700828
Max Krasnyanskycf417142008-08-11 14:33:53 -0700829 /* Generate domain masks and attrs */
Max Krasnyanskycf417142008-08-11 14:33:53 -0700830 ndoms = generate_sched_domains(&doms, &attr);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700831
832 /* Have scheduler rebuild the domains */
833 partition_sched_domains(ndoms, doms, attr);
Max Krasnyanskycf417142008-08-11 14:33:53 -0700834}
Paul Menagedb7f47c2009-04-02 16:57:55 -0700835#else /* !CONFIG_SMP */
Prateek Soode9e7b752017-09-08 13:10:55 +0530836static void rebuild_sched_domains_unlocked(void)
Paul Menagedb7f47c2009-04-02 16:57:55 -0700837{
838}
Paul Menagedb7f47c2009-04-02 16:57:55 -0700839#endif /* CONFIG_SMP */
Max Krasnyanskycf417142008-08-11 14:33:53 -0700840
Max Krasnyanskycf417142008-08-11 14:33:53 -0700841void rebuild_sched_domains(void)
842{
Prateek Soode9e7b752017-09-08 13:10:55 +0530843 get_online_cpus();
Tejun Heo5d21cc22013-01-07 08:51:08 -0800844 mutex_lock(&cpuset_mutex);
Prateek Soode9e7b752017-09-08 13:10:55 +0530845 rebuild_sched_domains_unlocked();
Tejun Heo5d21cc22013-01-07 08:51:08 -0800846 mutex_unlock(&cpuset_mutex);
Prateek Soode9e7b752017-09-08 13:10:55 +0530847 put_online_cpus();
Paul Jackson029190c2007-10-18 23:40:20 -0700848}
849
Cliff Wickman58f47902008-02-07 00:14:44 -0800850/**
Miao Xie0b2f6302008-07-25 01:47:21 -0700851 * update_tasks_cpumask - Update the cpumasks of tasks in the cpuset.
852 * @cs: the cpuset in which each task's cpus_allowed mask needs to be changed
853 *
Tejun Heod66393e2014-02-13 06:58:40 -0500854 * Iterate through each task of @cs updating its cpus_allowed to the
855 * effective cpuset's. As this function is called with cpuset_mutex held,
856 * cpuset membership stays stable.
Miao Xie0b2f6302008-07-25 01:47:21 -0700857 */
Tejun Heod66393e2014-02-13 06:58:40 -0500858static void update_tasks_cpumask(struct cpuset *cs)
Miao Xie0b2f6302008-07-25 01:47:21 -0700859{
Tejun Heod66393e2014-02-13 06:58:40 -0500860 struct css_task_iter it;
861 struct task_struct *task;
862
863 css_task_iter_start(&cs->css, &it);
864 while ((task = css_task_iter_next(&it)))
Li Zefanae1c8022014-07-09 16:48:32 +0800865 set_cpus_allowed_ptr(task, cs->effective_cpus);
Tejun Heod66393e2014-02-13 06:58:40 -0500866 css_task_iter_end(&it);
Miao Xie0b2f6302008-07-25 01:47:21 -0700867}
868
Li Zefan5c5cc622013-06-09 17:16:29 +0800869/*
Li Zefan734d4512014-07-09 16:47:29 +0800870 * update_cpumasks_hier - Update effective cpumasks and tasks in the subtree
871 * @cs: the cpuset to consider
872 * @new_cpus: temp variable for calculating new effective_cpus
Li Zefan5c5cc622013-06-09 17:16:29 +0800873 *
Li Zefan734d4512014-07-09 16:47:29 +0800874 * When congifured cpumask is changed, the effective cpumasks of this cpuset
875 * and all its descendants need to be updated.
876 *
877 * On legacy hierachy, effective_cpus will be the same with cpu_allowed.
Li Zefan5c5cc622013-06-09 17:16:29 +0800878 *
Li Zefan5c5cc622013-06-09 17:16:29 +0800879 */
Li Zefan734d4512014-07-09 16:47:29 +0800880static void update_cpumasks_hier(struct cpuset *cs, struct cpumask *new_cpus)
Li Zefan5c5cc622013-06-09 17:16:29 +0800881{
882 struct cpuset *cp;
Tejun Heo492eb212013-08-08 20:11:25 -0400883 struct cgroup_subsys_state *pos_css;
Li Zefan8b5f1c52014-07-09 16:47:50 +0800884 bool need_rebuild_sched_domains = false;
Li Zefan5c5cc622013-06-09 17:16:29 +0800885
886 rcu_read_lock();
Li Zefan734d4512014-07-09 16:47:29 +0800887 cpuset_for_each_descendant_pre(cp, pos_css, cs) {
888 struct cpuset *parent = parent_cs(cp);
889
890 cpumask_and(new_cpus, cp->cpus_allowed, parent->effective_cpus);
891
Li Zefan554b0d12014-07-09 16:47:41 +0800892 /*
893 * If it becomes empty, inherit the effective mask of the
894 * parent, which is guaranteed to have some CPUs.
895 */
Tejun Heo9e10a132015-09-18 11:56:28 -0400896 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
897 cpumask_empty(new_cpus))
Li Zefan554b0d12014-07-09 16:47:41 +0800898 cpumask_copy(new_cpus, parent->effective_cpus);
899
Li Zefan734d4512014-07-09 16:47:29 +0800900 /* Skip the whole subtree if the cpumask remains the same. */
901 if (cpumask_equal(new_cpus, cp->effective_cpus)) {
902 pos_css = css_rightmost_descendant(pos_css);
903 continue;
Li Zefan5c5cc622013-06-09 17:16:29 +0800904 }
Li Zefan734d4512014-07-09 16:47:29 +0800905
Tejun Heoec903c02014-05-13 12:11:01 -0400906 if (!css_tryget_online(&cp->css))
Li Zefan5c5cc622013-06-09 17:16:29 +0800907 continue;
908 rcu_read_unlock();
909
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400910 spin_lock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +0800911 cpumask_copy(cp->effective_cpus, new_cpus);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400912 spin_unlock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +0800913
Tejun Heo9e10a132015-09-18 11:56:28 -0400914 WARN_ON(!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
Li Zefan734d4512014-07-09 16:47:29 +0800915 !cpumask_equal(cp->cpus_allowed, cp->effective_cpus));
916
Tejun Heod66393e2014-02-13 06:58:40 -0500917 update_tasks_cpumask(cp);
Li Zefan5c5cc622013-06-09 17:16:29 +0800918
Li Zefan8b5f1c52014-07-09 16:47:50 +0800919 /*
920 * If the effective cpumask of any non-empty cpuset is changed,
921 * we need to rebuild sched domains.
922 */
923 if (!cpumask_empty(cp->cpus_allowed) &&
924 is_sched_load_balance(cp))
925 need_rebuild_sched_domains = true;
926
Li Zefan5c5cc622013-06-09 17:16:29 +0800927 rcu_read_lock();
928 css_put(&cp->css);
929 }
930 rcu_read_unlock();
Li Zefan8b5f1c52014-07-09 16:47:50 +0800931
932 if (need_rebuild_sched_domains)
Prateek Soode9e7b752017-09-08 13:10:55 +0530933 rebuild_sched_domains_unlocked();
Li Zefan5c5cc622013-06-09 17:16:29 +0800934}
935
Miao Xie0b2f6302008-07-25 01:47:21 -0700936/**
Cliff Wickman58f47902008-02-07 00:14:44 -0800937 * update_cpumask - update the cpus_allowed mask of a cpuset and all tasks in it
938 * @cs: the cpuset to consider
Fabian Frederickfc34ac12014-05-05 19:46:55 +0200939 * @trialcs: trial cpuset
Cliff Wickman58f47902008-02-07 00:14:44 -0800940 * @buf: buffer of cpu numbers written to this cpuset
941 */
Li Zefan645fcc92009-01-07 18:08:43 -0800942static int update_cpumask(struct cpuset *cs, struct cpuset *trialcs,
943 const char *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700944{
Cliff Wickman58f47902008-02-07 00:14:44 -0800945 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700946
Rusty Russell5f054e32012-03-29 15:38:31 +1030947 /* top_cpuset.cpus_allowed tracks cpu_online_mask; it's read-only */
Paul Jackson4c4d50f2006-08-27 01:23:51 -0700948 if (cs == &top_cpuset)
949 return -EACCES;
950
David Rientjes6f7f02e2007-05-08 00:31:43 -0700951 /*
Paul Jacksonc8d9c902008-02-07 00:14:46 -0800952 * An empty cpus_allowed is ok only if the cpuset has no tasks.
Paul Jackson020958b2007-10-18 23:40:21 -0700953 * Since cpulist_parse() fails on an empty mask, we special case
954 * that parsing. The validate_change() call ensures that cpusets
955 * with tasks have cpus.
David Rientjes6f7f02e2007-05-08 00:31:43 -0700956 */
Paul Jackson020958b2007-10-18 23:40:21 -0700957 if (!*buf) {
Li Zefan300ed6c2009-01-07 18:08:44 -0800958 cpumask_clear(trialcs->cpus_allowed);
David Rientjes6f7f02e2007-05-08 00:31:43 -0700959 } else {
Riley Andrews266ee742016-09-06 15:16:25 -0700960 retval = cpulist_parse(buf, trialcs->cpus_requested);
David Rientjes6f7f02e2007-05-08 00:31:43 -0700961 if (retval < 0)
962 return retval;
Lai Jiangshan37340742008-06-05 22:46:32 -0700963
Riley Andrews266ee742016-09-06 15:16:25 -0700964 if (!cpumask_subset(trialcs->cpus_requested, cpu_present_mask))
Lai Jiangshan37340742008-06-05 22:46:32 -0700965 return -EINVAL;
Riley Andrews266ee742016-09-06 15:16:25 -0700966
967 cpumask_and(trialcs->cpus_allowed, trialcs->cpus_requested, cpu_active_mask);
David Rientjes6f7f02e2007-05-08 00:31:43 -0700968 }
Paul Jackson029190c2007-10-18 23:40:20 -0700969
Paul Menage8707d8b2007-10-18 23:40:22 -0700970 /* Nothing to do if the cpus didn't change */
Riley Andrews266ee742016-09-06 15:16:25 -0700971 if (cpumask_equal(cs->cpus_requested, trialcs->cpus_requested))
Paul Menage8707d8b2007-10-18 23:40:22 -0700972 return 0;
Cliff Wickman58f47902008-02-07 00:14:44 -0800973
Li Zefana73456f2013-06-05 17:15:59 +0800974 retval = validate_change(cs, trialcs);
975 if (retval < 0)
976 return retval;
977
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400978 spin_lock_irq(&callback_lock);
Li Zefan300ed6c2009-01-07 18:08:44 -0800979 cpumask_copy(cs->cpus_allowed, trialcs->cpus_allowed);
Riley Andrews266ee742016-09-06 15:16:25 -0700980 cpumask_copy(cs->cpus_requested, trialcs->cpus_requested);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +0400981 spin_unlock_irq(&callback_lock);
Paul Jackson029190c2007-10-18 23:40:20 -0700982
Li Zefan734d4512014-07-09 16:47:29 +0800983 /* use trialcs->cpus_allowed as a temp variable */
984 update_cpumasks_hier(cs, trialcs->cpus_allowed);
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -0700985 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700986}
987
Paul Jackson053199e2005-10-30 15:02:30 -0800988/*
Tejun Heoe93ad192016-01-19 12:18:41 -0500989 * Migrate memory region from one set of nodes to another. This is
990 * performed asynchronously as it can be called from process migration path
991 * holding locks involved in process management. All mm migrations are
992 * performed in the queued order and can be waited for by flushing
993 * cpuset_migrate_mm_wq.
Paul Jacksone4e364e2006-03-31 02:30:52 -0800994 */
995
Tejun Heoe93ad192016-01-19 12:18:41 -0500996struct cpuset_migrate_mm_work {
997 struct work_struct work;
998 struct mm_struct *mm;
999 nodemask_t from;
1000 nodemask_t to;
1001};
1002
1003static void cpuset_migrate_mm_workfn(struct work_struct *work)
1004{
1005 struct cpuset_migrate_mm_work *mwork =
1006 container_of(work, struct cpuset_migrate_mm_work, work);
1007
1008 /* on a wq worker, no need to worry about %current's mems_allowed */
1009 do_migrate_pages(mwork->mm, &mwork->from, &mwork->to, MPOL_MF_MOVE_ALL);
1010 mmput(mwork->mm);
1011 kfree(mwork);
1012}
1013
Paul Jacksone4e364e2006-03-31 02:30:52 -08001014static void cpuset_migrate_mm(struct mm_struct *mm, const nodemask_t *from,
1015 const nodemask_t *to)
1016{
Tejun Heoe93ad192016-01-19 12:18:41 -05001017 struct cpuset_migrate_mm_work *mwork;
Paul Jacksone4e364e2006-03-31 02:30:52 -08001018
Tejun Heoe93ad192016-01-19 12:18:41 -05001019 mwork = kzalloc(sizeof(*mwork), GFP_KERNEL);
1020 if (mwork) {
1021 mwork->mm = mm;
1022 mwork->from = *from;
1023 mwork->to = *to;
1024 INIT_WORK(&mwork->work, cpuset_migrate_mm_workfn);
1025 queue_work(cpuset_migrate_mm_wq, &mwork->work);
1026 } else {
1027 mmput(mm);
1028 }
1029}
Paul Jacksone4e364e2006-03-31 02:30:52 -08001030
Tejun Heo5cf1cac2016-04-21 19:06:48 -04001031static void cpuset_post_attach(void)
Tejun Heoe93ad192016-01-19 12:18:41 -05001032{
1033 flush_workqueue(cpuset_migrate_mm_wq);
Paul Jacksone4e364e2006-03-31 02:30:52 -08001034}
1035
Li Zefan3b6766f2009-04-02 16:57:51 -07001036/*
Miao Xie58568d22009-06-16 15:31:49 -07001037 * cpuset_change_task_nodemask - change task's mems_allowed and mempolicy
1038 * @tsk: the task to change
1039 * @newmems: new nodes that the task will be set
1040 *
1041 * In order to avoid seeing no nodes if the old and new nodes are disjoint,
1042 * we structure updates as setting all new allowed nodes, then clearing newly
1043 * disallowed ones.
Miao Xie58568d22009-06-16 15:31:49 -07001044 */
1045static void cpuset_change_task_nodemask(struct task_struct *tsk,
1046 nodemask_t *newmems)
1047{
David Rientjesb2462722011-12-19 17:11:52 -08001048 bool need_loop;
David Rientjes89e8a242011-11-02 13:38:39 -07001049
Miao Xiec0ff7452010-05-24 14:32:08 -07001050 task_lock(tsk);
David Rientjesb2462722011-12-19 17:11:52 -08001051 /*
1052 * Determine if a loop is necessary if another thread is doing
Mel Gormand26914d2014-04-03 14:47:24 -07001053 * read_mems_allowed_begin(). If at least one node remains unchanged and
David Rientjesb2462722011-12-19 17:11:52 -08001054 * tsk does not have a mempolicy, then an empty nodemask will not be
1055 * possible when mems_allowed is larger than a word.
1056 */
1057 need_loop = task_has_mempolicy(tsk) ||
1058 !nodes_intersects(*newmems, tsk->mems_allowed);
Mel Gormancc9a6c82012-03-21 16:34:11 -07001059
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001060 if (need_loop) {
1061 local_irq_disable();
Mel Gormancc9a6c82012-03-21 16:34:11 -07001062 write_seqcount_begin(&tsk->mems_allowed_seq);
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001063 }
Mel Gormancc9a6c82012-03-21 16:34:11 -07001064
Miao Xie58568d22009-06-16 15:31:49 -07001065 nodes_or(tsk->mems_allowed, tsk->mems_allowed, *newmems);
Miao Xiec0ff7452010-05-24 14:32:08 -07001066 mpol_rebind_task(tsk, newmems, MPOL_REBIND_STEP1);
1067
Miao Xiec0ff7452010-05-24 14:32:08 -07001068 mpol_rebind_task(tsk, newmems, MPOL_REBIND_STEP2);
Miao Xie58568d22009-06-16 15:31:49 -07001069 tsk->mems_allowed = *newmems;
Mel Gormancc9a6c82012-03-21 16:34:11 -07001070
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001071 if (need_loop) {
Mel Gormancc9a6c82012-03-21 16:34:11 -07001072 write_seqcount_end(&tsk->mems_allowed_seq);
Peter Zijlstra0fc02872013-11-26 15:03:41 +01001073 local_irq_enable();
1074 }
Mel Gormancc9a6c82012-03-21 16:34:11 -07001075
Miao Xiec0ff7452010-05-24 14:32:08 -07001076 task_unlock(tsk);
Miao Xie58568d22009-06-16 15:31:49 -07001077}
1078
Paul Menage8793d852007-10-18 23:39:39 -07001079static void *cpuset_being_rebound;
1080
Miao Xie0b2f6302008-07-25 01:47:21 -07001081/**
1082 * update_tasks_nodemask - Update the nodemasks of tasks in the cpuset.
1083 * @cs: the cpuset in which each task's mems_allowed mask needs to be changed
Miao Xie0b2f6302008-07-25 01:47:21 -07001084 *
Tejun Heod66393e2014-02-13 06:58:40 -05001085 * Iterate through each task of @cs updating its mems_allowed to the
1086 * effective cpuset's. As this function is called with cpuset_mutex held,
1087 * cpuset membership stays stable.
Miao Xie0b2f6302008-07-25 01:47:21 -07001088 */
Tejun Heod66393e2014-02-13 06:58:40 -05001089static void update_tasks_nodemask(struct cpuset *cs)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001090{
Li Zefan33ad8012013-06-09 17:15:08 +08001091 static nodemask_t newmems; /* protected by cpuset_mutex */
Tejun Heod66393e2014-02-13 06:58:40 -05001092 struct css_task_iter it;
1093 struct task_struct *task;
Paul Jackson59dac162006-01-08 01:01:52 -08001094
Lee Schermerhorn846a16b2008-04-28 02:13:09 -07001095 cpuset_being_rebound = cs; /* causes mpol_dup() rebind */
Paul Jackson42253992006-01-08 01:01:59 -08001096
Li Zefanae1c8022014-07-09 16:48:32 +08001097 guarantee_online_mems(cs, &newmems);
Li Zefan33ad8012013-06-09 17:15:08 +08001098
Paul Jackson42253992006-01-08 01:01:59 -08001099 /*
Li Zefan3b6766f2009-04-02 16:57:51 -07001100 * The mpol_rebind_mm() call takes mmap_sem, which we couldn't
1101 * take while holding tasklist_lock. Forks can happen - the
1102 * mpol_dup() cpuset_being_rebound check will catch such forks,
1103 * and rebind their vma mempolicies too. Because we still hold
Tejun Heo5d21cc22013-01-07 08:51:08 -08001104 * the global cpuset_mutex, we know that no other rebind effort
Li Zefan3b6766f2009-04-02 16:57:51 -07001105 * will be contending for the global variable cpuset_being_rebound.
Paul Jackson42253992006-01-08 01:01:59 -08001106 * It's ok if we rebind the same mm twice; mpol_rebind_mm()
Paul Jackson04c19fa2006-01-08 01:02:00 -08001107 * is idempotent. Also migrate pages in each mm to new nodes.
Paul Jackson42253992006-01-08 01:01:59 -08001108 */
Tejun Heod66393e2014-02-13 06:58:40 -05001109 css_task_iter_start(&cs->css, &it);
1110 while ((task = css_task_iter_next(&it))) {
1111 struct mm_struct *mm;
1112 bool migrate;
1113
1114 cpuset_change_task_nodemask(task, &newmems);
1115
1116 mm = get_task_mm(task);
1117 if (!mm)
1118 continue;
1119
1120 migrate = is_memory_migrate(cs);
1121
1122 mpol_rebind_mm(mm, &cs->mems_allowed);
1123 if (migrate)
1124 cpuset_migrate_mm(mm, &cs->old_mems_allowed, &newmems);
Tejun Heoe93ad192016-01-19 12:18:41 -05001125 else
1126 mmput(mm);
Tejun Heod66393e2014-02-13 06:58:40 -05001127 }
1128 css_task_iter_end(&it);
Paul Jackson42253992006-01-08 01:01:59 -08001129
Li Zefan33ad8012013-06-09 17:15:08 +08001130 /*
1131 * All the tasks' nodemasks have been updated, update
1132 * cs->old_mems_allowed.
1133 */
1134 cs->old_mems_allowed = newmems;
1135
Paul Menage2df167a2008-02-07 00:14:45 -08001136 /* We're done rebinding vmas to this cpuset's new mems_allowed. */
Paul Menage8793d852007-10-18 23:39:39 -07001137 cpuset_being_rebound = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001138}
1139
Miao Xie0b2f6302008-07-25 01:47:21 -07001140/*
Li Zefan734d4512014-07-09 16:47:29 +08001141 * update_nodemasks_hier - Update effective nodemasks and tasks in the subtree
1142 * @cs: the cpuset to consider
1143 * @new_mems: a temp variable for calculating new effective_mems
Li Zefan5c5cc622013-06-09 17:16:29 +08001144 *
Li Zefan734d4512014-07-09 16:47:29 +08001145 * When configured nodemask is changed, the effective nodemasks of this cpuset
1146 * and all its descendants need to be updated.
1147 *
1148 * On legacy hiearchy, effective_mems will be the same with mems_allowed.
Li Zefan5c5cc622013-06-09 17:16:29 +08001149 *
1150 * Called with cpuset_mutex held
1151 */
Li Zefan734d4512014-07-09 16:47:29 +08001152static void update_nodemasks_hier(struct cpuset *cs, nodemask_t *new_mems)
Li Zefan5c5cc622013-06-09 17:16:29 +08001153{
1154 struct cpuset *cp;
Tejun Heo492eb212013-08-08 20:11:25 -04001155 struct cgroup_subsys_state *pos_css;
Li Zefan5c5cc622013-06-09 17:16:29 +08001156
1157 rcu_read_lock();
Li Zefan734d4512014-07-09 16:47:29 +08001158 cpuset_for_each_descendant_pre(cp, pos_css, cs) {
1159 struct cpuset *parent = parent_cs(cp);
1160
1161 nodes_and(*new_mems, cp->mems_allowed, parent->effective_mems);
1162
Li Zefan554b0d12014-07-09 16:47:41 +08001163 /*
1164 * If it becomes empty, inherit the effective mask of the
1165 * parent, which is guaranteed to have some MEMs.
1166 */
Tejun Heo9e10a132015-09-18 11:56:28 -04001167 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
1168 nodes_empty(*new_mems))
Li Zefan554b0d12014-07-09 16:47:41 +08001169 *new_mems = parent->effective_mems;
1170
Li Zefan734d4512014-07-09 16:47:29 +08001171 /* Skip the whole subtree if the nodemask remains the same. */
1172 if (nodes_equal(*new_mems, cp->effective_mems)) {
1173 pos_css = css_rightmost_descendant(pos_css);
1174 continue;
Li Zefan5c5cc622013-06-09 17:16:29 +08001175 }
Li Zefan734d4512014-07-09 16:47:29 +08001176
Tejun Heoec903c02014-05-13 12:11:01 -04001177 if (!css_tryget_online(&cp->css))
Li Zefan5c5cc622013-06-09 17:16:29 +08001178 continue;
1179 rcu_read_unlock();
1180
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001181 spin_lock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +08001182 cp->effective_mems = *new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001183 spin_unlock_irq(&callback_lock);
Li Zefan734d4512014-07-09 16:47:29 +08001184
Tejun Heo9e10a132015-09-18 11:56:28 -04001185 WARN_ON(!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
Li Zefana1381262014-07-30 15:07:13 +08001186 !nodes_equal(cp->mems_allowed, cp->effective_mems));
Li Zefan734d4512014-07-09 16:47:29 +08001187
Tejun Heod66393e2014-02-13 06:58:40 -05001188 update_tasks_nodemask(cp);
Li Zefan5c5cc622013-06-09 17:16:29 +08001189
1190 rcu_read_lock();
1191 css_put(&cp->css);
1192 }
1193 rcu_read_unlock();
1194}
1195
1196/*
Miao Xie0b2f6302008-07-25 01:47:21 -07001197 * Handle user request to change the 'mems' memory placement
1198 * of a cpuset. Needs to validate the request, update the
Miao Xie58568d22009-06-16 15:31:49 -07001199 * cpusets mems_allowed, and for each task in the cpuset,
1200 * update mems_allowed and rebind task's mempolicy and any vma
1201 * mempolicies and if the cpuset is marked 'memory_migrate',
1202 * migrate the tasks pages to the new memory.
Miao Xie0b2f6302008-07-25 01:47:21 -07001203 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001204 * Call with cpuset_mutex held. May take callback_lock during call.
Miao Xie0b2f6302008-07-25 01:47:21 -07001205 * Will take tasklist_lock, scan tasklist for tasks in cpuset cs,
1206 * lock each such tasks mm->mmap_sem, scan its vma's and rebind
1207 * their mempolicies to the cpusets new mems_allowed.
1208 */
Li Zefan645fcc92009-01-07 18:08:43 -08001209static int update_nodemask(struct cpuset *cs, struct cpuset *trialcs,
1210 const char *buf)
Miao Xie0b2f6302008-07-25 01:47:21 -07001211{
Miao Xie0b2f6302008-07-25 01:47:21 -07001212 int retval;
1213
1214 /*
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08001215 * top_cpuset.mems_allowed tracks node_stats[N_MEMORY];
Miao Xie0b2f6302008-07-25 01:47:21 -07001216 * it's read-only
1217 */
Miao Xie53feb292010-03-23 13:35:35 -07001218 if (cs == &top_cpuset) {
1219 retval = -EACCES;
1220 goto done;
1221 }
Miao Xie0b2f6302008-07-25 01:47:21 -07001222
Miao Xie0b2f6302008-07-25 01:47:21 -07001223 /*
1224 * An empty mems_allowed is ok iff there are no tasks in the cpuset.
1225 * Since nodelist_parse() fails on an empty mask, we special case
1226 * that parsing. The validate_change() call ensures that cpusets
1227 * with tasks have memory.
1228 */
1229 if (!*buf) {
Li Zefan645fcc92009-01-07 18:08:43 -08001230 nodes_clear(trialcs->mems_allowed);
Miao Xie0b2f6302008-07-25 01:47:21 -07001231 } else {
Li Zefan645fcc92009-01-07 18:08:43 -08001232 retval = nodelist_parse(buf, trialcs->mems_allowed);
Miao Xie0b2f6302008-07-25 01:47:21 -07001233 if (retval < 0)
1234 goto done;
1235
Li Zefan645fcc92009-01-07 18:08:43 -08001236 if (!nodes_subset(trialcs->mems_allowed,
Li Zefan5d8ba822014-07-09 16:49:12 +08001237 top_cpuset.mems_allowed)) {
1238 retval = -EINVAL;
Miao Xie53feb292010-03-23 13:35:35 -07001239 goto done;
1240 }
Miao Xie0b2f6302008-07-25 01:47:21 -07001241 }
Li Zefan33ad8012013-06-09 17:15:08 +08001242
1243 if (nodes_equal(cs->mems_allowed, trialcs->mems_allowed)) {
Miao Xie0b2f6302008-07-25 01:47:21 -07001244 retval = 0; /* Too easy - nothing to do */
1245 goto done;
1246 }
Li Zefan645fcc92009-01-07 18:08:43 -08001247 retval = validate_change(cs, trialcs);
Miao Xie0b2f6302008-07-25 01:47:21 -07001248 if (retval < 0)
1249 goto done;
1250
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001251 spin_lock_irq(&callback_lock);
Li Zefan645fcc92009-01-07 18:08:43 -08001252 cs->mems_allowed = trialcs->mems_allowed;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001253 spin_unlock_irq(&callback_lock);
Miao Xie0b2f6302008-07-25 01:47:21 -07001254
Li Zefan734d4512014-07-09 16:47:29 +08001255 /* use trialcs->mems_allowed as a temp variable */
Alban Crequy24ee3cf2015-08-06 16:21:05 +02001256 update_nodemasks_hier(cs, &trialcs->mems_allowed);
Miao Xie0b2f6302008-07-25 01:47:21 -07001257done:
1258 return retval;
1259}
1260
Paul Menage8793d852007-10-18 23:39:39 -07001261int current_cpuset_is_being_rebound(void)
1262{
Gu Zheng391acf92014-06-25 09:57:18 +08001263 int ret;
1264
1265 rcu_read_lock();
1266 ret = task_cs(current) == cpuset_being_rebound;
1267 rcu_read_unlock();
1268
1269 return ret;
Paul Menage8793d852007-10-18 23:39:39 -07001270}
1271
Paul Menage5be7a472008-05-06 20:42:41 -07001272static int update_relax_domain_level(struct cpuset *cs, s64 val)
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001273{
Paul Menagedb7f47c2009-04-02 16:57:55 -07001274#ifdef CONFIG_SMP
Peter Zijlstra60495e72011-04-07 14:10:04 +02001275 if (val < -1 || val >= sched_domain_level_max)
Li Zefan30e0e172008-05-13 10:27:17 +08001276 return -EINVAL;
Paul Menagedb7f47c2009-04-02 16:57:55 -07001277#endif
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001278
1279 if (val != cs->relax_domain_level) {
1280 cs->relax_domain_level = val;
Li Zefan300ed6c2009-01-07 18:08:44 -08001281 if (!cpumask_empty(cs->cpus_allowed) &&
1282 is_sched_load_balance(cs))
Prateek Soode9e7b752017-09-08 13:10:55 +05301283 rebuild_sched_domains_unlocked();
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001284 }
1285
1286 return 0;
1287}
1288
Tejun Heo72ec7022013-08-08 20:11:26 -04001289/**
Miao Xie950592f2009-06-16 15:31:47 -07001290 * update_tasks_flags - update the spread flags of tasks in the cpuset.
1291 * @cs: the cpuset in which each task's spread flags needs to be changed
Miao Xie950592f2009-06-16 15:31:47 -07001292 *
Tejun Heod66393e2014-02-13 06:58:40 -05001293 * Iterate through each task of @cs updating its spread flags. As this
1294 * function is called with cpuset_mutex held, cpuset membership stays
1295 * stable.
Miao Xie950592f2009-06-16 15:31:47 -07001296 */
Tejun Heod66393e2014-02-13 06:58:40 -05001297static void update_tasks_flags(struct cpuset *cs)
Miao Xie950592f2009-06-16 15:31:47 -07001298{
Tejun Heod66393e2014-02-13 06:58:40 -05001299 struct css_task_iter it;
1300 struct task_struct *task;
1301
1302 css_task_iter_start(&cs->css, &it);
1303 while ((task = css_task_iter_next(&it)))
1304 cpuset_update_task_spread_flag(cs, task);
1305 css_task_iter_end(&it);
Miao Xie950592f2009-06-16 15:31:47 -07001306}
1307
1308/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001309 * update_flag - read a 0 or a 1 in a file and update associated flag
Paul Menage78608362008-04-29 01:00:26 -07001310 * bit: the bit to update (see cpuset_flagbits_t)
1311 * cs: the cpuset to update
1312 * turning_on: whether the flag is being set or cleared
Paul Jackson053199e2005-10-30 15:02:30 -08001313 *
Linus Torvalds1da177e2005-04-16 15:20:36 -07001314 */
1315
Paul Menage700fe1a2008-04-29 01:00:00 -07001316static int update_flag(cpuset_flagbits_t bit, struct cpuset *cs,
1317 int turning_on)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001318{
Li Zefan645fcc92009-01-07 18:08:43 -08001319 struct cpuset *trialcs;
Rakib Mullick40b6a762008-10-18 20:28:18 -07001320 int balance_flag_changed;
Miao Xie950592f2009-06-16 15:31:47 -07001321 int spread_flag_changed;
Miao Xie950592f2009-06-16 15:31:47 -07001322 int err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001323
Li Zefan645fcc92009-01-07 18:08:43 -08001324 trialcs = alloc_trial_cpuset(cs);
1325 if (!trialcs)
1326 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001327
Li Zefan645fcc92009-01-07 18:08:43 -08001328 if (turning_on)
1329 set_bit(bit, &trialcs->flags);
1330 else
1331 clear_bit(bit, &trialcs->flags);
1332
1333 err = validate_change(cs, trialcs);
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -07001334 if (err < 0)
Li Zefan645fcc92009-01-07 18:08:43 -08001335 goto out;
Paul Jackson029190c2007-10-18 23:40:20 -07001336
Paul Jackson029190c2007-10-18 23:40:20 -07001337 balance_flag_changed = (is_sched_load_balance(cs) !=
Li Zefan645fcc92009-01-07 18:08:43 -08001338 is_sched_load_balance(trialcs));
Paul Jackson029190c2007-10-18 23:40:20 -07001339
Miao Xie950592f2009-06-16 15:31:47 -07001340 spread_flag_changed = ((is_spread_slab(cs) != is_spread_slab(trialcs))
1341 || (is_spread_page(cs) != is_spread_page(trialcs)));
1342
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001343 spin_lock_irq(&callback_lock);
Li Zefan645fcc92009-01-07 18:08:43 -08001344 cs->flags = trialcs->flags;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001345 spin_unlock_irq(&callback_lock);
Dinakar Guniguntala85d7b942005-06-25 14:57:34 -07001346
Li Zefan300ed6c2009-01-07 18:08:44 -08001347 if (!cpumask_empty(trialcs->cpus_allowed) && balance_flag_changed)
Prateek Soode9e7b752017-09-08 13:10:55 +05301348 rebuild_sched_domains_unlocked();
Paul Jackson029190c2007-10-18 23:40:20 -07001349
Miao Xie950592f2009-06-16 15:31:47 -07001350 if (spread_flag_changed)
Tejun Heod66393e2014-02-13 06:58:40 -05001351 update_tasks_flags(cs);
Li Zefan645fcc92009-01-07 18:08:43 -08001352out:
1353 free_trial_cpuset(trialcs);
1354 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001355}
1356
Paul Jackson053199e2005-10-30 15:02:30 -08001357/*
Adrian Bunk80f72282006-06-30 18:27:16 +02001358 * Frequency meter - How fast is some event occurring?
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001359 *
1360 * These routines manage a digitally filtered, constant time based,
1361 * event frequency meter. There are four routines:
1362 * fmeter_init() - initialize a frequency meter.
1363 * fmeter_markevent() - called each time the event happens.
1364 * fmeter_getrate() - returns the recent rate of such events.
1365 * fmeter_update() - internal routine used to update fmeter.
1366 *
1367 * A common data structure is passed to each of these routines,
1368 * which is used to keep track of the state required to manage the
1369 * frequency meter and its digital filter.
1370 *
1371 * The filter works on the number of events marked per unit time.
1372 * The filter is single-pole low-pass recursive (IIR). The time unit
1373 * is 1 second. Arithmetic is done using 32-bit integers scaled to
1374 * simulate 3 decimal digits of precision (multiplied by 1000).
1375 *
1376 * With an FM_COEF of 933, and a time base of 1 second, the filter
1377 * has a half-life of 10 seconds, meaning that if the events quit
1378 * happening, then the rate returned from the fmeter_getrate()
1379 * will be cut in half each 10 seconds, until it converges to zero.
1380 *
1381 * It is not worth doing a real infinitely recursive filter. If more
1382 * than FM_MAXTICKS ticks have elapsed since the last filter event,
1383 * just compute FM_MAXTICKS ticks worth, by which point the level
1384 * will be stable.
1385 *
1386 * Limit the count of unprocessed events to FM_MAXCNT, so as to avoid
1387 * arithmetic overflow in the fmeter_update() routine.
1388 *
1389 * Given the simple 32 bit integer arithmetic used, this meter works
1390 * best for reporting rates between one per millisecond (msec) and
1391 * one per 32 (approx) seconds. At constant rates faster than one
1392 * per msec it maxes out at values just under 1,000,000. At constant
1393 * rates between one per msec, and one per second it will stabilize
1394 * to a value N*1000, where N is the rate of events per second.
1395 * At constant rates between one per second and one per 32 seconds,
1396 * it will be choppy, moving up on the seconds that have an event,
1397 * and then decaying until the next event. At rates slower than
1398 * about one in 32 seconds, it decays all the way back to zero between
1399 * each event.
1400 */
1401
1402#define FM_COEF 933 /* coefficient for half-life of 10 secs */
Arnd Bergmannd2b43652015-11-25 16:16:55 +01001403#define FM_MAXTICKS ((u32)99) /* useless computing more ticks than this */
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001404#define FM_MAXCNT 1000000 /* limit cnt to avoid overflow */
1405#define FM_SCALE 1000 /* faux fixed point scale */
1406
1407/* Initialize a frequency meter */
1408static void fmeter_init(struct fmeter *fmp)
1409{
1410 fmp->cnt = 0;
1411 fmp->val = 0;
1412 fmp->time = 0;
1413 spin_lock_init(&fmp->lock);
1414}
1415
1416/* Internal meter update - process cnt events and update value */
1417static void fmeter_update(struct fmeter *fmp)
1418{
Arnd Bergmannd2b43652015-11-25 16:16:55 +01001419 time64_t now;
1420 u32 ticks;
1421
1422 now = ktime_get_seconds();
1423 ticks = now - fmp->time;
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001424
1425 if (ticks == 0)
1426 return;
1427
1428 ticks = min(FM_MAXTICKS, ticks);
1429 while (ticks-- > 0)
1430 fmp->val = (FM_COEF * fmp->val) / FM_SCALE;
1431 fmp->time = now;
1432
1433 fmp->val += ((FM_SCALE - FM_COEF) * fmp->cnt) / FM_SCALE;
1434 fmp->cnt = 0;
1435}
1436
1437/* Process any previous ticks, then bump cnt by one (times scale). */
1438static void fmeter_markevent(struct fmeter *fmp)
1439{
1440 spin_lock(&fmp->lock);
1441 fmeter_update(fmp);
1442 fmp->cnt = min(FM_MAXCNT, fmp->cnt + FM_SCALE);
1443 spin_unlock(&fmp->lock);
1444}
1445
1446/* Process any previous ticks, then return current value. */
1447static int fmeter_getrate(struct fmeter *fmp)
1448{
1449 int val;
1450
1451 spin_lock(&fmp->lock);
1452 fmeter_update(fmp);
1453 val = fmp->val;
1454 spin_unlock(&fmp->lock);
1455 return val;
1456}
1457
Tejun Heo57fce0a2014-02-13 06:58:41 -05001458static struct cpuset *cpuset_attach_old_cs;
1459
Tejun Heo5d21cc22013-01-07 08:51:08 -08001460/* Called by cgroups to determine if a cpuset is usable; cpuset_mutex held */
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001461static int cpuset_can_attach(struct cgroup_taskset *tset)
Ben Blumf780bdb2011-05-26 16:25:19 -07001462{
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001463 struct cgroup_subsys_state *css;
1464 struct cpuset *cs;
Tejun Heobb9d97b2011-12-12 18:12:21 -08001465 struct task_struct *task;
1466 int ret;
Ben Blumf780bdb2011-05-26 16:25:19 -07001467
Tejun Heo57fce0a2014-02-13 06:58:41 -05001468 /* used later by cpuset_attach() */
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001469 cpuset_attach_old_cs = task_cs(cgroup_taskset_first(tset, &css));
1470 cs = css_cs(css);
Tejun Heo57fce0a2014-02-13 06:58:41 -05001471
Tejun Heo5d21cc22013-01-07 08:51:08 -08001472 mutex_lock(&cpuset_mutex);
1473
Tejun Heoaa6ec292014-07-09 10:08:08 -04001474 /* allow moving tasks into an empty cpuset if on default hierarchy */
Tejun Heo5d21cc22013-01-07 08:51:08 -08001475 ret = -ENOSPC;
Tejun Heo9e10a132015-09-18 11:56:28 -04001476 if (!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
Li Zefan88fa5232013-06-09 17:16:46 +08001477 (cpumask_empty(cs->cpus_allowed) || nodes_empty(cs->mems_allowed)))
Tejun Heo5d21cc22013-01-07 08:51:08 -08001478 goto out_unlock;
Ben Blumbe367d02009-09-23 15:56:31 -07001479
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001480 cgroup_taskset_for_each(task, css, tset) {
Juri Lelli7f514122014-09-19 10:22:40 +01001481 ret = task_can_attach(task, cs->cpus_allowed);
1482 if (ret)
Tejun Heo5d21cc22013-01-07 08:51:08 -08001483 goto out_unlock;
1484 ret = security_task_setscheduler(task);
1485 if (ret)
1486 goto out_unlock;
Tejun Heobb9d97b2011-12-12 18:12:21 -08001487 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001488
Tejun Heo452477f2013-01-07 08:51:07 -08001489 /*
1490 * Mark attach is in progress. This makes validate_change() fail
1491 * changes which zero cpus/mems_allowed.
1492 */
1493 cs->attach_in_progress++;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001494 ret = 0;
1495out_unlock:
1496 mutex_unlock(&cpuset_mutex);
1497 return ret;
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001498}
1499
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001500static void cpuset_cancel_attach(struct cgroup_taskset *tset)
Tejun Heo452477f2013-01-07 08:51:07 -08001501{
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001502 struct cgroup_subsys_state *css;
1503 struct cpuset *cs;
1504
1505 cgroup_taskset_first(tset, &css);
1506 cs = css_cs(css);
1507
Tejun Heo5d21cc22013-01-07 08:51:08 -08001508 mutex_lock(&cpuset_mutex);
Tejun Heoeb954192013-08-08 20:11:23 -04001509 css_cs(css)->attach_in_progress--;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001510 mutex_unlock(&cpuset_mutex);
Tejun Heo452477f2013-01-07 08:51:07 -08001511}
1512
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001513/*
Tejun Heo5d21cc22013-01-07 08:51:08 -08001514 * Protected by cpuset_mutex. cpus_attach is used only by cpuset_attach()
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001515 * but we can't allocate it dynamically there. Define it global and
1516 * allocate from cpuset_init().
1517 */
1518static cpumask_var_t cpus_attach;
1519
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001520static void cpuset_attach(struct cgroup_taskset *tset)
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001521{
Li Zefan67bd2c52013-06-05 17:15:35 +08001522 /* static buf protected by cpuset_mutex */
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001523 static nodemask_t cpuset_attach_nodemask_to;
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001524 struct task_struct *task;
Tejun Heo4530edd2015-09-11 15:00:19 -04001525 struct task_struct *leader;
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001526 struct cgroup_subsys_state *css;
1527 struct cpuset *cs;
Tejun Heo57fce0a2014-02-13 06:58:41 -05001528 struct cpuset *oldcs = cpuset_attach_old_cs;
Tejun Heo4e4c9a12013-01-07 08:51:07 -08001529
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001530 cgroup_taskset_first(tset, &css);
1531 cs = css_cs(css);
1532
Tejun Heo5d21cc22013-01-07 08:51:08 -08001533 mutex_lock(&cpuset_mutex);
1534
Tejun Heo94196f52011-12-12 18:12:22 -08001535 /* prepare for attach */
Ben Blumf780bdb2011-05-26 16:25:19 -07001536 if (cs == &top_cpuset)
1537 cpumask_copy(cpus_attach, cpu_possible_mask);
1538 else
Li Zefanae1c8022014-07-09 16:48:32 +08001539 guarantee_online_cpus(cs, cpus_attach);
Ben Blumf780bdb2011-05-26 16:25:19 -07001540
Li Zefanae1c8022014-07-09 16:48:32 +08001541 guarantee_online_mems(cs, &cpuset_attach_nodemask_to);
Tejun Heo94196f52011-12-12 18:12:22 -08001542
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001543 cgroup_taskset_for_each(task, css, tset) {
Tejun Heobb9d97b2011-12-12 18:12:21 -08001544 /*
1545 * can_attach beforehand should guarantee that this doesn't
1546 * fail. TODO: have a better way to handle failure here
1547 */
1548 WARN_ON_ONCE(set_cpus_allowed_ptr(task, cpus_attach));
1549
1550 cpuset_change_task_nodemask(task, &cpuset_attach_nodemask_to);
1551 cpuset_update_task_spread_flag(cs, task);
1552 }
David Quigley22fb52d2006-06-23 02:04:00 -07001553
Ben Blumf780bdb2011-05-26 16:25:19 -07001554 /*
Tejun Heo4530edd2015-09-11 15:00:19 -04001555 * Change mm for all threadgroup leaders. This is expensive and may
1556 * sleep and should be moved outside migration path proper.
Ben Blumf780bdb2011-05-26 16:25:19 -07001557 */
Li Zefanae1c8022014-07-09 16:48:32 +08001558 cpuset_attach_nodemask_to = cs->effective_mems;
Tejun Heo1f7dd3e52015-12-03 10:18:21 -05001559 cgroup_taskset_for_each_leader(leader, css, tset) {
Tejun Heo3df9ca02015-09-11 15:00:18 -04001560 struct mm_struct *mm = get_task_mm(leader);
Li Zefanf047cec2013-06-13 15:11:44 +08001561
Tejun Heo3df9ca02015-09-11 15:00:18 -04001562 if (mm) {
1563 mpol_rebind_mm(mm, &cpuset_attach_nodemask_to);
1564
1565 /*
1566 * old_mems_allowed is the same with mems_allowed
1567 * here, except if this task is being moved
1568 * automatically due to hotplug. In that case
1569 * @mems_allowed has been updated and is empty, so
1570 * @old_mems_allowed is the right nodesets that we
1571 * migrate mm from.
1572 */
Tejun Heoe93ad192016-01-19 12:18:41 -05001573 if (is_memory_migrate(cs))
Tejun Heo3df9ca02015-09-11 15:00:18 -04001574 cpuset_migrate_mm(mm, &oldcs->old_mems_allowed,
1575 &cpuset_attach_nodemask_to);
Tejun Heoe93ad192016-01-19 12:18:41 -05001576 else
1577 mmput(mm);
Li Zefanf047cec2013-06-13 15:11:44 +08001578 }
Paul Jackson42253992006-01-08 01:01:59 -08001579 }
Tejun Heo452477f2013-01-07 08:51:07 -08001580
Li Zefan33ad8012013-06-09 17:15:08 +08001581 cs->old_mems_allowed = cpuset_attach_nodemask_to;
Tejun Heo02bb5862013-01-07 08:51:08 -08001582
Tejun Heo452477f2013-01-07 08:51:07 -08001583 cs->attach_in_progress--;
Li Zefane44193d2013-06-09 17:14:22 +08001584 if (!cs->attach_in_progress)
1585 wake_up(&cpuset_attach_wq);
Tejun Heo5d21cc22013-01-07 08:51:08 -08001586
1587 mutex_unlock(&cpuset_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001588}
1589
1590/* The various types of files and directories in a cpuset file system */
1591
1592typedef enum {
Paul Jackson45b07ef2006-01-08 01:00:56 -08001593 FILE_MEMORY_MIGRATE,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001594 FILE_CPULIST,
1595 FILE_MEMLIST,
Li Zefanafd1a8b2014-07-09 16:49:25 +08001596 FILE_EFFECTIVE_CPULIST,
1597 FILE_EFFECTIVE_MEMLIST,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001598 FILE_CPU_EXCLUSIVE,
1599 FILE_MEM_EXCLUSIVE,
Paul Menage78608362008-04-29 01:00:26 -07001600 FILE_MEM_HARDWALL,
Paul Jackson029190c2007-10-18 23:40:20 -07001601 FILE_SCHED_LOAD_BALANCE,
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001602 FILE_SCHED_RELAX_DOMAIN_LEVEL,
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001603 FILE_MEMORY_PRESSURE_ENABLED,
1604 FILE_MEMORY_PRESSURE,
Paul Jackson825a46a2006-03-24 03:16:03 -08001605 FILE_SPREAD_PAGE,
1606 FILE_SPREAD_SLAB,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001607} cpuset_filetype_t;
1608
Tejun Heo182446d2013-08-08 20:11:24 -04001609static int cpuset_write_u64(struct cgroup_subsys_state *css, struct cftype *cft,
1610 u64 val)
Paul Menage700fe1a2008-04-29 01:00:00 -07001611{
Tejun Heo182446d2013-08-08 20:11:24 -04001612 struct cpuset *cs = css_cs(css);
Paul Menage700fe1a2008-04-29 01:00:00 -07001613 cpuset_filetype_t type = cft->private;
Li Zefana903f082013-08-13 10:05:59 +08001614 int retval = 0;
Paul Menage700fe1a2008-04-29 01:00:00 -07001615
Prateek Soode9e7b752017-09-08 13:10:55 +05301616 get_online_cpus();
Tejun Heo5d21cc22013-01-07 08:51:08 -08001617 mutex_lock(&cpuset_mutex);
Li Zefana903f082013-08-13 10:05:59 +08001618 if (!is_cpuset_online(cs)) {
1619 retval = -ENODEV;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001620 goto out_unlock;
Li Zefana903f082013-08-13 10:05:59 +08001621 }
Paul Menage700fe1a2008-04-29 01:00:00 -07001622
1623 switch (type) {
1624 case FILE_CPU_EXCLUSIVE:
1625 retval = update_flag(CS_CPU_EXCLUSIVE, cs, val);
1626 break;
1627 case FILE_MEM_EXCLUSIVE:
1628 retval = update_flag(CS_MEM_EXCLUSIVE, cs, val);
1629 break;
Paul Menage78608362008-04-29 01:00:26 -07001630 case FILE_MEM_HARDWALL:
1631 retval = update_flag(CS_MEM_HARDWALL, cs, val);
1632 break;
Paul Menage700fe1a2008-04-29 01:00:00 -07001633 case FILE_SCHED_LOAD_BALANCE:
1634 retval = update_flag(CS_SCHED_LOAD_BALANCE, cs, val);
1635 break;
1636 case FILE_MEMORY_MIGRATE:
1637 retval = update_flag(CS_MEMORY_MIGRATE, cs, val);
1638 break;
1639 case FILE_MEMORY_PRESSURE_ENABLED:
1640 cpuset_memory_pressure_enabled = !!val;
1641 break;
Paul Menage700fe1a2008-04-29 01:00:00 -07001642 case FILE_SPREAD_PAGE:
1643 retval = update_flag(CS_SPREAD_PAGE, cs, val);
Paul Menage700fe1a2008-04-29 01:00:00 -07001644 break;
1645 case FILE_SPREAD_SLAB:
1646 retval = update_flag(CS_SPREAD_SLAB, cs, val);
Paul Menage700fe1a2008-04-29 01:00:00 -07001647 break;
1648 default:
1649 retval = -EINVAL;
1650 break;
1651 }
Tejun Heo5d21cc22013-01-07 08:51:08 -08001652out_unlock:
1653 mutex_unlock(&cpuset_mutex);
Prateek Soode9e7b752017-09-08 13:10:55 +05301654 put_online_cpus();
Paul Menage700fe1a2008-04-29 01:00:00 -07001655 return retval;
1656}
1657
Tejun Heo182446d2013-08-08 20:11:24 -04001658static int cpuset_write_s64(struct cgroup_subsys_state *css, struct cftype *cft,
1659 s64 val)
Paul Menage5be7a472008-05-06 20:42:41 -07001660{
Tejun Heo182446d2013-08-08 20:11:24 -04001661 struct cpuset *cs = css_cs(css);
Paul Menage5be7a472008-05-06 20:42:41 -07001662 cpuset_filetype_t type = cft->private;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001663 int retval = -ENODEV;
Paul Menage5be7a472008-05-06 20:42:41 -07001664
Prateek Soode9e7b752017-09-08 13:10:55 +05301665 get_online_cpus();
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);
Prateek Soode9e7b752017-09-08 13:10:55 +05301680 put_online_cpus();
Paul Menage5be7a472008-05-06 20:42:41 -07001681 return retval;
1682}
1683
Linus Torvalds1da177e2005-04-16 15:20:36 -07001684/*
Paul Menagee3712392008-07-25 01:47:02 -07001685 * Common handling for a write to a "cpus" or "mems" file.
1686 */
Tejun Heo451af502014-05-13 12:16:21 -04001687static ssize_t cpuset_write_resmask(struct kernfs_open_file *of,
1688 char *buf, size_t nbytes, loff_t off)
Paul Menagee3712392008-07-25 01:47:02 -07001689{
Tejun Heo451af502014-05-13 12:16:21 -04001690 struct cpuset *cs = css_cs(of_css(of));
Li Zefan645fcc92009-01-07 18:08:43 -08001691 struct cpuset *trialcs;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001692 int retval = -ENODEV;
Paul Menagee3712392008-07-25 01:47:02 -07001693
Tejun Heo451af502014-05-13 12:16:21 -04001694 buf = strstrip(buf);
1695
Tejun Heo3a5a6d02013-01-07 08:51:07 -08001696 /*
1697 * CPU or memory hotunplug may leave @cs w/o any execution
1698 * resources, in which case the hotplug code asynchronously updates
1699 * configuration and transfers all tasks to the nearest ancestor
1700 * which can execute.
1701 *
1702 * As writes to "cpus" or "mems" may restore @cs's execution
1703 * resources, wait for the previously scheduled operations before
1704 * proceeding, so that we don't end up keep removing tasks added
1705 * after execution capability is restored.
Tejun Heo76bb5ab2014-06-30 15:47:32 -04001706 *
1707 * cpuset_hotplug_work calls back into cgroup core via
1708 * cgroup_transfer_tasks() and waiting for it from a cgroupfs
1709 * operation like this one can lead to a deadlock through kernfs
1710 * active_ref protection. Let's break the protection. Losing the
1711 * protection is okay as we check whether @cs is online after
1712 * grabbing cpuset_mutex anyway. This only happens on the legacy
1713 * hierarchies.
Tejun Heo3a5a6d02013-01-07 08:51:07 -08001714 */
Tejun Heo76bb5ab2014-06-30 15:47:32 -04001715 css_get(&cs->css);
1716 kernfs_break_active_protection(of->kn);
Tejun Heo3a5a6d02013-01-07 08:51:07 -08001717 flush_work(&cpuset_hotplug_work);
1718
Prateek Soode9e7b752017-09-08 13:10:55 +05301719 get_online_cpus();
Tejun Heo5d21cc22013-01-07 08:51:08 -08001720 mutex_lock(&cpuset_mutex);
1721 if (!is_cpuset_online(cs))
1722 goto out_unlock;
Paul Menagee3712392008-07-25 01:47:02 -07001723
Li Zefan645fcc92009-01-07 18:08:43 -08001724 trialcs = alloc_trial_cpuset(cs);
Li Zefanb75f38d2011-03-04 17:36:21 -08001725 if (!trialcs) {
1726 retval = -ENOMEM;
Tejun Heo5d21cc22013-01-07 08:51:08 -08001727 goto out_unlock;
Li Zefanb75f38d2011-03-04 17:36:21 -08001728 }
Li Zefan645fcc92009-01-07 18:08:43 -08001729
Tejun Heo451af502014-05-13 12:16:21 -04001730 switch (of_cft(of)->private) {
Paul Menagee3712392008-07-25 01:47:02 -07001731 case FILE_CPULIST:
Li Zefan645fcc92009-01-07 18:08:43 -08001732 retval = update_cpumask(cs, trialcs, buf);
Paul Menagee3712392008-07-25 01:47:02 -07001733 break;
1734 case FILE_MEMLIST:
Li Zefan645fcc92009-01-07 18:08:43 -08001735 retval = update_nodemask(cs, trialcs, buf);
Paul Menagee3712392008-07-25 01:47:02 -07001736 break;
1737 default:
1738 retval = -EINVAL;
1739 break;
1740 }
Li Zefan645fcc92009-01-07 18:08:43 -08001741
1742 free_trial_cpuset(trialcs);
Tejun Heo5d21cc22013-01-07 08:51:08 -08001743out_unlock:
1744 mutex_unlock(&cpuset_mutex);
Prateek Soode9e7b752017-09-08 13:10:55 +05301745 put_online_cpus();
Tejun Heo76bb5ab2014-06-30 15:47:32 -04001746 kernfs_unbreak_active_protection(of->kn);
1747 css_put(&cs->css);
Tejun Heoe93ad192016-01-19 12:18:41 -05001748 flush_workqueue(cpuset_migrate_mm_wq);
Tejun Heo451af502014-05-13 12:16:21 -04001749 return retval ?: nbytes;
Paul Menagee3712392008-07-25 01:47:02 -07001750}
1751
1752/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001753 * These ascii lists should be read in a single call, by using a user
1754 * buffer large enough to hold the entire map. If read in smaller
1755 * chunks, there is no guarantee of atomicity. Since the display format
1756 * used, list of ranges of sequential numbers, is variable length,
1757 * and since these maps can change value dynamically, one could read
1758 * gibberish by doing partial reads while a list was changing.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001759 */
Tejun Heo2da8ca82013-12-05 12:28:04 -05001760static int cpuset_common_seq_show(struct seq_file *sf, void *v)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001761{
Tejun Heo2da8ca82013-12-05 12:28:04 -05001762 struct cpuset *cs = css_cs(seq_css(sf));
1763 cpuset_filetype_t type = seq_cft(sf)->private;
Tejun Heo51ffe412013-12-05 12:28:02 -05001764 int ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001765
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001766 spin_lock_irq(&callback_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001767
1768 switch (type) {
1769 case FILE_CPULIST:
Riley Andrews266ee742016-09-06 15:16:25 -07001770 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->cpus_requested));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001771 break;
1772 case FILE_MEMLIST:
Tejun Heoe8e6d972015-02-13 14:37:23 -08001773 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->mems_allowed));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001774 break;
Li Zefanafd1a8b2014-07-09 16:49:25 +08001775 case FILE_EFFECTIVE_CPULIST:
Tejun Heoe8e6d972015-02-13 14:37:23 -08001776 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->effective_cpus));
Li Zefanafd1a8b2014-07-09 16:49:25 +08001777 break;
1778 case FILE_EFFECTIVE_MEMLIST:
Tejun Heoe8e6d972015-02-13 14:37:23 -08001779 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->effective_mems));
Li Zefanafd1a8b2014-07-09 16:49:25 +08001780 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001781 default:
Tejun Heo51ffe412013-12-05 12:28:02 -05001782 ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001783 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001784
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04001785 spin_unlock_irq(&callback_lock);
Tejun Heo51ffe412013-12-05 12:28:02 -05001786 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001787}
1788
Tejun Heo182446d2013-08-08 20:11:24 -04001789static u64 cpuset_read_u64(struct cgroup_subsys_state *css, struct cftype *cft)
Paul Menage700fe1a2008-04-29 01:00:00 -07001790{
Tejun Heo182446d2013-08-08 20:11:24 -04001791 struct cpuset *cs = css_cs(css);
Paul Menage700fe1a2008-04-29 01:00:00 -07001792 cpuset_filetype_t type = cft->private;
1793 switch (type) {
1794 case FILE_CPU_EXCLUSIVE:
1795 return is_cpu_exclusive(cs);
1796 case FILE_MEM_EXCLUSIVE:
1797 return is_mem_exclusive(cs);
Paul Menage78608362008-04-29 01:00:26 -07001798 case FILE_MEM_HARDWALL:
1799 return is_mem_hardwall(cs);
Paul Menage700fe1a2008-04-29 01:00:00 -07001800 case FILE_SCHED_LOAD_BALANCE:
1801 return is_sched_load_balance(cs);
1802 case FILE_MEMORY_MIGRATE:
1803 return is_memory_migrate(cs);
1804 case FILE_MEMORY_PRESSURE_ENABLED:
1805 return cpuset_memory_pressure_enabled;
1806 case FILE_MEMORY_PRESSURE:
1807 return fmeter_getrate(&cs->fmeter);
1808 case FILE_SPREAD_PAGE:
1809 return is_spread_page(cs);
1810 case FILE_SPREAD_SLAB:
1811 return is_spread_slab(cs);
1812 default:
1813 BUG();
1814 }
Max Krasnyanskycf417142008-08-11 14:33:53 -07001815
1816 /* Unreachable but makes gcc happy */
1817 return 0;
Paul Menage700fe1a2008-04-29 01:00:00 -07001818}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001819
Tejun Heo182446d2013-08-08 20:11:24 -04001820static s64 cpuset_read_s64(struct cgroup_subsys_state *css, struct cftype *cft)
Paul Menage5be7a472008-05-06 20:42:41 -07001821{
Tejun Heo182446d2013-08-08 20:11:24 -04001822 struct cpuset *cs = css_cs(css);
Paul Menage5be7a472008-05-06 20:42:41 -07001823 cpuset_filetype_t type = cft->private;
1824 switch (type) {
1825 case FILE_SCHED_RELAX_DOMAIN_LEVEL:
1826 return cs->relax_domain_level;
1827 default:
1828 BUG();
1829 }
Max Krasnyanskycf417142008-08-11 14:33:53 -07001830
1831 /* Unrechable but makes gcc happy */
1832 return 0;
Paul Menage5be7a472008-05-06 20:42:41 -07001833}
1834
Linus Torvalds1da177e2005-04-16 15:20:36 -07001835
1836/*
1837 * for the common functions, 'private' gives the type of file
1838 */
1839
Paul Menageaddf2c72008-04-29 01:00:26 -07001840static struct cftype files[] = {
1841 {
1842 .name = "cpus",
Tejun Heo2da8ca82013-12-05 12:28:04 -05001843 .seq_show = cpuset_common_seq_show,
Tejun Heo451af502014-05-13 12:16:21 -04001844 .write = cpuset_write_resmask,
Paul Menagee3712392008-07-25 01:47:02 -07001845 .max_write_len = (100U + 6 * NR_CPUS),
Paul Menageaddf2c72008-04-29 01:00:26 -07001846 .private = FILE_CPULIST,
1847 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001848
Paul Menageaddf2c72008-04-29 01:00:26 -07001849 {
1850 .name = "mems",
Tejun Heo2da8ca82013-12-05 12:28:04 -05001851 .seq_show = cpuset_common_seq_show,
Tejun Heo451af502014-05-13 12:16:21 -04001852 .write = cpuset_write_resmask,
Paul Menagee3712392008-07-25 01:47:02 -07001853 .max_write_len = (100U + 6 * MAX_NUMNODES),
Paul Menageaddf2c72008-04-29 01:00:26 -07001854 .private = FILE_MEMLIST,
1855 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001856
Paul Menageaddf2c72008-04-29 01:00:26 -07001857 {
Li Zefanafd1a8b2014-07-09 16:49:25 +08001858 .name = "effective_cpus",
1859 .seq_show = cpuset_common_seq_show,
1860 .private = FILE_EFFECTIVE_CPULIST,
1861 },
1862
1863 {
1864 .name = "effective_mems",
1865 .seq_show = cpuset_common_seq_show,
1866 .private = FILE_EFFECTIVE_MEMLIST,
1867 },
1868
1869 {
Paul Menageaddf2c72008-04-29 01:00:26 -07001870 .name = "cpu_exclusive",
1871 .read_u64 = cpuset_read_u64,
1872 .write_u64 = cpuset_write_u64,
1873 .private = FILE_CPU_EXCLUSIVE,
1874 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001875
Paul Menageaddf2c72008-04-29 01:00:26 -07001876 {
1877 .name = "mem_exclusive",
1878 .read_u64 = cpuset_read_u64,
1879 .write_u64 = cpuset_write_u64,
1880 .private = FILE_MEM_EXCLUSIVE,
1881 },
Linus Torvalds1da177e2005-04-16 15:20:36 -07001882
Paul Menageaddf2c72008-04-29 01:00:26 -07001883 {
Paul Menage78608362008-04-29 01:00:26 -07001884 .name = "mem_hardwall",
1885 .read_u64 = cpuset_read_u64,
1886 .write_u64 = cpuset_write_u64,
1887 .private = FILE_MEM_HARDWALL,
1888 },
1889
1890 {
Paul Menageaddf2c72008-04-29 01:00:26 -07001891 .name = "sched_load_balance",
1892 .read_u64 = cpuset_read_u64,
1893 .write_u64 = cpuset_write_u64,
1894 .private = FILE_SCHED_LOAD_BALANCE,
1895 },
Paul Jackson029190c2007-10-18 23:40:20 -07001896
Paul Menageaddf2c72008-04-29 01:00:26 -07001897 {
1898 .name = "sched_relax_domain_level",
Paul Menage5be7a472008-05-06 20:42:41 -07001899 .read_s64 = cpuset_read_s64,
1900 .write_s64 = cpuset_write_s64,
Paul Menageaddf2c72008-04-29 01:00:26 -07001901 .private = FILE_SCHED_RELAX_DOMAIN_LEVEL,
1902 },
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001903
Paul Menageaddf2c72008-04-29 01:00:26 -07001904 {
1905 .name = "memory_migrate",
1906 .read_u64 = cpuset_read_u64,
1907 .write_u64 = cpuset_write_u64,
1908 .private = FILE_MEMORY_MIGRATE,
1909 },
1910
1911 {
1912 .name = "memory_pressure",
1913 .read_u64 = cpuset_read_u64,
Waiman Long309e4db2017-08-24 12:04:29 -04001914 .private = FILE_MEMORY_PRESSURE,
Paul Menageaddf2c72008-04-29 01:00:26 -07001915 },
1916
1917 {
1918 .name = "memory_spread_page",
1919 .read_u64 = cpuset_read_u64,
1920 .write_u64 = cpuset_write_u64,
1921 .private = FILE_SPREAD_PAGE,
1922 },
1923
1924 {
1925 .name = "memory_spread_slab",
1926 .read_u64 = cpuset_read_u64,
1927 .write_u64 = cpuset_write_u64,
1928 .private = FILE_SPREAD_SLAB,
1929 },
Tejun Heo4baf6e32012-04-01 12:09:55 -07001930
1931 {
1932 .name = "memory_pressure_enabled",
1933 .flags = CFTYPE_ONLY_ON_ROOT,
1934 .read_u64 = cpuset_read_u64,
1935 .write_u64 = cpuset_write_u64,
1936 .private = FILE_MEMORY_PRESSURE_ENABLED,
1937 },
1938
1939 { } /* terminate */
Paul Jackson45b07ef2006-01-08 01:00:56 -08001940};
1941
Linus Torvalds1da177e2005-04-16 15:20:36 -07001942/*
Tejun Heo92fb9742012-11-19 08:13:38 -08001943 * cpuset_css_alloc - allocate a cpuset css
Li Zefanc9e5fe62013-06-14 11:18:27 +08001944 * cgrp: control group that the new cpuset will be part of
Linus Torvalds1da177e2005-04-16 15:20:36 -07001945 */
1946
Tejun Heoeb954192013-08-08 20:11:23 -04001947static struct cgroup_subsys_state *
1948cpuset_css_alloc(struct cgroup_subsys_state *parent_css)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001949{
Tejun Heoc8f699b2013-01-07 08:51:07 -08001950 struct cpuset *cs;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001951
Tejun Heoeb954192013-08-08 20:11:23 -04001952 if (!parent_css)
Paul Menage8793d852007-10-18 23:39:39 -07001953 return &top_cpuset.css;
Tejun Heo033fa1c2012-11-19 08:13:39 -08001954
Tejun Heoc8f699b2013-01-07 08:51:07 -08001955 cs = kzalloc(sizeof(*cs), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001956 if (!cs)
Paul Menage8793d852007-10-18 23:39:39 -07001957 return ERR_PTR(-ENOMEM);
Li Zefane2b9a3d2014-07-09 16:47:03 +08001958 if (!alloc_cpumask_var(&cs->cpus_allowed, GFP_KERNEL))
1959 goto free_cs;
Riley Andrews266ee742016-09-06 15:16:25 -07001960 if (!alloc_cpumask_var(&cs->cpus_requested, GFP_KERNEL))
1961 goto free_allowed;
Li Zefane2b9a3d2014-07-09 16:47:03 +08001962 if (!alloc_cpumask_var(&cs->effective_cpus, GFP_KERNEL))
Riley Andrews266ee742016-09-06 15:16:25 -07001963 goto free_requested;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001964
Paul Jackson029190c2007-10-18 23:40:20 -07001965 set_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
Li Zefan300ed6c2009-01-07 18:08:44 -08001966 cpumask_clear(cs->cpus_allowed);
Riley Andrews266ee742016-09-06 15:16:25 -07001967 cpumask_clear(cs->cpus_requested);
Mike Travisf9a86fc2008-04-04 18:11:07 -07001968 nodes_clear(cs->mems_allowed);
Li Zefane2b9a3d2014-07-09 16:47:03 +08001969 cpumask_clear(cs->effective_cpus);
1970 nodes_clear(cs->effective_mems);
Paul Jackson3e0d98b2006-01-08 01:01:49 -08001971 fmeter_init(&cs->fmeter);
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09001972 cs->relax_domain_level = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001973
Tejun Heoc8f699b2013-01-07 08:51:07 -08001974 return &cs->css;
Li Zefane2b9a3d2014-07-09 16:47:03 +08001975
Riley Andrews266ee742016-09-06 15:16:25 -07001976free_requested:
1977 free_cpumask_var(cs->cpus_requested);
1978free_allowed:
Li Zefane2b9a3d2014-07-09 16:47:03 +08001979 free_cpumask_var(cs->cpus_allowed);
1980free_cs:
1981 kfree(cs);
1982 return ERR_PTR(-ENOMEM);
Tejun Heoc8f699b2013-01-07 08:51:07 -08001983}
1984
Tejun Heoeb954192013-08-08 20:11:23 -04001985static int cpuset_css_online(struct cgroup_subsys_state *css)
Tejun Heoc8f699b2013-01-07 08:51:07 -08001986{
Tejun Heoeb954192013-08-08 20:11:23 -04001987 struct cpuset *cs = css_cs(css);
Tejun Heoc4310692013-01-07 08:51:08 -08001988 struct cpuset *parent = parent_cs(cs);
Tejun Heoae8086c2013-01-07 08:51:07 -08001989 struct cpuset *tmp_cs;
Tejun Heo492eb212013-08-08 20:11:25 -04001990 struct cgroup_subsys_state *pos_css;
Tejun Heoc8f699b2013-01-07 08:51:07 -08001991
1992 if (!parent)
1993 return 0;
1994
Tejun Heo5d21cc22013-01-07 08:51:08 -08001995 mutex_lock(&cpuset_mutex);
1996
Tejun Heoefeb77b2013-01-07 08:51:07 -08001997 set_bit(CS_ONLINE, &cs->flags);
Tejun Heoc8f699b2013-01-07 08:51:07 -08001998 if (is_spread_page(parent))
1999 set_bit(CS_SPREAD_PAGE, &cs->flags);
2000 if (is_spread_slab(parent))
2001 set_bit(CS_SPREAD_SLAB, &cs->flags);
2002
Mel Gorman664eedd2014-06-04 16:10:08 -07002003 cpuset_inc();
Tejun Heo033fa1c2012-11-19 08:13:39 -08002004
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002005 spin_lock_irq(&callback_lock);
Tejun Heo9e10a132015-09-18 11:56:28 -04002006 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys)) {
Li Zefane2b9a3d2014-07-09 16:47:03 +08002007 cpumask_copy(cs->effective_cpus, parent->effective_cpus);
2008 cs->effective_mems = parent->effective_mems;
2009 }
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002010 spin_unlock_irq(&callback_lock);
Li Zefane2b9a3d2014-07-09 16:47:03 +08002011
Tejun Heoeb954192013-08-08 20:11:23 -04002012 if (!test_bit(CGRP_CPUSET_CLONE_CHILDREN, &css->cgroup->flags))
Tejun Heo5d21cc22013-01-07 08:51:08 -08002013 goto out_unlock;
Tejun Heo033fa1c2012-11-19 08:13:39 -08002014
2015 /*
2016 * Clone @parent's configuration if CGRP_CPUSET_CLONE_CHILDREN is
2017 * set. This flag handling is implemented in cgroup core for
2018 * histrical reasons - the flag may be specified during mount.
2019 *
2020 * Currently, if any sibling cpusets have exclusive cpus or mem, we
2021 * refuse to clone the configuration - thereby refusing the task to
2022 * be entered, and as a result refusing the sys_unshare() or
2023 * clone() which initiated it. If this becomes a problem for some
2024 * users who wish to allow that scenario, then this could be
2025 * changed to grant parent->cpus_allowed-sibling_cpus_exclusive
2026 * (and likewise for mems) to the new cgroup.
2027 */
Tejun Heoae8086c2013-01-07 08:51:07 -08002028 rcu_read_lock();
Tejun Heo492eb212013-08-08 20:11:25 -04002029 cpuset_for_each_child(tmp_cs, pos_css, parent) {
Tejun Heoae8086c2013-01-07 08:51:07 -08002030 if (is_mem_exclusive(tmp_cs) || is_cpu_exclusive(tmp_cs)) {
2031 rcu_read_unlock();
Tejun Heo5d21cc22013-01-07 08:51:08 -08002032 goto out_unlock;
Tejun Heoae8086c2013-01-07 08:51:07 -08002033 }
Tejun Heo033fa1c2012-11-19 08:13:39 -08002034 }
Tejun Heoae8086c2013-01-07 08:51:07 -08002035 rcu_read_unlock();
Tejun Heo033fa1c2012-11-19 08:13:39 -08002036
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002037 spin_lock_irq(&callback_lock);
Tejun Heo033fa1c2012-11-19 08:13:39 -08002038 cs->mems_allowed = parent->mems_allowed;
Zefan Li790317e2015-02-13 11:19:49 +08002039 cs->effective_mems = parent->mems_allowed;
Tejun Heo033fa1c2012-11-19 08:13:39 -08002040 cpumask_copy(cs->cpus_allowed, parent->cpus_allowed);
Riley Andrews266ee742016-09-06 15:16:25 -07002041 cpumask_copy(cs->cpus_requested, parent->cpus_requested);
Zefan Li790317e2015-02-13 11:19:49 +08002042 cpumask_copy(cs->effective_cpus, parent->cpus_allowed);
Dan Carpentercea74462014-10-27 16:27:02 +03002043 spin_unlock_irq(&callback_lock);
Tejun Heo5d21cc22013-01-07 08:51:08 -08002044out_unlock:
2045 mutex_unlock(&cpuset_mutex);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002046 return 0;
2047}
2048
Zhao Hongjiang0b9e6962013-07-27 11:56:53 +08002049/*
2050 * If the cpuset being removed has its flag 'sched_load_balance'
2051 * enabled, then simulate turning sched_load_balance off, which
Prateek Soode9e7b752017-09-08 13:10:55 +05302052 * will call rebuild_sched_domains_unlocked().
Zhao Hongjiang0b9e6962013-07-27 11:56:53 +08002053 */
2054
Tejun Heoeb954192013-08-08 20:11:23 -04002055static void cpuset_css_offline(struct cgroup_subsys_state *css)
Tejun Heoc8f699b2013-01-07 08:51:07 -08002056{
Tejun Heoeb954192013-08-08 20:11:23 -04002057 struct cpuset *cs = css_cs(css);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002058
Prateek Soode9e7b752017-09-08 13:10:55 +05302059 get_online_cpus();
Tejun Heo5d21cc22013-01-07 08:51:08 -08002060 mutex_lock(&cpuset_mutex);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002061
2062 if (is_sched_load_balance(cs))
2063 update_flag(CS_SCHED_LOAD_BALANCE, cs, 0);
2064
Mel Gorman664eedd2014-06-04 16:10:08 -07002065 cpuset_dec();
Tejun Heoefeb77b2013-01-07 08:51:07 -08002066 clear_bit(CS_ONLINE, &cs->flags);
Tejun Heoc8f699b2013-01-07 08:51:07 -08002067
Tejun Heo5d21cc22013-01-07 08:51:08 -08002068 mutex_unlock(&cpuset_mutex);
Prateek Soode9e7b752017-09-08 13:10:55 +05302069 put_online_cpus();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002070}
2071
Tejun Heoeb954192013-08-08 20:11:23 -04002072static void cpuset_css_free(struct cgroup_subsys_state *css)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002073{
Tejun Heoeb954192013-08-08 20:11:23 -04002074 struct cpuset *cs = css_cs(css);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002075
Li Zefane2b9a3d2014-07-09 16:47:03 +08002076 free_cpumask_var(cs->effective_cpus);
Li Zefan300ed6c2009-01-07 18:08:44 -08002077 free_cpumask_var(cs->cpus_allowed);
Riley Andrews266ee742016-09-06 15:16:25 -07002078 free_cpumask_var(cs->cpus_requested);
Paul Menage8793d852007-10-18 23:39:39 -07002079 kfree(cs);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002080}
2081
Li Zefan39bd0d12014-07-09 16:48:01 +08002082static void cpuset_bind(struct cgroup_subsys_state *root_css)
2083{
2084 mutex_lock(&cpuset_mutex);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002085 spin_lock_irq(&callback_lock);
Li Zefan39bd0d12014-07-09 16:48:01 +08002086
Tejun Heo9e10a132015-09-18 11:56:28 -04002087 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys)) {
Li Zefan39bd0d12014-07-09 16:48:01 +08002088 cpumask_copy(top_cpuset.cpus_allowed, cpu_possible_mask);
2089 top_cpuset.mems_allowed = node_possible_map;
2090 } else {
2091 cpumask_copy(top_cpuset.cpus_allowed,
2092 top_cpuset.effective_cpus);
2093 top_cpuset.mems_allowed = top_cpuset.effective_mems;
2094 }
2095
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002096 spin_unlock_irq(&callback_lock);
Li Zefan39bd0d12014-07-09 16:48:01 +08002097 mutex_unlock(&cpuset_mutex);
2098}
2099
Zefan Li06f4e9482016-08-09 11:25:01 +08002100/*
2101 * Make sure the new task conform to the current state of its parent,
2102 * which could have been changed by cpuset just after it inherits the
2103 * state from the parent and before it sits on the cgroup's task list.
2104 */
Wei Yongjun8a15b812016-09-16 13:02:37 +00002105static void cpuset_fork(struct task_struct *task)
Zefan Li06f4e9482016-08-09 11:25:01 +08002106{
2107 if (task_css_is_root(task, cpuset_cgrp_id))
2108 return;
2109
2110 set_cpus_allowed_ptr(task, &current->cpus_allowed);
2111 task->mems_allowed = current->mems_allowed;
2112}
2113
Riley Andrews84c517b2015-06-05 18:59:29 -07002114static int cpuset_allow_attach(struct cgroup_taskset *tset)
2115{
2116 const struct cred *cred = current_cred(), *tcred;
2117 struct task_struct *task;
2118 struct cgroup_subsys_state *css;
2119
2120 cgroup_taskset_for_each(task, css, tset) {
2121 tcred = __task_cred(task);
2122
2123 if ((current != task) && !capable(CAP_SYS_ADMIN) &&
2124 cred->euid.val != tcred->uid.val && cred->euid.val != tcred->suid.val)
2125 return -EACCES;
2126 }
2127
2128 return 0;
2129}
2130
Tejun Heo073219e2014-02-08 10:36:58 -05002131struct cgroup_subsys cpuset_cgrp_subsys = {
Li Zefan39bd0d12014-07-09 16:48:01 +08002132 .css_alloc = cpuset_css_alloc,
2133 .css_online = cpuset_css_online,
2134 .css_offline = cpuset_css_offline,
2135 .css_free = cpuset_css_free,
2136 .can_attach = cpuset_can_attach,
Riley Andrews84c517b2015-06-05 18:59:29 -07002137 .allow_attach = cpuset_allow_attach,
Li Zefan39bd0d12014-07-09 16:48:01 +08002138 .cancel_attach = cpuset_cancel_attach,
2139 .attach = cpuset_attach,
Tejun Heo5cf1cac2016-04-21 19:06:48 -04002140 .post_attach = cpuset_post_attach,
Li Zefan39bd0d12014-07-09 16:48:01 +08002141 .bind = cpuset_bind,
Zefan Li06f4e9482016-08-09 11:25:01 +08002142 .fork = cpuset_fork,
Tejun Heo55779642014-07-15 11:05:09 -04002143 .legacy_cftypes = files,
Tejun Heob38e42e2016-02-23 10:00:50 -05002144 .early_init = true,
Paul Menage8793d852007-10-18 23:39:39 -07002145};
2146
Linus Torvalds1da177e2005-04-16 15:20:36 -07002147/**
2148 * cpuset_init - initialize cpusets at system boot
2149 *
2150 * Description: Initialize top_cpuset and the cpuset internal file system,
2151 **/
2152
2153int __init cpuset_init(void)
2154{
Paul Menage8793d852007-10-18 23:39:39 -07002155 int err = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002156
Miao Xie58568d22009-06-16 15:31:49 -07002157 if (!alloc_cpumask_var(&top_cpuset.cpus_allowed, GFP_KERNEL))
2158 BUG();
Li Zefane2b9a3d2014-07-09 16:47:03 +08002159 if (!alloc_cpumask_var(&top_cpuset.effective_cpus, GFP_KERNEL))
2160 BUG();
Riley Andrews266ee742016-09-06 15:16:25 -07002161 if (!alloc_cpumask_var(&top_cpuset.cpus_requested, GFP_KERNEL))
2162 BUG();
Miao Xie58568d22009-06-16 15:31:49 -07002163
Li Zefan300ed6c2009-01-07 18:08:44 -08002164 cpumask_setall(top_cpuset.cpus_allowed);
Riley Andrews266ee742016-09-06 15:16:25 -07002165 cpumask_setall(top_cpuset.cpus_requested);
Mike Travisf9a86fc2008-04-04 18:11:07 -07002166 nodes_setall(top_cpuset.mems_allowed);
Li Zefane2b9a3d2014-07-09 16:47:03 +08002167 cpumask_setall(top_cpuset.effective_cpus);
2168 nodes_setall(top_cpuset.effective_mems);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002169
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002170 fmeter_init(&top_cpuset.fmeter);
Paul Jackson029190c2007-10-18 23:40:20 -07002171 set_bit(CS_SCHED_LOAD_BALANCE, &top_cpuset.flags);
Hidetoshi Seto1d3504f2008-04-15 14:04:23 +09002172 top_cpuset.relax_domain_level = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002173
Linus Torvalds1da177e2005-04-16 15:20:36 -07002174 err = register_filesystem(&cpuset_fs_type);
2175 if (err < 0)
Paul Menage8793d852007-10-18 23:39:39 -07002176 return err;
2177
Li Zefan2341d1b2009-01-07 18:08:42 -08002178 if (!alloc_cpumask_var(&cpus_attach, GFP_KERNEL))
2179 BUG();
2180
Paul Menage8793d852007-10-18 23:39:39 -07002181 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002182}
2183
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002184/*
Max Krasnyanskycf417142008-08-11 14:33:53 -07002185 * If CPU and/or memory hotplug handlers, below, unplug any CPUs
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002186 * or memory nodes, we need to walk over the cpuset hierarchy,
2187 * removing that CPU or node from all cpusets. If this removes the
Cliff Wickman956db3c2008-02-07 00:14:43 -08002188 * last CPU or node from a cpuset, then move the tasks in the empty
2189 * cpuset to its next-highest non-empty parent.
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002190 */
Cliff Wickman956db3c2008-02-07 00:14:43 -08002191static void remove_tasks_in_empty_cpuset(struct cpuset *cs)
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002192{
Cliff Wickman956db3c2008-02-07 00:14:43 -08002193 struct cpuset *parent;
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002194
Paul Jacksonc8d9c902008-02-07 00:14:46 -08002195 /*
Cliff Wickman956db3c2008-02-07 00:14:43 -08002196 * Find its next-highest non-empty parent, (top cpuset
2197 * has online cpus, so can't be empty).
2198 */
Tejun Heoc4310692013-01-07 08:51:08 -08002199 parent = parent_cs(cs);
Li Zefan300ed6c2009-01-07 18:08:44 -08002200 while (cpumask_empty(parent->cpus_allowed) ||
Paul Jacksonb4501292008-02-07 00:14:47 -08002201 nodes_empty(parent->mems_allowed))
Tejun Heoc4310692013-01-07 08:51:08 -08002202 parent = parent_cs(parent);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002203
Tejun Heo8cc99342013-04-07 09:29:50 -07002204 if (cgroup_transfer_tasks(parent->css.cgroup, cs->css.cgroup)) {
Fabian Frederick12d30892014-05-05 19:49:00 +02002205 pr_err("cpuset: failed to transfer tasks out of empty cpuset ");
Tejun Heoe61734c2014-02-12 09:29:50 -05002206 pr_cont_cgroup_name(cs->css.cgroup);
2207 pr_cont("\n");
Tejun Heo8cc99342013-04-07 09:29:50 -07002208 }
Cliff Wickman956db3c2008-02-07 00:14:43 -08002209}
2210
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002211static void
2212hotplug_update_tasks_legacy(struct cpuset *cs,
2213 struct cpumask *new_cpus, nodemask_t *new_mems,
2214 bool cpus_updated, bool mems_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002215{
2216 bool is_empty;
2217
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002218 spin_lock_irq(&callback_lock);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002219 cpumask_copy(cs->cpus_allowed, new_cpus);
2220 cpumask_copy(cs->effective_cpus, new_cpus);
2221 cs->mems_allowed = *new_mems;
2222 cs->effective_mems = *new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002223 spin_unlock_irq(&callback_lock);
Li Zefan390a36a2014-07-09 16:48:54 +08002224
2225 /*
2226 * Don't call update_tasks_cpumask() if the cpuset becomes empty,
2227 * as the tasks will be migratecd to an ancestor.
2228 */
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002229 if (cpus_updated && !cpumask_empty(cs->cpus_allowed))
Li Zefan390a36a2014-07-09 16:48:54 +08002230 update_tasks_cpumask(cs);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002231 if (mems_updated && !nodes_empty(cs->mems_allowed))
Li Zefan390a36a2014-07-09 16:48:54 +08002232 update_tasks_nodemask(cs);
2233
2234 is_empty = cpumask_empty(cs->cpus_allowed) ||
2235 nodes_empty(cs->mems_allowed);
2236
2237 mutex_unlock(&cpuset_mutex);
2238
2239 /*
2240 * Move tasks to the nearest ancestor with execution resources,
2241 * This is full cgroup operation which will also call back into
2242 * cpuset. Should be done outside any lock.
2243 */
2244 if (is_empty)
2245 remove_tasks_in_empty_cpuset(cs);
2246
2247 mutex_lock(&cpuset_mutex);
2248}
2249
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002250static void
2251hotplug_update_tasks(struct cpuset *cs,
2252 struct cpumask *new_cpus, nodemask_t *new_mems,
2253 bool cpus_updated, bool mems_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002254{
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002255 if (cpumask_empty(new_cpus))
2256 cpumask_copy(new_cpus, parent_cs(cs)->effective_cpus);
2257 if (nodes_empty(*new_mems))
2258 *new_mems = parent_cs(cs)->effective_mems;
Li Zefan390a36a2014-07-09 16:48:54 +08002259
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002260 spin_lock_irq(&callback_lock);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002261 cpumask_copy(cs->effective_cpus, new_cpus);
2262 cs->effective_mems = *new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002263 spin_unlock_irq(&callback_lock);
Li Zefan390a36a2014-07-09 16:48:54 +08002264
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002265 if (cpus_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002266 update_tasks_cpumask(cs);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002267 if (mems_updated)
Li Zefan390a36a2014-07-09 16:48:54 +08002268 update_tasks_nodemask(cs);
2269}
2270
Tejun Heodeb7aa32013-01-07 08:51:07 -08002271/**
Li Zefan388afd82013-06-09 17:14:47 +08002272 * cpuset_hotplug_update_tasks - update tasks in a cpuset for hotunplug
Tejun Heodeb7aa32013-01-07 08:51:07 -08002273 * @cs: cpuset in interest
Cliff Wickman956db3c2008-02-07 00:14:43 -08002274 *
Tejun Heodeb7aa32013-01-07 08:51:07 -08002275 * Compare @cs's cpu and mem masks against top_cpuset and if some have gone
2276 * offline, update @cs accordingly. If @cs ends up with no CPU or memory,
2277 * all its tasks are moved to the nearest ancestor with both resources.
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002278 */
Li Zefan388afd82013-06-09 17:14:47 +08002279static void cpuset_hotplug_update_tasks(struct cpuset *cs)
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002280{
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002281 static cpumask_t new_cpus;
2282 static nodemask_t new_mems;
2283 bool cpus_updated;
2284 bool mems_updated;
Li Zefane44193d2013-06-09 17:14:22 +08002285retry:
2286 wait_event(cpuset_attach_wq, cs->attach_in_progress == 0);
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002287
Tejun Heo5d21cc22013-01-07 08:51:08 -08002288 mutex_lock(&cpuset_mutex);
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002289
Li Zefane44193d2013-06-09 17:14:22 +08002290 /*
2291 * We have raced with task attaching. We wait until attaching
2292 * is finished, so we won't attach a task to an empty cpuset.
2293 */
2294 if (cs->attach_in_progress) {
2295 mutex_unlock(&cpuset_mutex);
2296 goto retry;
2297 }
2298
Riley Andrews266ee742016-09-06 15:16:25 -07002299 cpumask_and(&new_cpus, cs->cpus_requested, parent_cs(cs)->effective_cpus);
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002300 nodes_and(new_mems, cs->mems_allowed, parent_cs(cs)->effective_mems);
Paul Jacksonb4501292008-02-07 00:14:47 -08002301
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002302 cpus_updated = !cpumask_equal(&new_cpus, cs->effective_cpus);
2303 mems_updated = !nodes_equal(new_mems, cs->effective_mems);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002304
Tejun Heo9e10a132015-09-18 11:56:28 -04002305 if (cgroup_subsys_on_dfl(cpuset_cgrp_subsys))
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002306 hotplug_update_tasks(cs, &new_cpus, &new_mems,
2307 cpus_updated, mems_updated);
Li Zefan390a36a2014-07-09 16:48:54 +08002308 else
Li Zefanbe4c9dd2014-07-09 16:49:04 +08002309 hotplug_update_tasks_legacy(cs, &new_cpus, &new_mems,
2310 cpus_updated, mems_updated);
Tejun Heo8d033942013-01-07 08:51:07 -08002311
Tejun Heo5d21cc22013-01-07 08:51:08 -08002312 mutex_unlock(&cpuset_mutex);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002313}
Paul Jacksonb4501292008-02-07 00:14:47 -08002314
Peter Zijlstraba155182017-09-07 11:13:38 +02002315static bool force_rebuild;
2316
2317void cpuset_force_rebuild(void)
2318{
2319 force_rebuild = true;
2320}
2321
Tejun Heodeb7aa32013-01-07 08:51:07 -08002322/**
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002323 * cpuset_hotplug_workfn - handle CPU/memory hotunplug for a cpuset
Tejun Heodeb7aa32013-01-07 08:51:07 -08002324 *
2325 * This function is called after either CPU or memory configuration has
2326 * changed and updates cpuset accordingly. The top_cpuset is always
2327 * synchronized to cpu_active_mask and N_MEMORY, which is necessary in
2328 * order to make cpusets transparent (of no affect) on systems that are
2329 * actively using CPU hotplug but making no active use of cpusets.
2330 *
2331 * Non-root cpusets are only affected by offlining. If any CPUs or memory
Li Zefan388afd82013-06-09 17:14:47 +08002332 * nodes have been taken down, cpuset_hotplug_update_tasks() is invoked on
2333 * all descendants.
Tejun Heodeb7aa32013-01-07 08:51:07 -08002334 *
2335 * Note that CPU offlining during suspend is ignored. We don't modify
2336 * cpusets across suspend/resume cycles at all.
2337 */
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002338static void cpuset_hotplug_workfn(struct work_struct *work)
Tejun Heodeb7aa32013-01-07 08:51:07 -08002339{
Li Zefan5c5cc622013-06-09 17:16:29 +08002340 static cpumask_t new_cpus;
2341 static nodemask_t new_mems;
Tejun Heodeb7aa32013-01-07 08:51:07 -08002342 bool cpus_updated, mems_updated;
Tejun Heo9e10a132015-09-18 11:56:28 -04002343 bool on_dfl = cgroup_subsys_on_dfl(cpuset_cgrp_subsys);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002344
Tejun Heo5d21cc22013-01-07 08:51:08 -08002345 mutex_lock(&cpuset_mutex);
Cliff Wickman956db3c2008-02-07 00:14:43 -08002346
Tejun Heodeb7aa32013-01-07 08:51:07 -08002347 /* fetch the available cpus/mems and find out which changed how */
2348 cpumask_copy(&new_cpus, cpu_active_mask);
2349 new_mems = node_states[N_MEMORY];
Cliff Wickman956db3c2008-02-07 00:14:43 -08002350
Li Zefan7e882912014-07-09 16:48:42 +08002351 cpus_updated = !cpumask_equal(top_cpuset.effective_cpus, &new_cpus);
2352 mems_updated = !nodes_equal(top_cpuset.effective_mems, new_mems);
Srivatsa S. Bhat7ddf96b2012-05-24 19:46:55 +05302353
Tejun Heodeb7aa32013-01-07 08:51:07 -08002354 /* synchronize cpus_allowed to cpu_active_mask */
2355 if (cpus_updated) {
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002356 spin_lock_irq(&callback_lock);
Li Zefan7e882912014-07-09 16:48:42 +08002357 if (!on_dfl)
2358 cpumask_copy(top_cpuset.cpus_allowed, &new_cpus);
Li Zefan1344ab92014-07-09 16:47:16 +08002359 cpumask_copy(top_cpuset.effective_cpus, &new_cpus);
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002360 spin_unlock_irq(&callback_lock);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002361 /* we don't mess with cpumasks of tasks in top_cpuset */
2362 }
Srivatsa S. Bhat7ddf96b2012-05-24 19:46:55 +05302363
Tejun Heodeb7aa32013-01-07 08:51:07 -08002364 /* synchronize mems_allowed to N_MEMORY */
2365 if (mems_updated) {
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002366 spin_lock_irq(&callback_lock);
Li Zefan7e882912014-07-09 16:48:42 +08002367 if (!on_dfl)
2368 top_cpuset.mems_allowed = new_mems;
Li Zefan1344ab92014-07-09 16:47:16 +08002369 top_cpuset.effective_mems = new_mems;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002370 spin_unlock_irq(&callback_lock);
Tejun Heod66393e2014-02-13 06:58:40 -05002371 update_tasks_nodemask(&top_cpuset);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002372 }
2373
Tejun Heo5d21cc22013-01-07 08:51:08 -08002374 mutex_unlock(&cpuset_mutex);
Tejun Heodeb7aa32013-01-07 08:51:07 -08002375
Li Zefan5c5cc622013-06-09 17:16:29 +08002376 /* if cpus or mems changed, we need to propagate to descendants */
2377 if (cpus_updated || mems_updated) {
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002378 struct cpuset *cs;
Tejun Heo492eb212013-08-08 20:11:25 -04002379 struct cgroup_subsys_state *pos_css;
Paul Jacksonb4501292008-02-07 00:14:47 -08002380
Paul Jacksonb4501292008-02-07 00:14:47 -08002381 rcu_read_lock();
Tejun Heo492eb212013-08-08 20:11:25 -04002382 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) {
Tejun Heoec903c02014-05-13 12:11:01 -04002383 if (cs == &top_cpuset || !css_tryget_online(&cs->css))
Li Zefan388afd82013-06-09 17:14:47 +08002384 continue;
2385 rcu_read_unlock();
2386
2387 cpuset_hotplug_update_tasks(cs);
2388
2389 rcu_read_lock();
2390 css_put(&cs->css);
2391 }
Tejun Heodeb7aa32013-01-07 08:51:07 -08002392 rcu_read_unlock();
2393 }
Tejun Heo8d033942013-01-07 08:51:07 -08002394
Tejun Heodeb7aa32013-01-07 08:51:07 -08002395 /* rebuild sched domains if cpus_allowed has changed */
Peter Zijlstraba155182017-09-07 11:13:38 +02002396 if (cpus_updated || force_rebuild) {
2397 force_rebuild = false;
Li Zhonge0e80a02013-04-27 06:52:43 -07002398 rebuild_sched_domains();
Peter Zijlstraba155182017-09-07 11:13:38 +02002399 }
Paul Jacksonb1aac8b2006-09-29 02:01:17 -07002400}
2401
Srivatsa S. Bhat7ddf96b2012-05-24 19:46:55 +05302402void cpuset_update_active_cpus(bool cpu_online)
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002403{
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002404 /*
2405 * We're inside cpu hotplug critical region which usually nests
2406 * inside cgroup synchronization. Bounce actual hotplug processing
2407 * to a work item to avoid reverse locking order.
2408 *
2409 * We still need to do partition_sched_domains() synchronously;
2410 * otherwise, the scheduler will get confused and put tasks to the
2411 * dead CPU. Fall back to the default single domain.
2412 * cpuset_hotplug_workfn() will rebuild it as necessary.
2413 */
2414 partition_sched_domains(1, NULL, NULL);
2415 schedule_work(&cpuset_hotplug_work);
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002416}
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002417
Peter Zijlstraba155182017-09-07 11:13:38 +02002418void cpuset_wait_for_hotplug(void)
2419{
2420 flush_work(&cpuset_hotplug_work);
2421}
2422
Paul Jackson38837fc2006-09-29 02:01:16 -07002423/*
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002424 * Keep top_cpuset.mems_allowed tracking node_states[N_MEMORY].
2425 * Call this routine anytime after node_states[N_MEMORY] changes.
Srivatsa S. Bhata1cd2b12012-05-24 19:47:03 +05302426 * See cpuset_update_active_cpus() for CPU hotplug handling.
Paul Jackson38837fc2006-09-29 02:01:16 -07002427 */
Miao Xief4818912008-11-19 15:36:30 -08002428static int cpuset_track_online_nodes(struct notifier_block *self,
2429 unsigned long action, void *arg)
Paul Jackson38837fc2006-09-29 02:01:16 -07002430{
Tejun Heo3a5a6d02013-01-07 08:51:07 -08002431 schedule_work(&cpuset_hotplug_work);
Miao Xief4818912008-11-19 15:36:30 -08002432 return NOTIFY_OK;
Paul Jackson38837fc2006-09-29 02:01:16 -07002433}
Andrew Mortond8f10cb2013-04-29 15:08:08 -07002434
2435static struct notifier_block cpuset_track_online_nodes_nb = {
2436 .notifier_call = cpuset_track_online_nodes,
2437 .priority = 10, /* ??! */
2438};
Paul Jackson38837fc2006-09-29 02:01:16 -07002439
Linus Torvalds1da177e2005-04-16 15:20:36 -07002440/**
2441 * cpuset_init_smp - initialize cpus_allowed
2442 *
2443 * Description: Finish top cpuset after cpu, node maps are initialized
Andrew Mortond8f10cb2013-04-29 15:08:08 -07002444 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002445void __init cpuset_init_smp(void)
2446{
Peter Zijlstra6ad4c182009-11-25 13:31:39 +01002447 cpumask_copy(top_cpuset.cpus_allowed, cpu_active_mask);
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002448 top_cpuset.mems_allowed = node_states[N_MEMORY];
Li Zefan33ad8012013-06-09 17:15:08 +08002449 top_cpuset.old_mems_allowed = top_cpuset.mems_allowed;
Paul Jackson4c4d50f2006-08-27 01:23:51 -07002450
Li Zefane2b9a3d2014-07-09 16:47:03 +08002451 cpumask_copy(top_cpuset.effective_cpus, cpu_active_mask);
2452 top_cpuset.effective_mems = node_states[N_MEMORY];
2453
Andrew Mortond8f10cb2013-04-29 15:08:08 -07002454 register_hotmemory_notifier(&cpuset_track_online_nodes_nb);
Tejun Heoe93ad192016-01-19 12:18:41 -05002455
2456 cpuset_migrate_mm_wq = alloc_ordered_workqueue("cpuset_migrate_mm", 0);
2457 BUG_ON(!cpuset_migrate_mm_wq);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002458}
2459
2460/**
Linus Torvalds1da177e2005-04-16 15:20:36 -07002461 * cpuset_cpus_allowed - return cpus_allowed mask from a tasks cpuset.
2462 * @tsk: pointer to task_struct from which to obtain cpuset->cpus_allowed.
Li Zefan6af866a2009-01-07 18:08:45 -08002463 * @pmask: pointer to struct cpumask variable to receive cpus_allowed set.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002464 *
Li Zefan300ed6c2009-01-07 18:08:44 -08002465 * Description: Returns the cpumask_var_t cpus_allowed of the cpuset
Linus Torvalds1da177e2005-04-16 15:20:36 -07002466 * attached to the specified @tsk. Guaranteed to return some non-empty
Rusty Russell5f054e32012-03-29 15:38:31 +10302467 * subset of cpu_online_mask, even if this means going outside the
Linus Torvalds1da177e2005-04-16 15:20:36 -07002468 * tasks cpuset.
2469 **/
2470
Li Zefan6af866a2009-01-07 18:08:45 -08002471void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002472{
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002473 unsigned long flags;
2474
2475 spin_lock_irqsave(&callback_lock, flags);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002476 rcu_read_lock();
Li Zefanae1c8022014-07-09 16:48:32 +08002477 guarantee_online_cpus(task_cs(tsk), pmask);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002478 rcu_read_unlock();
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002479 spin_unlock_irqrestore(&callback_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002480}
2481
Peter Zijlstra2baab4e2012-03-20 15:57:01 +01002482void cpuset_cpus_allowed_fallback(struct task_struct *tsk)
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002483{
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002484 rcu_read_lock();
Li Zefanae1c8022014-07-09 16:48:32 +08002485 do_set_cpus_allowed(tsk, task_cs(tsk)->effective_cpus);
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002486 rcu_read_unlock();
2487
2488 /*
2489 * We own tsk->cpus_allowed, nobody can change it under us.
2490 *
2491 * But we used cs && cs->cpus_allowed lockless and thus can
2492 * race with cgroup_attach_task() or update_cpumask() and get
2493 * the wrong tsk->cpus_allowed. However, both cases imply the
2494 * subsequent cpuset_change_cpumask()->set_cpus_allowed_ptr()
2495 * which takes task_rq_lock().
2496 *
2497 * If we are called after it dropped the lock we must see all
2498 * changes in tsk_cs()->cpus_allowed. Otherwise we can temporary
2499 * set any mask even if it is not right from task_cs() pov,
2500 * the pending set_cpus_allowed_ptr() will fix things.
Peter Zijlstra2baab4e2012-03-20 15:57:01 +01002501 *
2502 * select_fallback_rq() will fix things ups and set cpu_possible_mask
2503 * if required.
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002504 */
Oleg Nesterov9084bb82010-03-15 10:10:27 +01002505}
2506
Rasmus Villemoes8f4ab072015-02-12 15:00:16 -08002507void __init cpuset_init_current_mems_allowed(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002508{
Mike Travisf9a86fc2008-04-04 18:11:07 -07002509 nodes_setall(current->mems_allowed);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002510}
2511
Randy Dunlapd9fd8a62005-07-27 11:45:11 -07002512/**
Paul Jackson909d75a2006-01-08 01:01:55 -08002513 * cpuset_mems_allowed - return mems_allowed mask from a tasks cpuset.
2514 * @tsk: pointer to task_struct from which to obtain cpuset->mems_allowed.
2515 *
2516 * Description: Returns the nodemask_t mems_allowed of the cpuset
2517 * attached to the specified @tsk. Guaranteed to return some non-empty
Lai Jiangshan38d7bee2012-12-12 13:51:24 -08002518 * subset of node_states[N_MEMORY], even if this means going outside the
Paul Jackson909d75a2006-01-08 01:01:55 -08002519 * tasks cpuset.
2520 **/
2521
2522nodemask_t cpuset_mems_allowed(struct task_struct *tsk)
2523{
2524 nodemask_t mask;
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002525 unsigned long flags;
Paul Jackson909d75a2006-01-08 01:01:55 -08002526
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002527 spin_lock_irqsave(&callback_lock, flags);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002528 rcu_read_lock();
Li Zefanae1c8022014-07-09 16:48:32 +08002529 guarantee_online_mems(task_cs(tsk), &mask);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002530 rcu_read_unlock();
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002531 spin_unlock_irqrestore(&callback_lock, flags);
Paul Jackson909d75a2006-01-08 01:01:55 -08002532
2533 return mask;
2534}
2535
2536/**
Mel Gorman19770b32008-04-28 02:12:18 -07002537 * cpuset_nodemask_valid_mems_allowed - check nodemask vs. curremt mems_allowed
2538 * @nodemask: the nodemask to be checked
Randy Dunlapd9fd8a62005-07-27 11:45:11 -07002539 *
Mel Gorman19770b32008-04-28 02:12:18 -07002540 * Are any of the nodes in the nodemask allowed in current->mems_allowed?
Linus Torvalds1da177e2005-04-16 15:20:36 -07002541 */
Mel Gorman19770b32008-04-28 02:12:18 -07002542int cpuset_nodemask_valid_mems_allowed(nodemask_t *nodemask)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002543{
Mel Gorman19770b32008-04-28 02:12:18 -07002544 return nodes_intersects(*nodemask, current->mems_allowed);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002545}
2546
Paul Jackson9bf22292005-09-06 15:18:12 -07002547/*
Paul Menage78608362008-04-29 01:00:26 -07002548 * nearest_hardwall_ancestor() - Returns the nearest mem_exclusive or
2549 * mem_hardwall ancestor to the specified cpuset. Call holding
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002550 * callback_lock. If no ancestor is mem_exclusive or mem_hardwall
Paul Menage78608362008-04-29 01:00:26 -07002551 * (an unusual configuration), then returns the root cpuset.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002552 */
Tejun Heoc9710d82013-08-08 20:11:22 -04002553static struct cpuset *nearest_hardwall_ancestor(struct cpuset *cs)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002554{
Tejun Heoc4310692013-01-07 08:51:08 -08002555 while (!(is_mem_exclusive(cs) || is_mem_hardwall(cs)) && parent_cs(cs))
2556 cs = parent_cs(cs);
Paul Jackson9bf22292005-09-06 15:18:12 -07002557 return cs;
2558}
2559
2560/**
Vladimir Davydov344736f2014-10-20 15:50:30 +04002561 * cpuset_node_allowed - Can we allocate on a memory node?
David Rientjesa1bc5a42009-04-02 16:57:54 -07002562 * @node: is this an allowed node?
Paul Jackson02a0e532006-12-13 00:34:25 -08002563 * @gfp_mask: memory allocation flags
Paul Jackson9bf22292005-09-06 15:18:12 -07002564 *
David Rientjes6e276d22015-04-14 15:47:01 -07002565 * If we're in interrupt, yes, we can always allocate. If @node is set in
2566 * current's mems_allowed, yes. If it's not a __GFP_HARDWALL request and this
2567 * node is set in the nearest hardwalled cpuset ancestor to current's cpuset,
2568 * yes. If current has access to memory reserves due to TIF_MEMDIE, yes.
Paul Jackson9bf22292005-09-06 15:18:12 -07002569 * Otherwise, no.
2570 *
2571 * GFP_USER allocations are marked with the __GFP_HARDWALL bit,
David Rientjesc596d9f2007-05-06 14:49:32 -07002572 * and do not allow allocations outside the current tasks cpuset
2573 * unless the task has been OOM killed as is marked TIF_MEMDIE.
Paul Jackson9bf22292005-09-06 15:18:12 -07002574 * GFP_KERNEL allocations are not so marked, so can escape to the
Paul Menage78608362008-04-29 01:00:26 -07002575 * nearest enclosing hardwalled ancestor cpuset.
Paul Jackson9bf22292005-09-06 15:18:12 -07002576 *
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002577 * Scanning up parent cpusets requires callback_lock. The
Paul Jackson02a0e532006-12-13 00:34:25 -08002578 * __alloc_pages() routine only calls here with __GFP_HARDWALL bit
2579 * _not_ set if it's a GFP_KERNEL allocation, and all nodes in the
2580 * current tasks mems_allowed came up empty on the first pass over
2581 * the zonelist. So only GFP_KERNEL allocations, if all nodes in the
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002582 * cpuset are short of memory, might require taking the callback_lock.
Paul Jackson9bf22292005-09-06 15:18:12 -07002583 *
Paul Jackson36be57f2006-05-20 15:00:10 -07002584 * The first call here from mm/page_alloc:get_page_from_freelist()
Paul Jackson02a0e532006-12-13 00:34:25 -08002585 * has __GFP_HARDWALL set in gfp_mask, enforcing hardwall cpusets,
2586 * so no allocation on a node outside the cpuset is allowed (unless
2587 * in interrupt, of course).
Paul Jackson9bf22292005-09-06 15:18:12 -07002588 *
Paul Jackson36be57f2006-05-20 15:00:10 -07002589 * The second pass through get_page_from_freelist() doesn't even call
2590 * here for GFP_ATOMIC calls. For those calls, the __alloc_pages()
2591 * variable 'wait' is not set, and the bit ALLOC_CPUSET is not set
2592 * in alloc_flags. That logic and the checks below have the combined
2593 * affect that:
Paul Jackson9bf22292005-09-06 15:18:12 -07002594 * in_interrupt - any node ok (current task context irrelevant)
2595 * GFP_ATOMIC - any node ok
David Rientjesc596d9f2007-05-06 14:49:32 -07002596 * TIF_MEMDIE - any node ok
Paul Menage78608362008-04-29 01:00:26 -07002597 * GFP_KERNEL - any node in enclosing hardwalled cpuset ok
Paul Jackson9bf22292005-09-06 15:18:12 -07002598 * GFP_USER - only nodes in current tasks mems allowed ok.
Paul Jackson02a0e532006-12-13 00:34:25 -08002599 */
Vlastimil Babka002f2902016-05-19 17:14:30 -07002600bool __cpuset_node_allowed(int node, gfp_t gfp_mask)
Paul Jackson9bf22292005-09-06 15:18:12 -07002601{
Tejun Heoc9710d82013-08-08 20:11:22 -04002602 struct cpuset *cs; /* current cpuset ancestors */
Paul Jackson29afd492006-03-24 03:16:12 -08002603 int allowed; /* is allocation in zone z allowed? */
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002604 unsigned long flags;
Paul Jackson9bf22292005-09-06 15:18:12 -07002605
David Rientjes6e276d22015-04-14 15:47:01 -07002606 if (in_interrupt())
Vlastimil Babka002f2902016-05-19 17:14:30 -07002607 return true;
Paul Jackson9bf22292005-09-06 15:18:12 -07002608 if (node_isset(node, current->mems_allowed))
Vlastimil Babka002f2902016-05-19 17:14:30 -07002609 return true;
David Rientjesc596d9f2007-05-06 14:49:32 -07002610 /*
2611 * Allow tasks that have access to memory reserves because they have
2612 * been OOM killed to get memory anywhere.
2613 */
2614 if (unlikely(test_thread_flag(TIF_MEMDIE)))
Vlastimil Babka002f2902016-05-19 17:14:30 -07002615 return true;
Paul Jackson9bf22292005-09-06 15:18:12 -07002616 if (gfp_mask & __GFP_HARDWALL) /* If hardwall request, stop here */
Vlastimil Babka002f2902016-05-19 17:14:30 -07002617 return false;
Paul Jackson9bf22292005-09-06 15:18:12 -07002618
Bob Picco5563e772005-11-13 16:06:35 -08002619 if (current->flags & PF_EXITING) /* Let dying task have memory */
Vlastimil Babka002f2902016-05-19 17:14:30 -07002620 return true;
Bob Picco5563e772005-11-13 16:06:35 -08002621
Paul Jackson9bf22292005-09-06 15:18:12 -07002622 /* Not hardwall and node outside mems_allowed: scan up cpusets */
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002623 spin_lock_irqsave(&callback_lock, flags);
Paul Jackson053199e2005-10-30 15:02:30 -08002624
Li Zefanb8dadcb2014-03-03 17:28:36 -05002625 rcu_read_lock();
Paul Menage78608362008-04-29 01:00:26 -07002626 cs = nearest_hardwall_ancestor(task_cs(current));
Li Zefan99afb0f2014-02-27 18:19:36 +08002627 allowed = node_isset(node, cs->mems_allowed);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002628 rcu_read_unlock();
Paul Jackson053199e2005-10-30 15:02:30 -08002629
Vladimir Davydov8447a0f2014-10-20 15:50:29 +04002630 spin_unlock_irqrestore(&callback_lock, flags);
Paul Jackson9bf22292005-09-06 15:18:12 -07002631 return allowed;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002632}
2633
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002634/**
Jack Steiner6adef3e2010-05-26 14:42:49 -07002635 * cpuset_mem_spread_node() - On which node to begin search for a file page
2636 * cpuset_slab_spread_node() - On which node to begin search for a slab page
Paul Jackson825a46a2006-03-24 03:16:03 -08002637 *
2638 * If a task is marked PF_SPREAD_PAGE or PF_SPREAD_SLAB (as for
2639 * tasks in a cpuset with is_spread_page or is_spread_slab set),
2640 * and if the memory allocation used cpuset_mem_spread_node()
2641 * to determine on which node to start looking, as it will for
2642 * certain page cache or slab cache pages such as used for file
2643 * system buffers and inode caches, then instead of starting on the
2644 * local node to look for a free page, rather spread the starting
2645 * node around the tasks mems_allowed nodes.
2646 *
2647 * We don't have to worry about the returned node being offline
2648 * because "it can't happen", and even if it did, it would be ok.
2649 *
2650 * The routines calling guarantee_online_mems() are careful to
2651 * only set nodes in task->mems_allowed that are online. So it
2652 * should not be possible for the following code to return an
2653 * offline node. But if it did, that would be ok, as this routine
2654 * is not returning the node where the allocation must be, only
2655 * the node where the search should start. The zonelist passed to
2656 * __alloc_pages() will include all nodes. If the slab allocator
2657 * is passed an offline node, it will fall back to the local node.
2658 * See kmem_cache_alloc_node().
2659 */
2660
Jack Steiner6adef3e2010-05-26 14:42:49 -07002661static int cpuset_spread_node(int *rotor)
Paul Jackson825a46a2006-03-24 03:16:03 -08002662{
Andrew Morton0edaf862016-05-19 17:10:58 -07002663 return *rotor = next_node_in(*rotor, current->mems_allowed);
Paul Jackson825a46a2006-03-24 03:16:03 -08002664}
Jack Steiner6adef3e2010-05-26 14:42:49 -07002665
2666int cpuset_mem_spread_node(void)
2667{
Michal Hocko778d3b02011-07-26 16:08:30 -07002668 if (current->cpuset_mem_spread_rotor == NUMA_NO_NODE)
2669 current->cpuset_mem_spread_rotor =
2670 node_random(&current->mems_allowed);
2671
Jack Steiner6adef3e2010-05-26 14:42:49 -07002672 return cpuset_spread_node(&current->cpuset_mem_spread_rotor);
2673}
2674
2675int cpuset_slab_spread_node(void)
2676{
Michal Hocko778d3b02011-07-26 16:08:30 -07002677 if (current->cpuset_slab_spread_rotor == NUMA_NO_NODE)
2678 current->cpuset_slab_spread_rotor =
2679 node_random(&current->mems_allowed);
2680
Jack Steiner6adef3e2010-05-26 14:42:49 -07002681 return cpuset_spread_node(&current->cpuset_slab_spread_rotor);
2682}
2683
Paul Jackson825a46a2006-03-24 03:16:03 -08002684EXPORT_SYMBOL_GPL(cpuset_mem_spread_node);
2685
2686/**
David Rientjesbbe373f2007-10-16 23:25:58 -07002687 * cpuset_mems_allowed_intersects - Does @tsk1's mems_allowed intersect @tsk2's?
2688 * @tsk1: pointer to task_struct of some task.
2689 * @tsk2: pointer to task_struct of some other task.
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002690 *
David Rientjesbbe373f2007-10-16 23:25:58 -07002691 * Description: Return true if @tsk1's mems_allowed intersects the
2692 * mems_allowed of @tsk2. Used by the OOM killer to determine if
2693 * one of the task's memory usage might impact the memory available
2694 * to the other.
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002695 **/
2696
David Rientjesbbe373f2007-10-16 23:25:58 -07002697int cpuset_mems_allowed_intersects(const struct task_struct *tsk1,
2698 const struct task_struct *tsk2)
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002699{
David Rientjesbbe373f2007-10-16 23:25:58 -07002700 return nodes_intersects(tsk1->mems_allowed, tsk2->mems_allowed);
Paul Jacksonef08e3b2005-09-06 15:18:13 -07002701}
2702
David Rientjes75aa1992009-01-06 14:39:01 -08002703/**
David Rientjesda39da32015-11-05 18:48:05 -08002704 * cpuset_print_current_mems_allowed - prints current's cpuset and mems_allowed
David Rientjes75aa1992009-01-06 14:39:01 -08002705 *
David Rientjesda39da32015-11-05 18:48:05 -08002706 * Description: Prints current's name, cpuset name, and cached copy of its
Li Zefanb8dadcb2014-03-03 17:28:36 -05002707 * mems_allowed to the kernel log.
David Rientjes75aa1992009-01-06 14:39:01 -08002708 */
David Rientjesda39da32015-11-05 18:48:05 -08002709void cpuset_print_current_mems_allowed(void)
David Rientjes75aa1992009-01-06 14:39:01 -08002710{
Li Zefanb8dadcb2014-03-03 17:28:36 -05002711 struct cgroup *cgrp;
David Rientjes75aa1992009-01-06 14:39:01 -08002712
Li Zefanb8dadcb2014-03-03 17:28:36 -05002713 rcu_read_lock();
Li Zefan63f43f52013-01-25 16:08:01 +08002714
David Rientjesda39da32015-11-05 18:48:05 -08002715 cgrp = task_cs(current)->css.cgroup;
2716 pr_info("%s cpuset=", current->comm);
Tejun Heoe61734c2014-02-12 09:29:50 -05002717 pr_cont_cgroup_name(cgrp);
David Rientjesda39da32015-11-05 18:48:05 -08002718 pr_cont(" mems_allowed=%*pbl\n",
2719 nodemask_pr_args(&current->mems_allowed));
Li Zefanf440d982013-03-01 15:02:15 +08002720
Li Zefancfb59662013-03-12 10:28:39 +08002721 rcu_read_unlock();
David Rientjes75aa1992009-01-06 14:39:01 -08002722}
2723
Linus Torvalds1da177e2005-04-16 15:20:36 -07002724/*
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002725 * Collection of memory_pressure is suppressed unless
2726 * this flag is enabled by writing "1" to the special
2727 * cpuset file 'memory_pressure_enabled' in the root cpuset.
2728 */
2729
Paul Jacksonc5b2aff2006-01-08 01:01:51 -08002730int cpuset_memory_pressure_enabled __read_mostly;
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002731
2732/**
2733 * cpuset_memory_pressure_bump - keep stats of per-cpuset reclaims.
2734 *
2735 * Keep a running average of the rate of synchronous (direct)
2736 * page reclaim efforts initiated by tasks in each cpuset.
2737 *
2738 * This represents the rate at which some task in the cpuset
2739 * ran low on memory on all nodes it was allowed to use, and
2740 * had to enter the kernels page reclaim code in an effort to
2741 * create more free memory by tossing clean pages or swapping
2742 * or writing dirty pages.
2743 *
2744 * Display to user space in the per-cpuset read-only file
2745 * "memory_pressure". Value displayed is an integer
2746 * representing the recent rate of entry into the synchronous
2747 * (direct) page reclaim by any task attached to the cpuset.
2748 **/
2749
2750void __cpuset_memory_pressure_bump(void)
2751{
Li Zefanb8dadcb2014-03-03 17:28:36 -05002752 rcu_read_lock();
Paul Menage8793d852007-10-18 23:39:39 -07002753 fmeter_markevent(&task_cs(current)->fmeter);
Li Zefanb8dadcb2014-03-03 17:28:36 -05002754 rcu_read_unlock();
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002755}
2756
Paul Menage8793d852007-10-18 23:39:39 -07002757#ifdef CONFIG_PROC_PID_CPUSET
Paul Jackson3e0d98b2006-01-08 01:01:49 -08002758/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07002759 * proc_cpuset_show()
2760 * - Print tasks cpuset path into seq_file.
2761 * - Used for /proc/<pid>/cpuset.
Paul Jackson053199e2005-10-30 15:02:30 -08002762 * - No need to task_lock(tsk) on this tsk->cpuset reference, as it
2763 * doesn't really matter if tsk->cpuset changes after we read it,
Tejun Heo5d21cc22013-01-07 08:51:08 -08002764 * and we take cpuset_mutex, keeping cpuset_attach() from changing it
Paul Menage2df167a2008-02-07 00:14:45 -08002765 * anyway.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002766 */
Zefan Li52de4772014-09-18 16:03:36 +08002767int proc_cpuset_show(struct seq_file *m, struct pid_namespace *ns,
2768 struct pid *pid, struct task_struct *tsk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002769{
Tejun Heo4c737b42016-08-10 11:23:44 -04002770 char *buf;
Paul Menage8793d852007-10-18 23:39:39 -07002771 struct cgroup_subsys_state *css;
Eric W. Biederman99f89552006-06-26 00:25:55 -07002772 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002773
Eric W. Biederman99f89552006-06-26 00:25:55 -07002774 retval = -ENOMEM;
Tejun Heoe61734c2014-02-12 09:29:50 -05002775 buf = kmalloc(PATH_MAX, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002776 if (!buf)
Eric W. Biederman99f89552006-06-26 00:25:55 -07002777 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002778
Aditya Kalia79a9082016-01-29 02:54:06 -06002779 css = task_get_css(tsk, cpuset_cgrp_id);
Tejun Heo4c737b42016-08-10 11:23:44 -04002780 retval = cgroup_path_ns(css->cgroup, buf, PATH_MAX,
2781 current->nsproxy->cgroup_ns);
Aditya Kalia79a9082016-01-29 02:54:06 -06002782 css_put(css);
Tejun Heo4c737b42016-08-10 11:23:44 -04002783 if (retval >= PATH_MAX)
Tejun Heo679a5e32016-09-29 11:58:36 +02002784 retval = -ENAMETOOLONG;
2785 if (retval < 0)
Zefan Li52de4772014-09-18 16:03:36 +08002786 goto out_free;
Tejun Heo4c737b42016-08-10 11:23:44 -04002787 seq_puts(m, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002788 seq_putc(m, '\n');
Tejun Heoe61734c2014-02-12 09:29:50 -05002789 retval = 0;
Eric W. Biederman99f89552006-06-26 00:25:55 -07002790out_free:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002791 kfree(buf);
Eric W. Biederman99f89552006-06-26 00:25:55 -07002792out:
Linus Torvalds1da177e2005-04-16 15:20:36 -07002793 return retval;
2794}
Paul Menage8793d852007-10-18 23:39:39 -07002795#endif /* CONFIG_PROC_PID_CPUSET */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002796
Heiko Carstensd01d4822009-09-21 11:06:27 +02002797/* Display task mems_allowed in /proc/<pid>/status file. */
Eric W. Biedermandf5f8312008-02-08 04:18:33 -08002798void cpuset_task_status_allowed(struct seq_file *m, struct task_struct *task)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002799{
Tejun Heoe8e6d972015-02-13 14:37:23 -08002800 seq_printf(m, "Mems_allowed:\t%*pb\n",
2801 nodemask_pr_args(&task->mems_allowed));
2802 seq_printf(m, "Mems_allowed_list:\t%*pbl\n",
2803 nodemask_pr_args(&task->mems_allowed));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002804}