blob: 0aa224c31f10a827d753592f730b5c1ce3839115 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001/*
2 * kernel/cpuset.c
3 *
4 * Processor and Memory placement constraints for sets of tasks.
5 *
6 * Copyright (C) 2003 BULL SA.
7 * Copyright (C) 2004-2007 Silicon Graphics, Inc.
8 * Copyright (C) 2006 Google, Inc
9 *
10 * Portions derived from Patrick Mochel's sysfs code.
11 * sysfs is Copyright (c) 2001-3 Patrick Mochel
12 *
13 * 2003-10-10 Written by Simon Derr.
14 * 2003-10-22 Updates by Stephen Hemminger.
15 * 2004 May-July Rework by Paul Jackson.
16 * 2006 Rework by Paul Menage to use generic cgroups
17 * 2008 Rework of the scheduler domains and CPU hotplug handling
18 * by Max Krasnyansky
19 *
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
25#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>
37#include <linux/mempolicy.h>
38#include <linux/mm.h>
39#include <linux/memory.h>
40#include <linux/export.h>
41#include <linux/mount.h>
David Brazdil0f672f62019-12-10 10:32:29 +000042#include <linux/fs_context.h>
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000043#include <linux/namei.h>
44#include <linux/pagemap.h>
45#include <linux/proc_fs.h>
46#include <linux/rcupdate.h>
47#include <linux/sched.h>
David Brazdil0f672f62019-12-10 10:32:29 +000048#include <linux/sched/deadline.h>
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000049#include <linux/sched/mm.h>
50#include <linux/sched/task.h>
51#include <linux/seq_file.h>
52#include <linux/security.h>
53#include <linux/slab.h>
54#include <linux/spinlock.h>
55#include <linux/stat.h>
56#include <linux/string.h>
57#include <linux/time.h>
58#include <linux/time64.h>
59#include <linux/backing-dev.h>
60#include <linux/sort.h>
61#include <linux/oom.h>
62#include <linux/sched/isolation.h>
63#include <linux/uaccess.h>
64#include <linux/atomic.h>
65#include <linux/mutex.h>
66#include <linux/cgroup.h>
67#include <linux/wait.h>
68
69DEFINE_STATIC_KEY_FALSE(cpusets_pre_enable_key);
70DEFINE_STATIC_KEY_FALSE(cpusets_enabled_key);
71
72/* See "Frequency meter" comments, below. */
73
74struct fmeter {
75 int cnt; /* unprocessed events count */
76 int val; /* most recent output value */
77 time64_t time; /* clock (secs) when val computed */
78 spinlock_t lock; /* guards read or write of above */
79};
80
81struct cpuset {
82 struct cgroup_subsys_state css;
83
84 unsigned long flags; /* "unsigned long" so bitops work */
85
86 /*
87 * On default hierarchy:
88 *
89 * The user-configured masks can only be changed by writing to
90 * cpuset.cpus and cpuset.mems, and won't be limited by the
91 * parent masks.
92 *
93 * The effective masks is the real masks that apply to the tasks
94 * in the cpuset. They may be changed if the configured masks are
95 * changed or hotplug happens.
96 *
97 * effective_mask == configured_mask & parent's effective_mask,
98 * and if it ends up empty, it will inherit the parent's mask.
99 *
100 *
101 * On legacy hierachy:
102 *
103 * The user-configured masks are always the same with effective masks.
104 */
105
106 /* user-configured CPUs and Memory Nodes allow to tasks */
107 cpumask_var_t cpus_allowed;
108 nodemask_t mems_allowed;
109
110 /* effective CPUs and Memory Nodes allow to tasks */
111 cpumask_var_t effective_cpus;
112 nodemask_t effective_mems;
113
114 /*
David Brazdil0f672f62019-12-10 10:32:29 +0000115 * CPUs allocated to child sub-partitions (default hierarchy only)
116 * - CPUs granted by the parent = effective_cpus U subparts_cpus
117 * - effective_cpus and subparts_cpus are mutually exclusive.
118 *
119 * effective_cpus contains only onlined CPUs, but subparts_cpus
120 * may have offlined ones.
121 */
122 cpumask_var_t subparts_cpus;
123
124 /*
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000125 * This is old Memory Nodes tasks took on.
126 *
127 * - top_cpuset.old_mems_allowed is initialized to mems_allowed.
128 * - A new cpuset's old_mems_allowed is initialized when some
129 * task is moved into it.
130 * - old_mems_allowed is used in cpuset_migrate_mm() when we change
131 * cpuset.mems_allowed and have tasks' nodemask updated, and
132 * then old_mems_allowed is updated to mems_allowed.
133 */
134 nodemask_t old_mems_allowed;
135
136 struct fmeter fmeter; /* memory_pressure filter */
137
138 /*
139 * Tasks are being attached to this cpuset. Used to prevent
140 * zeroing cpus/mems_allowed between ->can_attach() and ->attach().
141 */
142 int attach_in_progress;
143
144 /* partition number for rebuild_sched_domains() */
145 int pn;
146
147 /* for custom sched domain */
148 int relax_domain_level;
David Brazdil0f672f62019-12-10 10:32:29 +0000149
150 /* number of CPUs in subparts_cpus */
151 int nr_subparts_cpus;
152
153 /* partition root state */
154 int partition_root_state;
155
156 /*
157 * Default hierarchy only:
158 * use_parent_ecpus - set if using parent's effective_cpus
159 * child_ecpus_count - # of children with use_parent_ecpus set
160 */
161 int use_parent_ecpus;
162 int child_ecpus_count;
163};
164
165/*
166 * Partition root states:
167 *
168 * 0 - not a partition root
169 *
170 * 1 - partition root
171 *
172 * -1 - invalid partition root
173 * None of the cpus in cpus_allowed can be put into the parent's
174 * subparts_cpus. In this case, the cpuset is not a real partition
175 * root anymore. However, the CPU_EXCLUSIVE bit will still be set
176 * and the cpuset can be restored back to a partition root if the
177 * parent cpuset can give more CPUs back to this child cpuset.
178 */
179#define PRS_DISABLED 0
180#define PRS_ENABLED 1
181#define PRS_ERROR -1
182
183/*
184 * Temporary cpumasks for working with partitions that are passed among
185 * functions to avoid memory allocation in inner functions.
186 */
187struct tmpmasks {
188 cpumask_var_t addmask, delmask; /* For partition root */
189 cpumask_var_t new_cpus; /* For update_cpumasks_hier() */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000190};
191
192static inline struct cpuset *css_cs(struct cgroup_subsys_state *css)
193{
194 return css ? container_of(css, struct cpuset, css) : NULL;
195}
196
197/* Retrieve the cpuset for a task */
198static inline struct cpuset *task_cs(struct task_struct *task)
199{
200 return css_cs(task_css(task, cpuset_cgrp_id));
201}
202
203static inline struct cpuset *parent_cs(struct cpuset *cs)
204{
205 return css_cs(cs->css.parent);
206}
207
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000208/* bits in struct cpuset flags field */
209typedef enum {
210 CS_ONLINE,
211 CS_CPU_EXCLUSIVE,
212 CS_MEM_EXCLUSIVE,
213 CS_MEM_HARDWALL,
214 CS_MEMORY_MIGRATE,
215 CS_SCHED_LOAD_BALANCE,
216 CS_SPREAD_PAGE,
217 CS_SPREAD_SLAB,
218} cpuset_flagbits_t;
219
220/* convenient tests for these bits */
221static inline bool is_cpuset_online(struct cpuset *cs)
222{
223 return test_bit(CS_ONLINE, &cs->flags) && !css_is_dying(&cs->css);
224}
225
226static inline int is_cpu_exclusive(const struct cpuset *cs)
227{
228 return test_bit(CS_CPU_EXCLUSIVE, &cs->flags);
229}
230
231static inline int is_mem_exclusive(const struct cpuset *cs)
232{
233 return test_bit(CS_MEM_EXCLUSIVE, &cs->flags);
234}
235
236static inline int is_mem_hardwall(const struct cpuset *cs)
237{
238 return test_bit(CS_MEM_HARDWALL, &cs->flags);
239}
240
241static inline int is_sched_load_balance(const struct cpuset *cs)
242{
243 return test_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
244}
245
246static inline int is_memory_migrate(const struct cpuset *cs)
247{
248 return test_bit(CS_MEMORY_MIGRATE, &cs->flags);
249}
250
251static inline int is_spread_page(const struct cpuset *cs)
252{
253 return test_bit(CS_SPREAD_PAGE, &cs->flags);
254}
255
256static inline int is_spread_slab(const struct cpuset *cs)
257{
258 return test_bit(CS_SPREAD_SLAB, &cs->flags);
259}
260
David Brazdil0f672f62019-12-10 10:32:29 +0000261static inline int is_partition_root(const struct cpuset *cs)
262{
263 return cs->partition_root_state > 0;
264}
265
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000266static struct cpuset top_cpuset = {
267 .flags = ((1 << CS_ONLINE) | (1 << CS_CPU_EXCLUSIVE) |
268 (1 << CS_MEM_EXCLUSIVE)),
David Brazdil0f672f62019-12-10 10:32:29 +0000269 .partition_root_state = PRS_ENABLED,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000270};
271
272/**
273 * cpuset_for_each_child - traverse online children of a cpuset
274 * @child_cs: loop cursor pointing to the current child
275 * @pos_css: used for iteration
276 * @parent_cs: target cpuset to walk children of
277 *
278 * Walk @child_cs through the online children of @parent_cs. Must be used
279 * with RCU read locked.
280 */
281#define cpuset_for_each_child(child_cs, pos_css, parent_cs) \
282 css_for_each_child((pos_css), &(parent_cs)->css) \
283 if (is_cpuset_online(((child_cs) = css_cs((pos_css)))))
284
285/**
286 * cpuset_for_each_descendant_pre - pre-order walk of a cpuset's descendants
287 * @des_cs: loop cursor pointing to the current descendant
288 * @pos_css: used for iteration
289 * @root_cs: target cpuset to walk ancestor of
290 *
291 * Walk @des_cs through the online descendants of @root_cs. Must be used
292 * with RCU read locked. The caller may modify @pos_css by calling
293 * css_rightmost_descendant() to skip subtree. @root_cs is included in the
294 * iteration and the first node to be visited.
295 */
296#define cpuset_for_each_descendant_pre(des_cs, pos_css, root_cs) \
297 css_for_each_descendant_pre((pos_css), &(root_cs)->css) \
298 if (is_cpuset_online(((des_cs) = css_cs((pos_css)))))
299
300/*
301 * There are two global locks guarding cpuset structures - cpuset_mutex and
302 * callback_lock. We also require taking task_lock() when dereferencing a
303 * task's cpuset pointer. See "The task_lock() exception", at the end of this
304 * comment.
305 *
306 * A task must hold both locks to modify cpusets. If a task holds
307 * cpuset_mutex, then it blocks others wanting that mutex, ensuring that it
308 * is the only task able to also acquire callback_lock and be able to
309 * modify cpusets. It can perform various checks on the cpuset structure
310 * first, knowing nothing will change. It can also allocate memory while
311 * just holding cpuset_mutex. While it is performing these checks, various
312 * callback routines can briefly acquire callback_lock to query cpusets.
313 * Once it is ready to make the changes, it takes callback_lock, blocking
314 * everyone else.
315 *
316 * Calls to the kernel memory allocator can not be made while holding
317 * callback_lock, as that would risk double tripping on callback_lock
318 * from one of the callbacks into the cpuset code from within
319 * __alloc_pages().
320 *
321 * If a task is only holding callback_lock, then it has read-only
322 * access to cpusets.
323 *
324 * Now, the task_struct fields mems_allowed and mempolicy may be changed
325 * by other task, we use alloc_lock in the task_struct fields to protect
326 * them.
327 *
328 * The cpuset_common_file_read() handlers only hold callback_lock across
329 * small pieces of code, such as when reading out possibly multi-word
330 * cpumasks and nodemasks.
331 *
332 * Accessing a task's cpuset should be done in accordance with the
333 * guidelines for accessing subsystem state in kernel/cgroup.c
334 */
335
David Brazdil0f672f62019-12-10 10:32:29 +0000336DEFINE_STATIC_PERCPU_RWSEM(cpuset_rwsem);
337
338void cpuset_read_lock(void)
339{
340 percpu_down_read(&cpuset_rwsem);
341}
342
343void cpuset_read_unlock(void)
344{
345 percpu_up_read(&cpuset_rwsem);
346}
347
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000348static DEFINE_SPINLOCK(callback_lock);
349
350static struct workqueue_struct *cpuset_migrate_mm_wq;
351
352/*
353 * CPU / memory hotplug is handled asynchronously.
354 */
355static void cpuset_hotplug_workfn(struct work_struct *work);
356static DECLARE_WORK(cpuset_hotplug_work, cpuset_hotplug_workfn);
357
358static DECLARE_WAIT_QUEUE_HEAD(cpuset_attach_wq);
359
360/*
Olivier Deprez157378f2022-04-04 15:47:50 +0200361 * Cgroup v2 behavior is used on the "cpus" and "mems" control files when
362 * on default hierarchy or when the cpuset_v2_mode flag is set by mounting
363 * the v1 cpuset cgroup filesystem with the "cpuset_v2_mode" mount option.
364 * With v2 behavior, "cpus" and "mems" are always what the users have
365 * requested and won't be changed by hotplug events. Only the effective
366 * cpus or mems will be affected.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000367 */
368static inline bool is_in_v2_mode(void)
369{
370 return cgroup_subsys_on_dfl(cpuset_cgrp_subsys) ||
371 (cpuset_cgrp_subsys.root->flags & CGRP_ROOT_CPUSET_V2_MODE);
372}
373
374/*
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000375 * Return in pmask the portion of a cpusets's cpus_allowed that
376 * are online. If none are online, walk up the cpuset hierarchy
377 * until we find one that does have some online cpus.
378 *
379 * One way or another, we guarantee to return some non-empty subset
380 * of cpu_online_mask.
381 *
382 * Call with callback_lock or cpuset_mutex held.
383 */
384static void guarantee_online_cpus(struct cpuset *cs, struct cpumask *pmask)
385{
386 while (!cpumask_intersects(cs->effective_cpus, cpu_online_mask)) {
387 cs = parent_cs(cs);
388 if (unlikely(!cs)) {
389 /*
390 * The top cpuset doesn't have any online cpu as a
391 * consequence of a race between cpuset_hotplug_work
392 * and cpu hotplug notifier. But we know the top
Olivier Deprez157378f2022-04-04 15:47:50 +0200393 * cpuset's effective_cpus is on its way to be
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000394 * identical to cpu_online_mask.
395 */
396 cpumask_copy(pmask, cpu_online_mask);
397 return;
398 }
399 }
400 cpumask_and(pmask, cs->effective_cpus, cpu_online_mask);
401}
402
403/*
404 * Return in *pmask the portion of a cpusets's mems_allowed that
405 * are online, with memory. If none are online with memory, walk
406 * up the cpuset hierarchy until we find one that does have some
407 * online mems. The top cpuset always has some mems online.
408 *
409 * One way or another, we guarantee to return some non-empty subset
410 * of node_states[N_MEMORY].
411 *
412 * Call with callback_lock or cpuset_mutex held.
413 */
414static void guarantee_online_mems(struct cpuset *cs, nodemask_t *pmask)
415{
416 while (!nodes_intersects(cs->effective_mems, node_states[N_MEMORY]))
417 cs = parent_cs(cs);
418 nodes_and(*pmask, cs->effective_mems, node_states[N_MEMORY]);
419}
420
421/*
422 * update task's spread flag if cpuset's page/slab spread flag is set
423 *
424 * Call with callback_lock or cpuset_mutex held.
425 */
426static void cpuset_update_task_spread_flag(struct cpuset *cs,
427 struct task_struct *tsk)
428{
429 if (is_spread_page(cs))
430 task_set_spread_page(tsk);
431 else
432 task_clear_spread_page(tsk);
433
434 if (is_spread_slab(cs))
435 task_set_spread_slab(tsk);
436 else
437 task_clear_spread_slab(tsk);
438}
439
440/*
441 * is_cpuset_subset(p, q) - Is cpuset p a subset of cpuset q?
442 *
443 * One cpuset is a subset of another if all its allowed CPUs and
444 * Memory Nodes are a subset of the other, and its exclusive flags
445 * are only set if the other's are set. Call holding cpuset_mutex.
446 */
447
448static int is_cpuset_subset(const struct cpuset *p, const struct cpuset *q)
449{
450 return cpumask_subset(p->cpus_allowed, q->cpus_allowed) &&
451 nodes_subset(p->mems_allowed, q->mems_allowed) &&
452 is_cpu_exclusive(p) <= is_cpu_exclusive(q) &&
453 is_mem_exclusive(p) <= is_mem_exclusive(q);
454}
455
456/**
David Brazdil0f672f62019-12-10 10:32:29 +0000457 * alloc_cpumasks - allocate three cpumasks for cpuset
458 * @cs: the cpuset that have cpumasks to be allocated.
459 * @tmp: the tmpmasks structure pointer
460 * Return: 0 if successful, -ENOMEM otherwise.
461 *
462 * Only one of the two input arguments should be non-NULL.
463 */
464static inline int alloc_cpumasks(struct cpuset *cs, struct tmpmasks *tmp)
465{
466 cpumask_var_t *pmask1, *pmask2, *pmask3;
467
468 if (cs) {
469 pmask1 = &cs->cpus_allowed;
470 pmask2 = &cs->effective_cpus;
471 pmask3 = &cs->subparts_cpus;
472 } else {
473 pmask1 = &tmp->new_cpus;
474 pmask2 = &tmp->addmask;
475 pmask3 = &tmp->delmask;
476 }
477
478 if (!zalloc_cpumask_var(pmask1, GFP_KERNEL))
479 return -ENOMEM;
480
481 if (!zalloc_cpumask_var(pmask2, GFP_KERNEL))
482 goto free_one;
483
484 if (!zalloc_cpumask_var(pmask3, GFP_KERNEL))
485 goto free_two;
486
487 return 0;
488
489free_two:
490 free_cpumask_var(*pmask2);
491free_one:
492 free_cpumask_var(*pmask1);
493 return -ENOMEM;
494}
495
496/**
497 * free_cpumasks - free cpumasks in a tmpmasks structure
498 * @cs: the cpuset that have cpumasks to be free.
499 * @tmp: the tmpmasks structure pointer
500 */
501static inline void free_cpumasks(struct cpuset *cs, struct tmpmasks *tmp)
502{
503 if (cs) {
504 free_cpumask_var(cs->cpus_allowed);
505 free_cpumask_var(cs->effective_cpus);
506 free_cpumask_var(cs->subparts_cpus);
507 }
508 if (tmp) {
509 free_cpumask_var(tmp->new_cpus);
510 free_cpumask_var(tmp->addmask);
511 free_cpumask_var(tmp->delmask);
512 }
513}
514
515/**
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000516 * alloc_trial_cpuset - allocate a trial cpuset
517 * @cs: the cpuset that the trial cpuset duplicates
518 */
519static struct cpuset *alloc_trial_cpuset(struct cpuset *cs)
520{
521 struct cpuset *trial;
522
523 trial = kmemdup(cs, sizeof(*cs), GFP_KERNEL);
524 if (!trial)
525 return NULL;
526
David Brazdil0f672f62019-12-10 10:32:29 +0000527 if (alloc_cpumasks(trial, NULL)) {
528 kfree(trial);
529 return NULL;
530 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000531
532 cpumask_copy(trial->cpus_allowed, cs->cpus_allowed);
533 cpumask_copy(trial->effective_cpus, cs->effective_cpus);
534 return trial;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000535}
536
537/**
David Brazdil0f672f62019-12-10 10:32:29 +0000538 * free_cpuset - free the cpuset
539 * @cs: the cpuset to be freed
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000540 */
David Brazdil0f672f62019-12-10 10:32:29 +0000541static inline void free_cpuset(struct cpuset *cs)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000542{
David Brazdil0f672f62019-12-10 10:32:29 +0000543 free_cpumasks(cs, NULL);
544 kfree(cs);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000545}
546
547/*
548 * validate_change() - Used to validate that any proposed cpuset change
549 * follows the structural rules for cpusets.
550 *
551 * If we replaced the flag and mask values of the current cpuset
552 * (cur) with those values in the trial cpuset (trial), would
553 * our various subset and exclusive rules still be valid? Presumes
554 * cpuset_mutex held.
555 *
556 * 'cur' is the address of an actual, in-use cpuset. Operations
557 * such as list traversal that depend on the actual address of the
558 * cpuset in the list must use cur below, not trial.
559 *
560 * 'trial' is the address of bulk structure copy of cur, with
561 * perhaps one or more of the fields cpus_allowed, mems_allowed,
562 * or flags changed to new, trial values.
563 *
564 * Return 0 if valid, -errno if not.
565 */
566
567static int validate_change(struct cpuset *cur, struct cpuset *trial)
568{
569 struct cgroup_subsys_state *css;
570 struct cpuset *c, *par;
571 int ret;
572
573 rcu_read_lock();
574
575 /* Each of our child cpusets must be a subset of us */
576 ret = -EBUSY;
577 cpuset_for_each_child(c, css, cur)
578 if (!is_cpuset_subset(c, trial))
579 goto out;
580
581 /* Remaining checks don't apply to root cpuset */
582 ret = 0;
583 if (cur == &top_cpuset)
584 goto out;
585
586 par = parent_cs(cur);
587
588 /* On legacy hiearchy, we must be a subset of our parent cpuset. */
589 ret = -EACCES;
590 if (!is_in_v2_mode() && !is_cpuset_subset(trial, par))
591 goto out;
592
593 /*
594 * If either I or some sibling (!= me) is exclusive, we can't
595 * overlap
596 */
597 ret = -EINVAL;
598 cpuset_for_each_child(c, css, par) {
599 if ((is_cpu_exclusive(trial) || is_cpu_exclusive(c)) &&
600 c != cur &&
601 cpumask_intersects(trial->cpus_allowed, c->cpus_allowed))
602 goto out;
603 if ((is_mem_exclusive(trial) || is_mem_exclusive(c)) &&
604 c != cur &&
605 nodes_intersects(trial->mems_allowed, c->mems_allowed))
606 goto out;
607 }
608
609 /*
610 * Cpusets with tasks - existing or newly being attached - can't
611 * be changed to have empty cpus_allowed or mems_allowed.
612 */
613 ret = -ENOSPC;
614 if ((cgroup_is_populated(cur->css.cgroup) || cur->attach_in_progress)) {
615 if (!cpumask_empty(cur->cpus_allowed) &&
616 cpumask_empty(trial->cpus_allowed))
617 goto out;
618 if (!nodes_empty(cur->mems_allowed) &&
619 nodes_empty(trial->mems_allowed))
620 goto out;
621 }
622
623 /*
624 * We can't shrink if we won't have enough room for SCHED_DEADLINE
625 * tasks.
626 */
627 ret = -EBUSY;
628 if (is_cpu_exclusive(cur) &&
629 !cpuset_cpumask_can_shrink(cur->cpus_allowed,
630 trial->cpus_allowed))
631 goto out;
632
633 ret = 0;
634out:
635 rcu_read_unlock();
636 return ret;
637}
638
639#ifdef CONFIG_SMP
640/*
641 * Helper routine for generate_sched_domains().
642 * Do cpusets a, b have overlapping effective cpus_allowed masks?
643 */
644static int cpusets_overlap(struct cpuset *a, struct cpuset *b)
645{
646 return cpumask_intersects(a->effective_cpus, b->effective_cpus);
647}
648
649static void
650update_domain_attr(struct sched_domain_attr *dattr, struct cpuset *c)
651{
652 if (dattr->relax_domain_level < c->relax_domain_level)
653 dattr->relax_domain_level = c->relax_domain_level;
654 return;
655}
656
657static void update_domain_attr_tree(struct sched_domain_attr *dattr,
658 struct cpuset *root_cs)
659{
660 struct cpuset *cp;
661 struct cgroup_subsys_state *pos_css;
662
663 rcu_read_lock();
664 cpuset_for_each_descendant_pre(cp, pos_css, root_cs) {
665 /* skip the whole subtree if @cp doesn't have any CPU */
666 if (cpumask_empty(cp->cpus_allowed)) {
667 pos_css = css_rightmost_descendant(pos_css);
668 continue;
669 }
670
671 if (is_sched_load_balance(cp))
672 update_domain_attr(dattr, cp);
673 }
674 rcu_read_unlock();
675}
676
677/* Must be called with cpuset_mutex held. */
678static inline int nr_cpusets(void)
679{
680 /* jump label reference count + the top-level cpuset */
681 return static_key_count(&cpusets_enabled_key.key) + 1;
682}
683
684/*
685 * generate_sched_domains()
686 *
687 * This function builds a partial partition of the systems CPUs
688 * A 'partial partition' is a set of non-overlapping subsets whose
689 * union is a subset of that set.
690 * The output of this function needs to be passed to kernel/sched/core.c
691 * partition_sched_domains() routine, which will rebuild the scheduler's
692 * load balancing domains (sched domains) as specified by that partial
693 * partition.
694 *
David Brazdil0f672f62019-12-10 10:32:29 +0000695 * See "What is sched_load_balance" in Documentation/admin-guide/cgroup-v1/cpusets.rst
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000696 * for a background explanation of this.
697 *
698 * Does not return errors, on the theory that the callers of this
699 * routine would rather not worry about failures to rebuild sched
700 * domains when operating in the severe memory shortage situations
701 * that could cause allocation failures below.
702 *
703 * Must be called with cpuset_mutex held.
704 *
705 * The three key local variables below are:
David Brazdil0f672f62019-12-10 10:32:29 +0000706 * cp - cpuset pointer, used (together with pos_css) to perform a
707 * top-down scan of all cpusets. For our purposes, rebuilding
708 * the schedulers sched domains, we can ignore !is_sched_load_
709 * balance cpusets.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000710 * csa - (for CpuSet Array) Array of pointers to all the cpusets
711 * that need to be load balanced, for convenient iterative
712 * access by the subsequent code that finds the best partition,
713 * i.e the set of domains (subsets) of CPUs such that the
714 * cpus_allowed of every cpuset marked is_sched_load_balance
715 * is a subset of one of these domains, while there are as
716 * many such domains as possible, each as small as possible.
717 * doms - Conversion of 'csa' to an array of cpumasks, for passing to
718 * the kernel/sched/core.c routine partition_sched_domains() in a
719 * convenient format, that can be easily compared to the prior
720 * value to determine what partition elements (sched domains)
721 * were changed (added or removed.)
722 *
723 * Finding the best partition (set of domains):
724 * The triple nested loops below over i, j, k scan over the
725 * load balanced cpusets (using the array of cpuset pointers in
726 * csa[]) looking for pairs of cpusets that have overlapping
727 * cpus_allowed, but which don't have the same 'pn' partition
728 * number and gives them in the same partition number. It keeps
729 * looping on the 'restart' label until it can no longer find
730 * any such pairs.
731 *
732 * The union of the cpus_allowed masks from the set of
733 * all cpusets having the same 'pn' value then form the one
734 * element of the partition (one sched domain) to be passed to
735 * partition_sched_domains().
736 */
737static int generate_sched_domains(cpumask_var_t **domains,
738 struct sched_domain_attr **attributes)
739{
David Brazdil0f672f62019-12-10 10:32:29 +0000740 struct cpuset *cp; /* top-down scan of cpusets */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000741 struct cpuset **csa; /* array of all cpuset ptrs */
742 int csn; /* how many cpuset ptrs in csa so far */
743 int i, j, k; /* indices for partition finding loops */
744 cpumask_var_t *doms; /* resulting partition; i.e. sched domains */
745 struct sched_domain_attr *dattr; /* attributes for custom domains */
746 int ndoms = 0; /* number of sched domains in result */
747 int nslot; /* next empty doms[] struct cpumask slot */
748 struct cgroup_subsys_state *pos_css;
David Brazdil0f672f62019-12-10 10:32:29 +0000749 bool root_load_balance = is_sched_load_balance(&top_cpuset);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000750
751 doms = NULL;
752 dattr = NULL;
753 csa = NULL;
754
755 /* Special case for the 99% of systems with one, full, sched domain */
David Brazdil0f672f62019-12-10 10:32:29 +0000756 if (root_load_balance && !top_cpuset.nr_subparts_cpus) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000757 ndoms = 1;
758 doms = alloc_sched_domains(ndoms);
759 if (!doms)
760 goto done;
761
762 dattr = kmalloc(sizeof(struct sched_domain_attr), GFP_KERNEL);
763 if (dattr) {
764 *dattr = SD_ATTR_INIT;
765 update_domain_attr_tree(dattr, &top_cpuset);
766 }
767 cpumask_and(doms[0], top_cpuset.effective_cpus,
768 housekeeping_cpumask(HK_FLAG_DOMAIN));
769
770 goto done;
771 }
772
773 csa = kmalloc_array(nr_cpusets(), sizeof(cp), GFP_KERNEL);
774 if (!csa)
775 goto done;
776 csn = 0;
777
778 rcu_read_lock();
David Brazdil0f672f62019-12-10 10:32:29 +0000779 if (root_load_balance)
780 csa[csn++] = &top_cpuset;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000781 cpuset_for_each_descendant_pre(cp, pos_css, &top_cpuset) {
782 if (cp == &top_cpuset)
783 continue;
784 /*
785 * Continue traversing beyond @cp iff @cp has some CPUs and
786 * isn't load balancing. The former is obvious. The
787 * latter: All child cpusets contain a subset of the
788 * parent's cpus, so just skip them, and then we call
789 * update_domain_attr_tree() to calc relax_domain_level of
790 * the corresponding sched domain.
David Brazdil0f672f62019-12-10 10:32:29 +0000791 *
792 * If root is load-balancing, we can skip @cp if it
793 * is a subset of the root's effective_cpus.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000794 */
795 if (!cpumask_empty(cp->cpus_allowed) &&
796 !(is_sched_load_balance(cp) &&
797 cpumask_intersects(cp->cpus_allowed,
798 housekeeping_cpumask(HK_FLAG_DOMAIN))))
799 continue;
800
David Brazdil0f672f62019-12-10 10:32:29 +0000801 if (root_load_balance &&
802 cpumask_subset(cp->cpus_allowed, top_cpuset.effective_cpus))
803 continue;
804
805 if (is_sched_load_balance(cp) &&
806 !cpumask_empty(cp->effective_cpus))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000807 csa[csn++] = cp;
808
David Brazdil0f672f62019-12-10 10:32:29 +0000809 /* skip @cp's subtree if not a partition root */
810 if (!is_partition_root(cp))
811 pos_css = css_rightmost_descendant(pos_css);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000812 }
813 rcu_read_unlock();
814
815 for (i = 0; i < csn; i++)
816 csa[i]->pn = i;
817 ndoms = csn;
818
819restart:
820 /* Find the best partition (set of sched domains) */
821 for (i = 0; i < csn; i++) {
822 struct cpuset *a = csa[i];
823 int apn = a->pn;
824
825 for (j = 0; j < csn; j++) {
826 struct cpuset *b = csa[j];
827 int bpn = b->pn;
828
829 if (apn != bpn && cpusets_overlap(a, b)) {
830 for (k = 0; k < csn; k++) {
831 struct cpuset *c = csa[k];
832
833 if (c->pn == bpn)
834 c->pn = apn;
835 }
836 ndoms--; /* one less element */
837 goto restart;
838 }
839 }
840 }
841
842 /*
843 * Now we know how many domains to create.
844 * Convert <csn, csa> to <ndoms, doms> and populate cpu masks.
845 */
846 doms = alloc_sched_domains(ndoms);
847 if (!doms)
848 goto done;
849
850 /*
851 * The rest of the code, including the scheduler, can deal with
852 * dattr==NULL case. No need to abort if alloc fails.
853 */
854 dattr = kmalloc_array(ndoms, sizeof(struct sched_domain_attr),
855 GFP_KERNEL);
856
857 for (nslot = 0, i = 0; i < csn; i++) {
858 struct cpuset *a = csa[i];
859 struct cpumask *dp;
860 int apn = a->pn;
861
862 if (apn < 0) {
863 /* Skip completed partitions */
864 continue;
865 }
866
867 dp = doms[nslot];
868
869 if (nslot == ndoms) {
870 static int warnings = 10;
871 if (warnings) {
872 pr_warn("rebuild_sched_domains confused: nslot %d, ndoms %d, csn %d, i %d, apn %d\n",
873 nslot, ndoms, csn, i, apn);
874 warnings--;
875 }
876 continue;
877 }
878
879 cpumask_clear(dp);
880 if (dattr)
881 *(dattr + nslot) = SD_ATTR_INIT;
882 for (j = i; j < csn; j++) {
883 struct cpuset *b = csa[j];
884
885 if (apn == b->pn) {
886 cpumask_or(dp, dp, b->effective_cpus);
887 cpumask_and(dp, dp, housekeeping_cpumask(HK_FLAG_DOMAIN));
888 if (dattr)
889 update_domain_attr_tree(dattr + nslot, b);
890
891 /* Done with this partition */
892 b->pn = -1;
893 }
894 }
895 nslot++;
896 }
897 BUG_ON(nslot != ndoms);
898
899done:
900 kfree(csa);
901
902 /*
903 * Fallback to the default domain if kmalloc() failed.
904 * See comments in partition_sched_domains().
905 */
906 if (doms == NULL)
907 ndoms = 1;
908
909 *domains = doms;
910 *attributes = dattr;
911 return ndoms;
912}
913
David Brazdil0f672f62019-12-10 10:32:29 +0000914static void update_tasks_root_domain(struct cpuset *cs)
915{
916 struct css_task_iter it;
917 struct task_struct *task;
918
919 css_task_iter_start(&cs->css, 0, &it);
920
921 while ((task = css_task_iter_next(&it)))
922 dl_add_task_root_domain(task);
923
924 css_task_iter_end(&it);
925}
926
927static void rebuild_root_domains(void)
928{
929 struct cpuset *cs = NULL;
930 struct cgroup_subsys_state *pos_css;
931
932 percpu_rwsem_assert_held(&cpuset_rwsem);
933 lockdep_assert_cpus_held();
934 lockdep_assert_held(&sched_domains_mutex);
935
David Brazdil0f672f62019-12-10 10:32:29 +0000936 rcu_read_lock();
937
938 /*
939 * Clear default root domain DL accounting, it will be computed again
940 * if a task belongs to it.
941 */
942 dl_clear_root_domain(&def_root_domain);
943
944 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) {
945
946 if (cpumask_empty(cs->effective_cpus)) {
947 pos_css = css_rightmost_descendant(pos_css);
948 continue;
949 }
950
951 css_get(&cs->css);
952
953 rcu_read_unlock();
954
955 update_tasks_root_domain(cs);
956
957 rcu_read_lock();
958 css_put(&cs->css);
959 }
960 rcu_read_unlock();
961}
962
963static void
964partition_and_rebuild_sched_domains(int ndoms_new, cpumask_var_t doms_new[],
965 struct sched_domain_attr *dattr_new)
966{
967 mutex_lock(&sched_domains_mutex);
968 partition_sched_domains_locked(ndoms_new, doms_new, dattr_new);
969 rebuild_root_domains();
970 mutex_unlock(&sched_domains_mutex);
971}
972
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000973/*
974 * Rebuild scheduler domains.
975 *
976 * If the flag 'sched_load_balance' of any cpuset with non-empty
977 * 'cpus' changes, or if the 'cpus' allowed changes in any cpuset
978 * which has that flag enabled, or if any cpuset with a non-empty
979 * 'cpus' is removed, then call this routine to rebuild the
980 * scheduler's dynamic sched domains.
981 *
982 * Call with cpuset_mutex held. Takes get_online_cpus().
983 */
984static void rebuild_sched_domains_locked(void)
985{
Olivier Deprez0e641232021-09-23 10:07:05 +0200986 struct cgroup_subsys_state *pos_css;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000987 struct sched_domain_attr *attr;
988 cpumask_var_t *doms;
Olivier Deprez0e641232021-09-23 10:07:05 +0200989 struct cpuset *cs;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000990 int ndoms;
991
David Brazdil0f672f62019-12-10 10:32:29 +0000992 lockdep_assert_cpus_held();
993 percpu_rwsem_assert_held(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000994
995 /*
Olivier Deprez0e641232021-09-23 10:07:05 +0200996 * If we have raced with CPU hotplug, return early to avoid
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000997 * passing doms with offlined cpu to partition_sched_domains().
Olivier Deprez0e641232021-09-23 10:07:05 +0200998 * Anyways, cpuset_hotplug_workfn() will rebuild sched domains.
999 *
1000 * With no CPUs in any subpartitions, top_cpuset's effective CPUs
1001 * should be the same as the active CPUs, so checking only top_cpuset
1002 * is enough to detect racing CPU offlines.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001003 */
David Brazdil0f672f62019-12-10 10:32:29 +00001004 if (!top_cpuset.nr_subparts_cpus &&
1005 !cpumask_equal(top_cpuset.effective_cpus, cpu_active_mask))
1006 return;
1007
Olivier Deprez0e641232021-09-23 10:07:05 +02001008 /*
1009 * With subpartition CPUs, however, the effective CPUs of a partition
1010 * root should be only a subset of the active CPUs. Since a CPU in any
1011 * partition root could be offlined, all must be checked.
1012 */
1013 if (top_cpuset.nr_subparts_cpus) {
1014 rcu_read_lock();
1015 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) {
1016 if (!is_partition_root(cs)) {
1017 pos_css = css_rightmost_descendant(pos_css);
1018 continue;
1019 }
1020 if (!cpumask_subset(cs->effective_cpus,
1021 cpu_active_mask)) {
1022 rcu_read_unlock();
1023 return;
1024 }
1025 }
1026 rcu_read_unlock();
1027 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001028
1029 /* Generate domain masks and attrs */
1030 ndoms = generate_sched_domains(&doms, &attr);
1031
1032 /* Have scheduler rebuild the domains */
David Brazdil0f672f62019-12-10 10:32:29 +00001033 partition_and_rebuild_sched_domains(ndoms, doms, attr);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001034}
1035#else /* !CONFIG_SMP */
1036static void rebuild_sched_domains_locked(void)
1037{
1038}
1039#endif /* CONFIG_SMP */
1040
1041void rebuild_sched_domains(void)
1042{
David Brazdil0f672f62019-12-10 10:32:29 +00001043 get_online_cpus();
1044 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001045 rebuild_sched_domains_locked();
David Brazdil0f672f62019-12-10 10:32:29 +00001046 percpu_up_write(&cpuset_rwsem);
1047 put_online_cpus();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001048}
1049
1050/**
1051 * update_tasks_cpumask - Update the cpumasks of tasks in the cpuset.
1052 * @cs: the cpuset in which each task's cpus_allowed mask needs to be changed
1053 *
1054 * Iterate through each task of @cs updating its cpus_allowed to the
1055 * effective cpuset's. As this function is called with cpuset_mutex held,
1056 * cpuset membership stays stable.
1057 */
1058static void update_tasks_cpumask(struct cpuset *cs)
1059{
1060 struct css_task_iter it;
1061 struct task_struct *task;
1062
1063 css_task_iter_start(&cs->css, 0, &it);
1064 while ((task = css_task_iter_next(&it)))
1065 set_cpus_allowed_ptr(task, cs->effective_cpus);
1066 css_task_iter_end(&it);
1067}
1068
David Brazdil0f672f62019-12-10 10:32:29 +00001069/**
1070 * compute_effective_cpumask - Compute the effective cpumask of the cpuset
1071 * @new_cpus: the temp variable for the new effective_cpus mask
1072 * @cs: the cpuset the need to recompute the new effective_cpus mask
1073 * @parent: the parent cpuset
1074 *
1075 * If the parent has subpartition CPUs, include them in the list of
1076 * allowable CPUs in computing the new effective_cpus mask. Since offlined
1077 * CPUs are not removed from subparts_cpus, we have to use cpu_active_mask
1078 * to mask those out.
1079 */
1080static void compute_effective_cpumask(struct cpumask *new_cpus,
1081 struct cpuset *cs, struct cpuset *parent)
1082{
1083 if (parent->nr_subparts_cpus) {
1084 cpumask_or(new_cpus, parent->effective_cpus,
1085 parent->subparts_cpus);
1086 cpumask_and(new_cpus, new_cpus, cs->cpus_allowed);
1087 cpumask_and(new_cpus, new_cpus, cpu_active_mask);
1088 } else {
1089 cpumask_and(new_cpus, cs->cpus_allowed, parent->effective_cpus);
1090 }
1091}
1092
1093/*
1094 * Commands for update_parent_subparts_cpumask
1095 */
1096enum subparts_cmd {
1097 partcmd_enable, /* Enable partition root */
1098 partcmd_disable, /* Disable partition root */
1099 partcmd_update, /* Update parent's subparts_cpus */
1100};
1101
1102/**
1103 * update_parent_subparts_cpumask - update subparts_cpus mask of parent cpuset
1104 * @cpuset: The cpuset that requests change in partition root state
1105 * @cmd: Partition root state change command
1106 * @newmask: Optional new cpumask for partcmd_update
1107 * @tmp: Temporary addmask and delmask
1108 * Return: 0, 1 or an error code
1109 *
1110 * For partcmd_enable, the cpuset is being transformed from a non-partition
1111 * root to a partition root. The cpus_allowed mask of the given cpuset will
1112 * be put into parent's subparts_cpus and taken away from parent's
1113 * effective_cpus. The function will return 0 if all the CPUs listed in
1114 * cpus_allowed can be granted or an error code will be returned.
1115 *
1116 * For partcmd_disable, the cpuset is being transofrmed from a partition
Olivier Deprez157378f2022-04-04 15:47:50 +02001117 * root back to a non-partition root. Any CPUs in cpus_allowed that are in
David Brazdil0f672f62019-12-10 10:32:29 +00001118 * parent's subparts_cpus will be taken away from that cpumask and put back
1119 * into parent's effective_cpus. 0 should always be returned.
1120 *
1121 * For partcmd_update, if the optional newmask is specified, the cpu
1122 * list is to be changed from cpus_allowed to newmask. Otherwise,
1123 * cpus_allowed is assumed to remain the same. The cpuset should either
1124 * be a partition root or an invalid partition root. The partition root
1125 * state may change if newmask is NULL and none of the requested CPUs can
1126 * be granted by the parent. The function will return 1 if changes to
1127 * parent's subparts_cpus and effective_cpus happen or 0 otherwise.
1128 * Error code should only be returned when newmask is non-NULL.
1129 *
1130 * The partcmd_enable and partcmd_disable commands are used by
1131 * update_prstate(). The partcmd_update command is used by
1132 * update_cpumasks_hier() with newmask NULL and update_cpumask() with
1133 * newmask set.
1134 *
1135 * The checking is more strict when enabling partition root than the
1136 * other two commands.
1137 *
1138 * Because of the implicit cpu exclusive nature of a partition root,
1139 * cpumask changes that violates the cpu exclusivity rule will not be
1140 * permitted when checked by validate_change(). The validate_change()
1141 * function will also prevent any changes to the cpu list if it is not
1142 * a superset of children's cpu lists.
1143 */
1144static int update_parent_subparts_cpumask(struct cpuset *cpuset, int cmd,
1145 struct cpumask *newmask,
1146 struct tmpmasks *tmp)
1147{
1148 struct cpuset *parent = parent_cs(cpuset);
1149 int adding; /* Moving cpus from effective_cpus to subparts_cpus */
1150 int deleting; /* Moving cpus from subparts_cpus to effective_cpus */
Olivier Deprez157378f2022-04-04 15:47:50 +02001151 int new_prs;
David Brazdil0f672f62019-12-10 10:32:29 +00001152 bool part_error = false; /* Partition error? */
1153
1154 percpu_rwsem_assert_held(&cpuset_rwsem);
1155
1156 /*
1157 * The parent must be a partition root.
1158 * The new cpumask, if present, or the current cpus_allowed must
1159 * not be empty.
1160 */
1161 if (!is_partition_root(parent) ||
1162 (newmask && cpumask_empty(newmask)) ||
1163 (!newmask && cpumask_empty(cpuset->cpus_allowed)))
1164 return -EINVAL;
1165
1166 /*
1167 * Enabling/disabling partition root is not allowed if there are
1168 * online children.
1169 */
1170 if ((cmd != partcmd_update) && css_has_online_children(&cpuset->css))
1171 return -EBUSY;
1172
1173 /*
1174 * Enabling partition root is not allowed if not all the CPUs
1175 * can be granted from parent's effective_cpus or at least one
1176 * CPU will be left after that.
1177 */
1178 if ((cmd == partcmd_enable) &&
1179 (!cpumask_subset(cpuset->cpus_allowed, parent->effective_cpus) ||
1180 cpumask_equal(cpuset->cpus_allowed, parent->effective_cpus)))
1181 return -EINVAL;
1182
1183 /*
1184 * A cpumask update cannot make parent's effective_cpus become empty.
1185 */
1186 adding = deleting = false;
Olivier Deprez157378f2022-04-04 15:47:50 +02001187 new_prs = cpuset->partition_root_state;
David Brazdil0f672f62019-12-10 10:32:29 +00001188 if (cmd == partcmd_enable) {
1189 cpumask_copy(tmp->addmask, cpuset->cpus_allowed);
1190 adding = true;
1191 } else if (cmd == partcmd_disable) {
1192 deleting = cpumask_and(tmp->delmask, cpuset->cpus_allowed,
1193 parent->subparts_cpus);
1194 } else if (newmask) {
1195 /*
1196 * partcmd_update with newmask:
1197 *
1198 * delmask = cpus_allowed & ~newmask & parent->subparts_cpus
1199 * addmask = newmask & parent->effective_cpus
1200 * & ~parent->subparts_cpus
1201 */
1202 cpumask_andnot(tmp->delmask, cpuset->cpus_allowed, newmask);
1203 deleting = cpumask_and(tmp->delmask, tmp->delmask,
1204 parent->subparts_cpus);
1205
1206 cpumask_and(tmp->addmask, newmask, parent->effective_cpus);
1207 adding = cpumask_andnot(tmp->addmask, tmp->addmask,
1208 parent->subparts_cpus);
1209 /*
1210 * Return error if the new effective_cpus could become empty.
1211 */
1212 if (adding &&
1213 cpumask_equal(parent->effective_cpus, tmp->addmask)) {
1214 if (!deleting)
1215 return -EINVAL;
1216 /*
1217 * As some of the CPUs in subparts_cpus might have
1218 * been offlined, we need to compute the real delmask
1219 * to confirm that.
1220 */
1221 if (!cpumask_and(tmp->addmask, tmp->delmask,
1222 cpu_active_mask))
1223 return -EINVAL;
1224 cpumask_copy(tmp->addmask, parent->effective_cpus);
1225 }
1226 } else {
1227 /*
1228 * partcmd_update w/o newmask:
1229 *
Olivier Deprez157378f2022-04-04 15:47:50 +02001230 * addmask = cpus_allowed & parent->effective_cpus
David Brazdil0f672f62019-12-10 10:32:29 +00001231 *
1232 * Note that parent's subparts_cpus may have been
1233 * pre-shrunk in case there is a change in the cpu list.
1234 * So no deletion is needed.
1235 */
1236 adding = cpumask_and(tmp->addmask, cpuset->cpus_allowed,
1237 parent->effective_cpus);
1238 part_error = cpumask_equal(tmp->addmask,
1239 parent->effective_cpus);
1240 }
1241
1242 if (cmd == partcmd_update) {
1243 int prev_prs = cpuset->partition_root_state;
1244
1245 /*
1246 * Check for possible transition between PRS_ENABLED
1247 * and PRS_ERROR.
1248 */
1249 switch (cpuset->partition_root_state) {
1250 case PRS_ENABLED:
1251 if (part_error)
Olivier Deprez157378f2022-04-04 15:47:50 +02001252 new_prs = PRS_ERROR;
David Brazdil0f672f62019-12-10 10:32:29 +00001253 break;
1254 case PRS_ERROR:
1255 if (!part_error)
Olivier Deprez157378f2022-04-04 15:47:50 +02001256 new_prs = PRS_ENABLED;
David Brazdil0f672f62019-12-10 10:32:29 +00001257 break;
1258 }
1259 /*
1260 * Set part_error if previously in invalid state.
1261 */
1262 part_error = (prev_prs == PRS_ERROR);
1263 }
1264
Olivier Deprez157378f2022-04-04 15:47:50 +02001265 if (!part_error && (new_prs == PRS_ERROR))
David Brazdil0f672f62019-12-10 10:32:29 +00001266 return 0; /* Nothing need to be done */
1267
Olivier Deprez157378f2022-04-04 15:47:50 +02001268 if (new_prs == PRS_ERROR) {
David Brazdil0f672f62019-12-10 10:32:29 +00001269 /*
1270 * Remove all its cpus from parent's subparts_cpus.
1271 */
1272 adding = false;
1273 deleting = cpumask_and(tmp->delmask, cpuset->cpus_allowed,
1274 parent->subparts_cpus);
1275 }
1276
Olivier Deprez157378f2022-04-04 15:47:50 +02001277 if (!adding && !deleting && (new_prs == cpuset->partition_root_state))
David Brazdil0f672f62019-12-10 10:32:29 +00001278 return 0;
1279
1280 /*
1281 * Change the parent's subparts_cpus.
1282 * Newly added CPUs will be removed from effective_cpus and
1283 * newly deleted ones will be added back to effective_cpus.
1284 */
1285 spin_lock_irq(&callback_lock);
1286 if (adding) {
1287 cpumask_or(parent->subparts_cpus,
1288 parent->subparts_cpus, tmp->addmask);
1289 cpumask_andnot(parent->effective_cpus,
1290 parent->effective_cpus, tmp->addmask);
1291 }
1292 if (deleting) {
1293 cpumask_andnot(parent->subparts_cpus,
1294 parent->subparts_cpus, tmp->delmask);
1295 /*
1296 * Some of the CPUs in subparts_cpus might have been offlined.
1297 */
1298 cpumask_and(tmp->delmask, tmp->delmask, cpu_active_mask);
1299 cpumask_or(parent->effective_cpus,
1300 parent->effective_cpus, tmp->delmask);
1301 }
1302
1303 parent->nr_subparts_cpus = cpumask_weight(parent->subparts_cpus);
Olivier Deprez157378f2022-04-04 15:47:50 +02001304
1305 if (cpuset->partition_root_state != new_prs)
1306 cpuset->partition_root_state = new_prs;
David Brazdil0f672f62019-12-10 10:32:29 +00001307 spin_unlock_irq(&callback_lock);
1308
1309 return cmd == partcmd_update;
1310}
1311
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001312/*
1313 * update_cpumasks_hier - Update effective cpumasks and tasks in the subtree
David Brazdil0f672f62019-12-10 10:32:29 +00001314 * @cs: the cpuset to consider
1315 * @tmp: temp variables for calculating effective_cpus & partition setup
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001316 *
1317 * When congifured cpumask is changed, the effective cpumasks of this cpuset
1318 * and all its descendants need to be updated.
1319 *
1320 * On legacy hierachy, effective_cpus will be the same with cpu_allowed.
1321 *
1322 * Called with cpuset_mutex held
1323 */
David Brazdil0f672f62019-12-10 10:32:29 +00001324static void update_cpumasks_hier(struct cpuset *cs, struct tmpmasks *tmp)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001325{
1326 struct cpuset *cp;
1327 struct cgroup_subsys_state *pos_css;
1328 bool need_rebuild_sched_domains = false;
Olivier Deprez157378f2022-04-04 15:47:50 +02001329 int new_prs;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001330
1331 rcu_read_lock();
1332 cpuset_for_each_descendant_pre(cp, pos_css, cs) {
1333 struct cpuset *parent = parent_cs(cp);
1334
David Brazdil0f672f62019-12-10 10:32:29 +00001335 compute_effective_cpumask(tmp->new_cpus, cp, parent);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001336
1337 /*
1338 * If it becomes empty, inherit the effective mask of the
1339 * parent, which is guaranteed to have some CPUs.
1340 */
David Brazdil0f672f62019-12-10 10:32:29 +00001341 if (is_in_v2_mode() && cpumask_empty(tmp->new_cpus)) {
1342 cpumask_copy(tmp->new_cpus, parent->effective_cpus);
1343 if (!cp->use_parent_ecpus) {
1344 cp->use_parent_ecpus = true;
1345 parent->child_ecpus_count++;
1346 }
1347 } else if (cp->use_parent_ecpus) {
1348 cp->use_parent_ecpus = false;
1349 WARN_ON_ONCE(!parent->child_ecpus_count);
1350 parent->child_ecpus_count--;
1351 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001352
David Brazdil0f672f62019-12-10 10:32:29 +00001353 /*
1354 * Skip the whole subtree if the cpumask remains the same
1355 * and has no partition root state.
1356 */
1357 if (!cp->partition_root_state &&
1358 cpumask_equal(tmp->new_cpus, cp->effective_cpus)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001359 pos_css = css_rightmost_descendant(pos_css);
1360 continue;
1361 }
1362
David Brazdil0f672f62019-12-10 10:32:29 +00001363 /*
1364 * update_parent_subparts_cpumask() should have been called
1365 * for cs already in update_cpumask(). We should also call
1366 * update_tasks_cpumask() again for tasks in the parent
1367 * cpuset if the parent's subparts_cpus changes.
1368 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001369 new_prs = cp->partition_root_state;
1370 if ((cp != cs) && new_prs) {
David Brazdil0f672f62019-12-10 10:32:29 +00001371 switch (parent->partition_root_state) {
1372 case PRS_DISABLED:
1373 /*
1374 * If parent is not a partition root or an
Olivier Deprez157378f2022-04-04 15:47:50 +02001375 * invalid partition root, clear its state
1376 * and its CS_CPU_EXCLUSIVE flag.
David Brazdil0f672f62019-12-10 10:32:29 +00001377 */
1378 WARN_ON_ONCE(cp->partition_root_state
1379 != PRS_ERROR);
Olivier Deprez157378f2022-04-04 15:47:50 +02001380 new_prs = PRS_DISABLED;
David Brazdil0f672f62019-12-10 10:32:29 +00001381
1382 /*
1383 * clear_bit() is an atomic operation and
1384 * readers aren't interested in the state
1385 * of CS_CPU_EXCLUSIVE anyway. So we can
1386 * just update the flag without holding
1387 * the callback_lock.
1388 */
1389 clear_bit(CS_CPU_EXCLUSIVE, &cp->flags);
1390 break;
1391
1392 case PRS_ENABLED:
1393 if (update_parent_subparts_cpumask(cp, partcmd_update, NULL, tmp))
1394 update_tasks_cpumask(parent);
1395 break;
1396
1397 case PRS_ERROR:
1398 /*
1399 * When parent is invalid, it has to be too.
1400 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001401 new_prs = PRS_ERROR;
David Brazdil0f672f62019-12-10 10:32:29 +00001402 break;
1403 }
1404 }
1405
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001406 if (!css_tryget_online(&cp->css))
1407 continue;
1408 rcu_read_unlock();
1409
1410 spin_lock_irq(&callback_lock);
David Brazdil0f672f62019-12-10 10:32:29 +00001411
1412 cpumask_copy(cp->effective_cpus, tmp->new_cpus);
Olivier Deprez157378f2022-04-04 15:47:50 +02001413 if (cp->nr_subparts_cpus && (new_prs != PRS_ENABLED)) {
David Brazdil0f672f62019-12-10 10:32:29 +00001414 cp->nr_subparts_cpus = 0;
1415 cpumask_clear(cp->subparts_cpus);
1416 } else if (cp->nr_subparts_cpus) {
1417 /*
1418 * Make sure that effective_cpus & subparts_cpus
1419 * are mutually exclusive.
1420 *
1421 * In the unlikely event that effective_cpus
1422 * becomes empty. we clear cp->nr_subparts_cpus and
1423 * let its child partition roots to compete for
1424 * CPUs again.
1425 */
1426 cpumask_andnot(cp->effective_cpus, cp->effective_cpus,
1427 cp->subparts_cpus);
1428 if (cpumask_empty(cp->effective_cpus)) {
1429 cpumask_copy(cp->effective_cpus, tmp->new_cpus);
1430 cpumask_clear(cp->subparts_cpus);
1431 cp->nr_subparts_cpus = 0;
1432 } else if (!cpumask_subset(cp->subparts_cpus,
1433 tmp->new_cpus)) {
1434 cpumask_andnot(cp->subparts_cpus,
1435 cp->subparts_cpus, tmp->new_cpus);
1436 cp->nr_subparts_cpus
1437 = cpumask_weight(cp->subparts_cpus);
1438 }
1439 }
Olivier Deprez157378f2022-04-04 15:47:50 +02001440
1441 if (new_prs != cp->partition_root_state)
1442 cp->partition_root_state = new_prs;
1443
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001444 spin_unlock_irq(&callback_lock);
1445
1446 WARN_ON(!is_in_v2_mode() &&
1447 !cpumask_equal(cp->cpus_allowed, cp->effective_cpus));
1448
1449 update_tasks_cpumask(cp);
1450
1451 /*
David Brazdil0f672f62019-12-10 10:32:29 +00001452 * On legacy hierarchy, if the effective cpumask of any non-
1453 * empty cpuset is changed, we need to rebuild sched domains.
1454 * On default hierarchy, the cpuset needs to be a partition
1455 * root as well.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001456 */
1457 if (!cpumask_empty(cp->cpus_allowed) &&
David Brazdil0f672f62019-12-10 10:32:29 +00001458 is_sched_load_balance(cp) &&
1459 (!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) ||
1460 is_partition_root(cp)))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001461 need_rebuild_sched_domains = true;
1462
1463 rcu_read_lock();
1464 css_put(&cp->css);
1465 }
1466 rcu_read_unlock();
1467
1468 if (need_rebuild_sched_domains)
1469 rebuild_sched_domains_locked();
1470}
1471
1472/**
David Brazdil0f672f62019-12-10 10:32:29 +00001473 * update_sibling_cpumasks - Update siblings cpumasks
1474 * @parent: Parent cpuset
1475 * @cs: Current cpuset
1476 * @tmp: Temp variables
1477 */
1478static void update_sibling_cpumasks(struct cpuset *parent, struct cpuset *cs,
1479 struct tmpmasks *tmp)
1480{
1481 struct cpuset *sibling;
1482 struct cgroup_subsys_state *pos_css;
1483
Olivier Deprez157378f2022-04-04 15:47:50 +02001484 percpu_rwsem_assert_held(&cpuset_rwsem);
1485
David Brazdil0f672f62019-12-10 10:32:29 +00001486 /*
1487 * Check all its siblings and call update_cpumasks_hier()
1488 * if their use_parent_ecpus flag is set in order for them
1489 * to use the right effective_cpus value.
Olivier Deprez157378f2022-04-04 15:47:50 +02001490 *
1491 * The update_cpumasks_hier() function may sleep. So we have to
1492 * release the RCU read lock before calling it.
David Brazdil0f672f62019-12-10 10:32:29 +00001493 */
1494 rcu_read_lock();
1495 cpuset_for_each_child(sibling, pos_css, parent) {
1496 if (sibling == cs)
1497 continue;
1498 if (!sibling->use_parent_ecpus)
1499 continue;
Olivier Deprez157378f2022-04-04 15:47:50 +02001500 if (!css_tryget_online(&sibling->css))
1501 continue;
David Brazdil0f672f62019-12-10 10:32:29 +00001502
Olivier Deprez157378f2022-04-04 15:47:50 +02001503 rcu_read_unlock();
David Brazdil0f672f62019-12-10 10:32:29 +00001504 update_cpumasks_hier(sibling, tmp);
Olivier Deprez157378f2022-04-04 15:47:50 +02001505 rcu_read_lock();
1506 css_put(&sibling->css);
David Brazdil0f672f62019-12-10 10:32:29 +00001507 }
1508 rcu_read_unlock();
1509}
1510
1511/**
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001512 * update_cpumask - update the cpus_allowed mask of a cpuset and all tasks in it
1513 * @cs: the cpuset to consider
1514 * @trialcs: trial cpuset
1515 * @buf: buffer of cpu numbers written to this cpuset
1516 */
1517static int update_cpumask(struct cpuset *cs, struct cpuset *trialcs,
1518 const char *buf)
1519{
1520 int retval;
David Brazdil0f672f62019-12-10 10:32:29 +00001521 struct tmpmasks tmp;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001522
1523 /* top_cpuset.cpus_allowed tracks cpu_online_mask; it's read-only */
1524 if (cs == &top_cpuset)
1525 return -EACCES;
1526
1527 /*
1528 * An empty cpus_allowed is ok only if the cpuset has no tasks.
1529 * Since cpulist_parse() fails on an empty mask, we special case
1530 * that parsing. The validate_change() call ensures that cpusets
1531 * with tasks have cpus.
1532 */
1533 if (!*buf) {
1534 cpumask_clear(trialcs->cpus_allowed);
1535 } else {
1536 retval = cpulist_parse(buf, trialcs->cpus_allowed);
1537 if (retval < 0)
1538 return retval;
1539
1540 if (!cpumask_subset(trialcs->cpus_allowed,
1541 top_cpuset.cpus_allowed))
1542 return -EINVAL;
1543 }
1544
1545 /* Nothing to do if the cpus didn't change */
1546 if (cpumask_equal(cs->cpus_allowed, trialcs->cpus_allowed))
1547 return 0;
1548
1549 retval = validate_change(cs, trialcs);
1550 if (retval < 0)
1551 return retval;
1552
David Brazdil0f672f62019-12-10 10:32:29 +00001553#ifdef CONFIG_CPUMASK_OFFSTACK
1554 /*
1555 * Use the cpumasks in trialcs for tmpmasks when they are pointers
1556 * to allocated cpumasks.
1557 */
1558 tmp.addmask = trialcs->subparts_cpus;
1559 tmp.delmask = trialcs->effective_cpus;
1560 tmp.new_cpus = trialcs->cpus_allowed;
1561#endif
1562
1563 if (cs->partition_root_state) {
1564 /* Cpumask of a partition root cannot be empty */
1565 if (cpumask_empty(trialcs->cpus_allowed))
1566 return -EINVAL;
1567 if (update_parent_subparts_cpumask(cs, partcmd_update,
1568 trialcs->cpus_allowed, &tmp) < 0)
1569 return -EINVAL;
1570 }
1571
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001572 spin_lock_irq(&callback_lock);
1573 cpumask_copy(cs->cpus_allowed, trialcs->cpus_allowed);
David Brazdil0f672f62019-12-10 10:32:29 +00001574
1575 /*
1576 * Make sure that subparts_cpus is a subset of cpus_allowed.
1577 */
1578 if (cs->nr_subparts_cpus) {
Olivier Deprez157378f2022-04-04 15:47:50 +02001579 cpumask_and(cs->subparts_cpus, cs->subparts_cpus, cs->cpus_allowed);
David Brazdil0f672f62019-12-10 10:32:29 +00001580 cs->nr_subparts_cpus = cpumask_weight(cs->subparts_cpus);
1581 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001582 spin_unlock_irq(&callback_lock);
1583
David Brazdil0f672f62019-12-10 10:32:29 +00001584 update_cpumasks_hier(cs, &tmp);
1585
1586 if (cs->partition_root_state) {
1587 struct cpuset *parent = parent_cs(cs);
1588
1589 /*
1590 * For partition root, update the cpumasks of sibling
1591 * cpusets if they use parent's effective_cpus.
1592 */
1593 if (parent->child_ecpus_count)
1594 update_sibling_cpumasks(parent, cs, &tmp);
1595 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001596 return 0;
1597}
1598
1599/*
1600 * Migrate memory region from one set of nodes to another. This is
1601 * performed asynchronously as it can be called from process migration path
1602 * holding locks involved in process management. All mm migrations are
1603 * performed in the queued order and can be waited for by flushing
1604 * cpuset_migrate_mm_wq.
1605 */
1606
1607struct cpuset_migrate_mm_work {
1608 struct work_struct work;
1609 struct mm_struct *mm;
1610 nodemask_t from;
1611 nodemask_t to;
1612};
1613
1614static void cpuset_migrate_mm_workfn(struct work_struct *work)
1615{
1616 struct cpuset_migrate_mm_work *mwork =
1617 container_of(work, struct cpuset_migrate_mm_work, work);
1618
1619 /* on a wq worker, no need to worry about %current's mems_allowed */
1620 do_migrate_pages(mwork->mm, &mwork->from, &mwork->to, MPOL_MF_MOVE_ALL);
1621 mmput(mwork->mm);
1622 kfree(mwork);
1623}
1624
1625static void cpuset_migrate_mm(struct mm_struct *mm, const nodemask_t *from,
1626 const nodemask_t *to)
1627{
1628 struct cpuset_migrate_mm_work *mwork;
1629
1630 mwork = kzalloc(sizeof(*mwork), GFP_KERNEL);
1631 if (mwork) {
1632 mwork->mm = mm;
1633 mwork->from = *from;
1634 mwork->to = *to;
1635 INIT_WORK(&mwork->work, cpuset_migrate_mm_workfn);
1636 queue_work(cpuset_migrate_mm_wq, &mwork->work);
1637 } else {
1638 mmput(mm);
1639 }
1640}
1641
1642static void cpuset_post_attach(void)
1643{
1644 flush_workqueue(cpuset_migrate_mm_wq);
1645}
1646
1647/*
1648 * cpuset_change_task_nodemask - change task's mems_allowed and mempolicy
1649 * @tsk: the task to change
1650 * @newmems: new nodes that the task will be set
1651 *
1652 * We use the mems_allowed_seq seqlock to safely update both tsk->mems_allowed
1653 * and rebind an eventual tasks' mempolicy. If the task is allocating in
1654 * parallel, it might temporarily see an empty intersection, which results in
1655 * a seqlock check and retry before OOM or allocation failure.
1656 */
1657static void cpuset_change_task_nodemask(struct task_struct *tsk,
1658 nodemask_t *newmems)
1659{
1660 task_lock(tsk);
1661
1662 local_irq_disable();
1663 write_seqcount_begin(&tsk->mems_allowed_seq);
1664
1665 nodes_or(tsk->mems_allowed, tsk->mems_allowed, *newmems);
1666 mpol_rebind_task(tsk, newmems);
1667 tsk->mems_allowed = *newmems;
1668
1669 write_seqcount_end(&tsk->mems_allowed_seq);
1670 local_irq_enable();
1671
1672 task_unlock(tsk);
1673}
1674
1675static void *cpuset_being_rebound;
1676
1677/**
1678 * update_tasks_nodemask - Update the nodemasks of tasks in the cpuset.
1679 * @cs: the cpuset in which each task's mems_allowed mask needs to be changed
1680 *
1681 * Iterate through each task of @cs updating its mems_allowed to the
1682 * effective cpuset's. As this function is called with cpuset_mutex held,
1683 * cpuset membership stays stable.
1684 */
1685static void update_tasks_nodemask(struct cpuset *cs)
1686{
1687 static nodemask_t newmems; /* protected by cpuset_mutex */
1688 struct css_task_iter it;
1689 struct task_struct *task;
1690
1691 cpuset_being_rebound = cs; /* causes mpol_dup() rebind */
1692
1693 guarantee_online_mems(cs, &newmems);
1694
1695 /*
Olivier Deprez157378f2022-04-04 15:47:50 +02001696 * The mpol_rebind_mm() call takes mmap_lock, which we couldn't
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001697 * take while holding tasklist_lock. Forks can happen - the
1698 * mpol_dup() cpuset_being_rebound check will catch such forks,
1699 * and rebind their vma mempolicies too. Because we still hold
1700 * the global cpuset_mutex, we know that no other rebind effort
1701 * will be contending for the global variable cpuset_being_rebound.
1702 * It's ok if we rebind the same mm twice; mpol_rebind_mm()
1703 * is idempotent. Also migrate pages in each mm to new nodes.
1704 */
1705 css_task_iter_start(&cs->css, 0, &it);
1706 while ((task = css_task_iter_next(&it))) {
1707 struct mm_struct *mm;
1708 bool migrate;
1709
1710 cpuset_change_task_nodemask(task, &newmems);
1711
1712 mm = get_task_mm(task);
1713 if (!mm)
1714 continue;
1715
1716 migrate = is_memory_migrate(cs);
1717
1718 mpol_rebind_mm(mm, &cs->mems_allowed);
1719 if (migrate)
1720 cpuset_migrate_mm(mm, &cs->old_mems_allowed, &newmems);
1721 else
1722 mmput(mm);
1723 }
1724 css_task_iter_end(&it);
1725
1726 /*
1727 * All the tasks' nodemasks have been updated, update
1728 * cs->old_mems_allowed.
1729 */
1730 cs->old_mems_allowed = newmems;
1731
1732 /* We're done rebinding vmas to this cpuset's new mems_allowed. */
1733 cpuset_being_rebound = NULL;
1734}
1735
1736/*
1737 * update_nodemasks_hier - Update effective nodemasks and tasks in the subtree
1738 * @cs: the cpuset to consider
1739 * @new_mems: a temp variable for calculating new effective_mems
1740 *
1741 * When configured nodemask is changed, the effective nodemasks of this cpuset
1742 * and all its descendants need to be updated.
1743 *
1744 * On legacy hiearchy, effective_mems will be the same with mems_allowed.
1745 *
1746 * Called with cpuset_mutex held
1747 */
1748static void update_nodemasks_hier(struct cpuset *cs, nodemask_t *new_mems)
1749{
1750 struct cpuset *cp;
1751 struct cgroup_subsys_state *pos_css;
1752
1753 rcu_read_lock();
1754 cpuset_for_each_descendant_pre(cp, pos_css, cs) {
1755 struct cpuset *parent = parent_cs(cp);
1756
1757 nodes_and(*new_mems, cp->mems_allowed, parent->effective_mems);
1758
1759 /*
1760 * If it becomes empty, inherit the effective mask of the
1761 * parent, which is guaranteed to have some MEMs.
1762 */
1763 if (is_in_v2_mode() && nodes_empty(*new_mems))
1764 *new_mems = parent->effective_mems;
1765
1766 /* Skip the whole subtree if the nodemask remains the same. */
1767 if (nodes_equal(*new_mems, cp->effective_mems)) {
1768 pos_css = css_rightmost_descendant(pos_css);
1769 continue;
1770 }
1771
1772 if (!css_tryget_online(&cp->css))
1773 continue;
1774 rcu_read_unlock();
1775
1776 spin_lock_irq(&callback_lock);
1777 cp->effective_mems = *new_mems;
1778 spin_unlock_irq(&callback_lock);
1779
1780 WARN_ON(!is_in_v2_mode() &&
1781 !nodes_equal(cp->mems_allowed, cp->effective_mems));
1782
1783 update_tasks_nodemask(cp);
1784
1785 rcu_read_lock();
1786 css_put(&cp->css);
1787 }
1788 rcu_read_unlock();
1789}
1790
1791/*
1792 * Handle user request to change the 'mems' memory placement
1793 * of a cpuset. Needs to validate the request, update the
1794 * cpusets mems_allowed, and for each task in the cpuset,
1795 * update mems_allowed and rebind task's mempolicy and any vma
1796 * mempolicies and if the cpuset is marked 'memory_migrate',
1797 * migrate the tasks pages to the new memory.
1798 *
1799 * Call with cpuset_mutex held. May take callback_lock during call.
1800 * Will take tasklist_lock, scan tasklist for tasks in cpuset cs,
Olivier Deprez157378f2022-04-04 15:47:50 +02001801 * lock each such tasks mm->mmap_lock, scan its vma's and rebind
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001802 * their mempolicies to the cpusets new mems_allowed.
1803 */
1804static int update_nodemask(struct cpuset *cs, struct cpuset *trialcs,
1805 const char *buf)
1806{
1807 int retval;
1808
1809 /*
1810 * top_cpuset.mems_allowed tracks node_stats[N_MEMORY];
1811 * it's read-only
1812 */
1813 if (cs == &top_cpuset) {
1814 retval = -EACCES;
1815 goto done;
1816 }
1817
1818 /*
1819 * An empty mems_allowed is ok iff there are no tasks in the cpuset.
1820 * Since nodelist_parse() fails on an empty mask, we special case
1821 * that parsing. The validate_change() call ensures that cpusets
1822 * with tasks have memory.
1823 */
1824 if (!*buf) {
1825 nodes_clear(trialcs->mems_allowed);
1826 } else {
1827 retval = nodelist_parse(buf, trialcs->mems_allowed);
1828 if (retval < 0)
1829 goto done;
1830
1831 if (!nodes_subset(trialcs->mems_allowed,
1832 top_cpuset.mems_allowed)) {
1833 retval = -EINVAL;
1834 goto done;
1835 }
1836 }
1837
1838 if (nodes_equal(cs->mems_allowed, trialcs->mems_allowed)) {
1839 retval = 0; /* Too easy - nothing to do */
1840 goto done;
1841 }
1842 retval = validate_change(cs, trialcs);
1843 if (retval < 0)
1844 goto done;
1845
1846 spin_lock_irq(&callback_lock);
1847 cs->mems_allowed = trialcs->mems_allowed;
1848 spin_unlock_irq(&callback_lock);
1849
1850 /* use trialcs->mems_allowed as a temp variable */
1851 update_nodemasks_hier(cs, &trialcs->mems_allowed);
1852done:
1853 return retval;
1854}
1855
1856bool current_cpuset_is_being_rebound(void)
1857{
1858 bool ret;
1859
1860 rcu_read_lock();
1861 ret = task_cs(current) == cpuset_being_rebound;
1862 rcu_read_unlock();
1863
1864 return ret;
1865}
1866
1867static int update_relax_domain_level(struct cpuset *cs, s64 val)
1868{
1869#ifdef CONFIG_SMP
1870 if (val < -1 || val >= sched_domain_level_max)
1871 return -EINVAL;
1872#endif
1873
1874 if (val != cs->relax_domain_level) {
1875 cs->relax_domain_level = val;
1876 if (!cpumask_empty(cs->cpus_allowed) &&
1877 is_sched_load_balance(cs))
1878 rebuild_sched_domains_locked();
1879 }
1880
1881 return 0;
1882}
1883
1884/**
1885 * update_tasks_flags - update the spread flags of tasks in the cpuset.
1886 * @cs: the cpuset in which each task's spread flags needs to be changed
1887 *
1888 * Iterate through each task of @cs updating its spread flags. As this
1889 * function is called with cpuset_mutex held, cpuset membership stays
1890 * stable.
1891 */
1892static void update_tasks_flags(struct cpuset *cs)
1893{
1894 struct css_task_iter it;
1895 struct task_struct *task;
1896
1897 css_task_iter_start(&cs->css, 0, &it);
1898 while ((task = css_task_iter_next(&it)))
1899 cpuset_update_task_spread_flag(cs, task);
1900 css_task_iter_end(&it);
1901}
1902
1903/*
1904 * update_flag - read a 0 or a 1 in a file and update associated flag
1905 * bit: the bit to update (see cpuset_flagbits_t)
1906 * cs: the cpuset to update
1907 * turning_on: whether the flag is being set or cleared
1908 *
1909 * Call with cpuset_mutex held.
1910 */
1911
1912static int update_flag(cpuset_flagbits_t bit, struct cpuset *cs,
1913 int turning_on)
1914{
1915 struct cpuset *trialcs;
1916 int balance_flag_changed;
1917 int spread_flag_changed;
1918 int err;
1919
1920 trialcs = alloc_trial_cpuset(cs);
1921 if (!trialcs)
1922 return -ENOMEM;
1923
1924 if (turning_on)
1925 set_bit(bit, &trialcs->flags);
1926 else
1927 clear_bit(bit, &trialcs->flags);
1928
1929 err = validate_change(cs, trialcs);
1930 if (err < 0)
1931 goto out;
1932
1933 balance_flag_changed = (is_sched_load_balance(cs) !=
1934 is_sched_load_balance(trialcs));
1935
1936 spread_flag_changed = ((is_spread_slab(cs) != is_spread_slab(trialcs))
1937 || (is_spread_page(cs) != is_spread_page(trialcs)));
1938
1939 spin_lock_irq(&callback_lock);
1940 cs->flags = trialcs->flags;
1941 spin_unlock_irq(&callback_lock);
1942
1943 if (!cpumask_empty(trialcs->cpus_allowed) && balance_flag_changed)
1944 rebuild_sched_domains_locked();
1945
1946 if (spread_flag_changed)
1947 update_tasks_flags(cs);
1948out:
David Brazdil0f672f62019-12-10 10:32:29 +00001949 free_cpuset(trialcs);
1950 return err;
1951}
1952
1953/*
1954 * update_prstate - update partititon_root_state
Olivier Deprez157378f2022-04-04 15:47:50 +02001955 * cs: the cpuset to update
1956 * new_prs: new partition root state
David Brazdil0f672f62019-12-10 10:32:29 +00001957 *
1958 * Call with cpuset_mutex held.
1959 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001960static int update_prstate(struct cpuset *cs, int new_prs)
David Brazdil0f672f62019-12-10 10:32:29 +00001961{
Olivier Deprez157378f2022-04-04 15:47:50 +02001962 int err, old_prs = cs->partition_root_state;
David Brazdil0f672f62019-12-10 10:32:29 +00001963 struct cpuset *parent = parent_cs(cs);
Olivier Deprez157378f2022-04-04 15:47:50 +02001964 struct tmpmasks tmpmask;
David Brazdil0f672f62019-12-10 10:32:29 +00001965
Olivier Deprez157378f2022-04-04 15:47:50 +02001966 if (old_prs == new_prs)
David Brazdil0f672f62019-12-10 10:32:29 +00001967 return 0;
1968
1969 /*
1970 * Cannot force a partial or invalid partition root to a full
1971 * partition root.
1972 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001973 if (new_prs && (old_prs == PRS_ERROR))
David Brazdil0f672f62019-12-10 10:32:29 +00001974 return -EINVAL;
1975
Olivier Deprez157378f2022-04-04 15:47:50 +02001976 if (alloc_cpumasks(NULL, &tmpmask))
David Brazdil0f672f62019-12-10 10:32:29 +00001977 return -ENOMEM;
1978
1979 err = -EINVAL;
Olivier Deprez157378f2022-04-04 15:47:50 +02001980 if (!old_prs) {
David Brazdil0f672f62019-12-10 10:32:29 +00001981 /*
1982 * Turning on partition root requires setting the
1983 * CS_CPU_EXCLUSIVE bit implicitly as well and cpus_allowed
1984 * cannot be NULL.
1985 */
1986 if (cpumask_empty(cs->cpus_allowed))
1987 goto out;
1988
1989 err = update_flag(CS_CPU_EXCLUSIVE, cs, 1);
1990 if (err)
1991 goto out;
1992
1993 err = update_parent_subparts_cpumask(cs, partcmd_enable,
Olivier Deprez157378f2022-04-04 15:47:50 +02001994 NULL, &tmpmask);
David Brazdil0f672f62019-12-10 10:32:29 +00001995 if (err) {
1996 update_flag(CS_CPU_EXCLUSIVE, cs, 0);
1997 goto out;
1998 }
David Brazdil0f672f62019-12-10 10:32:29 +00001999 } else {
2000 /*
2001 * Turning off partition root will clear the
2002 * CS_CPU_EXCLUSIVE bit.
2003 */
Olivier Deprez157378f2022-04-04 15:47:50 +02002004 if (old_prs == PRS_ERROR) {
David Brazdil0f672f62019-12-10 10:32:29 +00002005 update_flag(CS_CPU_EXCLUSIVE, cs, 0);
2006 err = 0;
2007 goto out;
2008 }
2009
2010 err = update_parent_subparts_cpumask(cs, partcmd_disable,
Olivier Deprez157378f2022-04-04 15:47:50 +02002011 NULL, &tmpmask);
David Brazdil0f672f62019-12-10 10:32:29 +00002012 if (err)
2013 goto out;
2014
David Brazdil0f672f62019-12-10 10:32:29 +00002015 /* Turning off CS_CPU_EXCLUSIVE will not return error */
2016 update_flag(CS_CPU_EXCLUSIVE, cs, 0);
2017 }
2018
2019 /*
2020 * Update cpumask of parent's tasks except when it is the top
2021 * cpuset as some system daemons cannot be mapped to other CPUs.
2022 */
2023 if (parent != &top_cpuset)
2024 update_tasks_cpumask(parent);
2025
2026 if (parent->child_ecpus_count)
Olivier Deprez157378f2022-04-04 15:47:50 +02002027 update_sibling_cpumasks(parent, cs, &tmpmask);
David Brazdil0f672f62019-12-10 10:32:29 +00002028
2029 rebuild_sched_domains_locked();
2030out:
Olivier Deprez157378f2022-04-04 15:47:50 +02002031 if (!err) {
2032 spin_lock_irq(&callback_lock);
2033 cs->partition_root_state = new_prs;
2034 spin_unlock_irq(&callback_lock);
2035 }
2036
2037 free_cpumasks(NULL, &tmpmask);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002038 return err;
2039}
2040
2041/*
2042 * Frequency meter - How fast is some event occurring?
2043 *
2044 * These routines manage a digitally filtered, constant time based,
2045 * event frequency meter. There are four routines:
2046 * fmeter_init() - initialize a frequency meter.
2047 * fmeter_markevent() - called each time the event happens.
2048 * fmeter_getrate() - returns the recent rate of such events.
2049 * fmeter_update() - internal routine used to update fmeter.
2050 *
2051 * A common data structure is passed to each of these routines,
2052 * which is used to keep track of the state required to manage the
2053 * frequency meter and its digital filter.
2054 *
2055 * The filter works on the number of events marked per unit time.
2056 * The filter is single-pole low-pass recursive (IIR). The time unit
2057 * is 1 second. Arithmetic is done using 32-bit integers scaled to
2058 * simulate 3 decimal digits of precision (multiplied by 1000).
2059 *
2060 * With an FM_COEF of 933, and a time base of 1 second, the filter
2061 * has a half-life of 10 seconds, meaning that if the events quit
2062 * happening, then the rate returned from the fmeter_getrate()
2063 * will be cut in half each 10 seconds, until it converges to zero.
2064 *
2065 * It is not worth doing a real infinitely recursive filter. If more
2066 * than FM_MAXTICKS ticks have elapsed since the last filter event,
2067 * just compute FM_MAXTICKS ticks worth, by which point the level
2068 * will be stable.
2069 *
2070 * Limit the count of unprocessed events to FM_MAXCNT, so as to avoid
2071 * arithmetic overflow in the fmeter_update() routine.
2072 *
2073 * Given the simple 32 bit integer arithmetic used, this meter works
2074 * best for reporting rates between one per millisecond (msec) and
2075 * one per 32 (approx) seconds. At constant rates faster than one
2076 * per msec it maxes out at values just under 1,000,000. At constant
2077 * rates between one per msec, and one per second it will stabilize
2078 * to a value N*1000, where N is the rate of events per second.
2079 * At constant rates between one per second and one per 32 seconds,
2080 * it will be choppy, moving up on the seconds that have an event,
2081 * and then decaying until the next event. At rates slower than
2082 * about one in 32 seconds, it decays all the way back to zero between
2083 * each event.
2084 */
2085
2086#define FM_COEF 933 /* coefficient for half-life of 10 secs */
2087#define FM_MAXTICKS ((u32)99) /* useless computing more ticks than this */
2088#define FM_MAXCNT 1000000 /* limit cnt to avoid overflow */
2089#define FM_SCALE 1000 /* faux fixed point scale */
2090
2091/* Initialize a frequency meter */
2092static void fmeter_init(struct fmeter *fmp)
2093{
2094 fmp->cnt = 0;
2095 fmp->val = 0;
2096 fmp->time = 0;
2097 spin_lock_init(&fmp->lock);
2098}
2099
2100/* Internal meter update - process cnt events and update value */
2101static void fmeter_update(struct fmeter *fmp)
2102{
2103 time64_t now;
2104 u32 ticks;
2105
2106 now = ktime_get_seconds();
2107 ticks = now - fmp->time;
2108
2109 if (ticks == 0)
2110 return;
2111
2112 ticks = min(FM_MAXTICKS, ticks);
2113 while (ticks-- > 0)
2114 fmp->val = (FM_COEF * fmp->val) / FM_SCALE;
2115 fmp->time = now;
2116
2117 fmp->val += ((FM_SCALE - FM_COEF) * fmp->cnt) / FM_SCALE;
2118 fmp->cnt = 0;
2119}
2120
2121/* Process any previous ticks, then bump cnt by one (times scale). */
2122static void fmeter_markevent(struct fmeter *fmp)
2123{
2124 spin_lock(&fmp->lock);
2125 fmeter_update(fmp);
2126 fmp->cnt = min(FM_MAXCNT, fmp->cnt + FM_SCALE);
2127 spin_unlock(&fmp->lock);
2128}
2129
2130/* Process any previous ticks, then return current value. */
2131static int fmeter_getrate(struct fmeter *fmp)
2132{
2133 int val;
2134
2135 spin_lock(&fmp->lock);
2136 fmeter_update(fmp);
2137 val = fmp->val;
2138 spin_unlock(&fmp->lock);
2139 return val;
2140}
2141
2142static struct cpuset *cpuset_attach_old_cs;
2143
2144/* Called by cgroups to determine if a cpuset is usable; cpuset_mutex held */
2145static int cpuset_can_attach(struct cgroup_taskset *tset)
2146{
2147 struct cgroup_subsys_state *css;
2148 struct cpuset *cs;
2149 struct task_struct *task;
2150 int ret;
2151
2152 /* used later by cpuset_attach() */
2153 cpuset_attach_old_cs = task_cs(cgroup_taskset_first(tset, &css));
2154 cs = css_cs(css);
2155
David Brazdil0f672f62019-12-10 10:32:29 +00002156 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002157
2158 /* allow moving tasks into an empty cpuset if on default hierarchy */
2159 ret = -ENOSPC;
2160 if (!is_in_v2_mode() &&
2161 (cpumask_empty(cs->cpus_allowed) || nodes_empty(cs->mems_allowed)))
2162 goto out_unlock;
2163
2164 cgroup_taskset_for_each(task, css, tset) {
2165 ret = task_can_attach(task, cs->cpus_allowed);
2166 if (ret)
2167 goto out_unlock;
2168 ret = security_task_setscheduler(task);
2169 if (ret)
2170 goto out_unlock;
2171 }
2172
2173 /*
2174 * Mark attach is in progress. This makes validate_change() fail
2175 * changes which zero cpus/mems_allowed.
2176 */
2177 cs->attach_in_progress++;
2178 ret = 0;
2179out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00002180 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002181 return ret;
2182}
2183
2184static void cpuset_cancel_attach(struct cgroup_taskset *tset)
2185{
2186 struct cgroup_subsys_state *css;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002187
2188 cgroup_taskset_first(tset, &css);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002189
David Brazdil0f672f62019-12-10 10:32:29 +00002190 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002191 css_cs(css)->attach_in_progress--;
David Brazdil0f672f62019-12-10 10:32:29 +00002192 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002193}
2194
2195/*
2196 * Protected by cpuset_mutex. cpus_attach is used only by cpuset_attach()
2197 * but we can't allocate it dynamically there. Define it global and
2198 * allocate from cpuset_init().
2199 */
2200static cpumask_var_t cpus_attach;
2201
2202static void cpuset_attach(struct cgroup_taskset *tset)
2203{
2204 /* static buf protected by cpuset_mutex */
2205 static nodemask_t cpuset_attach_nodemask_to;
2206 struct task_struct *task;
2207 struct task_struct *leader;
2208 struct cgroup_subsys_state *css;
2209 struct cpuset *cs;
2210 struct cpuset *oldcs = cpuset_attach_old_cs;
2211
2212 cgroup_taskset_first(tset, &css);
2213 cs = css_cs(css);
2214
Olivier Deprez157378f2022-04-04 15:47:50 +02002215 cpus_read_lock();
David Brazdil0f672f62019-12-10 10:32:29 +00002216 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002217
2218 /* prepare for attach */
2219 if (cs == &top_cpuset)
2220 cpumask_copy(cpus_attach, cpu_possible_mask);
2221 else
2222 guarantee_online_cpus(cs, cpus_attach);
2223
2224 guarantee_online_mems(cs, &cpuset_attach_nodemask_to);
2225
2226 cgroup_taskset_for_each(task, css, tset) {
2227 /*
2228 * can_attach beforehand should guarantee that this doesn't
2229 * fail. TODO: have a better way to handle failure here
2230 */
2231 WARN_ON_ONCE(set_cpus_allowed_ptr(task, cpus_attach));
2232
2233 cpuset_change_task_nodemask(task, &cpuset_attach_nodemask_to);
2234 cpuset_update_task_spread_flag(cs, task);
2235 }
2236
2237 /*
2238 * Change mm for all threadgroup leaders. This is expensive and may
2239 * sleep and should be moved outside migration path proper.
2240 */
2241 cpuset_attach_nodemask_to = cs->effective_mems;
2242 cgroup_taskset_for_each_leader(leader, css, tset) {
2243 struct mm_struct *mm = get_task_mm(leader);
2244
2245 if (mm) {
2246 mpol_rebind_mm(mm, &cpuset_attach_nodemask_to);
2247
2248 /*
2249 * old_mems_allowed is the same with mems_allowed
2250 * here, except if this task is being moved
2251 * automatically due to hotplug. In that case
2252 * @mems_allowed has been updated and is empty, so
2253 * @old_mems_allowed is the right nodesets that we
2254 * migrate mm from.
2255 */
2256 if (is_memory_migrate(cs))
2257 cpuset_migrate_mm(mm, &oldcs->old_mems_allowed,
2258 &cpuset_attach_nodemask_to);
2259 else
2260 mmput(mm);
2261 }
2262 }
2263
2264 cs->old_mems_allowed = cpuset_attach_nodemask_to;
2265
2266 cs->attach_in_progress--;
2267 if (!cs->attach_in_progress)
2268 wake_up(&cpuset_attach_wq);
2269
David Brazdil0f672f62019-12-10 10:32:29 +00002270 percpu_up_write(&cpuset_rwsem);
Olivier Deprez157378f2022-04-04 15:47:50 +02002271 cpus_read_unlock();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002272}
2273
2274/* The various types of files and directories in a cpuset file system */
2275
2276typedef enum {
2277 FILE_MEMORY_MIGRATE,
2278 FILE_CPULIST,
2279 FILE_MEMLIST,
2280 FILE_EFFECTIVE_CPULIST,
2281 FILE_EFFECTIVE_MEMLIST,
David Brazdil0f672f62019-12-10 10:32:29 +00002282 FILE_SUBPARTS_CPULIST,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002283 FILE_CPU_EXCLUSIVE,
2284 FILE_MEM_EXCLUSIVE,
2285 FILE_MEM_HARDWALL,
2286 FILE_SCHED_LOAD_BALANCE,
David Brazdil0f672f62019-12-10 10:32:29 +00002287 FILE_PARTITION_ROOT,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002288 FILE_SCHED_RELAX_DOMAIN_LEVEL,
2289 FILE_MEMORY_PRESSURE_ENABLED,
2290 FILE_MEMORY_PRESSURE,
2291 FILE_SPREAD_PAGE,
2292 FILE_SPREAD_SLAB,
2293} cpuset_filetype_t;
2294
2295static int cpuset_write_u64(struct cgroup_subsys_state *css, struct cftype *cft,
2296 u64 val)
2297{
2298 struct cpuset *cs = css_cs(css);
2299 cpuset_filetype_t type = cft->private;
2300 int retval = 0;
2301
David Brazdil0f672f62019-12-10 10:32:29 +00002302 get_online_cpus();
2303 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002304 if (!is_cpuset_online(cs)) {
2305 retval = -ENODEV;
2306 goto out_unlock;
2307 }
2308
2309 switch (type) {
2310 case FILE_CPU_EXCLUSIVE:
2311 retval = update_flag(CS_CPU_EXCLUSIVE, cs, val);
2312 break;
2313 case FILE_MEM_EXCLUSIVE:
2314 retval = update_flag(CS_MEM_EXCLUSIVE, cs, val);
2315 break;
2316 case FILE_MEM_HARDWALL:
2317 retval = update_flag(CS_MEM_HARDWALL, cs, val);
2318 break;
2319 case FILE_SCHED_LOAD_BALANCE:
2320 retval = update_flag(CS_SCHED_LOAD_BALANCE, cs, val);
2321 break;
2322 case FILE_MEMORY_MIGRATE:
2323 retval = update_flag(CS_MEMORY_MIGRATE, cs, val);
2324 break;
2325 case FILE_MEMORY_PRESSURE_ENABLED:
2326 cpuset_memory_pressure_enabled = !!val;
2327 break;
2328 case FILE_SPREAD_PAGE:
2329 retval = update_flag(CS_SPREAD_PAGE, cs, val);
2330 break;
2331 case FILE_SPREAD_SLAB:
2332 retval = update_flag(CS_SPREAD_SLAB, cs, val);
2333 break;
2334 default:
2335 retval = -EINVAL;
2336 break;
2337 }
2338out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00002339 percpu_up_write(&cpuset_rwsem);
2340 put_online_cpus();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002341 return retval;
2342}
2343
2344static int cpuset_write_s64(struct cgroup_subsys_state *css, struct cftype *cft,
2345 s64 val)
2346{
2347 struct cpuset *cs = css_cs(css);
2348 cpuset_filetype_t type = cft->private;
2349 int retval = -ENODEV;
2350
David Brazdil0f672f62019-12-10 10:32:29 +00002351 get_online_cpus();
2352 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002353 if (!is_cpuset_online(cs))
2354 goto out_unlock;
2355
2356 switch (type) {
2357 case FILE_SCHED_RELAX_DOMAIN_LEVEL:
2358 retval = update_relax_domain_level(cs, val);
2359 break;
2360 default:
2361 retval = -EINVAL;
2362 break;
2363 }
2364out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00002365 percpu_up_write(&cpuset_rwsem);
2366 put_online_cpus();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002367 return retval;
2368}
2369
2370/*
2371 * Common handling for a write to a "cpus" or "mems" file.
2372 */
2373static ssize_t cpuset_write_resmask(struct kernfs_open_file *of,
2374 char *buf, size_t nbytes, loff_t off)
2375{
2376 struct cpuset *cs = css_cs(of_css(of));
2377 struct cpuset *trialcs;
2378 int retval = -ENODEV;
2379
2380 buf = strstrip(buf);
2381
2382 /*
2383 * CPU or memory hotunplug may leave @cs w/o any execution
2384 * resources, in which case the hotplug code asynchronously updates
2385 * configuration and transfers all tasks to the nearest ancestor
2386 * which can execute.
2387 *
2388 * As writes to "cpus" or "mems" may restore @cs's execution
2389 * resources, wait for the previously scheduled operations before
2390 * proceeding, so that we don't end up keep removing tasks added
2391 * after execution capability is restored.
2392 *
2393 * cpuset_hotplug_work calls back into cgroup core via
2394 * cgroup_transfer_tasks() and waiting for it from a cgroupfs
2395 * operation like this one can lead to a deadlock through kernfs
2396 * active_ref protection. Let's break the protection. Losing the
2397 * protection is okay as we check whether @cs is online after
2398 * grabbing cpuset_mutex anyway. This only happens on the legacy
2399 * hierarchies.
2400 */
2401 css_get(&cs->css);
2402 kernfs_break_active_protection(of->kn);
2403 flush_work(&cpuset_hotplug_work);
2404
David Brazdil0f672f62019-12-10 10:32:29 +00002405 get_online_cpus();
2406 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002407 if (!is_cpuset_online(cs))
2408 goto out_unlock;
2409
2410 trialcs = alloc_trial_cpuset(cs);
2411 if (!trialcs) {
2412 retval = -ENOMEM;
2413 goto out_unlock;
2414 }
2415
2416 switch (of_cft(of)->private) {
2417 case FILE_CPULIST:
2418 retval = update_cpumask(cs, trialcs, buf);
2419 break;
2420 case FILE_MEMLIST:
2421 retval = update_nodemask(cs, trialcs, buf);
2422 break;
2423 default:
2424 retval = -EINVAL;
2425 break;
2426 }
2427
David Brazdil0f672f62019-12-10 10:32:29 +00002428 free_cpuset(trialcs);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002429out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00002430 percpu_up_write(&cpuset_rwsem);
2431 put_online_cpus();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002432 kernfs_unbreak_active_protection(of->kn);
2433 css_put(&cs->css);
2434 flush_workqueue(cpuset_migrate_mm_wq);
2435 return retval ?: nbytes;
2436}
2437
2438/*
2439 * These ascii lists should be read in a single call, by using a user
2440 * buffer large enough to hold the entire map. If read in smaller
2441 * chunks, there is no guarantee of atomicity. Since the display format
2442 * used, list of ranges of sequential numbers, is variable length,
2443 * and since these maps can change value dynamically, one could read
2444 * gibberish by doing partial reads while a list was changing.
2445 */
2446static int cpuset_common_seq_show(struct seq_file *sf, void *v)
2447{
2448 struct cpuset *cs = css_cs(seq_css(sf));
2449 cpuset_filetype_t type = seq_cft(sf)->private;
2450 int ret = 0;
2451
2452 spin_lock_irq(&callback_lock);
2453
2454 switch (type) {
2455 case FILE_CPULIST:
2456 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->cpus_allowed));
2457 break;
2458 case FILE_MEMLIST:
2459 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->mems_allowed));
2460 break;
2461 case FILE_EFFECTIVE_CPULIST:
2462 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->effective_cpus));
2463 break;
2464 case FILE_EFFECTIVE_MEMLIST:
2465 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->effective_mems));
2466 break;
David Brazdil0f672f62019-12-10 10:32:29 +00002467 case FILE_SUBPARTS_CPULIST:
2468 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->subparts_cpus));
2469 break;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002470 default:
2471 ret = -EINVAL;
2472 }
2473
2474 spin_unlock_irq(&callback_lock);
2475 return ret;
2476}
2477
2478static u64 cpuset_read_u64(struct cgroup_subsys_state *css, struct cftype *cft)
2479{
2480 struct cpuset *cs = css_cs(css);
2481 cpuset_filetype_t type = cft->private;
2482 switch (type) {
2483 case FILE_CPU_EXCLUSIVE:
2484 return is_cpu_exclusive(cs);
2485 case FILE_MEM_EXCLUSIVE:
2486 return is_mem_exclusive(cs);
2487 case FILE_MEM_HARDWALL:
2488 return is_mem_hardwall(cs);
2489 case FILE_SCHED_LOAD_BALANCE:
2490 return is_sched_load_balance(cs);
2491 case FILE_MEMORY_MIGRATE:
2492 return is_memory_migrate(cs);
2493 case FILE_MEMORY_PRESSURE_ENABLED:
2494 return cpuset_memory_pressure_enabled;
2495 case FILE_MEMORY_PRESSURE:
2496 return fmeter_getrate(&cs->fmeter);
2497 case FILE_SPREAD_PAGE:
2498 return is_spread_page(cs);
2499 case FILE_SPREAD_SLAB:
2500 return is_spread_slab(cs);
2501 default:
2502 BUG();
2503 }
2504
2505 /* Unreachable but makes gcc happy */
2506 return 0;
2507}
2508
2509static s64 cpuset_read_s64(struct cgroup_subsys_state *css, struct cftype *cft)
2510{
2511 struct cpuset *cs = css_cs(css);
2512 cpuset_filetype_t type = cft->private;
2513 switch (type) {
2514 case FILE_SCHED_RELAX_DOMAIN_LEVEL:
2515 return cs->relax_domain_level;
2516 default:
2517 BUG();
2518 }
2519
2520 /* Unrechable but makes gcc happy */
2521 return 0;
2522}
2523
David Brazdil0f672f62019-12-10 10:32:29 +00002524static int sched_partition_show(struct seq_file *seq, void *v)
2525{
2526 struct cpuset *cs = css_cs(seq_css(seq));
2527
2528 switch (cs->partition_root_state) {
2529 case PRS_ENABLED:
2530 seq_puts(seq, "root\n");
2531 break;
2532 case PRS_DISABLED:
2533 seq_puts(seq, "member\n");
2534 break;
2535 case PRS_ERROR:
2536 seq_puts(seq, "root invalid\n");
2537 break;
2538 }
2539 return 0;
2540}
2541
2542static ssize_t sched_partition_write(struct kernfs_open_file *of, char *buf,
2543 size_t nbytes, loff_t off)
2544{
2545 struct cpuset *cs = css_cs(of_css(of));
2546 int val;
2547 int retval = -ENODEV;
2548
2549 buf = strstrip(buf);
2550
2551 /*
2552 * Convert "root" to ENABLED, and convert "member" to DISABLED.
2553 */
2554 if (!strcmp(buf, "root"))
2555 val = PRS_ENABLED;
2556 else if (!strcmp(buf, "member"))
2557 val = PRS_DISABLED;
2558 else
2559 return -EINVAL;
2560
2561 css_get(&cs->css);
2562 get_online_cpus();
2563 percpu_down_write(&cpuset_rwsem);
2564 if (!is_cpuset_online(cs))
2565 goto out_unlock;
2566
2567 retval = update_prstate(cs, val);
2568out_unlock:
2569 percpu_up_write(&cpuset_rwsem);
2570 put_online_cpus();
2571 css_put(&cs->css);
2572 return retval ?: nbytes;
2573}
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002574
2575/*
2576 * for the common functions, 'private' gives the type of file
2577 */
2578
David Brazdil0f672f62019-12-10 10:32:29 +00002579static struct cftype legacy_files[] = {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002580 {
2581 .name = "cpus",
2582 .seq_show = cpuset_common_seq_show,
2583 .write = cpuset_write_resmask,
2584 .max_write_len = (100U + 6 * NR_CPUS),
2585 .private = FILE_CPULIST,
2586 },
2587
2588 {
2589 .name = "mems",
2590 .seq_show = cpuset_common_seq_show,
2591 .write = cpuset_write_resmask,
2592 .max_write_len = (100U + 6 * MAX_NUMNODES),
2593 .private = FILE_MEMLIST,
2594 },
2595
2596 {
2597 .name = "effective_cpus",
2598 .seq_show = cpuset_common_seq_show,
2599 .private = FILE_EFFECTIVE_CPULIST,
2600 },
2601
2602 {
2603 .name = "effective_mems",
2604 .seq_show = cpuset_common_seq_show,
2605 .private = FILE_EFFECTIVE_MEMLIST,
2606 },
2607
2608 {
2609 .name = "cpu_exclusive",
2610 .read_u64 = cpuset_read_u64,
2611 .write_u64 = cpuset_write_u64,
2612 .private = FILE_CPU_EXCLUSIVE,
2613 },
2614
2615 {
2616 .name = "mem_exclusive",
2617 .read_u64 = cpuset_read_u64,
2618 .write_u64 = cpuset_write_u64,
2619 .private = FILE_MEM_EXCLUSIVE,
2620 },
2621
2622 {
2623 .name = "mem_hardwall",
2624 .read_u64 = cpuset_read_u64,
2625 .write_u64 = cpuset_write_u64,
2626 .private = FILE_MEM_HARDWALL,
2627 },
2628
2629 {
2630 .name = "sched_load_balance",
2631 .read_u64 = cpuset_read_u64,
2632 .write_u64 = cpuset_write_u64,
2633 .private = FILE_SCHED_LOAD_BALANCE,
2634 },
2635
2636 {
2637 .name = "sched_relax_domain_level",
2638 .read_s64 = cpuset_read_s64,
2639 .write_s64 = cpuset_write_s64,
2640 .private = FILE_SCHED_RELAX_DOMAIN_LEVEL,
2641 },
2642
2643 {
2644 .name = "memory_migrate",
2645 .read_u64 = cpuset_read_u64,
2646 .write_u64 = cpuset_write_u64,
2647 .private = FILE_MEMORY_MIGRATE,
2648 },
2649
2650 {
2651 .name = "memory_pressure",
2652 .read_u64 = cpuset_read_u64,
2653 .private = FILE_MEMORY_PRESSURE,
2654 },
2655
2656 {
2657 .name = "memory_spread_page",
2658 .read_u64 = cpuset_read_u64,
2659 .write_u64 = cpuset_write_u64,
2660 .private = FILE_SPREAD_PAGE,
2661 },
2662
2663 {
2664 .name = "memory_spread_slab",
2665 .read_u64 = cpuset_read_u64,
2666 .write_u64 = cpuset_write_u64,
2667 .private = FILE_SPREAD_SLAB,
2668 },
2669
2670 {
2671 .name = "memory_pressure_enabled",
2672 .flags = CFTYPE_ONLY_ON_ROOT,
2673 .read_u64 = cpuset_read_u64,
2674 .write_u64 = cpuset_write_u64,
2675 .private = FILE_MEMORY_PRESSURE_ENABLED,
2676 },
2677
2678 { } /* terminate */
2679};
2680
2681/*
David Brazdil0f672f62019-12-10 10:32:29 +00002682 * This is currently a minimal set for the default hierarchy. It can be
2683 * expanded later on by migrating more features and control files from v1.
2684 */
2685static struct cftype dfl_files[] = {
2686 {
2687 .name = "cpus",
2688 .seq_show = cpuset_common_seq_show,
2689 .write = cpuset_write_resmask,
2690 .max_write_len = (100U + 6 * NR_CPUS),
2691 .private = FILE_CPULIST,
2692 .flags = CFTYPE_NOT_ON_ROOT,
2693 },
2694
2695 {
2696 .name = "mems",
2697 .seq_show = cpuset_common_seq_show,
2698 .write = cpuset_write_resmask,
2699 .max_write_len = (100U + 6 * MAX_NUMNODES),
2700 .private = FILE_MEMLIST,
2701 .flags = CFTYPE_NOT_ON_ROOT,
2702 },
2703
2704 {
2705 .name = "cpus.effective",
2706 .seq_show = cpuset_common_seq_show,
2707 .private = FILE_EFFECTIVE_CPULIST,
2708 },
2709
2710 {
2711 .name = "mems.effective",
2712 .seq_show = cpuset_common_seq_show,
2713 .private = FILE_EFFECTIVE_MEMLIST,
2714 },
2715
2716 {
2717 .name = "cpus.partition",
2718 .seq_show = sched_partition_show,
2719 .write = sched_partition_write,
2720 .private = FILE_PARTITION_ROOT,
2721 .flags = CFTYPE_NOT_ON_ROOT,
2722 },
2723
2724 {
2725 .name = "cpus.subpartitions",
2726 .seq_show = cpuset_common_seq_show,
2727 .private = FILE_SUBPARTS_CPULIST,
2728 .flags = CFTYPE_DEBUG,
2729 },
2730
2731 { } /* terminate */
2732};
2733
2734
2735/*
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002736 * cpuset_css_alloc - allocate a cpuset css
2737 * cgrp: control group that the new cpuset will be part of
2738 */
2739
2740static struct cgroup_subsys_state *
2741cpuset_css_alloc(struct cgroup_subsys_state *parent_css)
2742{
2743 struct cpuset *cs;
2744
2745 if (!parent_css)
2746 return &top_cpuset.css;
2747
2748 cs = kzalloc(sizeof(*cs), GFP_KERNEL);
2749 if (!cs)
2750 return ERR_PTR(-ENOMEM);
David Brazdil0f672f62019-12-10 10:32:29 +00002751
2752 if (alloc_cpumasks(cs, NULL)) {
2753 kfree(cs);
2754 return ERR_PTR(-ENOMEM);
2755 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002756
2757 set_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002758 nodes_clear(cs->mems_allowed);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002759 nodes_clear(cs->effective_mems);
2760 fmeter_init(&cs->fmeter);
2761 cs->relax_domain_level = -1;
2762
2763 return &cs->css;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002764}
2765
2766static int cpuset_css_online(struct cgroup_subsys_state *css)
2767{
2768 struct cpuset *cs = css_cs(css);
2769 struct cpuset *parent = parent_cs(cs);
2770 struct cpuset *tmp_cs;
2771 struct cgroup_subsys_state *pos_css;
2772
2773 if (!parent)
2774 return 0;
2775
David Brazdil0f672f62019-12-10 10:32:29 +00002776 get_online_cpus();
2777 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002778
2779 set_bit(CS_ONLINE, &cs->flags);
2780 if (is_spread_page(parent))
2781 set_bit(CS_SPREAD_PAGE, &cs->flags);
2782 if (is_spread_slab(parent))
2783 set_bit(CS_SPREAD_SLAB, &cs->flags);
2784
2785 cpuset_inc();
2786
2787 spin_lock_irq(&callback_lock);
2788 if (is_in_v2_mode()) {
2789 cpumask_copy(cs->effective_cpus, parent->effective_cpus);
2790 cs->effective_mems = parent->effective_mems;
David Brazdil0f672f62019-12-10 10:32:29 +00002791 cs->use_parent_ecpus = true;
2792 parent->child_ecpus_count++;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002793 }
2794 spin_unlock_irq(&callback_lock);
2795
2796 if (!test_bit(CGRP_CPUSET_CLONE_CHILDREN, &css->cgroup->flags))
2797 goto out_unlock;
2798
2799 /*
2800 * Clone @parent's configuration if CGRP_CPUSET_CLONE_CHILDREN is
2801 * set. This flag handling is implemented in cgroup core for
2802 * histrical reasons - the flag may be specified during mount.
2803 *
2804 * Currently, if any sibling cpusets have exclusive cpus or mem, we
2805 * refuse to clone the configuration - thereby refusing the task to
2806 * be entered, and as a result refusing the sys_unshare() or
2807 * clone() which initiated it. If this becomes a problem for some
2808 * users who wish to allow that scenario, then this could be
2809 * changed to grant parent->cpus_allowed-sibling_cpus_exclusive
2810 * (and likewise for mems) to the new cgroup.
2811 */
2812 rcu_read_lock();
2813 cpuset_for_each_child(tmp_cs, pos_css, parent) {
2814 if (is_mem_exclusive(tmp_cs) || is_cpu_exclusive(tmp_cs)) {
2815 rcu_read_unlock();
2816 goto out_unlock;
2817 }
2818 }
2819 rcu_read_unlock();
2820
2821 spin_lock_irq(&callback_lock);
2822 cs->mems_allowed = parent->mems_allowed;
2823 cs->effective_mems = parent->mems_allowed;
2824 cpumask_copy(cs->cpus_allowed, parent->cpus_allowed);
2825 cpumask_copy(cs->effective_cpus, parent->cpus_allowed);
2826 spin_unlock_irq(&callback_lock);
2827out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00002828 percpu_up_write(&cpuset_rwsem);
2829 put_online_cpus();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002830 return 0;
2831}
2832
2833/*
2834 * If the cpuset being removed has its flag 'sched_load_balance'
2835 * enabled, then simulate turning sched_load_balance off, which
David Brazdil0f672f62019-12-10 10:32:29 +00002836 * will call rebuild_sched_domains_locked(). That is not needed
2837 * in the default hierarchy where only changes in partition
2838 * will cause repartitioning.
2839 *
2840 * If the cpuset has the 'sched.partition' flag enabled, simulate
2841 * turning 'sched.partition" off.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002842 */
2843
2844static void cpuset_css_offline(struct cgroup_subsys_state *css)
2845{
2846 struct cpuset *cs = css_cs(css);
2847
David Brazdil0f672f62019-12-10 10:32:29 +00002848 get_online_cpus();
2849 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002850
David Brazdil0f672f62019-12-10 10:32:29 +00002851 if (is_partition_root(cs))
2852 update_prstate(cs, 0);
2853
2854 if (!cgroup_subsys_on_dfl(cpuset_cgrp_subsys) &&
2855 is_sched_load_balance(cs))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002856 update_flag(CS_SCHED_LOAD_BALANCE, cs, 0);
2857
David Brazdil0f672f62019-12-10 10:32:29 +00002858 if (cs->use_parent_ecpus) {
2859 struct cpuset *parent = parent_cs(cs);
2860
2861 cs->use_parent_ecpus = false;
2862 parent->child_ecpus_count--;
2863 }
2864
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002865 cpuset_dec();
2866 clear_bit(CS_ONLINE, &cs->flags);
2867
David Brazdil0f672f62019-12-10 10:32:29 +00002868 percpu_up_write(&cpuset_rwsem);
2869 put_online_cpus();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002870}
2871
2872static void cpuset_css_free(struct cgroup_subsys_state *css)
2873{
2874 struct cpuset *cs = css_cs(css);
2875
David Brazdil0f672f62019-12-10 10:32:29 +00002876 free_cpuset(cs);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002877}
2878
2879static void cpuset_bind(struct cgroup_subsys_state *root_css)
2880{
David Brazdil0f672f62019-12-10 10:32:29 +00002881 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002882 spin_lock_irq(&callback_lock);
2883
2884 if (is_in_v2_mode()) {
2885 cpumask_copy(top_cpuset.cpus_allowed, cpu_possible_mask);
2886 top_cpuset.mems_allowed = node_possible_map;
2887 } else {
2888 cpumask_copy(top_cpuset.cpus_allowed,
2889 top_cpuset.effective_cpus);
2890 top_cpuset.mems_allowed = top_cpuset.effective_mems;
2891 }
2892
2893 spin_unlock_irq(&callback_lock);
David Brazdil0f672f62019-12-10 10:32:29 +00002894 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002895}
2896
2897/*
2898 * Make sure the new task conform to the current state of its parent,
2899 * which could have been changed by cpuset just after it inherits the
2900 * state from the parent and before it sits on the cgroup's task list.
2901 */
2902static void cpuset_fork(struct task_struct *task)
2903{
2904 if (task_css_is_root(task, cpuset_cgrp_id))
2905 return;
2906
David Brazdil0f672f62019-12-10 10:32:29 +00002907 set_cpus_allowed_ptr(task, current->cpus_ptr);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002908 task->mems_allowed = current->mems_allowed;
2909}
2910
2911struct cgroup_subsys cpuset_cgrp_subsys = {
2912 .css_alloc = cpuset_css_alloc,
2913 .css_online = cpuset_css_online,
2914 .css_offline = cpuset_css_offline,
2915 .css_free = cpuset_css_free,
2916 .can_attach = cpuset_can_attach,
2917 .cancel_attach = cpuset_cancel_attach,
2918 .attach = cpuset_attach,
2919 .post_attach = cpuset_post_attach,
2920 .bind = cpuset_bind,
2921 .fork = cpuset_fork,
David Brazdil0f672f62019-12-10 10:32:29 +00002922 .legacy_cftypes = legacy_files,
2923 .dfl_cftypes = dfl_files,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002924 .early_init = true,
David Brazdil0f672f62019-12-10 10:32:29 +00002925 .threaded = true,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002926};
2927
2928/**
2929 * cpuset_init - initialize cpusets at system boot
2930 *
David Brazdil0f672f62019-12-10 10:32:29 +00002931 * Description: Initialize top_cpuset
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002932 **/
2933
2934int __init cpuset_init(void)
2935{
David Brazdil0f672f62019-12-10 10:32:29 +00002936 BUG_ON(percpu_init_rwsem(&cpuset_rwsem));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002937
2938 BUG_ON(!alloc_cpumask_var(&top_cpuset.cpus_allowed, GFP_KERNEL));
2939 BUG_ON(!alloc_cpumask_var(&top_cpuset.effective_cpus, GFP_KERNEL));
David Brazdil0f672f62019-12-10 10:32:29 +00002940 BUG_ON(!zalloc_cpumask_var(&top_cpuset.subparts_cpus, GFP_KERNEL));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002941
2942 cpumask_setall(top_cpuset.cpus_allowed);
2943 nodes_setall(top_cpuset.mems_allowed);
2944 cpumask_setall(top_cpuset.effective_cpus);
2945 nodes_setall(top_cpuset.effective_mems);
2946
2947 fmeter_init(&top_cpuset.fmeter);
2948 set_bit(CS_SCHED_LOAD_BALANCE, &top_cpuset.flags);
2949 top_cpuset.relax_domain_level = -1;
2950
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002951 BUG_ON(!alloc_cpumask_var(&cpus_attach, GFP_KERNEL));
2952
2953 return 0;
2954}
2955
2956/*
2957 * If CPU and/or memory hotplug handlers, below, unplug any CPUs
2958 * or memory nodes, we need to walk over the cpuset hierarchy,
2959 * removing that CPU or node from all cpusets. If this removes the
2960 * last CPU or node from a cpuset, then move the tasks in the empty
2961 * cpuset to its next-highest non-empty parent.
2962 */
2963static void remove_tasks_in_empty_cpuset(struct cpuset *cs)
2964{
2965 struct cpuset *parent;
2966
2967 /*
2968 * Find its next-highest non-empty parent, (top cpuset
2969 * has online cpus, so can't be empty).
2970 */
2971 parent = parent_cs(cs);
2972 while (cpumask_empty(parent->cpus_allowed) ||
2973 nodes_empty(parent->mems_allowed))
2974 parent = parent_cs(parent);
2975
2976 if (cgroup_transfer_tasks(parent->css.cgroup, cs->css.cgroup)) {
2977 pr_err("cpuset: failed to transfer tasks out of empty cpuset ");
2978 pr_cont_cgroup_name(cs->css.cgroup);
2979 pr_cont("\n");
2980 }
2981}
2982
2983static void
2984hotplug_update_tasks_legacy(struct cpuset *cs,
2985 struct cpumask *new_cpus, nodemask_t *new_mems,
2986 bool cpus_updated, bool mems_updated)
2987{
2988 bool is_empty;
2989
2990 spin_lock_irq(&callback_lock);
2991 cpumask_copy(cs->cpus_allowed, new_cpus);
2992 cpumask_copy(cs->effective_cpus, new_cpus);
2993 cs->mems_allowed = *new_mems;
2994 cs->effective_mems = *new_mems;
2995 spin_unlock_irq(&callback_lock);
2996
2997 /*
2998 * Don't call update_tasks_cpumask() if the cpuset becomes empty,
2999 * as the tasks will be migratecd to an ancestor.
3000 */
3001 if (cpus_updated && !cpumask_empty(cs->cpus_allowed))
3002 update_tasks_cpumask(cs);
3003 if (mems_updated && !nodes_empty(cs->mems_allowed))
3004 update_tasks_nodemask(cs);
3005
3006 is_empty = cpumask_empty(cs->cpus_allowed) ||
3007 nodes_empty(cs->mems_allowed);
3008
David Brazdil0f672f62019-12-10 10:32:29 +00003009 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003010
3011 /*
3012 * Move tasks to the nearest ancestor with execution resources,
3013 * This is full cgroup operation which will also call back into
3014 * cpuset. Should be done outside any lock.
3015 */
3016 if (is_empty)
3017 remove_tasks_in_empty_cpuset(cs);
3018
David Brazdil0f672f62019-12-10 10:32:29 +00003019 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003020}
3021
3022static void
3023hotplug_update_tasks(struct cpuset *cs,
3024 struct cpumask *new_cpus, nodemask_t *new_mems,
3025 bool cpus_updated, bool mems_updated)
3026{
3027 if (cpumask_empty(new_cpus))
3028 cpumask_copy(new_cpus, parent_cs(cs)->effective_cpus);
3029 if (nodes_empty(*new_mems))
3030 *new_mems = parent_cs(cs)->effective_mems;
3031
3032 spin_lock_irq(&callback_lock);
3033 cpumask_copy(cs->effective_cpus, new_cpus);
3034 cs->effective_mems = *new_mems;
3035 spin_unlock_irq(&callback_lock);
3036
3037 if (cpus_updated)
3038 update_tasks_cpumask(cs);
3039 if (mems_updated)
3040 update_tasks_nodemask(cs);
3041}
3042
David Brazdil0f672f62019-12-10 10:32:29 +00003043static bool force_rebuild;
3044
3045void cpuset_force_rebuild(void)
3046{
3047 force_rebuild = true;
3048}
3049
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003050/**
3051 * cpuset_hotplug_update_tasks - update tasks in a cpuset for hotunplug
3052 * @cs: cpuset in interest
David Brazdil0f672f62019-12-10 10:32:29 +00003053 * @tmp: the tmpmasks structure pointer
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003054 *
3055 * Compare @cs's cpu and mem masks against top_cpuset and if some have gone
3056 * offline, update @cs accordingly. If @cs ends up with no CPU or memory,
3057 * all its tasks are moved to the nearest ancestor with both resources.
3058 */
David Brazdil0f672f62019-12-10 10:32:29 +00003059static void cpuset_hotplug_update_tasks(struct cpuset *cs, struct tmpmasks *tmp)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003060{
3061 static cpumask_t new_cpus;
3062 static nodemask_t new_mems;
3063 bool cpus_updated;
3064 bool mems_updated;
David Brazdil0f672f62019-12-10 10:32:29 +00003065 struct cpuset *parent;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003066retry:
3067 wait_event(cpuset_attach_wq, cs->attach_in_progress == 0);
3068
David Brazdil0f672f62019-12-10 10:32:29 +00003069 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003070
3071 /*
3072 * We have raced with task attaching. We wait until attaching
3073 * is finished, so we won't attach a task to an empty cpuset.
3074 */
3075 if (cs->attach_in_progress) {
David Brazdil0f672f62019-12-10 10:32:29 +00003076 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003077 goto retry;
3078 }
3079
Olivier Deprez157378f2022-04-04 15:47:50 +02003080 parent = parent_cs(cs);
David Brazdil0f672f62019-12-10 10:32:29 +00003081 compute_effective_cpumask(&new_cpus, cs, parent);
3082 nodes_and(new_mems, cs->mems_allowed, parent->effective_mems);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003083
David Brazdil0f672f62019-12-10 10:32:29 +00003084 if (cs->nr_subparts_cpus)
3085 /*
3086 * Make sure that CPUs allocated to child partitions
3087 * do not show up in effective_cpus.
3088 */
3089 cpumask_andnot(&new_cpus, &new_cpus, cs->subparts_cpus);
3090
3091 if (!tmp || !cs->partition_root_state)
3092 goto update_tasks;
3093
3094 /*
3095 * In the unlikely event that a partition root has empty
3096 * effective_cpus or its parent becomes erroneous, we have to
3097 * transition it to the erroneous state.
3098 */
3099 if (is_partition_root(cs) && (cpumask_empty(&new_cpus) ||
3100 (parent->partition_root_state == PRS_ERROR))) {
3101 if (cs->nr_subparts_cpus) {
Olivier Deprez157378f2022-04-04 15:47:50 +02003102 spin_lock_irq(&callback_lock);
David Brazdil0f672f62019-12-10 10:32:29 +00003103 cs->nr_subparts_cpus = 0;
3104 cpumask_clear(cs->subparts_cpus);
Olivier Deprez157378f2022-04-04 15:47:50 +02003105 spin_unlock_irq(&callback_lock);
David Brazdil0f672f62019-12-10 10:32:29 +00003106 compute_effective_cpumask(&new_cpus, cs, parent);
3107 }
3108
3109 /*
3110 * If the effective_cpus is empty because the child
3111 * partitions take away all the CPUs, we can keep
3112 * the current partition and let the child partitions
3113 * fight for available CPUs.
3114 */
3115 if ((parent->partition_root_state == PRS_ERROR) ||
3116 cpumask_empty(&new_cpus)) {
3117 update_parent_subparts_cpumask(cs, partcmd_disable,
3118 NULL, tmp);
Olivier Deprez157378f2022-04-04 15:47:50 +02003119 spin_lock_irq(&callback_lock);
David Brazdil0f672f62019-12-10 10:32:29 +00003120 cs->partition_root_state = PRS_ERROR;
Olivier Deprez157378f2022-04-04 15:47:50 +02003121 spin_unlock_irq(&callback_lock);
David Brazdil0f672f62019-12-10 10:32:29 +00003122 }
3123 cpuset_force_rebuild();
3124 }
3125
3126 /*
3127 * On the other hand, an erroneous partition root may be transitioned
3128 * back to a regular one or a partition root with no CPU allocated
3129 * from the parent may change to erroneous.
3130 */
3131 if (is_partition_root(parent) &&
3132 ((cs->partition_root_state == PRS_ERROR) ||
3133 !cpumask_intersects(&new_cpus, parent->subparts_cpus)) &&
3134 update_parent_subparts_cpumask(cs, partcmd_update, NULL, tmp))
3135 cpuset_force_rebuild();
3136
3137update_tasks:
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003138 cpus_updated = !cpumask_equal(&new_cpus, cs->effective_cpus);
3139 mems_updated = !nodes_equal(new_mems, cs->effective_mems);
3140
3141 if (is_in_v2_mode())
3142 hotplug_update_tasks(cs, &new_cpus, &new_mems,
3143 cpus_updated, mems_updated);
3144 else
3145 hotplug_update_tasks_legacy(cs, &new_cpus, &new_mems,
3146 cpus_updated, mems_updated);
3147
David Brazdil0f672f62019-12-10 10:32:29 +00003148 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003149}
3150
3151/**
3152 * cpuset_hotplug_workfn - handle CPU/memory hotunplug for a cpuset
3153 *
3154 * This function is called after either CPU or memory configuration has
3155 * changed and updates cpuset accordingly. The top_cpuset is always
3156 * synchronized to cpu_active_mask and N_MEMORY, which is necessary in
3157 * order to make cpusets transparent (of no affect) on systems that are
3158 * actively using CPU hotplug but making no active use of cpusets.
3159 *
3160 * Non-root cpusets are only affected by offlining. If any CPUs or memory
3161 * nodes have been taken down, cpuset_hotplug_update_tasks() is invoked on
3162 * all descendants.
3163 *
3164 * Note that CPU offlining during suspend is ignored. We don't modify
3165 * cpusets across suspend/resume cycles at all.
3166 */
3167static void cpuset_hotplug_workfn(struct work_struct *work)
3168{
3169 static cpumask_t new_cpus;
3170 static nodemask_t new_mems;
3171 bool cpus_updated, mems_updated;
3172 bool on_dfl = is_in_v2_mode();
David Brazdil0f672f62019-12-10 10:32:29 +00003173 struct tmpmasks tmp, *ptmp = NULL;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003174
David Brazdil0f672f62019-12-10 10:32:29 +00003175 if (on_dfl && !alloc_cpumasks(NULL, &tmp))
3176 ptmp = &tmp;
3177
3178 percpu_down_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003179
3180 /* fetch the available cpus/mems and find out which changed how */
3181 cpumask_copy(&new_cpus, cpu_active_mask);
3182 new_mems = node_states[N_MEMORY];
3183
David Brazdil0f672f62019-12-10 10:32:29 +00003184 /*
3185 * If subparts_cpus is populated, it is likely that the check below
3186 * will produce a false positive on cpus_updated when the cpu list
3187 * isn't changed. It is extra work, but it is better to be safe.
3188 */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003189 cpus_updated = !cpumask_equal(top_cpuset.effective_cpus, &new_cpus);
3190 mems_updated = !nodes_equal(top_cpuset.effective_mems, new_mems);
3191
Olivier Deprez0e641232021-09-23 10:07:05 +02003192 /*
3193 * In the rare case that hotplug removes all the cpus in subparts_cpus,
3194 * we assumed that cpus are updated.
3195 */
3196 if (!cpus_updated && top_cpuset.nr_subparts_cpus)
3197 cpus_updated = true;
3198
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003199 /* synchronize cpus_allowed to cpu_active_mask */
3200 if (cpus_updated) {
3201 spin_lock_irq(&callback_lock);
3202 if (!on_dfl)
3203 cpumask_copy(top_cpuset.cpus_allowed, &new_cpus);
David Brazdil0f672f62019-12-10 10:32:29 +00003204 /*
3205 * Make sure that CPUs allocated to child partitions
3206 * do not show up in effective_cpus. If no CPU is left,
3207 * we clear the subparts_cpus & let the child partitions
3208 * fight for the CPUs again.
3209 */
3210 if (top_cpuset.nr_subparts_cpus) {
3211 if (cpumask_subset(&new_cpus,
3212 top_cpuset.subparts_cpus)) {
3213 top_cpuset.nr_subparts_cpus = 0;
3214 cpumask_clear(top_cpuset.subparts_cpus);
3215 } else {
3216 cpumask_andnot(&new_cpus, &new_cpus,
3217 top_cpuset.subparts_cpus);
3218 }
3219 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003220 cpumask_copy(top_cpuset.effective_cpus, &new_cpus);
3221 spin_unlock_irq(&callback_lock);
3222 /* we don't mess with cpumasks of tasks in top_cpuset */
3223 }
3224
3225 /* synchronize mems_allowed to N_MEMORY */
3226 if (mems_updated) {
3227 spin_lock_irq(&callback_lock);
3228 if (!on_dfl)
3229 top_cpuset.mems_allowed = new_mems;
3230 top_cpuset.effective_mems = new_mems;
3231 spin_unlock_irq(&callback_lock);
3232 update_tasks_nodemask(&top_cpuset);
3233 }
3234
David Brazdil0f672f62019-12-10 10:32:29 +00003235 percpu_up_write(&cpuset_rwsem);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003236
3237 /* if cpus or mems changed, we need to propagate to descendants */
3238 if (cpus_updated || mems_updated) {
3239 struct cpuset *cs;
3240 struct cgroup_subsys_state *pos_css;
3241
3242 rcu_read_lock();
3243 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) {
3244 if (cs == &top_cpuset || !css_tryget_online(&cs->css))
3245 continue;
3246 rcu_read_unlock();
3247
David Brazdil0f672f62019-12-10 10:32:29 +00003248 cpuset_hotplug_update_tasks(cs, ptmp);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003249
3250 rcu_read_lock();
3251 css_put(&cs->css);
3252 }
3253 rcu_read_unlock();
3254 }
3255
3256 /* rebuild sched domains if cpus_allowed has changed */
3257 if (cpus_updated || force_rebuild) {
3258 force_rebuild = false;
3259 rebuild_sched_domains();
3260 }
David Brazdil0f672f62019-12-10 10:32:29 +00003261
3262 free_cpumasks(NULL, ptmp);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003263}
3264
3265void cpuset_update_active_cpus(void)
3266{
3267 /*
3268 * We're inside cpu hotplug critical region which usually nests
3269 * inside cgroup synchronization. Bounce actual hotplug processing
3270 * to a work item to avoid reverse locking order.
3271 */
3272 schedule_work(&cpuset_hotplug_work);
3273}
3274
3275void cpuset_wait_for_hotplug(void)
3276{
3277 flush_work(&cpuset_hotplug_work);
3278}
3279
3280/*
3281 * Keep top_cpuset.mems_allowed tracking node_states[N_MEMORY].
3282 * Call this routine anytime after node_states[N_MEMORY] changes.
3283 * See cpuset_update_active_cpus() for CPU hotplug handling.
3284 */
3285static int cpuset_track_online_nodes(struct notifier_block *self,
3286 unsigned long action, void *arg)
3287{
3288 schedule_work(&cpuset_hotplug_work);
3289 return NOTIFY_OK;
3290}
3291
3292static struct notifier_block cpuset_track_online_nodes_nb = {
3293 .notifier_call = cpuset_track_online_nodes,
3294 .priority = 10, /* ??! */
3295};
3296
3297/**
3298 * cpuset_init_smp - initialize cpus_allowed
3299 *
3300 * Description: Finish top cpuset after cpu, node maps are initialized
3301 */
3302void __init cpuset_init_smp(void)
3303{
3304 cpumask_copy(top_cpuset.cpus_allowed, cpu_active_mask);
3305 top_cpuset.mems_allowed = node_states[N_MEMORY];
3306 top_cpuset.old_mems_allowed = top_cpuset.mems_allowed;
3307
3308 cpumask_copy(top_cpuset.effective_cpus, cpu_active_mask);
3309 top_cpuset.effective_mems = node_states[N_MEMORY];
3310
3311 register_hotmemory_notifier(&cpuset_track_online_nodes_nb);
3312
3313 cpuset_migrate_mm_wq = alloc_ordered_workqueue("cpuset_migrate_mm", 0);
3314 BUG_ON(!cpuset_migrate_mm_wq);
3315}
3316
3317/**
3318 * cpuset_cpus_allowed - return cpus_allowed mask from a tasks cpuset.
3319 * @tsk: pointer to task_struct from which to obtain cpuset->cpus_allowed.
3320 * @pmask: pointer to struct cpumask variable to receive cpus_allowed set.
3321 *
3322 * Description: Returns the cpumask_var_t cpus_allowed of the cpuset
3323 * attached to the specified @tsk. Guaranteed to return some non-empty
3324 * subset of cpu_online_mask, even if this means going outside the
3325 * tasks cpuset.
3326 **/
3327
3328void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask)
3329{
3330 unsigned long flags;
3331
3332 spin_lock_irqsave(&callback_lock, flags);
3333 rcu_read_lock();
3334 guarantee_online_cpus(task_cs(tsk), pmask);
3335 rcu_read_unlock();
3336 spin_unlock_irqrestore(&callback_lock, flags);
3337}
3338
David Brazdil0f672f62019-12-10 10:32:29 +00003339/**
3340 * cpuset_cpus_allowed_fallback - final fallback before complete catastrophe.
3341 * @tsk: pointer to task_struct with which the scheduler is struggling
3342 *
3343 * Description: In the case that the scheduler cannot find an allowed cpu in
3344 * tsk->cpus_allowed, we fall back to task_cs(tsk)->cpus_allowed. In legacy
3345 * mode however, this value is the same as task_cs(tsk)->effective_cpus,
3346 * which will not contain a sane cpumask during cases such as cpu hotplugging.
3347 * This is the absolute last resort for the scheduler and it is only used if
3348 * _every_ other avenue has been traveled.
3349 **/
3350
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003351void cpuset_cpus_allowed_fallback(struct task_struct *tsk)
3352{
3353 rcu_read_lock();
David Brazdil0f672f62019-12-10 10:32:29 +00003354 do_set_cpus_allowed(tsk, is_in_v2_mode() ?
3355 task_cs(tsk)->cpus_allowed : cpu_possible_mask);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003356 rcu_read_unlock();
3357
3358 /*
3359 * We own tsk->cpus_allowed, nobody can change it under us.
3360 *
3361 * But we used cs && cs->cpus_allowed lockless and thus can
3362 * race with cgroup_attach_task() or update_cpumask() and get
3363 * the wrong tsk->cpus_allowed. However, both cases imply the
3364 * subsequent cpuset_change_cpumask()->set_cpus_allowed_ptr()
3365 * which takes task_rq_lock().
3366 *
3367 * If we are called after it dropped the lock we must see all
3368 * changes in tsk_cs()->cpus_allowed. Otherwise we can temporary
3369 * set any mask even if it is not right from task_cs() pov,
3370 * the pending set_cpus_allowed_ptr() will fix things.
3371 *
3372 * select_fallback_rq() will fix things ups and set cpu_possible_mask
3373 * if required.
3374 */
3375}
3376
3377void __init cpuset_init_current_mems_allowed(void)
3378{
3379 nodes_setall(current->mems_allowed);
3380}
3381
3382/**
3383 * cpuset_mems_allowed - return mems_allowed mask from a tasks cpuset.
3384 * @tsk: pointer to task_struct from which to obtain cpuset->mems_allowed.
3385 *
3386 * Description: Returns the nodemask_t mems_allowed of the cpuset
3387 * attached to the specified @tsk. Guaranteed to return some non-empty
3388 * subset of node_states[N_MEMORY], even if this means going outside the
3389 * tasks cpuset.
3390 **/
3391
3392nodemask_t cpuset_mems_allowed(struct task_struct *tsk)
3393{
3394 nodemask_t mask;
3395 unsigned long flags;
3396
3397 spin_lock_irqsave(&callback_lock, flags);
3398 rcu_read_lock();
3399 guarantee_online_mems(task_cs(tsk), &mask);
3400 rcu_read_unlock();
3401 spin_unlock_irqrestore(&callback_lock, flags);
3402
3403 return mask;
3404}
3405
3406/**
3407 * cpuset_nodemask_valid_mems_allowed - check nodemask vs. curremt mems_allowed
3408 * @nodemask: the nodemask to be checked
3409 *
3410 * Are any of the nodes in the nodemask allowed in current->mems_allowed?
3411 */
3412int cpuset_nodemask_valid_mems_allowed(nodemask_t *nodemask)
3413{
3414 return nodes_intersects(*nodemask, current->mems_allowed);
3415}
3416
3417/*
3418 * nearest_hardwall_ancestor() - Returns the nearest mem_exclusive or
3419 * mem_hardwall ancestor to the specified cpuset. Call holding
3420 * callback_lock. If no ancestor is mem_exclusive or mem_hardwall
3421 * (an unusual configuration), then returns the root cpuset.
3422 */
3423static struct cpuset *nearest_hardwall_ancestor(struct cpuset *cs)
3424{
3425 while (!(is_mem_exclusive(cs) || is_mem_hardwall(cs)) && parent_cs(cs))
3426 cs = parent_cs(cs);
3427 return cs;
3428}
3429
3430/**
3431 * cpuset_node_allowed - Can we allocate on a memory node?
3432 * @node: is this an allowed node?
3433 * @gfp_mask: memory allocation flags
3434 *
3435 * If we're in interrupt, yes, we can always allocate. If @node is set in
3436 * current's mems_allowed, yes. If it's not a __GFP_HARDWALL request and this
3437 * node is set in the nearest hardwalled cpuset ancestor to current's cpuset,
3438 * yes. If current has access to memory reserves as an oom victim, yes.
3439 * Otherwise, no.
3440 *
3441 * GFP_USER allocations are marked with the __GFP_HARDWALL bit,
3442 * and do not allow allocations outside the current tasks cpuset
3443 * unless the task has been OOM killed.
3444 * GFP_KERNEL allocations are not so marked, so can escape to the
3445 * nearest enclosing hardwalled ancestor cpuset.
3446 *
3447 * Scanning up parent cpusets requires callback_lock. The
3448 * __alloc_pages() routine only calls here with __GFP_HARDWALL bit
3449 * _not_ set if it's a GFP_KERNEL allocation, and all nodes in the
3450 * current tasks mems_allowed came up empty on the first pass over
3451 * the zonelist. So only GFP_KERNEL allocations, if all nodes in the
3452 * cpuset are short of memory, might require taking the callback_lock.
3453 *
3454 * The first call here from mm/page_alloc:get_page_from_freelist()
3455 * has __GFP_HARDWALL set in gfp_mask, enforcing hardwall cpusets,
3456 * so no allocation on a node outside the cpuset is allowed (unless
3457 * in interrupt, of course).
3458 *
3459 * The second pass through get_page_from_freelist() doesn't even call
3460 * here for GFP_ATOMIC calls. For those calls, the __alloc_pages()
3461 * variable 'wait' is not set, and the bit ALLOC_CPUSET is not set
3462 * in alloc_flags. That logic and the checks below have the combined
3463 * affect that:
3464 * in_interrupt - any node ok (current task context irrelevant)
3465 * GFP_ATOMIC - any node ok
3466 * tsk_is_oom_victim - any node ok
3467 * GFP_KERNEL - any node in enclosing hardwalled cpuset ok
3468 * GFP_USER - only nodes in current tasks mems allowed ok.
3469 */
3470bool __cpuset_node_allowed(int node, gfp_t gfp_mask)
3471{
3472 struct cpuset *cs; /* current cpuset ancestors */
3473 int allowed; /* is allocation in zone z allowed? */
3474 unsigned long flags;
3475
3476 if (in_interrupt())
3477 return true;
3478 if (node_isset(node, current->mems_allowed))
3479 return true;
3480 /*
3481 * Allow tasks that have access to memory reserves because they have
3482 * been OOM killed to get memory anywhere.
3483 */
3484 if (unlikely(tsk_is_oom_victim(current)))
3485 return true;
3486 if (gfp_mask & __GFP_HARDWALL) /* If hardwall request, stop here */
3487 return false;
3488
3489 if (current->flags & PF_EXITING) /* Let dying task have memory */
3490 return true;
3491
3492 /* Not hardwall and node outside mems_allowed: scan up cpusets */
3493 spin_lock_irqsave(&callback_lock, flags);
3494
3495 rcu_read_lock();
3496 cs = nearest_hardwall_ancestor(task_cs(current));
3497 allowed = node_isset(node, cs->mems_allowed);
3498 rcu_read_unlock();
3499
3500 spin_unlock_irqrestore(&callback_lock, flags);
3501 return allowed;
3502}
3503
3504/**
3505 * cpuset_mem_spread_node() - On which node to begin search for a file page
3506 * cpuset_slab_spread_node() - On which node to begin search for a slab page
3507 *
3508 * If a task is marked PF_SPREAD_PAGE or PF_SPREAD_SLAB (as for
3509 * tasks in a cpuset with is_spread_page or is_spread_slab set),
3510 * and if the memory allocation used cpuset_mem_spread_node()
3511 * to determine on which node to start looking, as it will for
3512 * certain page cache or slab cache pages such as used for file
3513 * system buffers and inode caches, then instead of starting on the
3514 * local node to look for a free page, rather spread the starting
3515 * node around the tasks mems_allowed nodes.
3516 *
3517 * We don't have to worry about the returned node being offline
3518 * because "it can't happen", and even if it did, it would be ok.
3519 *
3520 * The routines calling guarantee_online_mems() are careful to
3521 * only set nodes in task->mems_allowed that are online. So it
3522 * should not be possible for the following code to return an
3523 * offline node. But if it did, that would be ok, as this routine
3524 * is not returning the node where the allocation must be, only
3525 * the node where the search should start. The zonelist passed to
3526 * __alloc_pages() will include all nodes. If the slab allocator
3527 * is passed an offline node, it will fall back to the local node.
3528 * See kmem_cache_alloc_node().
3529 */
3530
3531static int cpuset_spread_node(int *rotor)
3532{
3533 return *rotor = next_node_in(*rotor, current->mems_allowed);
3534}
3535
3536int cpuset_mem_spread_node(void)
3537{
3538 if (current->cpuset_mem_spread_rotor == NUMA_NO_NODE)
3539 current->cpuset_mem_spread_rotor =
3540 node_random(&current->mems_allowed);
3541
3542 return cpuset_spread_node(&current->cpuset_mem_spread_rotor);
3543}
3544
3545int cpuset_slab_spread_node(void)
3546{
3547 if (current->cpuset_slab_spread_rotor == NUMA_NO_NODE)
3548 current->cpuset_slab_spread_rotor =
3549 node_random(&current->mems_allowed);
3550
3551 return cpuset_spread_node(&current->cpuset_slab_spread_rotor);
3552}
3553
3554EXPORT_SYMBOL_GPL(cpuset_mem_spread_node);
3555
3556/**
3557 * cpuset_mems_allowed_intersects - Does @tsk1's mems_allowed intersect @tsk2's?
3558 * @tsk1: pointer to task_struct of some task.
3559 * @tsk2: pointer to task_struct of some other task.
3560 *
3561 * Description: Return true if @tsk1's mems_allowed intersects the
3562 * mems_allowed of @tsk2. Used by the OOM killer to determine if
3563 * one of the task's memory usage might impact the memory available
3564 * to the other.
3565 **/
3566
3567int cpuset_mems_allowed_intersects(const struct task_struct *tsk1,
3568 const struct task_struct *tsk2)
3569{
3570 return nodes_intersects(tsk1->mems_allowed, tsk2->mems_allowed);
3571}
3572
3573/**
3574 * cpuset_print_current_mems_allowed - prints current's cpuset and mems_allowed
3575 *
3576 * Description: Prints current's name, cpuset name, and cached copy of its
3577 * mems_allowed to the kernel log.
3578 */
3579void cpuset_print_current_mems_allowed(void)
3580{
3581 struct cgroup *cgrp;
3582
3583 rcu_read_lock();
3584
3585 cgrp = task_cs(current)->css.cgroup;
David Brazdil0f672f62019-12-10 10:32:29 +00003586 pr_cont(",cpuset=");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003587 pr_cont_cgroup_name(cgrp);
David Brazdil0f672f62019-12-10 10:32:29 +00003588 pr_cont(",mems_allowed=%*pbl",
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00003589 nodemask_pr_args(&current->mems_allowed));
3590
3591 rcu_read_unlock();
3592}
3593
3594/*
3595 * Collection of memory_pressure is suppressed unless
3596 * this flag is enabled by writing "1" to the special
3597 * cpuset file 'memory_pressure_enabled' in the root cpuset.
3598 */
3599
3600int cpuset_memory_pressure_enabled __read_mostly;
3601
3602/**
3603 * cpuset_memory_pressure_bump - keep stats of per-cpuset reclaims.
3604 *
3605 * Keep a running average of the rate of synchronous (direct)
3606 * page reclaim efforts initiated by tasks in each cpuset.
3607 *
3608 * This represents the rate at which some task in the cpuset
3609 * ran low on memory on all nodes it was allowed to use, and
3610 * had to enter the kernels page reclaim code in an effort to
3611 * create more free memory by tossing clean pages or swapping
3612 * or writing dirty pages.
3613 *
3614 * Display to user space in the per-cpuset read-only file
3615 * "memory_pressure". Value displayed is an integer
3616 * representing the recent rate of entry into the synchronous
3617 * (direct) page reclaim by any task attached to the cpuset.
3618 **/
3619
3620void __cpuset_memory_pressure_bump(void)
3621{
3622 rcu_read_lock();
3623 fmeter_markevent(&task_cs(current)->fmeter);
3624 rcu_read_unlock();
3625}
3626
3627#ifdef CONFIG_PROC_PID_CPUSET
3628/*
3629 * proc_cpuset_show()
3630 * - Print tasks cpuset path into seq_file.
3631 * - Used for /proc/<pid>/cpuset.
3632 * - No need to task_lock(tsk) on this tsk->cpuset reference, as it
3633 * doesn't really matter if tsk->cpuset changes after we read it,
3634 * and we take cpuset_mutex, keeping cpuset_attach() from changing it
3635 * anyway.
3636 */
3637int proc_cpuset_show(struct seq_file *m, struct pid_namespace *ns,
3638 struct pid *pid, struct task_struct *tsk)
3639{
3640 char *buf;
3641 struct cgroup_subsys_state *css;
3642 int retval;
3643
3644 retval = -ENOMEM;
3645 buf = kmalloc(PATH_MAX, GFP_KERNEL);
3646 if (!buf)
3647 goto out;
3648
3649 css = task_get_css(tsk, cpuset_cgrp_id);
3650 retval = cgroup_path_ns(css->cgroup, buf, PATH_MAX,
3651 current->nsproxy->cgroup_ns);
3652 css_put(css);
3653 if (retval >= PATH_MAX)
3654 retval = -ENAMETOOLONG;
3655 if (retval < 0)
3656 goto out_free;
3657 seq_puts(m, buf);
3658 seq_putc(m, '\n');
3659 retval = 0;
3660out_free:
3661 kfree(buf);
3662out:
3663 return retval;
3664}
3665#endif /* CONFIG_PROC_PID_CPUSET */
3666
3667/* Display task mems_allowed in /proc/<pid>/status file. */
3668void cpuset_task_status_allowed(struct seq_file *m, struct task_struct *task)
3669{
3670 seq_printf(m, "Mems_allowed:\t%*pb\n",
3671 nodemask_pr_args(&task->mems_allowed));
3672 seq_printf(m, "Mems_allowed_list:\t%*pbl\n",
3673 nodemask_pr_args(&task->mems_allowed));
3674}