1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * kernel/cpuset.c 4 * 5 * Processor and Memory placement constraints for sets of tasks. 6 * 7 * Copyright (C) 2003 BULL SA. 8 * Copyright (C) 2004-2007 Silicon Graphics, Inc. 9 * Copyright (C) 2006 Google, Inc 10 * 11 * Portions derived from Patrick Mochel's sysfs code. 12 * sysfs is Copyright (c) 2001-3 Patrick Mochel 13 * 14 * 2003-10-10 Written by Simon Derr. 15 * 2003-10-22 Updates by Stephen Hemminger. 16 * 2004 May-July Rework by Paul Jackson. 17 * 2006 Rework by Paul Menage to use generic cgroups 18 * 2008 Rework of the scheduler domains and CPU hotplug handling 19 * by Max Krasnyansky 20 */ 21 #include "cpuset-internal.h" 22 23 #include <linux/init.h> 24 #include <linux/interrupt.h> 25 #include <linux/kernel.h> 26 #include <linux/mempolicy.h> 27 #include <linux/mm.h> 28 #include <linux/memory.h> 29 #include <linux/rcupdate.h> 30 #include <linux/sched.h> 31 #include <linux/sched/deadline.h> 32 #include <linux/sched/mm.h> 33 #include <linux/sched/task.h> 34 #include <linux/security.h> 35 #include <linux/oom.h> 36 #include <linux/sched/isolation.h> 37 #include <linux/wait.h> 38 #include <linux/workqueue.h> 39 #include <linux/task_work.h> 40 41 DEFINE_STATIC_KEY_FALSE(cpusets_pre_enable_key); 42 DEFINE_STATIC_KEY_FALSE(cpusets_enabled_key); 43 44 /* 45 * There could be abnormal cpuset configurations for cpu or memory 46 * node binding, add this key to provide a quick low-cost judgment 47 * of the situation. 48 */ 49 DEFINE_STATIC_KEY_FALSE(cpusets_insane_config_key); 50 51 static const char * const perr_strings[] = { 52 [PERR_INVCPUS] = "Invalid cpu list in cpuset.cpus.exclusive", 53 [PERR_INVPARENT] = "Parent is an invalid partition root", 54 [PERR_NOTPART] = "Parent is not a partition root", 55 [PERR_NOTEXCL] = "Cpu list in cpuset.cpus not exclusive", 56 [PERR_NOCPUS] = "Parent unable to distribute cpu downstream", 57 [PERR_HOTPLUG] = "No cpu available due to hotplug", 58 [PERR_CPUSEMPTY] = "cpuset.cpus and cpuset.cpus.exclusive are empty", 59 [PERR_HKEEPING] = "partition config conflicts with housekeeping setup", 60 [PERR_ACCESS] = "Enable partition not permitted", 61 [PERR_REMOTE] = "Have remote partition underneath", 62 }; 63 64 /* 65 * CPUSET Locking Convention 66 * ------------------------- 67 * 68 * Below are the four global/local locks guarding cpuset structures in lock 69 * acquisition order: 70 * - cpuset_top_mutex 71 * - cpu_hotplug_lock (cpus_read_lock/cpus_write_lock) 72 * - cpuset_mutex 73 * - callback_lock (raw spinlock) 74 * 75 * As cpuset will now indirectly flush a number of different workqueues in 76 * housekeeping_update() to update housekeeping cpumasks when the set of 77 * isolated CPUs is going to be changed, it may be vulnerable to deadlock 78 * if we hold cpus_read_lock while calling into housekeeping_update(). 79 * 80 * The first cpuset_top_mutex will be held except when calling into 81 * cpuset_handle_hotplug() from the CPU hotplug code where cpus_write_lock 82 * and cpuset_mutex will be held instead. The main purpose of this mutex 83 * is to prevent regular cpuset control file write actions from interfering 84 * with the call to housekeeping_update(), though CPU hotplug operation can 85 * still happen in parallel. This mutex also provides protection for some 86 * internal variables. 87 * 88 * A task must hold all the remaining three locks to modify externally visible 89 * or used fields of cpusets, though some of the internally used cpuset fields 90 * and internal variables can be modified without holding callback_lock. If only 91 * reliable read access of the externally used fields are needed, a task can 92 * hold either cpuset_mutex or callback_lock which are exposed to other 93 * external subsystems. 94 * 95 * If a task holds cpu_hotplug_lock and cpuset_mutex, it blocks others, 96 * ensuring that it is the only task able to also acquire callback_lock and 97 * be able to modify cpusets. It can perform various checks on the cpuset 98 * structure first, knowing nothing will change. It can also allocate memory 99 * without holding callback_lock. While it is performing these checks, various 100 * callback routines can briefly acquire callback_lock to query cpusets. Once 101 * it is ready to make the changes, it takes callback_lock, blocking everyone 102 * else. 103 * 104 * Calls to the kernel memory allocator cannot be made while holding 105 * callback_lock which is a spinlock, as the memory allocator may sleep or 106 * call back into cpuset code and acquire callback_lock. 107 * 108 * Now, the task_struct fields mems_allowed and mempolicy may be changed 109 * by other task, we use alloc_lock in the task_struct fields to protect 110 * them. 111 * 112 * The cpuset_common_seq_show() handlers only hold callback_lock across 113 * small pieces of code, such as when reading out possibly multi-word 114 * cpumasks and nodemasks. 115 */ 116 117 static DEFINE_MUTEX(cpuset_top_mutex); 118 static DEFINE_MUTEX(cpuset_mutex); 119 120 /* 121 * File level internal variables below follow one of the following exclusion 122 * rules. 123 * 124 * RWCS: Read/write-able by holding either cpus_write_lock (and optionally 125 * cpuset_mutex) or both cpus_read_lock and cpuset_mutex. 126 * 127 * CSCB: Readable by holding either cpuset_mutex or callback_lock. Writable 128 * by holding both cpuset_mutex and callback_lock. 129 * 130 * T: Read/write-able by holding the cpuset_top_mutex. 131 */ 132 133 /* 134 * For local partitions, update to subpartitions_cpus & isolated_cpus is done 135 * in update_parent_effective_cpumask(). For remote partitions, it is done in 136 * the remote_partition_*() and remote_cpus_update() helpers. 137 */ 138 /* 139 * Exclusive CPUs distributed out to local or remote sub-partitions of 140 * top_cpuset 141 */ 142 static cpumask_var_t subpartitions_cpus; /* RWCS */ 143 144 /* 145 * Exclusive CPUs in isolated partitions (shown in cpuset.cpus.isolated) 146 */ 147 static cpumask_var_t isolated_cpus; /* CSCB */ 148 149 /* 150 * Set if housekeeping cpumasks are to be updated. 151 */ 152 static bool update_housekeeping; /* RWCS */ 153 154 /* 155 * Copy of isolated_cpus to be passed to housekeeping_update() 156 */ 157 static cpumask_var_t isolated_hk_cpus; /* T */ 158 159 /* 160 * A flag to force sched domain rebuild at the end of an operation. 161 * It can be set in 162 * - update_partition_sd_lb() 163 * - update_cpumasks_hier() 164 * - cpuset_update_flag() 165 * - cpuset_hotplug_update_tasks() 166 * - cpuset_handle_hotplug() 167 * 168 * Protected by cpuset_mutex (with cpus_read_lock held) or cpus_write_lock. 169 * 170 * Note that update_relax_domain_level() in cpuset-v1.c can still call 171 * rebuild_sched_domains_locked() directly without using this flag. 172 */ 173 static bool force_sd_rebuild; /* RWCS */ 174 175 /* 176 * Partition root states: 177 * 178 * 0 - member (not a partition root) 179 * 1 - partition root 180 * 2 - partition root without load balancing (isolated) 181 * -1 - invalid partition root 182 * -2 - invalid isolated partition root 183 * 184 * There are 2 types of partitions - local or remote. Local partitions are 185 * those whose parents are partition root themselves. Setting of 186 * cpuset.cpus.exclusive are optional in setting up local partitions. 187 * Remote partitions are those whose parents are not partition roots. Passing 188 * down exclusive CPUs by setting cpuset.cpus.exclusive along its ancestor 189 * nodes are mandatory in creating a remote partition. 190 * 191 * For simplicity, a local partition can be created under a local or remote 192 * partition but a remote partition cannot have any partition root in its 193 * ancestor chain except the cgroup root. 194 * 195 * A valid partition can be formed by setting exclusive_cpus or cpus_allowed 196 * if exclusive_cpus is not set. In the case of partition with empty 197 * exclusive_cpus, all the conflicting exclusive CPUs specified in the 198 * following cpumasks of sibling cpusets will be removed from its 199 * cpus_allowed in determining its effective_xcpus. 200 * - effective_xcpus 201 * - exclusive_cpus 202 * 203 * The "cpuset.cpus.exclusive" control file should be used for setting up 204 * partition if the users want to get as many CPUs as possible. 205 */ 206 #define PRS_MEMBER 0 207 #define PRS_ROOT 1 208 #define PRS_ISOLATED 2 209 #define PRS_INVALID_ROOT -1 210 #define PRS_INVALID_ISOLATED -2 211 212 /* 213 * Temporary cpumasks for working with partitions that are passed among 214 * functions to avoid memory allocation in inner functions. 215 */ 216 struct tmpmasks { 217 cpumask_var_t addmask, delmask; /* For partition root */ 218 cpumask_var_t new_cpus; /* For update_cpumasks_hier() */ 219 }; 220 221 void inc_dl_tasks_cs(struct task_struct *p) 222 { 223 struct cpuset *cs = task_cs(p); 224 225 cs->nr_deadline_tasks++; 226 } 227 228 void dec_dl_tasks_cs(struct task_struct *p) 229 { 230 struct cpuset *cs = task_cs(p); 231 232 cs->nr_deadline_tasks--; 233 } 234 235 static inline bool is_partition_valid(const struct cpuset *cs) 236 { 237 return cs->partition_root_state > 0; 238 } 239 240 static inline bool is_partition_invalid(const struct cpuset *cs) 241 { 242 return cs->partition_root_state < 0; 243 } 244 245 static inline bool cs_is_member(const struct cpuset *cs) 246 { 247 return cs->partition_root_state == PRS_MEMBER; 248 } 249 250 /* 251 * Callers should hold callback_lock to modify partition_root_state. 252 */ 253 static inline void make_partition_invalid(struct cpuset *cs) 254 { 255 if (cs->partition_root_state > 0) 256 cs->partition_root_state = -cs->partition_root_state; 257 } 258 259 /* 260 * Send notification event of whenever partition_root_state changes. 261 */ 262 static inline void notify_partition_change(struct cpuset *cs, int old_prs) 263 { 264 if (old_prs == cs->partition_root_state) 265 return; 266 cgroup_file_notify(&cs->partition_file); 267 268 /* Reset prs_err if not invalid */ 269 if (is_partition_valid(cs)) 270 WRITE_ONCE(cs->prs_err, PERR_NONE); 271 } 272 273 /* 274 * The top_cpuset is always synchronized to cpu_active_mask and we should avoid 275 * using cpu_online_mask as much as possible. An active CPU is always an online 276 * CPU, but not vice versa. cpu_active_mask and cpu_online_mask can differ 277 * during hotplug operations. A CPU is marked active at the last stage of CPU 278 * bringup (CPUHP_AP_ACTIVE). It is also the stage where cpuset hotplug code 279 * will be called to update the sched domains so that the scheduler can move 280 * a normal task to a newly active CPU or remove tasks away from a newly 281 * inactivated CPU. The online bit is set much earlier in the CPU bringup 282 * process and cleared much later in CPU teardown. 283 * 284 * If cpu_online_mask is used while a hotunplug operation is happening in 285 * parallel, we may leave an offline CPU in cpu_allowed or some other masks. 286 */ 287 struct cpuset top_cpuset = { 288 .flags = BIT(CS_CPU_EXCLUSIVE) | 289 BIT(CS_MEM_EXCLUSIVE) | BIT(CS_SCHED_LOAD_BALANCE), 290 .partition_root_state = PRS_ROOT, 291 .dl_bw_cpu = -1, 292 }; 293 294 /** 295 * cpuset_lock - Acquire the global cpuset mutex 296 * 297 * This locks the global cpuset mutex to prevent modifications to cpuset 298 * hierarchy and configurations. This helper is not enough to make modification. 299 */ 300 void cpuset_lock(void) 301 { 302 mutex_lock(&cpuset_mutex); 303 } 304 305 void cpuset_unlock(void) 306 { 307 mutex_unlock(&cpuset_mutex); 308 } 309 310 void lockdep_assert_cpuset_lock_held(void) 311 { 312 lockdep_assert_held(&cpuset_mutex); 313 } 314 315 /** 316 * cpuset_full_lock - Acquire full protection for cpuset modification 317 * 318 * Takes both CPU hotplug read lock (cpus_read_lock()) and cpuset mutex 319 * to safely modify cpuset data. 320 */ 321 void cpuset_full_lock(void) 322 { 323 mutex_lock(&cpuset_top_mutex); 324 cpus_read_lock(); 325 mutex_lock(&cpuset_mutex); 326 } 327 328 void cpuset_full_unlock(void) 329 { 330 mutex_unlock(&cpuset_mutex); 331 cpus_read_unlock(); 332 mutex_unlock(&cpuset_top_mutex); 333 } 334 335 #ifdef CONFIG_LOCKDEP 336 bool lockdep_is_cpuset_held(void) 337 { 338 return lockdep_is_held(&cpuset_mutex) || 339 lockdep_is_held(&cpuset_top_mutex); 340 } 341 #endif 342 343 static DEFINE_SPINLOCK(callback_lock); 344 345 void cpuset_callback_lock_irq(void) 346 { 347 spin_lock_irq(&callback_lock); 348 } 349 350 void cpuset_callback_unlock_irq(void) 351 { 352 spin_unlock_irq(&callback_lock); 353 } 354 355 static struct workqueue_struct *cpuset_migrate_mm_wq; 356 357 static DECLARE_WAIT_QUEUE_HEAD(cpuset_attach_wq); 358 359 static inline void check_insane_mems_config(nodemask_t *nodes) 360 { 361 if (!cpusets_insane_config() && 362 movable_only_nodes(nodes)) { 363 static_branch_enable_cpuslocked(&cpusets_insane_config_key); 364 pr_info("Unsupported (movable nodes only) cpuset configuration detected (nmask=%*pbl)!\n" 365 "Cpuset allocations might fail even with a lot of memory available.\n", 366 nodemask_pr_args(nodes)); 367 } 368 } 369 370 /* 371 * decrease cs->attach_in_progress. 372 * wake_up cpuset_attach_wq if cs->attach_in_progress==0. 373 */ 374 static inline void dec_attach_in_progress_locked(struct cpuset *cs) 375 { 376 lockdep_assert_cpuset_lock_held(); 377 378 cs->attach_in_progress--; 379 if (!cs->attach_in_progress) 380 wake_up(&cpuset_attach_wq); 381 } 382 383 static inline void dec_attach_in_progress(struct cpuset *cs) 384 { 385 mutex_lock(&cpuset_mutex); 386 dec_attach_in_progress_locked(cs); 387 mutex_unlock(&cpuset_mutex); 388 } 389 390 static inline bool cpuset_v2(void) 391 { 392 return !IS_ENABLED(CONFIG_CPUSETS_V1) || 393 cgroup_subsys_on_dfl(cpuset_cgrp_subsys); 394 } 395 396 /* 397 * Cgroup v2 behavior is used on the "cpus" and "mems" control files when 398 * on default hierarchy or when the cpuset_v2_mode flag is set by mounting 399 * the v1 cpuset cgroup filesystem with the "cpuset_v2_mode" mount option. 400 * With v2 behavior, "cpus" and "mems" are always what the users have 401 * requested and won't be changed by hotplug events. Only the effective 402 * cpus or mems will be affected. 403 */ 404 static inline bool is_in_v2_mode(void) 405 { 406 return cpuset_v2() || 407 (cpuset_cgrp_subsys.root->flags & CGRP_ROOT_CPUSET_V2_MODE); 408 } 409 410 /** 411 * partition_is_populated - check if partition has tasks 412 * @cs: partition root to be checked 413 * @excluded_child: a child cpuset to be excluded in task checking 414 * Return: true if there are tasks, false otherwise 415 * 416 * @cs should be a valid partition root or going to become a partition root. 417 * @excluded_child should be non-NULL when this cpuset is going to become a 418 * partition itself. 419 * 420 * Note that a remote partition is not allowed underneath a valid local 421 * or remote partition. So if a non-partition root child is populated, 422 * the whole partition is considered populated. 423 */ 424 static inline bool partition_is_populated(struct cpuset *cs, 425 struct cpuset *excluded_child) 426 { 427 struct cpuset *cp; 428 struct cgroup_subsys_state *pos_css; 429 430 /* 431 * We cannot call cs_is_populated(cs) directly, as 432 * nr_populated_domain_children may include populated 433 * csets from descendants that are partitions. 434 */ 435 if (cs->css.cgroup->nr_populated_csets || 436 cs->attach_in_progress) 437 return true; 438 439 rcu_read_lock(); 440 cpuset_for_each_descendant_pre(cp, pos_css, cs) { 441 if (cp == cs || cp == excluded_child) 442 continue; 443 444 if (is_partition_valid(cp)) { 445 pos_css = css_rightmost_descendant(pos_css); 446 continue; 447 } 448 449 if (cpuset_is_populated(cp)) { 450 rcu_read_unlock(); 451 return true; 452 } 453 } 454 rcu_read_unlock(); 455 return false; 456 } 457 458 /* 459 * Return in pmask the portion of a task's cpusets's cpus_allowed that 460 * are online and are capable of running the task. If none are found, 461 * walk up the cpuset hierarchy until we find one that does have some 462 * appropriate cpus. 463 * 464 * One way or another, we guarantee to return some non-empty subset 465 * of cpu_active_mask. 466 * 467 * Call with callback_lock or cpuset_mutex held. 468 */ 469 static void guarantee_active_cpus(struct task_struct *tsk, 470 struct cpumask *pmask) 471 { 472 const struct cpumask *possible_mask = task_cpu_possible_mask(tsk); 473 struct cpuset *cs; 474 475 if (WARN_ON(!cpumask_and(pmask, possible_mask, cpu_active_mask))) 476 cpumask_copy(pmask, cpu_active_mask); 477 478 rcu_read_lock(); 479 cs = task_cs(tsk); 480 481 while (!cpumask_intersects(cs->effective_cpus, pmask)) 482 cs = parent_cs(cs); 483 484 cpumask_and(pmask, pmask, cs->effective_cpus); 485 rcu_read_unlock(); 486 } 487 488 /* 489 * Return in *pmask the portion of a cpusets's mems_allowed that 490 * are online, with memory. If none are online with memory, walk 491 * up the cpuset hierarchy until we find one that does have some 492 * online mems. The top cpuset always has some mems online. 493 * 494 * One way or another, we guarantee to return some non-empty subset 495 * of node_states[N_MEMORY]. 496 * 497 * Call with callback_lock or cpuset_mutex held. 498 */ 499 static void guarantee_online_mems(struct cpuset *cs, nodemask_t *pmask) 500 { 501 while (!nodes_and(*pmask, cs->effective_mems, node_states[N_MEMORY])) 502 cs = parent_cs(cs); 503 } 504 505 /** 506 * alloc_cpumasks - Allocate an array of cpumask variables 507 * @pmasks: Pointer to array of cpumask_var_t pointers 508 * @size: Number of cpumasks to allocate 509 * Return: 0 if successful, -ENOMEM otherwise. 510 * 511 * Allocates @size cpumasks and initializes them to empty. Returns 0 on 512 * success, -ENOMEM on allocation failure. On failure, any previously 513 * allocated cpumasks are freed. 514 */ 515 static inline int alloc_cpumasks(cpumask_var_t *pmasks[], u32 size) 516 { 517 int i; 518 519 for (i = 0; i < size; i++) { 520 if (!zalloc_cpumask_var(pmasks[i], GFP_KERNEL)) { 521 while (--i >= 0) 522 free_cpumask_var(*pmasks[i]); 523 return -ENOMEM; 524 } 525 } 526 return 0; 527 } 528 529 /** 530 * alloc_tmpmasks - Allocate temporary cpumasks for cpuset operations. 531 * @tmp: Pointer to tmpmasks structure to populate 532 * Return: 0 on success, -ENOMEM on allocation failure 533 */ 534 static inline int alloc_tmpmasks(struct tmpmasks *tmp) 535 { 536 /* 537 * Array of pointers to the three cpumask_var_t fields in tmpmasks. 538 * Note: Array size must match actual number of masks (3) 539 */ 540 cpumask_var_t *pmask[3] = { 541 &tmp->new_cpus, 542 &tmp->addmask, 543 &tmp->delmask 544 }; 545 546 return alloc_cpumasks(pmask, ARRAY_SIZE(pmask)); 547 } 548 549 /** 550 * free_tmpmasks - free cpumasks in a tmpmasks structure 551 * @tmp: the tmpmasks structure pointer 552 */ 553 static inline void free_tmpmasks(struct tmpmasks *tmp) 554 { 555 if (!tmp) 556 return; 557 558 free_cpumask_var(tmp->new_cpus); 559 free_cpumask_var(tmp->addmask); 560 free_cpumask_var(tmp->delmask); 561 } 562 563 /** 564 * dup_or_alloc_cpuset - Duplicate or allocate a new cpuset 565 * @cs: Source cpuset to duplicate (NULL for a fresh allocation) 566 * 567 * Creates a new cpuset by either: 568 * 1. Duplicating an existing cpuset (if @cs is non-NULL), or 569 * 2. Allocating a fresh cpuset with zero-initialized masks (if @cs is NULL) 570 * 571 * Return: Pointer to newly allocated cpuset on success, NULL on failure 572 */ 573 static struct cpuset *dup_or_alloc_cpuset(struct cpuset *cs) 574 { 575 struct cpuset *trial; 576 577 /* Allocate base structure */ 578 trial = cs ? kmemdup(cs, sizeof(*cs), GFP_KERNEL) : 579 kzalloc_obj(*cs); 580 if (!trial) 581 return NULL; 582 583 trial->dl_bw_cpu = -1; 584 585 /* Setup cpumask pointer array */ 586 cpumask_var_t *pmask[4] = { 587 &trial->cpus_allowed, 588 &trial->effective_cpus, 589 &trial->effective_xcpus, 590 &trial->exclusive_cpus 591 }; 592 593 if (alloc_cpumasks(pmask, ARRAY_SIZE(pmask))) { 594 kfree(trial); 595 return NULL; 596 } 597 598 /* Copy masks if duplicating */ 599 if (cs) { 600 cpumask_copy(trial->cpus_allowed, cs->cpus_allowed); 601 cpumask_copy(trial->effective_cpus, cs->effective_cpus); 602 cpumask_copy(trial->effective_xcpus, cs->effective_xcpus); 603 cpumask_copy(trial->exclusive_cpus, cs->exclusive_cpus); 604 } 605 606 return trial; 607 } 608 609 /** 610 * free_cpuset - free the cpuset 611 * @cs: the cpuset to be freed 612 */ 613 static inline void free_cpuset(struct cpuset *cs) 614 { 615 free_cpumask_var(cs->cpus_allowed); 616 free_cpumask_var(cs->effective_cpus); 617 free_cpumask_var(cs->effective_xcpus); 618 free_cpumask_var(cs->exclusive_cpus); 619 kfree(cs); 620 } 621 622 /* Return user specified exclusive CPUs */ 623 static inline struct cpumask *user_xcpus(struct cpuset *cs) 624 { 625 return cpumask_empty(cs->exclusive_cpus) ? cs->cpus_allowed 626 : cs->exclusive_cpus; 627 } 628 629 static inline bool xcpus_empty(struct cpuset *cs) 630 { 631 return cpumask_empty(cs->cpus_allowed) && 632 cpumask_empty(cs->exclusive_cpus); 633 } 634 635 /* 636 * cpusets_are_exclusive() - check if two cpusets are exclusive 637 * 638 * Return true if exclusive, false if not 639 */ 640 static inline bool cpusets_are_exclusive(struct cpuset *cs1, struct cpuset *cs2) 641 { 642 struct cpumask *xcpus1 = user_xcpus(cs1); 643 struct cpumask *xcpus2 = user_xcpus(cs2); 644 645 if (cpumask_intersects(xcpus1, xcpus2)) 646 return false; 647 return true; 648 } 649 650 /** 651 * cpus_excl_conflict - Check if two cpusets have exclusive CPU conflicts 652 * @trial: the trial cpuset to be checked 653 * @sibling: a sibling cpuset to be checked against 654 * @xcpus_changed: set if exclusive_cpus has been set 655 * 656 * Returns: true if CPU exclusivity conflict exists, false otherwise 657 * 658 * Conflict detection rules: 659 * o cgroup v1 660 * See cpuset1_cpus_excl_conflict() 661 * o cgroup v2 662 * - The exclusive_cpus values cannot overlap. 663 * - New exclusive_cpus cannot be a superset of a sibling's cpus_allowed. 664 */ 665 static inline bool cpus_excl_conflict(struct cpuset *trial, struct cpuset *sibling, 666 bool xcpus_changed) 667 { 668 if (!cpuset_v2()) 669 return cpuset1_cpus_excl_conflict(trial, sibling); 670 671 /* The cpus_allowed of a sibling cpuset cannot be a subset of the new exclusive_cpus */ 672 if (xcpus_changed && !cpumask_empty(sibling->cpus_allowed) && 673 cpumask_subset(sibling->cpus_allowed, trial->exclusive_cpus)) 674 return true; 675 676 /* Exclusive_cpus cannot intersect */ 677 return cpumask_intersects(trial->exclusive_cpus, sibling->exclusive_cpus); 678 } 679 680 static inline bool mems_excl_conflict(struct cpuset *cs1, struct cpuset *cs2) 681 { 682 if ((is_mem_exclusive(cs1) || is_mem_exclusive(cs2))) 683 return nodes_intersects(cs1->mems_allowed, cs2->mems_allowed); 684 return false; 685 } 686 687 /* 688 * validate_change() - Used to validate that any proposed cpuset change 689 * follows the structural rules for cpusets. 690 * 691 * If we replaced the flag and mask values of the current cpuset 692 * (cur) with those values in the trial cpuset (trial), would 693 * our various subset and exclusive rules still be valid? Presumes 694 * cpuset_mutex held. 695 * 696 * 'cur' is the address of an actual, in-use cpuset. Operations 697 * such as list traversal that depend on the actual address of the 698 * cpuset in the list must use cur below, not trial. 699 * 700 * 'trial' is the address of bulk structure copy of cur, with 701 * perhaps one or more of the fields cpus_allowed, mems_allowed, 702 * or flags changed to new, trial values. 703 * 704 * Return 0 if valid, -errno if not. 705 */ 706 707 static int validate_change(struct cpuset *cur, struct cpuset *trial) 708 { 709 struct cgroup_subsys_state *css; 710 struct cpuset *c, *par; 711 bool xcpus_changed; 712 int ret = 0; 713 714 rcu_read_lock(); 715 716 if (!is_in_v2_mode()) 717 ret = cpuset1_validate_change(cur, trial); 718 if (ret) 719 goto out; 720 721 /* Remaining checks don't apply to root cpuset */ 722 if (cur == &top_cpuset) 723 goto out; 724 725 par = parent_cs(cur); 726 727 /* 728 * We can't shrink if we won't have enough room for SCHED_DEADLINE 729 * tasks. This check is not done when scheduling is disabled as the 730 * users should know what they are doing. 731 * 732 * For v1, effective_cpus == cpus_allowed & user_xcpus() returns 733 * cpus_allowed. 734 * 735 * For v2, is_cpu_exclusive() & is_sched_load_balance() are true only 736 * for non-isolated partition root. At this point, the target 737 * effective_cpus isn't computed yet. user_xcpus() is the best 738 * approximation. 739 * 740 * TBD: May need to precompute the real effective_cpus here in case 741 * incorrect scheduling of SCHED_DEADLINE tasks in a partition 742 * becomes an issue. 743 */ 744 ret = -EBUSY; 745 if (is_cpu_exclusive(cur) && is_sched_load_balance(cur) && 746 !cpuset_cpumask_can_shrink(cur->effective_cpus, user_xcpus(trial))) 747 goto out; 748 749 /* 750 * If either I or some sibling (!= me) is exclusive, we can't 751 * overlap. exclusive_cpus cannot overlap with each other if set. 752 */ 753 ret = -EINVAL; 754 xcpus_changed = !cpumask_equal(cur->exclusive_cpus, trial->exclusive_cpus); 755 cpuset_for_each_child(c, css, par) { 756 if (c == cur) 757 continue; 758 if (cpus_excl_conflict(trial, c, xcpus_changed)) 759 goto out; 760 if (mems_excl_conflict(trial, c)) 761 goto out; 762 } 763 764 ret = 0; 765 out: 766 rcu_read_unlock(); 767 return ret; 768 } 769 770 #ifdef CONFIG_SMP 771 772 /* 773 * generate_sched_domains() 774 * 775 * This function builds a partial partition of the systems CPUs 776 * A 'partial partition' is a set of non-overlapping subsets whose 777 * union is a subset of that set. 778 * The output of this function needs to be passed to kernel/sched/core.c 779 * partition_sched_domains() routine, which will rebuild the scheduler's 780 * load balancing domains (sched domains) as specified by that partial 781 * partition. 782 * 783 * See "What is sched_load_balance" in Documentation/admin-guide/cgroup-v1/cpusets.rst 784 * for a background explanation of this. 785 * 786 * Does not return errors, on the theory that the callers of this 787 * routine would rather not worry about failures to rebuild sched 788 * domains when operating in the severe memory shortage situations 789 * that could cause allocation failures below. 790 * 791 * Must be called with cpuset_mutex held. 792 * 793 * The three key local variables below are: 794 * cp - cpuset pointer, used (together with pos_css) to perform a 795 * top-down scan of all cpusets. For our purposes, rebuilding 796 * the schedulers sched domains, we can ignore !is_sched_load_ 797 * balance cpusets. 798 * csa - (for CpuSet Array) Array of pointers to all the cpusets 799 * that need to be load balanced, for convenient iterative 800 * access by the subsequent code that finds the best partition, 801 * i.e the set of domains (subsets) of CPUs such that the 802 * cpus_allowed of every cpuset marked is_sched_load_balance 803 * is a subset of one of these domains, while there are as 804 * many such domains as possible, each as small as possible. 805 * doms - Conversion of 'csa' to an array of cpumasks, for passing to 806 * the kernel/sched/core.c routine partition_sched_domains() in a 807 * convenient format, that can be easily compared to the prior 808 * value to determine what partition elements (sched domains) 809 * were changed (added or removed.) 810 */ 811 static int generate_sched_domains(cpumask_var_t **domains, 812 struct sched_domain_attr **attributes) 813 { 814 struct cpuset *cp; /* top-down scan of cpusets */ 815 struct cpuset **csa; /* array of all cpuset ptrs */ 816 int i, j; /* indices for partition finding loops */ 817 cpumask_var_t *doms; /* resulting partition; i.e. sched domains */ 818 struct sched_domain_attr *dattr; /* attributes for custom domains */ 819 int ndoms = 0; /* number of sched domains in result */ 820 struct cgroup_subsys_state *pos_css; 821 822 if (!cpuset_v2()) 823 return cpuset1_generate_sched_domains(domains, attributes); 824 825 doms = NULL; 826 dattr = NULL; 827 csa = NULL; 828 829 /* Special case for the 99% of systems with one, full, sched domain */ 830 if (cpumask_empty(subpartitions_cpus)) { 831 ndoms = 1; 832 /* !csa will be checked and can be correctly handled */ 833 goto generate_doms; 834 } 835 836 csa = kmalloc_objs(cp, nr_cpusets()); 837 if (!csa) 838 goto done; 839 840 /* Find how many partitions and cache them to csa[] */ 841 rcu_read_lock(); 842 cpuset_for_each_descendant_pre(cp, pos_css, &top_cpuset) { 843 /* 844 * Only valid partition roots that are not isolated and with 845 * non-empty effective_cpus will be saved into csa[]. 846 */ 847 if ((cp->partition_root_state == PRS_ROOT) && 848 !cpumask_empty(cp->effective_cpus)) 849 csa[ndoms++] = cp; 850 851 /* 852 * Skip @cp's subtree if not a partition root and has no 853 * exclusive CPUs to be granted to child cpusets. 854 */ 855 if (!is_partition_valid(cp) && cpumask_empty(cp->exclusive_cpus)) 856 pos_css = css_rightmost_descendant(pos_css); 857 } 858 rcu_read_unlock(); 859 860 for (i = 0; i < ndoms; i++) { 861 for (j = i + 1; j < ndoms; j++) { 862 if (cpusets_overlap(csa[i], csa[j])) 863 /* 864 * Cgroup v2 shouldn't pass down overlapping 865 * partition root cpusets. 866 */ 867 WARN_ON_ONCE(1); 868 } 869 } 870 871 generate_doms: 872 doms = alloc_sched_domains(ndoms); 873 if (!doms) 874 goto done; 875 876 /* 877 * The rest of the code, including the scheduler, can deal with 878 * dattr==NULL case. No need to abort if alloc fails. 879 */ 880 dattr = kmalloc_objs(struct sched_domain_attr, ndoms); 881 882 /* 883 * Cgroup v2 doesn't support domain attributes, just set all of them 884 * to SD_ATTR_INIT. Also non-isolating partition root CPUs are a 885 * subset of HK_TYPE_DOMAIN_BOOT housekeeping CPUs. 886 */ 887 for (i = 0; i < ndoms; i++) { 888 /* 889 * The top cpuset may contain some boot time isolated 890 * CPUs that need to be excluded from the sched domain. 891 */ 892 if (!csa || csa[i] == &top_cpuset) 893 cpumask_and(doms[i], top_cpuset.effective_cpus, 894 housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT)); 895 else 896 cpumask_copy(doms[i], csa[i]->effective_cpus); 897 if (dattr) 898 dattr[i] = SD_ATTR_INIT; 899 } 900 901 done: 902 kfree(csa); 903 904 /* 905 * Fallback to the default domain if kmalloc() failed. 906 * See comments in partition_sched_domains(). 907 */ 908 if (doms == NULL) 909 ndoms = 1; 910 911 *domains = doms; 912 *attributes = dattr; 913 return ndoms; 914 } 915 916 static void dl_update_tasks_root_domain(struct cpuset *cs) 917 { 918 struct css_task_iter it; 919 struct task_struct *task; 920 921 if (cs->nr_deadline_tasks == 0) 922 return; 923 924 css_task_iter_start(&cs->css, 0, &it); 925 926 while ((task = css_task_iter_next(&it))) 927 dl_add_task_root_domain(task); 928 929 css_task_iter_end(&it); 930 } 931 932 void dl_rebuild_rd_accounting(void) 933 { 934 struct cpuset *cs = NULL; 935 struct cgroup_subsys_state *pos_css; 936 int cpu; 937 u64 cookie = ++dl_cookie; 938 939 lockdep_assert_cpuset_lock_held(); 940 lockdep_assert_cpus_held(); 941 lockdep_assert_held(&sched_domains_mutex); 942 943 rcu_read_lock(); 944 945 for_each_possible_cpu(cpu) { 946 if (dl_bw_visited(cpu, cookie)) 947 continue; 948 949 dl_clear_root_domain_cpu(cpu); 950 } 951 952 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) { 953 954 if (cpumask_empty(cs->effective_cpus)) { 955 pos_css = css_rightmost_descendant(pos_css); 956 continue; 957 } 958 959 css_get(&cs->css); 960 961 rcu_read_unlock(); 962 963 dl_update_tasks_root_domain(cs); 964 965 rcu_read_lock(); 966 css_put(&cs->css); 967 } 968 rcu_read_unlock(); 969 } 970 971 /* 972 * Rebuild scheduler domains. 973 * 974 * If the flag 'sched_load_balance' of any cpuset with non-empty 975 * 'cpus' changes, or if the 'cpus' allowed changes in any cpuset 976 * which has that flag enabled, or if any cpuset with a non-empty 977 * 'cpus' is removed, then call this routine to rebuild the 978 * scheduler's dynamic sched domains. 979 * 980 * Call with cpuset_mutex held. Takes cpus_read_lock(). 981 */ 982 void rebuild_sched_domains_locked(void) 983 { 984 struct sched_domain_attr *attr; 985 cpumask_var_t *doms; 986 int ndoms; 987 int i; 988 989 lockdep_assert_cpus_held(); 990 lockdep_assert_cpuset_lock_held(); 991 force_sd_rebuild = false; 992 993 /* Generate domain masks and attrs */ 994 ndoms = generate_sched_domains(&doms, &attr); 995 996 /* 997 * cpuset_hotplug_workfn is invoked synchronously now, thus this 998 * function should not race with CPU hotplug. And the effective CPUs 999 * must not include any offline CPUs. Passing an offline CPU in the 1000 * doms to partition_sched_domains() will trigger a kernel panic. 1001 * 1002 * We perform a final check here: if the doms contains any 1003 * offline CPUs, a warning is emitted and we return directly to 1004 * prevent the panic. 1005 */ 1006 for (i = 0; doms && i < ndoms; i++) { 1007 if (WARN_ON_ONCE(!cpumask_subset(doms[i], cpu_active_mask))) 1008 return; 1009 } 1010 1011 /* Have scheduler rebuild the domains */ 1012 partition_sched_domains(ndoms, doms, attr); 1013 } 1014 #else /* !CONFIG_SMP */ 1015 void rebuild_sched_domains_locked(void) 1016 { 1017 } 1018 #endif /* CONFIG_SMP */ 1019 1020 static void rebuild_sched_domains_cpuslocked(void) 1021 { 1022 mutex_lock(&cpuset_mutex); 1023 rebuild_sched_domains_locked(); 1024 mutex_unlock(&cpuset_mutex); 1025 } 1026 1027 void rebuild_sched_domains(void) 1028 { 1029 cpus_read_lock(); 1030 rebuild_sched_domains_cpuslocked(); 1031 cpus_read_unlock(); 1032 } 1033 1034 void cpuset_reset_sched_domains(void) 1035 { 1036 mutex_lock(&cpuset_mutex); 1037 partition_sched_domains(1, NULL, NULL); 1038 mutex_unlock(&cpuset_mutex); 1039 } 1040 1041 /** 1042 * cpuset_update_tasks_cpumask - Update the cpumasks of tasks in the cpuset. 1043 * @cs: the cpuset in which each task's cpus_allowed mask needs to be changed 1044 * @new_cpus: the temp variable for the new effective_cpus mask 1045 * 1046 * Iterate through each task of @cs updating its cpus_allowed to the 1047 * effective cpuset's. As this function is called with cpuset_mutex held, 1048 * cpuset membership stays stable. 1049 * 1050 * For top_cpuset, task_cpu_possible_mask() is used instead of effective_cpus 1051 * to make sure all offline CPUs are also included as hotplug code won't 1052 * update cpumasks for tasks in top_cpuset. 1053 * 1054 * As task_cpu_possible_mask() can be task dependent in arm64, we have to 1055 * do cpu masking per task instead of doing it once for all. 1056 */ 1057 void cpuset_update_tasks_cpumask(struct cpuset *cs, struct cpumask *new_cpus) 1058 { 1059 struct css_task_iter it; 1060 struct task_struct *task; 1061 bool top_cs = cs == &top_cpuset; 1062 1063 css_task_iter_start(&cs->css, 0, &it); 1064 while ((task = css_task_iter_next(&it))) { 1065 const struct cpumask *possible_mask = task_cpu_possible_mask(task); 1066 1067 if (top_cs) { 1068 /* 1069 * PF_KTHREAD tasks are handled by housekeeping. 1070 * PF_NO_SETAFFINITY tasks are ignored. 1071 */ 1072 if (task->flags & (PF_KTHREAD | PF_NO_SETAFFINITY)) 1073 continue; 1074 cpumask_andnot(new_cpus, possible_mask, subpartitions_cpus); 1075 } else { 1076 cpumask_and(new_cpus, possible_mask, cs->effective_cpus); 1077 } 1078 set_cpus_allowed_ptr(task, new_cpus); 1079 } 1080 css_task_iter_end(&it); 1081 } 1082 1083 /** 1084 * compute_effective_cpumask - Compute the effective cpumask of the cpuset 1085 * @new_cpus: the temp variable for the new effective_cpus mask 1086 * @cs: the cpuset the need to recompute the new effective_cpus mask 1087 * @parent: the parent cpuset 1088 * 1089 * The result is valid only if the given cpuset isn't a partition root. 1090 */ 1091 static void compute_effective_cpumask(struct cpumask *new_cpus, 1092 struct cpuset *cs, struct cpuset *parent) 1093 { 1094 cpumask_and(new_cpus, cs->cpus_allowed, parent->effective_cpus); 1095 } 1096 1097 /* 1098 * Commands for update_parent_effective_cpumask 1099 */ 1100 enum partition_cmd { 1101 partcmd_enable, /* Enable partition root */ 1102 partcmd_enablei, /* Enable isolated partition root */ 1103 partcmd_disable, /* Disable partition root */ 1104 partcmd_update, /* Update parent's effective_cpus */ 1105 partcmd_invalidate, /* Make partition invalid */ 1106 }; 1107 1108 static void update_sibling_cpumasks(struct cpuset *parent, struct cpuset *cs, 1109 struct tmpmasks *tmp); 1110 1111 /* 1112 * Update partition exclusive flag 1113 * 1114 * Return: 0 if successful, an error code otherwise 1115 */ 1116 static int update_partition_exclusive_flag(struct cpuset *cs, int new_prs) 1117 { 1118 bool exclusive = (new_prs > PRS_MEMBER); 1119 1120 if (exclusive && !is_cpu_exclusive(cs)) { 1121 if (cpuset_update_flag(CS_CPU_EXCLUSIVE, cs, 1)) 1122 return PERR_NOTEXCL; 1123 } else if (!exclusive && is_cpu_exclusive(cs)) { 1124 /* Turning off CS_CPU_EXCLUSIVE will not return error */ 1125 cpuset_update_flag(CS_CPU_EXCLUSIVE, cs, 0); 1126 } 1127 return 0; 1128 } 1129 1130 /* 1131 * Update partition load balance flag and/or rebuild sched domain 1132 * 1133 * Changing load balance flag will automatically call 1134 * rebuild_sched_domains_locked(). 1135 * This function is for cgroup v2 only. 1136 */ 1137 static void update_partition_sd_lb(struct cpuset *cs, int old_prs) 1138 { 1139 int new_prs = cs->partition_root_state; 1140 bool rebuild_domains = (new_prs > 0) || (old_prs > 0); 1141 bool new_lb; 1142 1143 /* 1144 * If cs is not a valid partition root, the load balance state 1145 * will follow its parent. 1146 */ 1147 if (new_prs > 0) { 1148 new_lb = (new_prs != PRS_ISOLATED); 1149 } else { 1150 new_lb = is_sched_load_balance(parent_cs(cs)); 1151 } 1152 if (new_lb != !!is_sched_load_balance(cs)) { 1153 rebuild_domains = true; 1154 if (new_lb) 1155 set_bit(CS_SCHED_LOAD_BALANCE, &cs->flags); 1156 else 1157 clear_bit(CS_SCHED_LOAD_BALANCE, &cs->flags); 1158 } 1159 1160 if (rebuild_domains) 1161 cpuset_force_rebuild(); 1162 } 1163 1164 /* 1165 * tasks_nocpu_error - Return true if tasks will have no effective_cpus 1166 */ 1167 static bool tasks_nocpu_error(struct cpuset *parent, struct cpuset *cs, 1168 struct cpumask *xcpus) 1169 { 1170 /* 1171 * A populated partition (cs or parent) can't have empty effective_cpus 1172 */ 1173 return (cpumask_subset(parent->effective_cpus, xcpus) && 1174 partition_is_populated(parent, cs)) || 1175 (!cpumask_intersects(xcpus, cpu_active_mask) && 1176 partition_is_populated(cs, NULL)); 1177 } 1178 1179 static void reset_partition_data(struct cpuset *cs) 1180 { 1181 struct cpuset *parent = parent_cs(cs); 1182 1183 if (!cpuset_v2()) 1184 return; 1185 1186 lockdep_assert_held(&callback_lock); 1187 1188 if (cpumask_empty(cs->exclusive_cpus)) { 1189 cpumask_clear(cs->effective_xcpus); 1190 if (is_cpu_exclusive(cs)) 1191 clear_bit(CS_CPU_EXCLUSIVE, &cs->flags); 1192 } 1193 if (!cpumask_and(cs->effective_cpus, parent->effective_cpus, cs->cpus_allowed)) 1194 cpumask_copy(cs->effective_cpus, parent->effective_cpus); 1195 } 1196 1197 /* 1198 * isolated_cpus_update - Update the isolated_cpus mask 1199 * @old_prs: old partition_root_state 1200 * @new_prs: new partition_root_state 1201 * @xcpus: exclusive CPUs with state change 1202 */ 1203 static void isolated_cpus_update(int old_prs, int new_prs, struct cpumask *xcpus) 1204 { 1205 WARN_ON_ONCE(old_prs == new_prs); 1206 lockdep_assert_held(&callback_lock); 1207 lockdep_assert_held(&cpuset_mutex); 1208 if (new_prs == PRS_ISOLATED) { 1209 if (cpumask_subset(xcpus, isolated_cpus)) 1210 return; 1211 cpumask_or(isolated_cpus, isolated_cpus, xcpus); 1212 } else { 1213 if (!cpumask_intersects(xcpus, isolated_cpus)) 1214 return; 1215 cpumask_andnot(isolated_cpus, isolated_cpus, xcpus); 1216 } 1217 update_housekeeping = true; 1218 } 1219 1220 /* 1221 * partition_xcpus_add - Add new exclusive CPUs to partition 1222 * @new_prs: new partition_root_state 1223 * @parent: parent cpuset 1224 * @xcpus: exclusive CPUs to be added 1225 * 1226 * Remote partition if parent == NULL 1227 */ 1228 static void partition_xcpus_add(int new_prs, struct cpuset *parent, 1229 struct cpumask *xcpus) 1230 { 1231 WARN_ON_ONCE(new_prs < 0); 1232 lockdep_assert_held(&callback_lock); 1233 if (!parent) 1234 parent = &top_cpuset; 1235 1236 1237 if (parent == &top_cpuset) 1238 cpumask_or(subpartitions_cpus, subpartitions_cpus, xcpus); 1239 1240 if (new_prs != parent->partition_root_state) 1241 isolated_cpus_update(parent->partition_root_state, new_prs, 1242 xcpus); 1243 1244 cpumask_andnot(parent->effective_cpus, parent->effective_cpus, xcpus); 1245 } 1246 1247 /* 1248 * partition_xcpus_del - Remove exclusive CPUs from partition 1249 * @old_prs: old partition_root_state 1250 * @parent: parent cpuset 1251 * @xcpus: exclusive CPUs to be removed 1252 * 1253 * Remote partition if parent == NULL 1254 */ 1255 static void partition_xcpus_del(int old_prs, struct cpuset *parent, 1256 struct cpumask *xcpus) 1257 { 1258 WARN_ON_ONCE(old_prs < 0); 1259 lockdep_assert_held(&callback_lock); 1260 if (!parent) 1261 parent = &top_cpuset; 1262 1263 if (parent == &top_cpuset) 1264 cpumask_andnot(subpartitions_cpus, subpartitions_cpus, xcpus); 1265 1266 if (old_prs != parent->partition_root_state) 1267 isolated_cpus_update(old_prs, parent->partition_root_state, 1268 xcpus); 1269 1270 cpumask_or(parent->effective_cpus, parent->effective_cpus, xcpus); 1271 cpumask_and(parent->effective_cpus, parent->effective_cpus, cpu_active_mask); 1272 } 1273 1274 /* 1275 * isolated_cpus_can_update - check for isolated & nohz_full conflicts 1276 * @add_cpus: cpu mask for cpus that are going to be isolated 1277 * @del_cpus: cpu mask for cpus that are no longer isolated, can be NULL 1278 * Return: false if there is conflict, true otherwise 1279 * 1280 * If nohz_full is enabled and we have isolated CPUs, their combination must 1281 * still leave housekeeping CPUs. 1282 * 1283 * TBD: Should consider merging this function into 1284 * prstate_housekeeping_conflict(). 1285 */ 1286 static bool isolated_cpus_can_update(struct cpumask *add_cpus, 1287 struct cpumask *del_cpus) 1288 { 1289 cpumask_var_t full_hk_cpus; 1290 int res = true; 1291 1292 if (!housekeeping_enabled(HK_TYPE_KERNEL_NOISE)) 1293 return true; 1294 1295 if (del_cpus && cpumask_weight_and(del_cpus, 1296 housekeeping_cpumask(HK_TYPE_KERNEL_NOISE))) 1297 return true; 1298 1299 if (!alloc_cpumask_var(&full_hk_cpus, GFP_KERNEL)) 1300 return false; 1301 1302 cpumask_and(full_hk_cpus, housekeeping_cpumask(HK_TYPE_KERNEL_NOISE), 1303 housekeeping_cpumask(HK_TYPE_DOMAIN)); 1304 cpumask_andnot(full_hk_cpus, full_hk_cpus, isolated_cpus); 1305 cpumask_and(full_hk_cpus, full_hk_cpus, cpu_active_mask); 1306 if (!cpumask_weight_andnot(full_hk_cpus, add_cpus)) 1307 res = false; 1308 1309 free_cpumask_var(full_hk_cpus); 1310 return res; 1311 } 1312 1313 /* 1314 * prstate_housekeeping_conflict - check for partition & housekeeping conflicts 1315 * @prstate: partition root state to be checked 1316 * @new_cpus: cpu mask 1317 * Return: true if there is conflict, false otherwise 1318 * 1319 * CPUs outside of HK_TYPE_DOMAIN_BOOT, if defined, can only be used in an 1320 * isolated partition. 1321 */ 1322 static bool prstate_housekeeping_conflict(int prstate, struct cpumask *new_cpus) 1323 { 1324 if (!housekeeping_enabled(HK_TYPE_DOMAIN_BOOT)) 1325 return false; 1326 1327 if ((prstate != PRS_ISOLATED) && 1328 !cpumask_subset(new_cpus, housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT))) 1329 return true; 1330 1331 return false; 1332 } 1333 1334 /* 1335 * cpuset_update_sd_hk_unlock - Rebuild sched domains, update HK & unlock 1336 * 1337 * Update housekeeping cpumasks and rebuild sched domains if necessary and 1338 * then do a cpuset_full_unlock(). 1339 * This should be called at the end of cpuset operation. 1340 */ 1341 static void cpuset_update_sd_hk_unlock(void) 1342 __releases(&cpuset_mutex) 1343 __releases(&cpuset_top_mutex) 1344 { 1345 /* force_sd_rebuild will be cleared in rebuild_sched_domains_locked() */ 1346 if (force_sd_rebuild) 1347 rebuild_sched_domains_locked(); 1348 1349 if (update_housekeeping) { 1350 update_housekeeping = false; 1351 cpumask_copy(isolated_hk_cpus, isolated_cpus); 1352 1353 /* 1354 * housekeeping_update() is now called without holding 1355 * cpus_read_lock and cpuset_mutex. Only cpuset_top_mutex 1356 * is still being held for mutual exclusion. 1357 */ 1358 mutex_unlock(&cpuset_mutex); 1359 cpus_read_unlock(); 1360 WARN_ON_ONCE(housekeeping_update(isolated_hk_cpus)); 1361 mutex_unlock(&cpuset_top_mutex); 1362 } else { 1363 cpuset_full_unlock(); 1364 } 1365 } 1366 1367 /* 1368 * Work function to invoke cpuset_update_sd_hk_unlock() 1369 */ 1370 static void hk_sd_workfn(struct work_struct *work) 1371 { 1372 cpuset_full_lock(); 1373 cpuset_update_sd_hk_unlock(); 1374 } 1375 1376 /** 1377 * rm_siblings_excl_cpus - Remove exclusive CPUs that are used by sibling cpusets 1378 * @parent: Parent cpuset containing all siblings 1379 * @cs: Current cpuset (will be skipped) 1380 * @excpus: exclusive effective CPU mask to modify 1381 * 1382 * This function ensures the given @excpus mask doesn't include any CPUs that 1383 * are exclusively allocated to sibling cpusets. It walks through all siblings 1384 * of @cs under @parent and removes their exclusive CPUs from @excpus. 1385 */ 1386 static int rm_siblings_excl_cpus(struct cpuset *parent, struct cpuset *cs, 1387 struct cpumask *excpus) 1388 { 1389 struct cgroup_subsys_state *css; 1390 struct cpuset *sibling; 1391 int retval = 0; 1392 1393 if (cpumask_empty(excpus)) 1394 return 0; 1395 1396 /* 1397 * Remove exclusive CPUs from siblings 1398 */ 1399 rcu_read_lock(); 1400 cpuset_for_each_child(sibling, css, parent) { 1401 struct cpumask *sibling_xcpus; 1402 1403 if (sibling == cs) 1404 continue; 1405 1406 /* 1407 * If exclusive_cpus is defined, effective_xcpus will always 1408 * be a subset. Otherwise, effective_xcpus will only be set 1409 * in a valid partition root. 1410 */ 1411 sibling_xcpus = cpumask_empty(sibling->exclusive_cpus) 1412 ? sibling->effective_xcpus 1413 : sibling->exclusive_cpus; 1414 1415 if (cpumask_intersects(excpus, sibling_xcpus)) { 1416 cpumask_andnot(excpus, excpus, sibling_xcpus); 1417 retval++; 1418 } 1419 } 1420 rcu_read_unlock(); 1421 1422 return retval; 1423 } 1424 1425 /* 1426 * compute_excpus - compute effective exclusive CPUs 1427 * @cs: cpuset 1428 * @xcpus: effective exclusive CPUs value to be set 1429 * Return: 0 if there is no sibling conflict, > 0 otherwise 1430 * 1431 * If exclusive_cpus isn't explicitly set , we have to scan the sibling cpusets 1432 * and exclude their exclusive_cpus or effective_xcpus as well. 1433 */ 1434 static int compute_excpus(struct cpuset *cs, struct cpumask *excpus) 1435 { 1436 struct cpuset *parent = parent_cs(cs); 1437 1438 cpumask_and(excpus, user_xcpus(cs), parent->effective_xcpus); 1439 1440 if (!cpumask_empty(cs->exclusive_cpus)) 1441 return 0; 1442 1443 return rm_siblings_excl_cpus(parent, cs, excpus); 1444 } 1445 1446 /* 1447 * compute_trialcs_excpus - Compute effective exclusive CPUs for a trial cpuset 1448 * @trialcs: The trial cpuset containing the proposed new configuration 1449 * @cs: The original cpuset that the trial configuration is based on 1450 * Return: 0 if successful with no sibling conflict, >0 if a conflict is found 1451 * 1452 * Computes the effective_xcpus for a trial configuration. @cs is provided to represent 1453 * the real cs. 1454 */ 1455 static int compute_trialcs_excpus(struct cpuset *trialcs, struct cpuset *cs) 1456 { 1457 struct cpuset *parent = parent_cs(trialcs); 1458 struct cpumask *excpus = trialcs->effective_xcpus; 1459 1460 /* trialcs is member, cpuset.cpus has no impact to excpus */ 1461 if (cs_is_member(cs)) 1462 cpumask_and(excpus, trialcs->exclusive_cpus, 1463 parent->effective_xcpus); 1464 else 1465 cpumask_and(excpus, user_xcpus(trialcs), parent->effective_xcpus); 1466 1467 return rm_siblings_excl_cpus(parent, cs, excpus); 1468 } 1469 1470 static inline bool is_remote_partition(struct cpuset *cs) 1471 { 1472 return cs->remote_partition; 1473 } 1474 1475 static inline bool is_local_partition(struct cpuset *cs) 1476 { 1477 return is_partition_valid(cs) && !is_remote_partition(cs); 1478 } 1479 1480 /* 1481 * remote_partition_enable - Enable current cpuset as a remote partition root 1482 * @cs: the cpuset to update 1483 * @new_prs: new partition_root_state 1484 * @tmp: temporary masks 1485 * Return: 0 if successful, errcode if error 1486 * 1487 * Enable the current cpuset to become a remote partition root taking CPUs 1488 * directly from the top cpuset. cpuset_mutex must be held by the caller. 1489 */ 1490 static int remote_partition_enable(struct cpuset *cs, int new_prs, 1491 struct tmpmasks *tmp) 1492 { 1493 /* 1494 * The user must have sysadmin privilege. 1495 */ 1496 if (!capable(CAP_SYS_ADMIN)) 1497 return PERR_ACCESS; 1498 1499 /* 1500 * The requested exclusive_cpus must not be allocated to other 1501 * partitions and it can't use up all the root's effective_cpus. 1502 * 1503 * The effective_xcpus mask can contain offline CPUs, but there must 1504 * be at least one or more online CPUs present before it can be enabled. 1505 * 1506 * Note that creating a remote partition with any local partition root 1507 * above it or remote partition root underneath it is not allowed. 1508 */ 1509 compute_excpus(cs, tmp->new_cpus); 1510 WARN_ON_ONCE(cpumask_intersects(tmp->new_cpus, subpartitions_cpus)); 1511 if (!cpumask_intersects(tmp->new_cpus, cpu_active_mask) || 1512 cpumask_subset(top_cpuset.effective_cpus, tmp->new_cpus)) 1513 return PERR_INVCPUS; 1514 if (((new_prs == PRS_ISOLATED) && 1515 !isolated_cpus_can_update(tmp->new_cpus, NULL)) || 1516 prstate_housekeeping_conflict(new_prs, tmp->new_cpus)) 1517 return PERR_HKEEPING; 1518 1519 spin_lock_irq(&callback_lock); 1520 partition_xcpus_add(new_prs, NULL, tmp->new_cpus); 1521 cs->remote_partition = true; 1522 cpumask_copy(cs->effective_xcpus, tmp->new_cpus); 1523 spin_unlock_irq(&callback_lock); 1524 cpuset_force_rebuild(); 1525 cs->prs_err = 0; 1526 1527 /* 1528 * Propagate changes in top_cpuset's effective_cpus down the hierarchy. 1529 */ 1530 cpuset_update_tasks_cpumask(&top_cpuset, tmp->new_cpus); 1531 update_sibling_cpumasks(&top_cpuset, NULL, tmp); 1532 return 0; 1533 } 1534 1535 /* 1536 * remote_partition_disable - Remove current cpuset from remote partition list 1537 * @cs: the cpuset to update 1538 * @tmp: temporary masks 1539 * 1540 * The effective_cpus is also updated. 1541 * 1542 * cpuset_mutex must be held by the caller. 1543 */ 1544 static void remote_partition_disable(struct cpuset *cs, struct tmpmasks *tmp) 1545 { 1546 WARN_ON_ONCE(!is_remote_partition(cs)); 1547 /* 1548 * When a CPU is offlined, top_cpuset may end up with no available CPUs, 1549 * which should clear subpartitions_cpus. We should not emit a warning for this 1550 * scenario: the hierarchy is updated from top to bottom, so subpartitions_cpus 1551 * may already be cleared when disabling the partition. 1552 */ 1553 WARN_ON_ONCE(!cpumask_subset(cs->effective_xcpus, subpartitions_cpus) && 1554 !cpumask_empty(subpartitions_cpus)); 1555 1556 spin_lock_irq(&callback_lock); 1557 cs->remote_partition = false; 1558 partition_xcpus_del(cs->partition_root_state, NULL, cs->effective_xcpus); 1559 if (cs->prs_err) 1560 cs->partition_root_state = -cs->partition_root_state; 1561 else 1562 cs->partition_root_state = PRS_MEMBER; 1563 1564 /* effective_xcpus may need to be changed */ 1565 compute_excpus(cs, cs->effective_xcpus); 1566 reset_partition_data(cs); 1567 spin_unlock_irq(&callback_lock); 1568 cpuset_force_rebuild(); 1569 1570 /* 1571 * Propagate changes in top_cpuset's effective_cpus down the hierarchy. 1572 */ 1573 cpuset_update_tasks_cpumask(&top_cpuset, tmp->new_cpus); 1574 update_sibling_cpumasks(&top_cpuset, NULL, tmp); 1575 } 1576 1577 /* 1578 * remote_cpus_update - cpus_exclusive change of remote partition 1579 * @cs: the cpuset to be updated 1580 * @xcpus: the new exclusive_cpus mask, if non-NULL 1581 * @excpus: the new effective_xcpus mask 1582 * @tmp: temporary masks 1583 * 1584 * top_cpuset and subpartitions_cpus will be updated or partition can be 1585 * invalidated. 1586 */ 1587 static void remote_cpus_update(struct cpuset *cs, struct cpumask *xcpus, 1588 struct cpumask *excpus, struct tmpmasks *tmp) 1589 { 1590 bool adding, deleting; 1591 int prs = cs->partition_root_state; 1592 1593 if (WARN_ON_ONCE(!is_remote_partition(cs))) 1594 return; 1595 1596 WARN_ON_ONCE(!cpumask_subset(cs->effective_xcpus, subpartitions_cpus)); 1597 1598 if (cpumask_empty(excpus)) { 1599 cs->prs_err = PERR_CPUSEMPTY; 1600 goto invalidate; 1601 } 1602 1603 adding = cpumask_andnot(tmp->addmask, excpus, cs->effective_xcpus); 1604 deleting = cpumask_andnot(tmp->delmask, cs->effective_xcpus, excpus); 1605 1606 /* 1607 * Additions of remote CPUs is only allowed if those CPUs are 1608 * not allocated to other partitions and there are effective_cpus 1609 * left in the top cpuset. 1610 */ 1611 if (adding) { 1612 WARN_ON_ONCE(cpumask_intersects(tmp->addmask, subpartitions_cpus)); 1613 if (!capable(CAP_SYS_ADMIN)) 1614 cs->prs_err = PERR_ACCESS; 1615 else if (cpumask_intersects(tmp->addmask, subpartitions_cpus) || 1616 cpumask_subset(top_cpuset.effective_cpus, tmp->addmask)) 1617 cs->prs_err = PERR_NOCPUS; 1618 else if ((prs == PRS_ISOLATED) && 1619 !isolated_cpus_can_update(tmp->addmask, tmp->delmask)) 1620 cs->prs_err = PERR_HKEEPING; 1621 if (cs->prs_err) 1622 goto invalidate; 1623 } 1624 1625 spin_lock_irq(&callback_lock); 1626 if (adding) 1627 partition_xcpus_add(prs, NULL, tmp->addmask); 1628 if (deleting) 1629 partition_xcpus_del(prs, NULL, tmp->delmask); 1630 /* 1631 * Need to update effective_xcpus and exclusive_cpus now as 1632 * update_sibling_cpumasks() below may iterate back to the same cs. 1633 */ 1634 cpumask_copy(cs->effective_xcpus, excpus); 1635 if (xcpus) 1636 cpumask_copy(cs->exclusive_cpus, xcpus); 1637 spin_unlock_irq(&callback_lock); 1638 if (adding || deleting) 1639 cpuset_force_rebuild(); 1640 1641 /* 1642 * Propagate changes in top_cpuset's effective_cpus down the hierarchy. 1643 */ 1644 cpuset_update_tasks_cpumask(&top_cpuset, tmp->new_cpus); 1645 update_sibling_cpumasks(&top_cpuset, NULL, tmp); 1646 return; 1647 1648 invalidate: 1649 remote_partition_disable(cs, tmp); 1650 } 1651 1652 /** 1653 * update_parent_effective_cpumask - update effective_cpus mask of parent cpuset 1654 * @cs: The cpuset that requests change in partition root state 1655 * @cmd: Partition root state change command 1656 * @newmask: Optional new cpumask for partcmd_update 1657 * @tmp: Temporary addmask and delmask 1658 * Return: 0 or a partition root state error code 1659 * 1660 * For partcmd_enable*, the cpuset is being transformed from a non-partition 1661 * root to a partition root. The effective_xcpus (cpus_allowed if 1662 * effective_xcpus not set) mask of the given cpuset will be taken away from 1663 * parent's effective_cpus. The function will return 0 if all the CPUs listed 1664 * in effective_xcpus can be granted or an error code will be returned. 1665 * 1666 * For partcmd_disable, the cpuset is being transformed from a partition 1667 * root back to a non-partition root. Any CPUs in effective_xcpus will be 1668 * given back to parent's effective_cpus. 0 will always be returned. 1669 * 1670 * For partcmd_update, if the optional newmask is specified, the cpu list is 1671 * to be changed from effective_xcpus to newmask. Otherwise, effective_xcpus is 1672 * assumed to remain the same. The cpuset should either be a valid or invalid 1673 * partition root. The partition root state may change from valid to invalid 1674 * or vice versa. An error code will be returned if transitioning from 1675 * invalid to valid violates the exclusivity rule. 1676 * 1677 * For partcmd_invalidate, the current partition will be made invalid. 1678 * 1679 * The partcmd_enable* and partcmd_disable commands are used by 1680 * update_prstate(). An error code may be returned and the caller will check 1681 * for error. 1682 * 1683 * The partcmd_update command is used by update_cpumasks_hier() with newmask 1684 * NULL and update_cpumask() with newmask set. The partcmd_invalidate is used 1685 * by update_cpumask() with NULL newmask. In both cases, the callers won't 1686 * check for error and so partition_root_state and prs_err will be updated 1687 * directly. 1688 */ 1689 static int update_parent_effective_cpumask(struct cpuset *cs, int cmd, 1690 struct cpumask *newmask, 1691 struct tmpmasks *tmp) 1692 { 1693 struct cpuset *parent = parent_cs(cs); 1694 int adding; /* Adding cpus to parent's effective_cpus */ 1695 int deleting; /* Deleting cpus from parent's effective_cpus */ 1696 int old_prs, new_prs; 1697 int part_error = PERR_NONE; /* Partition error? */ 1698 struct cpumask *xcpus = user_xcpus(cs); 1699 int parent_prs = parent->partition_root_state; 1700 bool nocpu; 1701 1702 lockdep_assert_cpuset_lock_held(); 1703 WARN_ON_ONCE(is_remote_partition(cs)); /* For local partition only */ 1704 1705 /* 1706 * new_prs will only be changed for the partcmd_update and 1707 * partcmd_invalidate commands. 1708 */ 1709 adding = deleting = false; 1710 old_prs = new_prs = cs->partition_root_state; 1711 1712 if (cmd == partcmd_invalidate) { 1713 if (is_partition_invalid(cs)) 1714 return 0; 1715 1716 /* 1717 * Make the current partition invalid. 1718 */ 1719 if (is_partition_valid(parent)) 1720 adding = cpumask_and(tmp->addmask, 1721 xcpus, parent->effective_xcpus); 1722 if (old_prs > 0) 1723 new_prs = -old_prs; 1724 1725 goto write_error; 1726 } 1727 1728 /* 1729 * The parent must be a partition root. 1730 * The new cpumask, if present, or the current cpus_allowed must 1731 * not be empty. 1732 */ 1733 if (!is_partition_valid(parent)) { 1734 return is_partition_invalid(parent) 1735 ? PERR_INVPARENT : PERR_NOTPART; 1736 } 1737 if (!newmask && xcpus_empty(cs)) 1738 return PERR_CPUSEMPTY; 1739 1740 nocpu = tasks_nocpu_error(parent, cs, xcpus); 1741 1742 if ((cmd == partcmd_enable) || (cmd == partcmd_enablei)) { 1743 /* 1744 * Need to call compute_excpus() in case 1745 * exclusive_cpus not set. Sibling conflict should only happen 1746 * if exclusive_cpus isn't set. 1747 */ 1748 xcpus = tmp->delmask; 1749 if (compute_excpus(cs, xcpus)) 1750 WARN_ON_ONCE(!cpumask_empty(cs->exclusive_cpus)); 1751 new_prs = (cmd == partcmd_enable) ? PRS_ROOT : PRS_ISOLATED; 1752 1753 /* 1754 * Enabling partition root is not allowed if its 1755 * effective_xcpus is empty. 1756 */ 1757 if (cpumask_empty(xcpus)) 1758 return PERR_INVCPUS; 1759 1760 if (prstate_housekeeping_conflict(new_prs, xcpus)) 1761 return PERR_HKEEPING; 1762 1763 if ((new_prs == PRS_ISOLATED) && (new_prs != parent_prs) && 1764 !isolated_cpus_can_update(xcpus, NULL)) 1765 return PERR_HKEEPING; 1766 1767 if (tasks_nocpu_error(parent, cs, xcpus)) 1768 return PERR_NOCPUS; 1769 1770 /* 1771 * This function will only be called when all the preliminary 1772 * checks have passed. At this point, the following condition 1773 * should hold. 1774 * 1775 * (cs->effective_xcpus & cpu_active_mask) ⊆ parent->effective_cpus 1776 * 1777 * Warn if it is not the case. 1778 */ 1779 cpumask_and(tmp->new_cpus, xcpus, cpu_active_mask); 1780 WARN_ON_ONCE(!cpumask_subset(tmp->new_cpus, parent->effective_cpus)); 1781 1782 deleting = true; 1783 } else if (cmd == partcmd_disable) { 1784 /* 1785 * May need to add cpus back to parent's effective_cpus 1786 * (and maybe removed from subpartitions_cpus/isolated_cpus) 1787 * for valid partition root. xcpus may contain CPUs that 1788 * shouldn't be removed from the two global cpumasks. 1789 */ 1790 if (is_partition_valid(cs)) { 1791 cpumask_copy(tmp->addmask, cs->effective_xcpus); 1792 adding = true; 1793 } 1794 new_prs = PRS_MEMBER; 1795 } else if (newmask) { 1796 /* 1797 * Empty cpumask is not allowed 1798 */ 1799 if (cpumask_empty(newmask)) { 1800 part_error = PERR_CPUSEMPTY; 1801 goto write_error; 1802 } 1803 1804 /* Check newmask again, whether cpus are available for parent/cs */ 1805 nocpu |= tasks_nocpu_error(parent, cs, newmask); 1806 1807 /* 1808 * partcmd_update with newmask: 1809 * 1810 * Compute add/delete mask to/from effective_cpus 1811 * 1812 * For valid partition: 1813 * addmask = exclusive_cpus & ~newmask 1814 * & parent->effective_xcpus 1815 * delmask = newmask & ~exclusive_cpus 1816 * & parent->effective_xcpus 1817 * 1818 * For invalid partition: 1819 * delmask = newmask & parent->effective_xcpus 1820 * The partition may become valid soon. 1821 */ 1822 if (is_partition_invalid(cs)) { 1823 adding = false; 1824 deleting = cpumask_and(tmp->delmask, 1825 newmask, parent->effective_xcpus); 1826 } else { 1827 cpumask_andnot(tmp->addmask, xcpus, newmask); 1828 adding = cpumask_and(tmp->addmask, tmp->addmask, 1829 parent->effective_xcpus); 1830 1831 cpumask_andnot(tmp->delmask, newmask, xcpus); 1832 deleting = cpumask_and(tmp->delmask, tmp->delmask, 1833 parent->effective_xcpus); 1834 } 1835 1836 /* 1837 * TBD: Invalidate a currently valid child root partition may 1838 * still break isolated_cpus_can_update() rule if parent is an 1839 * isolated partition. 1840 */ 1841 if (is_partition_valid(cs) && (old_prs != parent_prs)) { 1842 if ((parent_prs == PRS_ROOT) && 1843 /* Adding to parent means removing isolated CPUs */ 1844 !isolated_cpus_can_update(tmp->delmask, tmp->addmask)) 1845 part_error = PERR_HKEEPING; 1846 if ((parent_prs == PRS_ISOLATED) && 1847 /* Adding to parent means adding isolated CPUs */ 1848 !isolated_cpus_can_update(tmp->addmask, tmp->delmask)) 1849 part_error = PERR_HKEEPING; 1850 } 1851 1852 /* 1853 * The new CPUs to be removed from parent's effective CPUs 1854 * must be present. 1855 */ 1856 if (deleting) { 1857 cpumask_and(tmp->new_cpus, tmp->delmask, cpu_active_mask); 1858 WARN_ON_ONCE(!cpumask_subset(tmp->new_cpus, parent->effective_cpus)); 1859 } 1860 1861 /* 1862 * Make partition invalid if parent's effective_cpus could 1863 * become empty and there are tasks in the parent. 1864 */ 1865 if (nocpu && (!adding || 1866 !cpumask_intersects(tmp->addmask, cpu_active_mask))) { 1867 part_error = PERR_NOCPUS; 1868 deleting = false; 1869 adding = cpumask_and(tmp->addmask, 1870 xcpus, parent->effective_xcpus); 1871 } 1872 } else { 1873 /* 1874 * partcmd_update w/o newmask 1875 * 1876 * delmask = effective_xcpus & parent->effective_cpus 1877 * 1878 * This can be called from: 1879 * 1) update_cpumasks_hier() 1880 * 2) cpuset_hotplug_update_tasks() 1881 * 1882 * Check to see if it can be transitioned from valid to 1883 * invalid partition or vice versa. 1884 * 1885 * A partition error happens when parent has tasks and all 1886 * its effective CPUs will have to be distributed out. 1887 */ 1888 if (nocpu) { 1889 part_error = PERR_NOCPUS; 1890 if (is_partition_valid(cs)) 1891 adding = cpumask_and(tmp->addmask, 1892 xcpus, parent->effective_xcpus); 1893 } else if (is_partition_invalid(cs) && !cpumask_empty(xcpus) && 1894 cpumask_subset(xcpus, parent->effective_xcpus)) { 1895 struct cgroup_subsys_state *css; 1896 struct cpuset *child; 1897 bool exclusive = true; 1898 1899 /* 1900 * Convert invalid partition to valid has to 1901 * pass the cpu exclusivity test. 1902 */ 1903 rcu_read_lock(); 1904 cpuset_for_each_child(child, css, parent) { 1905 if (child == cs) 1906 continue; 1907 if (!cpusets_are_exclusive(cs, child)) { 1908 exclusive = false; 1909 break; 1910 } 1911 } 1912 rcu_read_unlock(); 1913 if (exclusive) 1914 deleting = cpumask_and(tmp->delmask, 1915 xcpus, parent->effective_cpus); 1916 else 1917 part_error = PERR_NOTEXCL; 1918 } 1919 } 1920 1921 write_error: 1922 if (part_error) 1923 WRITE_ONCE(cs->prs_err, part_error); 1924 1925 if (cmd == partcmd_update) { 1926 /* 1927 * Check for possible transition between valid and invalid 1928 * partition root. 1929 */ 1930 switch (cs->partition_root_state) { 1931 case PRS_ROOT: 1932 case PRS_ISOLATED: 1933 if (part_error) 1934 new_prs = -old_prs; 1935 break; 1936 case PRS_INVALID_ROOT: 1937 case PRS_INVALID_ISOLATED: 1938 if (!part_error) 1939 new_prs = -old_prs; 1940 break; 1941 } 1942 } 1943 1944 if (!adding && !deleting && (new_prs == old_prs)) 1945 return 0; 1946 1947 /* 1948 * Transitioning between invalid to valid or vice versa may require 1949 * changing CS_CPU_EXCLUSIVE. In the case of partcmd_update, 1950 * validate_change() has already been successfully called and 1951 * CPU lists in cs haven't been updated yet. So defer it to later. 1952 */ 1953 if ((old_prs != new_prs) && (cmd != partcmd_update)) { 1954 int err = update_partition_exclusive_flag(cs, new_prs); 1955 1956 if (err) 1957 return err; 1958 } 1959 1960 /* 1961 * Change the parent's effective_cpus & effective_xcpus (top cpuset 1962 * only). 1963 * 1964 * Newly added CPUs will be removed from effective_cpus and 1965 * newly deleted ones will be added back to effective_cpus. 1966 */ 1967 spin_lock_irq(&callback_lock); 1968 if (old_prs != new_prs) 1969 cs->partition_root_state = new_prs; 1970 1971 /* 1972 * Adding to parent's effective_cpus means deletion CPUs from cs 1973 * and vice versa. 1974 */ 1975 if (adding) 1976 partition_xcpus_del(old_prs, parent, tmp->addmask); 1977 if (deleting) 1978 partition_xcpus_add(new_prs, parent, tmp->delmask); 1979 1980 spin_unlock_irq(&callback_lock); 1981 1982 if ((old_prs != new_prs) && (cmd == partcmd_update)) 1983 update_partition_exclusive_flag(cs, new_prs); 1984 1985 if (adding || deleting) { 1986 cpuset_update_tasks_cpumask(parent, tmp->addmask); 1987 update_sibling_cpumasks(parent, cs, tmp); 1988 } 1989 1990 /* 1991 * For partcmd_update without newmask, it is being called from 1992 * cpuset_handle_hotplug(). Update the load balance flag and 1993 * scheduling domain accordingly. 1994 */ 1995 if ((cmd == partcmd_update) && !newmask) 1996 update_partition_sd_lb(cs, old_prs); 1997 1998 notify_partition_change(cs, old_prs); 1999 return 0; 2000 } 2001 2002 /** 2003 * compute_partition_effective_cpumask - compute effective_cpus for partition 2004 * @cs: partition root cpuset 2005 * @new_ecpus: previously computed effective_cpus to be updated 2006 * 2007 * Compute the effective_cpus of a partition root by scanning effective_xcpus 2008 * of child partition roots and excluding their effective_xcpus. 2009 * 2010 * This has the side effect of invalidating valid child partition roots, 2011 * if necessary. Since it is called from either cpuset_hotplug_update_tasks() 2012 * or update_cpumasks_hier() where parent and children are modified 2013 * successively, we don't need to call update_parent_effective_cpumask() 2014 * and the child's effective_cpus will be updated in later iterations. 2015 * 2016 * Note that rcu_read_lock() is assumed to be held. 2017 */ 2018 static void compute_partition_effective_cpumask(struct cpuset *cs, 2019 struct cpumask *new_ecpus) 2020 { 2021 struct cgroup_subsys_state *css; 2022 struct cpuset *child; 2023 bool populated = partition_is_populated(cs, NULL); 2024 2025 /* 2026 * Check child partition roots to see if they should be 2027 * invalidated when 2028 * 1) child effective_xcpus not a subset of new 2029 * excluisve_cpus 2030 * 2) All the effective_cpus will be used up and cp 2031 * has tasks 2032 */ 2033 compute_excpus(cs, new_ecpus); 2034 cpumask_and(new_ecpus, new_ecpus, cpu_active_mask); 2035 2036 rcu_read_lock(); 2037 cpuset_for_each_child(child, css, cs) { 2038 if (!is_partition_valid(child)) 2039 continue; 2040 2041 /* 2042 * There shouldn't be a remote partition underneath another 2043 * partition root. 2044 */ 2045 WARN_ON_ONCE(is_remote_partition(child)); 2046 child->prs_err = 0; 2047 if (!cpumask_subset(child->effective_xcpus, 2048 cs->effective_xcpus)) 2049 child->prs_err = PERR_INVCPUS; 2050 else if (populated && 2051 cpumask_subset(new_ecpus, child->effective_xcpus)) 2052 child->prs_err = PERR_NOCPUS; 2053 2054 if (child->prs_err) { 2055 int old_prs = child->partition_root_state; 2056 2057 /* 2058 * Invalidate child partition 2059 */ 2060 spin_lock_irq(&callback_lock); 2061 make_partition_invalid(child); 2062 spin_unlock_irq(&callback_lock); 2063 notify_partition_change(child, old_prs); 2064 continue; 2065 } 2066 cpumask_andnot(new_ecpus, new_ecpus, 2067 child->effective_xcpus); 2068 } 2069 rcu_read_unlock(); 2070 } 2071 2072 /* 2073 * update_cpumasks_hier - Update effective cpumasks and tasks in the subtree 2074 * @cs: the cpuset to consider 2075 * @tmp: temp variables for calculating effective_cpus & partition setup 2076 * @force: don't skip any descendant cpusets if set 2077 * 2078 * When configured cpumask is changed, the effective cpumasks of this cpuset 2079 * and all its descendants need to be updated. 2080 * 2081 * On legacy hierarchy, effective_cpus will be the same with cpu_allowed. 2082 * 2083 * Called with cpuset_mutex held 2084 */ 2085 static void update_cpumasks_hier(struct cpuset *cs, struct tmpmasks *tmp, 2086 bool force) 2087 { 2088 struct cpuset *cp; 2089 struct cgroup_subsys_state *pos_css; 2090 int old_prs, new_prs; 2091 2092 rcu_read_lock(); 2093 cpuset_for_each_descendant_pre(cp, pos_css, cs) { 2094 struct cpuset *parent = parent_cs(cp); 2095 bool remote = is_remote_partition(cp); 2096 bool update_parent = false; 2097 2098 old_prs = new_prs = cp->partition_root_state; 2099 2100 /* 2101 * For child remote partition root (!= cs), we need to call 2102 * remote_cpus_update() if effective_xcpus will be changed. 2103 * Otherwise, we can skip the whole subtree. 2104 * 2105 * remote_cpus_update() will reuse tmp->new_cpus only after 2106 * its value is being processed. 2107 */ 2108 if (remote && (cp != cs)) { 2109 compute_excpus(cp, tmp->new_cpus); 2110 if (cpumask_equal(cp->effective_xcpus, tmp->new_cpus)) { 2111 pos_css = css_rightmost_descendant(pos_css); 2112 continue; 2113 } 2114 rcu_read_unlock(); 2115 remote_cpus_update(cp, NULL, tmp->new_cpus, tmp); 2116 rcu_read_lock(); 2117 2118 /* Remote partition may be invalidated */ 2119 new_prs = cp->partition_root_state; 2120 remote = (new_prs == old_prs); 2121 } 2122 2123 if (remote || (is_partition_valid(parent) && is_partition_valid(cp))) 2124 compute_partition_effective_cpumask(cp, tmp->new_cpus); 2125 else 2126 compute_effective_cpumask(tmp->new_cpus, cp, parent); 2127 2128 if (remote) 2129 goto get_css; /* Ready to update cpuset data */ 2130 2131 /* 2132 * A partition with no effective_cpus is allowed as long as 2133 * there is no task associated with it. Call 2134 * update_parent_effective_cpumask() to check it. 2135 */ 2136 if (is_partition_valid(cp) && cpumask_empty(tmp->new_cpus)) { 2137 update_parent = true; 2138 goto update_parent_effective; 2139 } 2140 2141 /* 2142 * If it becomes empty, inherit the effective mask of the 2143 * parent, which is guaranteed to have some CPUs unless 2144 * it is a partition root that has explicitly distributed 2145 * out all its CPUs. 2146 */ 2147 if (is_in_v2_mode() && !remote && cpumask_empty(tmp->new_cpus)) 2148 cpumask_copy(tmp->new_cpus, parent->effective_cpus); 2149 2150 /* 2151 * Skip the whole subtree if 2152 * 1) the cpumask remains the same, 2153 * 2) has no partition root state, 2154 * 3) force flag not set, and 2155 * 4) for v2 load balance state same as its parent. 2156 */ 2157 if (!cp->partition_root_state && !force && 2158 cpumask_equal(tmp->new_cpus, cp->effective_cpus) && 2159 (!cpuset_v2() || 2160 (is_sched_load_balance(parent) == is_sched_load_balance(cp)))) { 2161 pos_css = css_rightmost_descendant(pos_css); 2162 continue; 2163 } 2164 2165 update_parent_effective: 2166 /* 2167 * update_parent_effective_cpumask() should have been called 2168 * for cs already in update_cpumask(). We should also call 2169 * cpuset_update_tasks_cpumask() again for tasks in the parent 2170 * cpuset if the parent's effective_cpus changes. 2171 */ 2172 if ((cp != cs) && old_prs) { 2173 switch (parent->partition_root_state) { 2174 case PRS_ROOT: 2175 case PRS_ISOLATED: 2176 update_parent = true; 2177 break; 2178 2179 default: 2180 /* 2181 * When parent is not a partition root or is 2182 * invalid, child partition roots become 2183 * invalid too. 2184 */ 2185 if (is_partition_valid(cp)) 2186 new_prs = -cp->partition_root_state; 2187 WRITE_ONCE(cp->prs_err, 2188 is_partition_invalid(parent) 2189 ? PERR_INVPARENT : PERR_NOTPART); 2190 break; 2191 } 2192 } 2193 get_css: 2194 if (!css_tryget_online(&cp->css)) 2195 continue; 2196 rcu_read_unlock(); 2197 2198 if (update_parent) { 2199 update_parent_effective_cpumask(cp, partcmd_update, NULL, tmp); 2200 /* 2201 * The cpuset partition_root_state may become 2202 * invalid. Capture it. 2203 */ 2204 new_prs = cp->partition_root_state; 2205 } 2206 2207 spin_lock_irq(&callback_lock); 2208 cpumask_copy(cp->effective_cpus, tmp->new_cpus); 2209 cp->partition_root_state = new_prs; 2210 /* 2211 * Need to compute effective_xcpus if either exclusive_cpus 2212 * is non-empty or it is a valid partition root. 2213 */ 2214 if ((new_prs > 0) || !cpumask_empty(cp->exclusive_cpus)) 2215 compute_excpus(cp, cp->effective_xcpus); 2216 if (new_prs <= 0) 2217 reset_partition_data(cp); 2218 spin_unlock_irq(&callback_lock); 2219 2220 notify_partition_change(cp, old_prs); 2221 2222 WARN_ON(!is_in_v2_mode() && 2223 !cpumask_equal(cp->cpus_allowed, cp->effective_cpus)); 2224 2225 cpuset_update_tasks_cpumask(cp, tmp->new_cpus); 2226 2227 /* 2228 * On default hierarchy, inherit the CS_SCHED_LOAD_BALANCE 2229 * from parent if current cpuset isn't a valid partition root 2230 * and their load balance states differ. 2231 */ 2232 if (cpuset_v2() && !is_partition_valid(cp) && 2233 (is_sched_load_balance(parent) != is_sched_load_balance(cp))) { 2234 if (is_sched_load_balance(parent)) 2235 set_bit(CS_SCHED_LOAD_BALANCE, &cp->flags); 2236 else 2237 clear_bit(CS_SCHED_LOAD_BALANCE, &cp->flags); 2238 } 2239 2240 /* 2241 * On legacy hierarchy, if the effective cpumask of any non- 2242 * empty cpuset is changed, we need to rebuild sched domains. 2243 * On default hierarchy, the cpuset needs to be a partition 2244 * root as well. 2245 */ 2246 if (!cpumask_empty(cp->cpus_allowed) && 2247 is_sched_load_balance(cp) && 2248 (!cpuset_v2() || is_partition_valid(cp))) 2249 cpuset_force_rebuild(); 2250 2251 rcu_read_lock(); 2252 css_put(&cp->css); 2253 } 2254 rcu_read_unlock(); 2255 } 2256 2257 /** 2258 * update_sibling_cpumasks - Update siblings cpumasks 2259 * @parent: Parent cpuset 2260 * @cs: Current cpuset 2261 * @tmp: Temp variables 2262 */ 2263 static void update_sibling_cpumasks(struct cpuset *parent, struct cpuset *cs, 2264 struct tmpmasks *tmp) 2265 { 2266 struct cpuset *sibling; 2267 struct cgroup_subsys_state *pos_css; 2268 2269 lockdep_assert_cpuset_lock_held(); 2270 2271 /* 2272 * Check all its siblings and call update_cpumasks_hier() 2273 * if their effective_cpus will need to be changed. 2274 * 2275 * It is possible a change in parent's effective_cpus 2276 * due to a change in a child partition's effective_xcpus will impact 2277 * its siblings even if they do not inherit parent's effective_cpus 2278 * directly. It should not impact valid partition. 2279 * 2280 * The update_cpumasks_hier() function may sleep. So we have to 2281 * release the RCU read lock before calling it. 2282 */ 2283 rcu_read_lock(); 2284 cpuset_for_each_child(sibling, pos_css, parent) { 2285 if (sibling == cs || is_partition_valid(sibling)) 2286 continue; 2287 2288 compute_effective_cpumask(tmp->new_cpus, sibling, 2289 parent); 2290 if (cpumask_equal(tmp->new_cpus, sibling->effective_cpus)) 2291 continue; 2292 2293 if (!css_tryget_online(&sibling->css)) 2294 continue; 2295 2296 rcu_read_unlock(); 2297 update_cpumasks_hier(sibling, tmp, false); 2298 rcu_read_lock(); 2299 css_put(&sibling->css); 2300 } 2301 rcu_read_unlock(); 2302 } 2303 2304 static int parse_cpuset_cpulist(const char *buf, struct cpumask *out_mask) 2305 { 2306 int retval; 2307 2308 retval = cpulist_parse(buf, out_mask); 2309 if (retval < 0) 2310 return retval; 2311 if (!cpumask_subset(out_mask, top_cpuset.cpus_allowed)) 2312 return -EINVAL; 2313 2314 return 0; 2315 } 2316 2317 /** 2318 * validate_partition - Validate a cpuset partition configuration 2319 * @cs: The cpuset to validate 2320 * @trialcs: The trial cpuset containing proposed configuration changes 2321 * 2322 * If any validation check fails, the appropriate error code is set in the 2323 * cpuset's prs_err field. 2324 * 2325 * Return: PRS error code (0 if valid, non-zero error code if invalid) 2326 */ 2327 static enum prs_errcode validate_partition(struct cpuset *cs, struct cpuset *trialcs) 2328 { 2329 struct cpuset *parent = parent_cs(cs); 2330 2331 if (cs_is_member(trialcs)) 2332 return PERR_NONE; 2333 2334 if (cpumask_empty(trialcs->effective_xcpus)) 2335 return PERR_INVCPUS; 2336 2337 if (prstate_housekeeping_conflict(trialcs->partition_root_state, 2338 trialcs->effective_xcpus)) 2339 return PERR_HKEEPING; 2340 2341 if (tasks_nocpu_error(parent, cs, trialcs->effective_xcpus)) 2342 return PERR_NOCPUS; 2343 2344 return PERR_NONE; 2345 } 2346 2347 /** 2348 * partition_cpus_change - Handle partition state changes due to CPU mask updates 2349 * @cs: The target cpuset being modified 2350 * @trialcs: The trial cpuset containing proposed configuration changes 2351 * @tmp: Temporary masks for intermediate calculations 2352 * 2353 * This function handles partition state transitions triggered by CPU mask changes. 2354 * CPU modifications may cause a partition to be disabled or require state updates. 2355 */ 2356 static void partition_cpus_change(struct cpuset *cs, struct cpuset *trialcs, 2357 struct tmpmasks *tmp) 2358 { 2359 enum prs_errcode prs_err; 2360 2361 if (cs_is_member(cs)) 2362 return; 2363 2364 prs_err = validate_partition(cs, trialcs); 2365 if (prs_err) 2366 trialcs->prs_err = cs->prs_err = prs_err; 2367 2368 if (is_remote_partition(cs)) { 2369 if (trialcs->prs_err) 2370 remote_partition_disable(cs, tmp); 2371 else 2372 remote_cpus_update(cs, trialcs->exclusive_cpus, 2373 trialcs->effective_xcpus, tmp); 2374 } else { 2375 if (trialcs->prs_err) 2376 update_parent_effective_cpumask(cs, partcmd_invalidate, 2377 NULL, tmp); 2378 else 2379 update_parent_effective_cpumask(cs, partcmd_update, 2380 trialcs->effective_xcpus, tmp); 2381 } 2382 } 2383 2384 /** 2385 * update_cpumask - update the cpus_allowed mask of a cpuset and all tasks in it 2386 * @cs: the cpuset to consider 2387 * @trialcs: trial cpuset 2388 * @buf: buffer of cpu numbers written to this cpuset 2389 */ 2390 static int update_cpumask(struct cpuset *cs, struct cpuset *trialcs, 2391 const char *buf) 2392 { 2393 int retval; 2394 struct tmpmasks tmp; 2395 bool force = false; 2396 int old_prs = cs->partition_root_state; 2397 2398 retval = parse_cpuset_cpulist(buf, trialcs->cpus_allowed); 2399 if (retval < 0) 2400 return retval; 2401 2402 /* Nothing to do if the cpus didn't change */ 2403 if (cpumask_equal(cs->cpus_allowed, trialcs->cpus_allowed)) 2404 return 0; 2405 2406 compute_trialcs_excpus(trialcs, cs); 2407 trialcs->prs_err = PERR_NONE; 2408 2409 retval = validate_change(cs, trialcs); 2410 if (retval < 0) 2411 return retval; 2412 2413 if (alloc_tmpmasks(&tmp)) 2414 return -ENOMEM; 2415 2416 /* 2417 * Check all the descendants in update_cpumasks_hier() if 2418 * effective_xcpus is to be changed. 2419 */ 2420 force = !cpumask_equal(cs->effective_xcpus, trialcs->effective_xcpus); 2421 2422 partition_cpus_change(cs, trialcs, &tmp); 2423 2424 spin_lock_irq(&callback_lock); 2425 cpumask_copy(cs->cpus_allowed, trialcs->cpus_allowed); 2426 cpumask_copy(cs->effective_xcpus, trialcs->effective_xcpus); 2427 if ((old_prs > 0) && !is_partition_valid(cs)) 2428 reset_partition_data(cs); 2429 spin_unlock_irq(&callback_lock); 2430 2431 /* effective_cpus/effective_xcpus will be updated here */ 2432 update_cpumasks_hier(cs, &tmp, force); 2433 2434 /* Update CS_SCHED_LOAD_BALANCE and/or sched_domains, if necessary */ 2435 if (cs->partition_root_state) 2436 update_partition_sd_lb(cs, old_prs); 2437 2438 free_tmpmasks(&tmp); 2439 return retval; 2440 } 2441 2442 /** 2443 * update_exclusive_cpumask - update the exclusive_cpus mask of a cpuset 2444 * @cs: the cpuset to consider 2445 * @trialcs: trial cpuset 2446 * @buf: buffer of cpu numbers written to this cpuset 2447 * 2448 * The tasks' cpumask will be updated if cs is a valid partition root. 2449 */ 2450 static int update_exclusive_cpumask(struct cpuset *cs, struct cpuset *trialcs, 2451 const char *buf) 2452 { 2453 int retval; 2454 struct tmpmasks tmp; 2455 bool force = false; 2456 int old_prs = cs->partition_root_state; 2457 2458 retval = parse_cpuset_cpulist(buf, trialcs->exclusive_cpus); 2459 if (retval < 0) 2460 return retval; 2461 2462 /* Nothing to do if the CPUs didn't change */ 2463 if (cpumask_equal(cs->exclusive_cpus, trialcs->exclusive_cpus)) 2464 return 0; 2465 2466 /* 2467 * Reject the change if there is exclusive CPUs conflict with 2468 * the siblings. 2469 */ 2470 if (compute_trialcs_excpus(trialcs, cs)) 2471 return -EINVAL; 2472 2473 /* 2474 * Check all the descendants in update_cpumasks_hier() if 2475 * effective_xcpus is to be changed. 2476 */ 2477 force = !cpumask_equal(cs->effective_xcpus, trialcs->effective_xcpus); 2478 2479 retval = validate_change(cs, trialcs); 2480 if (retval) 2481 return retval; 2482 2483 if (alloc_tmpmasks(&tmp)) 2484 return -ENOMEM; 2485 2486 trialcs->prs_err = PERR_NONE; 2487 partition_cpus_change(cs, trialcs, &tmp); 2488 2489 spin_lock_irq(&callback_lock); 2490 cpumask_copy(cs->exclusive_cpus, trialcs->exclusive_cpus); 2491 cpumask_copy(cs->effective_xcpus, trialcs->effective_xcpus); 2492 if ((old_prs > 0) && !is_partition_valid(cs)) 2493 reset_partition_data(cs); 2494 spin_unlock_irq(&callback_lock); 2495 2496 /* 2497 * Call update_cpumasks_hier() to update effective_cpus/effective_xcpus 2498 * of the subtree when it is a valid partition root or effective_xcpus 2499 * is updated. 2500 */ 2501 if (is_partition_valid(cs) || force) 2502 update_cpumasks_hier(cs, &tmp, force); 2503 2504 /* Update CS_SCHED_LOAD_BALANCE and/or sched_domains, if necessary */ 2505 if (cs->partition_root_state) 2506 update_partition_sd_lb(cs, old_prs); 2507 2508 free_tmpmasks(&tmp); 2509 return 0; 2510 } 2511 2512 /* 2513 * Migrate memory region from one set of nodes to another. This is 2514 * performed asynchronously as it can be called from process migration path 2515 * holding locks involved in process management. All mm migrations are 2516 * performed in the queued order and can be waited for by flushing 2517 * cpuset_migrate_mm_wq. 2518 */ 2519 2520 struct cpuset_migrate_mm_work { 2521 struct work_struct work; 2522 struct mm_struct *mm; 2523 nodemask_t from; 2524 nodemask_t to; 2525 }; 2526 2527 static void cpuset_migrate_mm_workfn(struct work_struct *work) 2528 { 2529 struct cpuset_migrate_mm_work *mwork = 2530 container_of(work, struct cpuset_migrate_mm_work, work); 2531 2532 /* on a wq worker, no need to worry about %current's mems_allowed */ 2533 do_migrate_pages(mwork->mm, &mwork->from, &mwork->to, MPOL_MF_MOVE_ALL); 2534 mmput(mwork->mm); 2535 kfree(mwork); 2536 } 2537 2538 static void cpuset_migrate_mm(struct mm_struct *mm, const nodemask_t *from, 2539 const nodemask_t *to) 2540 { 2541 struct cpuset_migrate_mm_work *mwork; 2542 2543 if (nodes_equal(*from, *to)) { 2544 mmput(mm); 2545 return; 2546 } 2547 2548 mwork = kzalloc_obj(*mwork); 2549 if (mwork) { 2550 mwork->mm = mm; 2551 mwork->from = *from; 2552 mwork->to = *to; 2553 INIT_WORK(&mwork->work, cpuset_migrate_mm_workfn); 2554 queue_work(cpuset_migrate_mm_wq, &mwork->work); 2555 } else { 2556 mmput(mm); 2557 } 2558 } 2559 2560 static void flush_migrate_mm_task_workfn(struct callback_head *head) 2561 { 2562 flush_workqueue(cpuset_migrate_mm_wq); 2563 kfree(head); 2564 } 2565 2566 static void schedule_flush_migrate_mm(void) 2567 { 2568 struct callback_head *flush_cb; 2569 2570 flush_cb = kzalloc_obj(struct callback_head); 2571 if (!flush_cb) 2572 return; 2573 2574 init_task_work(flush_cb, flush_migrate_mm_task_workfn); 2575 2576 if (task_work_add(current, flush_cb, TWA_RESUME)) 2577 kfree(flush_cb); 2578 } 2579 2580 /* 2581 * cpuset_change_task_nodemask - change task's mems_allowed and mempolicy 2582 * @tsk: the task to change 2583 * @newmems: new nodes that the task will be set 2584 * 2585 * We use the mems_allowed_seq seqlock to safely update both tsk->mems_allowed 2586 * and rebind an eventual tasks' mempolicy. If the task is allocating in 2587 * parallel, it might temporarily see an empty intersection, which results in 2588 * a seqlock check and retry before OOM or allocation failure. 2589 */ 2590 static void cpuset_change_task_nodemask(struct task_struct *tsk, 2591 nodemask_t *newmems) 2592 { 2593 task_lock(tsk); 2594 2595 local_irq_disable(); 2596 write_seqcount_begin(&tsk->mems_allowed_seq); 2597 2598 nodes_or(tsk->mems_allowed, tsk->mems_allowed, *newmems); 2599 mpol_rebind_task(tsk, newmems); 2600 tsk->mems_allowed = *newmems; 2601 2602 write_seqcount_end(&tsk->mems_allowed_seq); 2603 local_irq_enable(); 2604 2605 task_unlock(tsk); 2606 } 2607 2608 static void *cpuset_being_rebound; 2609 2610 /** 2611 * cpuset_update_tasks_nodemask - Update the nodemasks of tasks in the cpuset. 2612 * @cs: the cpuset in which each task's mems_allowed mask needs to be changed 2613 * 2614 * Iterate through each task of @cs updating its mems_allowed to the 2615 * effective cpuset's. As this function is called with cpuset_mutex held, 2616 * cpuset membership stays stable. 2617 */ 2618 void cpuset_update_tasks_nodemask(struct cpuset *cs) 2619 { 2620 static nodemask_t newmems; /* protected by cpuset_mutex */ 2621 struct css_task_iter it; 2622 struct task_struct *task; 2623 2624 cpuset_being_rebound = cs; /* causes mpol_dup() rebind */ 2625 2626 guarantee_online_mems(cs, &newmems); 2627 2628 /* 2629 * The mpol_rebind_mm() call takes mmap_lock, which we couldn't 2630 * take while holding tasklist_lock. Forks can happen - the 2631 * mpol_dup() cpuset_being_rebound check will catch such forks, 2632 * and rebind their vma mempolicies too. Because we still hold 2633 * the global cpuset_mutex, we know that no other rebind effort 2634 * will be contending for the global variable cpuset_being_rebound. 2635 * It's ok if we rebind the same mm twice; mpol_rebind_mm() 2636 * is idempotent. Also migrate pages in each mm to new nodes. 2637 */ 2638 css_task_iter_start(&cs->css, 0, &it); 2639 while ((task = css_task_iter_next(&it))) { 2640 struct mm_struct *mm; 2641 bool migrate; 2642 2643 cpuset_change_task_nodemask(task, &newmems); 2644 2645 mm = get_task_mm(task); 2646 if (!mm) 2647 continue; 2648 2649 migrate = is_memory_migrate(cs); 2650 2651 mpol_rebind_mm(mm, &cs->mems_allowed); 2652 if (migrate) 2653 cpuset_migrate_mm(mm, &cs->old_mems_allowed, &newmems); 2654 else 2655 mmput(mm); 2656 } 2657 css_task_iter_end(&it); 2658 2659 /* 2660 * All the tasks' nodemasks have been updated, update 2661 * cs->old_mems_allowed. 2662 */ 2663 cs->old_mems_allowed = newmems; 2664 2665 /* We're done rebinding vmas to this cpuset's new mems_allowed. */ 2666 cpuset_being_rebound = NULL; 2667 } 2668 2669 /* 2670 * update_nodemasks_hier - Update effective nodemasks and tasks in the subtree 2671 * @cs: the cpuset to consider 2672 * @new_mems: a temp variable for calculating new effective_mems 2673 * 2674 * When configured nodemask is changed, the effective nodemasks of this cpuset 2675 * and all its descendants need to be updated. 2676 * 2677 * On legacy hierarchy, effective_mems will be the same with mems_allowed. 2678 * 2679 * Called with cpuset_mutex held 2680 */ 2681 static void update_nodemasks_hier(struct cpuset *cs, nodemask_t *new_mems) 2682 { 2683 struct cpuset *cp; 2684 struct cgroup_subsys_state *pos_css; 2685 2686 rcu_read_lock(); 2687 cpuset_for_each_descendant_pre(cp, pos_css, cs) { 2688 struct cpuset *parent = parent_cs(cp); 2689 2690 bool has_mems = nodes_and(*new_mems, cp->mems_allowed, parent->effective_mems); 2691 2692 /* 2693 * If it becomes empty, inherit the effective mask of the 2694 * parent, which is guaranteed to have some MEMs. 2695 */ 2696 if (is_in_v2_mode() && !has_mems) 2697 *new_mems = parent->effective_mems; 2698 2699 /* Skip the whole subtree if the nodemask remains the same. */ 2700 if (nodes_equal(*new_mems, cp->effective_mems)) { 2701 pos_css = css_rightmost_descendant(pos_css); 2702 continue; 2703 } 2704 2705 if (!css_tryget_online(&cp->css)) 2706 continue; 2707 rcu_read_unlock(); 2708 2709 spin_lock_irq(&callback_lock); 2710 cp->effective_mems = *new_mems; 2711 spin_unlock_irq(&callback_lock); 2712 2713 WARN_ON(!is_in_v2_mode() && 2714 !nodes_equal(cp->mems_allowed, cp->effective_mems)); 2715 2716 cpuset_update_tasks_nodemask(cp); 2717 2718 rcu_read_lock(); 2719 css_put(&cp->css); 2720 } 2721 rcu_read_unlock(); 2722 } 2723 2724 /* 2725 * Handle user request to change the 'mems' memory placement 2726 * of a cpuset. Needs to validate the request, update the 2727 * cpusets mems_allowed, and for each task in the cpuset, 2728 * update mems_allowed and rebind task's mempolicy and any vma 2729 * mempolicies and if the cpuset is marked 'memory_migrate', 2730 * migrate the tasks pages to the new memory. 2731 * 2732 * Call with cpuset_mutex held. May take callback_lock during call. 2733 * Will take tasklist_lock, scan tasklist for tasks in cpuset cs, 2734 * lock each such tasks mm->mmap_lock, scan its vma's and rebind 2735 * their mempolicies to the cpusets new mems_allowed. 2736 */ 2737 static int update_nodemask(struct cpuset *cs, struct cpuset *trialcs, 2738 const char *buf) 2739 { 2740 int retval; 2741 2742 /* 2743 * An empty mems_allowed is ok iff there are no tasks in the cpuset. 2744 * The validate_change() call ensures that cpusets with tasks have memory. 2745 */ 2746 retval = nodelist_parse(buf, trialcs->mems_allowed); 2747 if (retval < 0) 2748 return retval; 2749 2750 if (!nodes_subset(trialcs->mems_allowed, 2751 top_cpuset.mems_allowed)) 2752 return -EINVAL; 2753 2754 /* No change? nothing to do */ 2755 if (nodes_equal(cs->mems_allowed, trialcs->mems_allowed)) 2756 return 0; 2757 2758 retval = validate_change(cs, trialcs); 2759 if (retval < 0) 2760 return retval; 2761 2762 check_insane_mems_config(&trialcs->mems_allowed); 2763 2764 spin_lock_irq(&callback_lock); 2765 cs->mems_allowed = trialcs->mems_allowed; 2766 spin_unlock_irq(&callback_lock); 2767 2768 /* use trialcs->mems_allowed as a temp variable */ 2769 update_nodemasks_hier(cs, &trialcs->mems_allowed); 2770 return 0; 2771 } 2772 2773 bool current_cpuset_is_being_rebound(void) 2774 { 2775 bool ret; 2776 2777 rcu_read_lock(); 2778 ret = task_cs(current) == cpuset_being_rebound; 2779 rcu_read_unlock(); 2780 2781 return ret; 2782 } 2783 2784 /* 2785 * cpuset_update_flag - read a 0 or a 1 in a file and update associated flag 2786 * bit: the bit to update (see cpuset_flagbits_t) 2787 * cs: the cpuset to update 2788 * turning_on: whether the flag is being set or cleared 2789 * 2790 * Call with cpuset_mutex held. 2791 */ 2792 2793 int cpuset_update_flag(cpuset_flagbits_t bit, struct cpuset *cs, 2794 int turning_on) 2795 { 2796 struct cpuset *trialcs; 2797 int balance_flag_changed; 2798 int spread_flag_changed; 2799 int err; 2800 2801 trialcs = dup_or_alloc_cpuset(cs); 2802 if (!trialcs) 2803 return -ENOMEM; 2804 2805 if (turning_on) 2806 set_bit(bit, &trialcs->flags); 2807 else 2808 clear_bit(bit, &trialcs->flags); 2809 2810 err = validate_change(cs, trialcs); 2811 if (err < 0) 2812 goto out; 2813 2814 balance_flag_changed = (is_sched_load_balance(cs) != 2815 is_sched_load_balance(trialcs)); 2816 2817 spread_flag_changed = ((is_spread_slab(cs) != is_spread_slab(trialcs)) 2818 || (is_spread_page(cs) != is_spread_page(trialcs))); 2819 2820 spin_lock_irq(&callback_lock); 2821 cs->flags = trialcs->flags; 2822 spin_unlock_irq(&callback_lock); 2823 2824 if (!cpumask_empty(trialcs->cpus_allowed) && balance_flag_changed) { 2825 if (cpuset_v2()) 2826 cpuset_force_rebuild(); 2827 else 2828 rebuild_sched_domains_locked(); 2829 } 2830 2831 if (spread_flag_changed) 2832 cpuset1_update_tasks_flags(cs); 2833 out: 2834 free_cpuset(trialcs); 2835 return err; 2836 } 2837 2838 /** 2839 * update_prstate - update partition_root_state 2840 * @cs: the cpuset to update 2841 * @new_prs: new partition root state 2842 * Return: 0 if successful, != 0 if error 2843 * 2844 * Call with cpuset_mutex held. 2845 */ 2846 static int update_prstate(struct cpuset *cs, int new_prs) 2847 { 2848 int err = PERR_NONE, old_prs = cs->partition_root_state; 2849 struct cpuset *parent = parent_cs(cs); 2850 struct tmpmasks tmpmask; 2851 bool isolcpus_updated = false; 2852 2853 if (old_prs == new_prs) 2854 return 0; 2855 2856 /* 2857 * Treat a previously invalid partition root as if it is a "member". 2858 */ 2859 if (new_prs && is_partition_invalid(cs)) 2860 old_prs = PRS_MEMBER; 2861 2862 if (alloc_tmpmasks(&tmpmask)) 2863 return -ENOMEM; 2864 2865 err = update_partition_exclusive_flag(cs, new_prs); 2866 if (err) 2867 goto out; 2868 2869 if (!old_prs) { 2870 /* 2871 * cpus_allowed and exclusive_cpus cannot be both empty. 2872 */ 2873 if (xcpus_empty(cs)) { 2874 err = PERR_CPUSEMPTY; 2875 goto out; 2876 } 2877 2878 /* 2879 * We don't support the creation of a new local partition with 2880 * a remote partition underneath it. This unsupported 2881 * setting can happen only if parent is the top_cpuset because 2882 * a remote partition cannot be created underneath an existing 2883 * local or remote partition. 2884 */ 2885 if ((parent == &top_cpuset) && 2886 cpumask_intersects(cs->exclusive_cpus, subpartitions_cpus)) { 2887 err = PERR_REMOTE; 2888 goto out; 2889 } 2890 2891 /* 2892 * If parent is valid partition, enable local partiion. 2893 * Otherwise, enable a remote partition. 2894 */ 2895 if (is_partition_valid(parent)) { 2896 enum partition_cmd cmd = (new_prs == PRS_ROOT) 2897 ? partcmd_enable : partcmd_enablei; 2898 2899 err = update_parent_effective_cpumask(cs, cmd, NULL, &tmpmask); 2900 } else { 2901 err = remote_partition_enable(cs, new_prs, &tmpmask); 2902 } 2903 } else if (old_prs && new_prs) { 2904 /* 2905 * A change in load balance state only, no change in cpumasks. 2906 * Need to update isolated_cpus. 2907 */ 2908 if (((new_prs == PRS_ISOLATED) && 2909 !isolated_cpus_can_update(cs->effective_xcpus, NULL)) || 2910 prstate_housekeeping_conflict(new_prs, cs->effective_xcpus)) 2911 err = PERR_HKEEPING; 2912 else 2913 isolcpus_updated = true; 2914 } else { 2915 /* 2916 * Switching back to member is always allowed even if it 2917 * disables child partitions. 2918 */ 2919 if (is_remote_partition(cs)) 2920 remote_partition_disable(cs, &tmpmask); 2921 else 2922 update_parent_effective_cpumask(cs, partcmd_disable, 2923 NULL, &tmpmask); 2924 2925 /* 2926 * Invalidation of child partitions will be done in 2927 * update_cpumasks_hier(). 2928 */ 2929 } 2930 out: 2931 /* 2932 * Make partition invalid & disable CS_CPU_EXCLUSIVE if an error 2933 * happens. 2934 */ 2935 if (err) { 2936 new_prs = -new_prs; 2937 update_partition_exclusive_flag(cs, new_prs); 2938 } 2939 2940 spin_lock_irq(&callback_lock); 2941 cs->partition_root_state = new_prs; 2942 WRITE_ONCE(cs->prs_err, err); 2943 if (!is_partition_valid(cs)) 2944 reset_partition_data(cs); 2945 else if (isolcpus_updated) 2946 isolated_cpus_update(old_prs, new_prs, cs->effective_xcpus); 2947 spin_unlock_irq(&callback_lock); 2948 2949 /* Force update if switching back to member & update effective_xcpus */ 2950 update_cpumasks_hier(cs, &tmpmask, !new_prs); 2951 2952 /* A newly created partition must have effective_xcpus set */ 2953 WARN_ON_ONCE(!old_prs && (new_prs > 0) 2954 && cpumask_empty(cs->effective_xcpus)); 2955 2956 /* Update sched domains and load balance flag */ 2957 update_partition_sd_lb(cs, old_prs); 2958 2959 notify_partition_change(cs, old_prs); 2960 if (force_sd_rebuild) 2961 rebuild_sched_domains_locked(); 2962 free_tmpmasks(&tmpmask); 2963 return 0; 2964 } 2965 2966 static struct cpuset *cpuset_attach_old_cs; 2967 2968 /* 2969 * Check to see if a cpuset can accept a new task 2970 * For v1, cpus_allowed and mems_allowed can't be empty. 2971 * For v2, effective_cpus can't be empty. 2972 * Note that in v1, effective_cpus = cpus_allowed. 2973 */ 2974 static int cpuset_can_attach_check(struct cpuset *cs) 2975 { 2976 if (cpumask_empty(cs->effective_cpus) || 2977 (!is_in_v2_mode() && nodes_empty(cs->mems_allowed))) 2978 return -ENOSPC; 2979 return 0; 2980 } 2981 2982 static void reset_migrate_dl_data(struct cpuset *cs) 2983 { 2984 cs->nr_migrate_dl_tasks = 0; 2985 cs->sum_migrate_dl_bw = 0; 2986 cs->dl_bw_cpu = -1; 2987 } 2988 2989 /* Called by cgroups to determine if a cpuset is usable; cpuset_mutex held */ 2990 static int cpuset_can_attach(struct cgroup_taskset *tset) 2991 { 2992 struct cgroup_subsys_state *css; 2993 struct cpuset *cs, *oldcs; 2994 struct task_struct *task; 2995 bool setsched_check; 2996 int ret; 2997 2998 /* used later by cpuset_attach() */ 2999 cpuset_attach_old_cs = task_cs(cgroup_taskset_first(tset, &css)); 3000 oldcs = cpuset_attach_old_cs; 3001 cs = css_cs(css); 3002 3003 mutex_lock(&cpuset_mutex); 3004 3005 /* Check to see if task is allowed in the cpuset */ 3006 ret = cpuset_can_attach_check(cs); 3007 if (ret) 3008 goto out_unlock; 3009 3010 /* 3011 * Skip rights over task setsched check in v2 when nothing changes, 3012 * migration permission derives from hierarchy ownership in 3013 * cgroup_procs_write_permission()). 3014 */ 3015 setsched_check = !cpuset_v2() || 3016 !cpumask_equal(cs->effective_cpus, oldcs->effective_cpus) || 3017 !nodes_equal(cs->effective_mems, oldcs->effective_mems); 3018 3019 /* 3020 * A v1 cpuset with tasks will have no CPU left only when CPU hotplug 3021 * brings the last online CPU offline as users are not allowed to empty 3022 * cpuset.cpus when there are active tasks inside. When that happens, 3023 * we should allow tasks to migrate out without security check to make 3024 * sure they will be able to run after migration. 3025 */ 3026 if (!is_in_v2_mode() && cpumask_empty(oldcs->effective_cpus)) 3027 setsched_check = false; 3028 3029 cgroup_taskset_for_each(task, css, tset) { 3030 ret = task_can_attach(task); 3031 if (ret) 3032 goto out_unlock; 3033 3034 if (setsched_check) { 3035 ret = security_task_setscheduler(task); 3036 if (ret) 3037 goto out_unlock; 3038 } 3039 3040 if (dl_task(task)) { 3041 cs->nr_migrate_dl_tasks++; 3042 cs->sum_migrate_dl_bw += task->dl.dl_bw; 3043 } 3044 } 3045 3046 if (!cs->nr_migrate_dl_tasks) 3047 goto out_success; 3048 3049 if (!cpumask_intersects(oldcs->effective_cpus, cs->effective_cpus)) { 3050 int cpu = cpumask_any_and(cpu_active_mask, cs->effective_cpus); 3051 3052 if (unlikely(cpu >= nr_cpu_ids)) { 3053 reset_migrate_dl_data(cs); 3054 ret = -EINVAL; 3055 goto out_unlock; 3056 } 3057 3058 ret = dl_bw_alloc(cpu, cs->sum_migrate_dl_bw); 3059 if (ret) { 3060 reset_migrate_dl_data(cs); 3061 goto out_unlock; 3062 } 3063 3064 cs->dl_bw_cpu = cpu; 3065 } 3066 3067 out_success: 3068 /* 3069 * Mark attach is in progress. This makes validate_change() fail 3070 * changes which zero cpus/mems_allowed. 3071 */ 3072 cs->attach_in_progress++; 3073 out_unlock: 3074 mutex_unlock(&cpuset_mutex); 3075 return ret; 3076 } 3077 3078 static void cpuset_cancel_attach(struct cgroup_taskset *tset) 3079 { 3080 struct cgroup_subsys_state *css; 3081 struct cpuset *cs; 3082 3083 cgroup_taskset_first(tset, &css); 3084 cs = css_cs(css); 3085 3086 mutex_lock(&cpuset_mutex); 3087 dec_attach_in_progress_locked(cs); 3088 3089 if (cs->dl_bw_cpu >= 0) 3090 dl_bw_free(cs->dl_bw_cpu, cs->sum_migrate_dl_bw); 3091 3092 if (cs->nr_migrate_dl_tasks) 3093 reset_migrate_dl_data(cs); 3094 3095 mutex_unlock(&cpuset_mutex); 3096 } 3097 3098 /* 3099 * Protected by cpuset_mutex. cpus_attach is used only by cpuset_attach_task() 3100 * but we can't allocate it dynamically there. Define it global and 3101 * allocate from cpuset_init(). 3102 */ 3103 static cpumask_var_t cpus_attach; 3104 static nodemask_t cpuset_attach_nodemask_to; 3105 3106 static void cpuset_attach_task(struct cpuset *cs, struct task_struct *task) 3107 { 3108 lockdep_assert_cpuset_lock_held(); 3109 3110 if (cs != &top_cpuset) 3111 guarantee_active_cpus(task, cpus_attach); 3112 else 3113 cpumask_andnot(cpus_attach, task_cpu_possible_mask(task), 3114 subpartitions_cpus); 3115 /* 3116 * can_attach beforehand should guarantee that this doesn't 3117 * fail. TODO: have a better way to handle failure here 3118 */ 3119 WARN_ON_ONCE(set_cpus_allowed_ptr(task, cpus_attach)); 3120 3121 cpuset_change_task_nodemask(task, &cpuset_attach_nodemask_to); 3122 cpuset1_update_task_spread_flags(cs, task); 3123 } 3124 3125 static void cpuset_attach(struct cgroup_taskset *tset) 3126 { 3127 struct task_struct *task; 3128 struct task_struct *leader; 3129 struct cgroup_subsys_state *css; 3130 struct cpuset *cs; 3131 struct cpuset *oldcs = cpuset_attach_old_cs; 3132 bool cpus_updated, mems_updated; 3133 bool queue_task_work = false; 3134 3135 cgroup_taskset_first(tset, &css); 3136 cs = css_cs(css); 3137 3138 lockdep_assert_cpus_held(); /* see cgroup_attach_lock() */ 3139 mutex_lock(&cpuset_mutex); 3140 cpus_updated = !cpumask_equal(cs->effective_cpus, 3141 oldcs->effective_cpus); 3142 mems_updated = !nodes_equal(cs->effective_mems, oldcs->effective_mems); 3143 3144 /* 3145 * In the default hierarchy, enabling cpuset in the child cgroups 3146 * will trigger a number of cpuset_attach() calls with no change 3147 * in effective cpus and mems. In that case, we can optimize out 3148 * by skipping the task iteration and update. 3149 */ 3150 if (cpuset_v2() && !cpus_updated && !mems_updated) { 3151 cpuset_attach_nodemask_to = cs->effective_mems; 3152 goto out; 3153 } 3154 3155 guarantee_online_mems(cs, &cpuset_attach_nodemask_to); 3156 3157 cgroup_taskset_for_each(task, css, tset) 3158 cpuset_attach_task(cs, task); 3159 3160 /* 3161 * Change mm for all threadgroup leaders. This is expensive and may 3162 * sleep and should be moved outside migration path proper. Skip it 3163 * if there is no change in effective_mems and CS_MEMORY_MIGRATE is 3164 * not set. 3165 */ 3166 cpuset_attach_nodemask_to = cs->effective_mems; 3167 if (!is_memory_migrate(cs) && !mems_updated) 3168 goto out; 3169 3170 cgroup_taskset_for_each_leader(leader, css, tset) { 3171 struct mm_struct *mm = get_task_mm(leader); 3172 3173 if (mm) { 3174 mpol_rebind_mm(mm, &cpuset_attach_nodemask_to); 3175 3176 /* 3177 * old_mems_allowed is the same with mems_allowed 3178 * here, except if this task is being moved 3179 * automatically due to hotplug. In that case 3180 * @mems_allowed has been updated and is empty, so 3181 * @old_mems_allowed is the right nodesets that we 3182 * migrate mm from. 3183 */ 3184 if (is_memory_migrate(cs)) { 3185 cpuset_migrate_mm(mm, &oldcs->old_mems_allowed, 3186 &cpuset_attach_nodemask_to); 3187 queue_task_work = true; 3188 } else 3189 mmput(mm); 3190 } 3191 } 3192 3193 out: 3194 if (queue_task_work) 3195 schedule_flush_migrate_mm(); 3196 cs->old_mems_allowed = cpuset_attach_nodemask_to; 3197 3198 if (cs->nr_migrate_dl_tasks) { 3199 cs->nr_deadline_tasks += cs->nr_migrate_dl_tasks; 3200 oldcs->nr_deadline_tasks -= cs->nr_migrate_dl_tasks; 3201 reset_migrate_dl_data(cs); 3202 } 3203 3204 dec_attach_in_progress_locked(cs); 3205 3206 mutex_unlock(&cpuset_mutex); 3207 } 3208 3209 /* 3210 * Common handling for a write to a "cpus" or "mems" file. 3211 */ 3212 ssize_t cpuset_write_resmask(struct kernfs_open_file *of, 3213 char *buf, size_t nbytes, loff_t off) 3214 { 3215 struct cpuset *cs = css_cs(of_css(of)); 3216 struct cpuset *trialcs; 3217 int retval = -ENODEV; 3218 3219 /* root is read-only */ 3220 if (cs == &top_cpuset) 3221 return -EACCES; 3222 3223 buf = strstrip(buf); 3224 cpuset_full_lock(); 3225 if (!is_cpuset_online(cs)) 3226 goto out_unlock; 3227 3228 trialcs = dup_or_alloc_cpuset(cs); 3229 if (!trialcs) { 3230 retval = -ENOMEM; 3231 goto out_unlock; 3232 } 3233 3234 switch (of_cft(of)->private) { 3235 case FILE_CPULIST: 3236 retval = update_cpumask(cs, trialcs, buf); 3237 break; 3238 case FILE_EXCLUSIVE_CPULIST: 3239 retval = update_exclusive_cpumask(cs, trialcs, buf); 3240 break; 3241 case FILE_MEMLIST: 3242 retval = update_nodemask(cs, trialcs, buf); 3243 break; 3244 default: 3245 retval = -EINVAL; 3246 break; 3247 } 3248 3249 free_cpuset(trialcs); 3250 out_unlock: 3251 cpuset_update_sd_hk_unlock(); 3252 if (of_cft(of)->private == FILE_MEMLIST) 3253 schedule_flush_migrate_mm(); 3254 return retval ?: nbytes; 3255 } 3256 3257 /* 3258 * These ascii lists should be read in a single call, by using a user 3259 * buffer large enough to hold the entire map. If read in smaller 3260 * chunks, there is no guarantee of atomicity. Since the display format 3261 * used, list of ranges of sequential numbers, is variable length, 3262 * and since these maps can change value dynamically, one could read 3263 * gibberish by doing partial reads while a list was changing. 3264 */ 3265 int cpuset_common_seq_show(struct seq_file *sf, void *v) 3266 { 3267 struct cpuset *cs = css_cs(seq_css(sf)); 3268 cpuset_filetype_t type = seq_cft(sf)->private; 3269 int ret = 0; 3270 3271 spin_lock_irq(&callback_lock); 3272 3273 switch (type) { 3274 case FILE_CPULIST: 3275 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->cpus_allowed)); 3276 break; 3277 case FILE_MEMLIST: 3278 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->mems_allowed)); 3279 break; 3280 case FILE_EFFECTIVE_CPULIST: 3281 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->effective_cpus)); 3282 break; 3283 case FILE_EFFECTIVE_MEMLIST: 3284 seq_printf(sf, "%*pbl\n", nodemask_pr_args(&cs->effective_mems)); 3285 break; 3286 case FILE_EXCLUSIVE_CPULIST: 3287 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->exclusive_cpus)); 3288 break; 3289 case FILE_EFFECTIVE_XCPULIST: 3290 seq_printf(sf, "%*pbl\n", cpumask_pr_args(cs->effective_xcpus)); 3291 break; 3292 case FILE_SUBPARTS_CPULIST: 3293 seq_printf(sf, "%*pbl\n", cpumask_pr_args(subpartitions_cpus)); 3294 break; 3295 case FILE_ISOLATED_CPULIST: 3296 seq_printf(sf, "%*pbl\n", cpumask_pr_args(isolated_cpus)); 3297 break; 3298 default: 3299 ret = -EINVAL; 3300 } 3301 3302 spin_unlock_irq(&callback_lock); 3303 return ret; 3304 } 3305 3306 static int cpuset_partition_show(struct seq_file *seq, void *v) 3307 { 3308 struct cpuset *cs = css_cs(seq_css(seq)); 3309 const char *err, *type = NULL; 3310 3311 switch (cs->partition_root_state) { 3312 case PRS_ROOT: 3313 seq_puts(seq, "root\n"); 3314 break; 3315 case PRS_ISOLATED: 3316 seq_puts(seq, "isolated\n"); 3317 break; 3318 case PRS_MEMBER: 3319 seq_puts(seq, "member\n"); 3320 break; 3321 case PRS_INVALID_ROOT: 3322 type = "root"; 3323 fallthrough; 3324 case PRS_INVALID_ISOLATED: 3325 if (!type) 3326 type = "isolated"; 3327 err = perr_strings[READ_ONCE(cs->prs_err)]; 3328 if (err) 3329 seq_printf(seq, "%s invalid (%s)\n", type, err); 3330 else 3331 seq_printf(seq, "%s invalid\n", type); 3332 break; 3333 } 3334 return 0; 3335 } 3336 3337 static ssize_t cpuset_partition_write(struct kernfs_open_file *of, char *buf, 3338 size_t nbytes, loff_t off) 3339 { 3340 struct cpuset *cs = css_cs(of_css(of)); 3341 int val; 3342 int retval = -ENODEV; 3343 3344 buf = strstrip(buf); 3345 3346 if (!strcmp(buf, "root")) 3347 val = PRS_ROOT; 3348 else if (!strcmp(buf, "member")) 3349 val = PRS_MEMBER; 3350 else if (!strcmp(buf, "isolated")) 3351 val = PRS_ISOLATED; 3352 else 3353 return -EINVAL; 3354 3355 cpuset_full_lock(); 3356 if (is_cpuset_online(cs)) 3357 retval = update_prstate(cs, val); 3358 cpuset_update_sd_hk_unlock(); 3359 return retval ?: nbytes; 3360 } 3361 3362 /* 3363 * This is currently a minimal set for the default hierarchy. It can be 3364 * expanded later on by migrating more features and control files from v1. 3365 */ 3366 static struct cftype dfl_files[] = { 3367 { 3368 .name = "cpus", 3369 .seq_show = cpuset_common_seq_show, 3370 .write = cpuset_write_resmask, 3371 .max_write_len = (100U + 6 * NR_CPUS), 3372 .private = FILE_CPULIST, 3373 .flags = CFTYPE_NOT_ON_ROOT, 3374 }, 3375 3376 { 3377 .name = "mems", 3378 .seq_show = cpuset_common_seq_show, 3379 .write = cpuset_write_resmask, 3380 .max_write_len = (100U + 6 * MAX_NUMNODES), 3381 .private = FILE_MEMLIST, 3382 .flags = CFTYPE_NOT_ON_ROOT, 3383 }, 3384 3385 { 3386 .name = "cpus.effective", 3387 .seq_show = cpuset_common_seq_show, 3388 .private = FILE_EFFECTIVE_CPULIST, 3389 }, 3390 3391 { 3392 .name = "mems.effective", 3393 .seq_show = cpuset_common_seq_show, 3394 .private = FILE_EFFECTIVE_MEMLIST, 3395 }, 3396 3397 { 3398 .name = "cpus.partition", 3399 .seq_show = cpuset_partition_show, 3400 .write = cpuset_partition_write, 3401 .private = FILE_PARTITION_ROOT, 3402 .flags = CFTYPE_NOT_ON_ROOT, 3403 .file_offset = offsetof(struct cpuset, partition_file), 3404 }, 3405 3406 { 3407 .name = "cpus.exclusive", 3408 .seq_show = cpuset_common_seq_show, 3409 .write = cpuset_write_resmask, 3410 .max_write_len = (100U + 6 * NR_CPUS), 3411 .private = FILE_EXCLUSIVE_CPULIST, 3412 .flags = CFTYPE_NOT_ON_ROOT, 3413 }, 3414 3415 { 3416 .name = "cpus.exclusive.effective", 3417 .seq_show = cpuset_common_seq_show, 3418 .private = FILE_EFFECTIVE_XCPULIST, 3419 .flags = CFTYPE_NOT_ON_ROOT, 3420 }, 3421 3422 { 3423 .name = "cpus.subpartitions", 3424 .seq_show = cpuset_common_seq_show, 3425 .private = FILE_SUBPARTS_CPULIST, 3426 .flags = CFTYPE_ONLY_ON_ROOT | CFTYPE_DEBUG, 3427 }, 3428 3429 { 3430 .name = "cpus.isolated", 3431 .seq_show = cpuset_common_seq_show, 3432 .private = FILE_ISOLATED_CPULIST, 3433 .flags = CFTYPE_ONLY_ON_ROOT, 3434 }, 3435 3436 { } /* terminate */ 3437 }; 3438 3439 3440 /** 3441 * cpuset_css_alloc - Allocate a cpuset css 3442 * @parent_css: Parent css of the control group that the new cpuset will be 3443 * part of 3444 * Return: cpuset css on success, -ENOMEM on failure. 3445 * 3446 * Allocate and initialize a new cpuset css, for non-NULL @parent_css, return 3447 * top cpuset css otherwise. 3448 */ 3449 static struct cgroup_subsys_state * 3450 cpuset_css_alloc(struct cgroup_subsys_state *parent_css) 3451 { 3452 struct cpuset *cs; 3453 3454 if (!parent_css) 3455 return &top_cpuset.css; 3456 3457 cs = dup_or_alloc_cpuset(NULL); 3458 if (!cs) 3459 return ERR_PTR(-ENOMEM); 3460 3461 __set_bit(CS_SCHED_LOAD_BALANCE, &cs->flags); 3462 cpuset1_init(cs); 3463 3464 /* Set CS_MEMORY_MIGRATE for default hierarchy */ 3465 if (cpuset_v2()) 3466 __set_bit(CS_MEMORY_MIGRATE, &cs->flags); 3467 3468 return &cs->css; 3469 } 3470 3471 static int cpuset_css_online(struct cgroup_subsys_state *css) 3472 { 3473 struct cpuset *cs = css_cs(css); 3474 struct cpuset *parent = parent_cs(cs); 3475 3476 if (!parent) 3477 return 0; 3478 3479 cpuset_full_lock(); 3480 /* 3481 * For v2, clear CS_SCHED_LOAD_BALANCE if parent is isolated 3482 */ 3483 if (cpuset_v2() && !is_sched_load_balance(parent)) 3484 clear_bit(CS_SCHED_LOAD_BALANCE, &cs->flags); 3485 3486 cpuset_inc(); 3487 3488 spin_lock_irq(&callback_lock); 3489 if (is_in_v2_mode()) { 3490 cpumask_copy(cs->effective_cpus, parent->effective_cpus); 3491 cs->effective_mems = parent->effective_mems; 3492 } 3493 spin_unlock_irq(&callback_lock); 3494 cpuset1_online_css(css); 3495 3496 cpuset_full_unlock(); 3497 return 0; 3498 } 3499 3500 /* 3501 * If the cpuset being removed has its flag 'sched_load_balance' 3502 * enabled, then simulate turning sched_load_balance off, which 3503 * will call rebuild_sched_domains_locked(). That is not needed 3504 * in the default hierarchy where only changes in partition 3505 * will cause repartitioning. 3506 */ 3507 static void cpuset_css_offline(struct cgroup_subsys_state *css) 3508 { 3509 struct cpuset *cs = css_cs(css); 3510 3511 cpuset_full_lock(); 3512 if (!cpuset_v2() && is_sched_load_balance(cs)) 3513 cpuset_update_flag(CS_SCHED_LOAD_BALANCE, cs, 0); 3514 3515 cpuset_dec(); 3516 cpuset_full_unlock(); 3517 } 3518 3519 /* 3520 * If a dying cpuset has the 'cpus.partition' enabled, turn it off by 3521 * changing it back to member to free its exclusive CPUs back to the pool to 3522 * be used by other online cpusets. 3523 */ 3524 static void cpuset_css_killed(struct cgroup_subsys_state *css) 3525 { 3526 struct cpuset *cs = css_cs(css); 3527 3528 cpuset_full_lock(); 3529 /* Reset valid partition back to member */ 3530 if (is_partition_valid(cs)) 3531 update_prstate(cs, PRS_MEMBER); 3532 cpuset_update_sd_hk_unlock(); 3533 } 3534 3535 static void cpuset_css_free(struct cgroup_subsys_state *css) 3536 { 3537 struct cpuset *cs = css_cs(css); 3538 3539 free_cpuset(cs); 3540 } 3541 3542 static void cpuset_bind(struct cgroup_subsys_state *root_css) 3543 { 3544 mutex_lock(&cpuset_mutex); 3545 spin_lock_irq(&callback_lock); 3546 3547 if (is_in_v2_mode()) { 3548 cpumask_copy(top_cpuset.cpus_allowed, cpu_possible_mask); 3549 cpumask_copy(top_cpuset.effective_xcpus, cpu_possible_mask); 3550 top_cpuset.mems_allowed = node_possible_map; 3551 } else { 3552 cpumask_copy(top_cpuset.cpus_allowed, 3553 top_cpuset.effective_cpus); 3554 top_cpuset.mems_allowed = top_cpuset.effective_mems; 3555 } 3556 3557 spin_unlock_irq(&callback_lock); 3558 mutex_unlock(&cpuset_mutex); 3559 } 3560 3561 /* 3562 * In case the child is cloned into a cpuset different from its parent, 3563 * additional checks are done to see if the move is allowed. 3564 */ 3565 static int cpuset_can_fork(struct task_struct *task, struct css_set *cset) 3566 { 3567 struct cpuset *cs = css_cs(cset->subsys[cpuset_cgrp_id]); 3568 bool same_cs; 3569 int ret; 3570 3571 rcu_read_lock(); 3572 same_cs = (cs == task_cs(current)); 3573 rcu_read_unlock(); 3574 3575 if (same_cs) 3576 return 0; 3577 3578 lockdep_assert_held(&cgroup_mutex); 3579 mutex_lock(&cpuset_mutex); 3580 3581 /* Check to see if task is allowed in the cpuset */ 3582 ret = cpuset_can_attach_check(cs); 3583 if (ret) 3584 goto out_unlock; 3585 3586 ret = task_can_attach(task); 3587 if (ret) 3588 goto out_unlock; 3589 3590 ret = security_task_setscheduler(task); 3591 if (ret) 3592 goto out_unlock; 3593 3594 /* 3595 * Mark attach is in progress. This makes validate_change() fail 3596 * changes which zero cpus/mems_allowed. 3597 */ 3598 cs->attach_in_progress++; 3599 out_unlock: 3600 mutex_unlock(&cpuset_mutex); 3601 return ret; 3602 } 3603 3604 static void cpuset_cancel_fork(struct task_struct *task, struct css_set *cset) 3605 { 3606 struct cpuset *cs = css_cs(cset->subsys[cpuset_cgrp_id]); 3607 bool same_cs; 3608 3609 rcu_read_lock(); 3610 same_cs = (cs == task_cs(current)); 3611 rcu_read_unlock(); 3612 3613 if (same_cs) 3614 return; 3615 3616 dec_attach_in_progress(cs); 3617 } 3618 3619 /* 3620 * Make sure the new task conform to the current state of its parent, 3621 * which could have been changed by cpuset just after it inherits the 3622 * state from the parent and before it sits on the cgroup's task list. 3623 */ 3624 static void cpuset_fork(struct task_struct *task) 3625 { 3626 struct cpuset *cs; 3627 bool same_cs; 3628 3629 rcu_read_lock(); 3630 cs = task_cs(task); 3631 same_cs = (cs == task_cs(current)); 3632 rcu_read_unlock(); 3633 3634 if (same_cs) { 3635 if (cs == &top_cpuset) 3636 return; 3637 3638 set_cpus_allowed_ptr(task, current->cpus_ptr); 3639 task->mems_allowed = current->mems_allowed; 3640 return; 3641 } 3642 3643 /* CLONE_INTO_CGROUP */ 3644 mutex_lock(&cpuset_mutex); 3645 guarantee_online_mems(cs, &cpuset_attach_nodemask_to); 3646 cpuset_attach_task(cs, task); 3647 3648 dec_attach_in_progress_locked(cs); 3649 mutex_unlock(&cpuset_mutex); 3650 } 3651 3652 struct cgroup_subsys cpuset_cgrp_subsys = { 3653 .css_alloc = cpuset_css_alloc, 3654 .css_online = cpuset_css_online, 3655 .css_offline = cpuset_css_offline, 3656 .css_killed = cpuset_css_killed, 3657 .css_free = cpuset_css_free, 3658 .can_attach = cpuset_can_attach, 3659 .cancel_attach = cpuset_cancel_attach, 3660 .attach = cpuset_attach, 3661 .bind = cpuset_bind, 3662 .can_fork = cpuset_can_fork, 3663 .cancel_fork = cpuset_cancel_fork, 3664 .fork = cpuset_fork, 3665 #ifdef CONFIG_CPUSETS_V1 3666 .legacy_cftypes = cpuset1_files, 3667 #endif 3668 .dfl_cftypes = dfl_files, 3669 .early_init = true, 3670 .threaded = true, 3671 }; 3672 3673 /** 3674 * cpuset_init - initialize cpusets at system boot 3675 * 3676 * Description: Initialize top_cpuset 3677 **/ 3678 3679 int __init cpuset_init(void) 3680 { 3681 BUG_ON(!alloc_cpumask_var(&top_cpuset.cpus_allowed, GFP_KERNEL)); 3682 BUG_ON(!alloc_cpumask_var(&top_cpuset.effective_cpus, GFP_KERNEL)); 3683 BUG_ON(!alloc_cpumask_var(&top_cpuset.effective_xcpus, GFP_KERNEL)); 3684 BUG_ON(!alloc_cpumask_var(&top_cpuset.exclusive_cpus, GFP_KERNEL)); 3685 BUG_ON(!zalloc_cpumask_var(&subpartitions_cpus, GFP_KERNEL)); 3686 BUG_ON(!zalloc_cpumask_var(&isolated_cpus, GFP_KERNEL)); 3687 BUG_ON(!zalloc_cpumask_var(&isolated_hk_cpus, GFP_KERNEL)); 3688 3689 cpumask_setall(top_cpuset.cpus_allowed); 3690 nodes_setall(top_cpuset.mems_allowed); 3691 cpumask_setall(top_cpuset.effective_cpus); 3692 cpumask_setall(top_cpuset.effective_xcpus); 3693 cpumask_setall(top_cpuset.exclusive_cpus); 3694 nodes_setall(top_cpuset.effective_mems); 3695 3696 cpuset1_init(&top_cpuset); 3697 3698 BUG_ON(!alloc_cpumask_var(&cpus_attach, GFP_KERNEL)); 3699 3700 if (housekeeping_enabled(HK_TYPE_DOMAIN_BOOT)) 3701 cpumask_andnot(isolated_cpus, cpu_possible_mask, 3702 housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT)); 3703 3704 return 0; 3705 } 3706 3707 static void 3708 hotplug_update_tasks(struct cpuset *cs, 3709 struct cpumask *new_cpus, nodemask_t *new_mems, 3710 bool cpus_updated, bool mems_updated) 3711 { 3712 /* A partition root is allowed to have empty effective cpus */ 3713 if (cpumask_empty(new_cpus) && !is_partition_valid(cs)) 3714 cpumask_copy(new_cpus, parent_cs(cs)->effective_cpus); 3715 if (nodes_empty(*new_mems)) 3716 *new_mems = parent_cs(cs)->effective_mems; 3717 3718 spin_lock_irq(&callback_lock); 3719 cpumask_copy(cs->effective_cpus, new_cpus); 3720 cs->effective_mems = *new_mems; 3721 spin_unlock_irq(&callback_lock); 3722 3723 if (cpus_updated) 3724 cpuset_update_tasks_cpumask(cs, new_cpus); 3725 if (mems_updated) 3726 cpuset_update_tasks_nodemask(cs); 3727 } 3728 3729 void cpuset_force_rebuild(void) 3730 { 3731 force_sd_rebuild = true; 3732 } 3733 3734 /** 3735 * cpuset_hotplug_update_tasks - update tasks in a cpuset for hotunplug 3736 * @cs: cpuset in interest 3737 * @tmp: the tmpmasks structure pointer 3738 * 3739 * Compare @cs's cpu and mem masks against top_cpuset and if some have gone 3740 * offline, update @cs accordingly. If @cs ends up with no CPU or memory, 3741 * all its tasks are moved to the nearest ancestor with both resources. 3742 */ 3743 static void cpuset_hotplug_update_tasks(struct cpuset *cs, struct tmpmasks *tmp) 3744 { 3745 static cpumask_t new_cpus; 3746 static nodemask_t new_mems; 3747 bool cpus_updated; 3748 bool mems_updated; 3749 bool remote; 3750 int partcmd = -1; 3751 struct cpuset *parent; 3752 retry: 3753 wait_event(cpuset_attach_wq, cs->attach_in_progress == 0); 3754 3755 mutex_lock(&cpuset_mutex); 3756 3757 /* 3758 * We have raced with task attaching. We wait until attaching 3759 * is finished, so we won't attach a task to an empty cpuset. 3760 */ 3761 if (cs->attach_in_progress) { 3762 mutex_unlock(&cpuset_mutex); 3763 goto retry; 3764 } 3765 3766 parent = parent_cs(cs); 3767 compute_effective_cpumask(&new_cpus, cs, parent); 3768 nodes_and(new_mems, cs->mems_allowed, parent->effective_mems); 3769 3770 if (!tmp || !cs->partition_root_state) 3771 goto update_tasks; 3772 3773 /* 3774 * Compute effective_cpus for valid partition root, may invalidate 3775 * child partition roots if necessary. 3776 */ 3777 remote = is_remote_partition(cs); 3778 if (remote || (is_partition_valid(cs) && is_partition_valid(parent))) 3779 compute_partition_effective_cpumask(cs, &new_cpus); 3780 3781 if (remote && (cpumask_empty(subpartitions_cpus) || 3782 (cpumask_empty(&new_cpus) && 3783 partition_is_populated(cs, NULL)))) { 3784 cs->prs_err = PERR_HOTPLUG; 3785 remote_partition_disable(cs, tmp); 3786 compute_effective_cpumask(&new_cpus, cs, parent); 3787 remote = false; 3788 } 3789 3790 /* 3791 * Force the partition to become invalid if either one of 3792 * the following conditions hold: 3793 * 1) empty effective cpus but not valid empty partition. 3794 * 2) parent is invalid or doesn't grant any cpus to child 3795 * partitions. 3796 * 3) subpartitions_cpus is empty. 3797 */ 3798 if (is_local_partition(cs) && 3799 (!is_partition_valid(parent) || 3800 tasks_nocpu_error(parent, cs, &new_cpus) || 3801 cpumask_empty(subpartitions_cpus))) 3802 partcmd = partcmd_invalidate; 3803 /* 3804 * On the other hand, an invalid partition root may be transitioned 3805 * back to a regular one with a non-empty effective xcpus. 3806 */ 3807 else if (is_partition_valid(parent) && is_partition_invalid(cs) && 3808 !cpumask_empty(cs->effective_xcpus)) 3809 partcmd = partcmd_update; 3810 3811 if (partcmd >= 0) { 3812 update_parent_effective_cpumask(cs, partcmd, NULL, tmp); 3813 if ((partcmd == partcmd_invalidate) || is_partition_valid(cs)) { 3814 compute_partition_effective_cpumask(cs, &new_cpus); 3815 cpuset_force_rebuild(); 3816 } 3817 } 3818 3819 update_tasks: 3820 cpus_updated = !cpumask_equal(&new_cpus, cs->effective_cpus); 3821 mems_updated = !nodes_equal(new_mems, cs->effective_mems); 3822 if (!cpus_updated && !mems_updated) 3823 goto unlock; /* Hotplug doesn't affect this cpuset */ 3824 3825 if (mems_updated) 3826 check_insane_mems_config(&new_mems); 3827 3828 if (is_in_v2_mode()) 3829 hotplug_update_tasks(cs, &new_cpus, &new_mems, 3830 cpus_updated, mems_updated); 3831 else 3832 cpuset1_hotplug_update_tasks(cs, &new_cpus, &new_mems, 3833 cpus_updated, mems_updated); 3834 3835 unlock: 3836 mutex_unlock(&cpuset_mutex); 3837 } 3838 3839 /** 3840 * cpuset_handle_hotplug - handle CPU/memory hot{,un}plug for a cpuset 3841 * 3842 * This function is called after either CPU or memory configuration has 3843 * changed and updates cpuset accordingly. The top_cpuset is always 3844 * synchronized to cpu_active_mask and N_MEMORY, which is necessary in 3845 * order to make cpusets transparent (of no affect) on systems that are 3846 * actively using CPU hotplug but making no active use of cpusets. 3847 * 3848 * Non-root cpusets are only affected by offlining. If any CPUs or memory 3849 * nodes have been taken down, cpuset_hotplug_update_tasks() is invoked on 3850 * all descendants. 3851 * 3852 * Note that CPU offlining during suspend is ignored. We don't modify 3853 * cpusets across suspend/resume cycles at all. 3854 * 3855 * CPU / memory hotplug is handled synchronously. 3856 */ 3857 static void cpuset_handle_hotplug(void) 3858 { 3859 static DECLARE_WORK(hk_sd_work, hk_sd_workfn); 3860 static cpumask_t new_cpus; 3861 static nodemask_t new_mems; 3862 bool cpus_updated, mems_updated; 3863 bool on_dfl = is_in_v2_mode(); 3864 struct tmpmasks tmp, *ptmp = NULL; 3865 3866 if (on_dfl && !alloc_tmpmasks(&tmp)) 3867 ptmp = &tmp; 3868 3869 lockdep_assert_cpus_held(); 3870 mutex_lock(&cpuset_mutex); 3871 3872 /* fetch the available cpus/mems and find out which changed how */ 3873 cpumask_copy(&new_cpus, cpu_active_mask); 3874 new_mems = node_states[N_MEMORY]; 3875 3876 /* 3877 * If subpartitions_cpus is populated, it is likely that the check 3878 * below will produce a false positive on cpus_updated when the cpu 3879 * list isn't changed. It is extra work, but it is better to be safe. 3880 */ 3881 cpus_updated = !cpumask_equal(top_cpuset.effective_cpus, &new_cpus) || 3882 !cpumask_empty(subpartitions_cpus); 3883 mems_updated = !nodes_equal(top_cpuset.effective_mems, new_mems); 3884 3885 /* For v1, synchronize cpus_allowed to cpu_active_mask */ 3886 if (cpus_updated) { 3887 cpuset_force_rebuild(); 3888 spin_lock_irq(&callback_lock); 3889 if (!on_dfl) 3890 cpumask_copy(top_cpuset.cpus_allowed, &new_cpus); 3891 /* 3892 * Make sure that CPUs allocated to child partitions 3893 * do not show up in effective_cpus. If no CPU is left, 3894 * we clear the subpartitions_cpus & let the child partitions 3895 * fight for the CPUs again. 3896 */ 3897 if (!cpumask_empty(subpartitions_cpus)) { 3898 if (cpumask_subset(&new_cpus, subpartitions_cpus)) { 3899 cpumask_clear(subpartitions_cpus); 3900 } else { 3901 cpumask_andnot(&new_cpus, &new_cpus, 3902 subpartitions_cpus); 3903 } 3904 } 3905 cpumask_copy(top_cpuset.effective_cpus, &new_cpus); 3906 spin_unlock_irq(&callback_lock); 3907 /* we don't mess with cpumasks of tasks in top_cpuset */ 3908 } 3909 3910 /* synchronize mems_allowed to N_MEMORY */ 3911 if (mems_updated) { 3912 spin_lock_irq(&callback_lock); 3913 if (!on_dfl) 3914 top_cpuset.mems_allowed = new_mems; 3915 top_cpuset.effective_mems = new_mems; 3916 spin_unlock_irq(&callback_lock); 3917 cpuset_update_tasks_nodemask(&top_cpuset); 3918 } 3919 3920 mutex_unlock(&cpuset_mutex); 3921 3922 /* if cpus or mems changed, we need to propagate to descendants */ 3923 if (cpus_updated || mems_updated) { 3924 struct cpuset *cs; 3925 struct cgroup_subsys_state *pos_css; 3926 3927 rcu_read_lock(); 3928 cpuset_for_each_descendant_pre(cs, pos_css, &top_cpuset) { 3929 if (cs == &top_cpuset || !css_tryget_online(&cs->css)) 3930 continue; 3931 rcu_read_unlock(); 3932 3933 cpuset_hotplug_update_tasks(cs, ptmp); 3934 3935 rcu_read_lock(); 3936 css_put(&cs->css); 3937 } 3938 rcu_read_unlock(); 3939 } 3940 3941 /* 3942 * rebuild_sched_domains() will always be called directly if needed 3943 * to make sure that newly added or removed CPU will be reflected in 3944 * the sched domains. However, if isolated partition invalidation 3945 * or recreation is being done (update_housekeeping set), a work item 3946 * will be queued to call housekeeping_update() to update the 3947 * corresponding housekeeping cpumasks after some slight delay. 3948 * 3949 * We rely on WORK_STRUCT_PENDING_BIT to not requeue a work item that 3950 * is still pending. Before the pending bit is cleared, the work data 3951 * is copied out and work item dequeued. So it is possible to queue 3952 * the work again before the hk_sd_workfn() is invoked to process the 3953 * previously queued work. Since hk_sd_workfn() doesn't use the work 3954 * item at all, this is not a problem. 3955 */ 3956 if (force_sd_rebuild) 3957 rebuild_sched_domains_cpuslocked(); 3958 if (update_housekeeping) 3959 queue_work(system_dfl_wq, &hk_sd_work); 3960 3961 free_tmpmasks(ptmp); 3962 } 3963 3964 void cpuset_update_active_cpus(void) 3965 { 3966 /* 3967 * We're inside cpu hotplug critical region which usually nests 3968 * inside cgroup synchronization. Bounce actual hotplug processing 3969 * to a work item to avoid reverse locking order. 3970 */ 3971 cpuset_handle_hotplug(); 3972 } 3973 3974 /* 3975 * Keep top_cpuset.mems_allowed tracking node_states[N_MEMORY]. 3976 * Call this routine anytime after node_states[N_MEMORY] changes. 3977 * See cpuset_update_active_cpus() for CPU hotplug handling. 3978 */ 3979 static int cpuset_track_online_nodes(struct notifier_block *self, 3980 unsigned long action, void *arg) 3981 { 3982 cpuset_handle_hotplug(); 3983 return NOTIFY_OK; 3984 } 3985 3986 /** 3987 * cpuset_init_smp - initialize cpus_allowed 3988 * 3989 * Description: Finish top cpuset after cpu, node maps are initialized 3990 */ 3991 void __init cpuset_init_smp(void) 3992 { 3993 /* 3994 * cpus_allowd/mems_allowed set to v2 values in the initial 3995 * cpuset_bind() call will be reset to v1 values in another 3996 * cpuset_bind() call when v1 cpuset is mounted. 3997 */ 3998 top_cpuset.old_mems_allowed = top_cpuset.mems_allowed; 3999 4000 cpumask_copy(top_cpuset.effective_cpus, cpu_active_mask); 4001 top_cpuset.effective_mems = node_states[N_MEMORY]; 4002 4003 hotplug_node_notifier(cpuset_track_online_nodes, CPUSET_CALLBACK_PRI); 4004 4005 cpuset_migrate_mm_wq = alloc_ordered_workqueue("cpuset_migrate_mm", 0); 4006 BUG_ON(!cpuset_migrate_mm_wq); 4007 } 4008 4009 /* 4010 * Return cpus_allowed mask from a task's cpuset. 4011 */ 4012 static void __cpuset_cpus_allowed_locked(struct task_struct *tsk, struct cpumask *pmask) 4013 { 4014 struct cpuset *cs; 4015 4016 cs = task_cs(tsk); 4017 if (cs != &top_cpuset) 4018 guarantee_active_cpus(tsk, pmask); 4019 /* 4020 * Tasks in the top cpuset won't get update to their cpumasks 4021 * when a hotplug online/offline event happens. So we include all 4022 * offline cpus in the allowed cpu list. 4023 */ 4024 if ((cs == &top_cpuset) || cpumask_empty(pmask)) { 4025 const struct cpumask *possible_mask = task_cpu_possible_mask(tsk); 4026 4027 /* 4028 * We first exclude cpus allocated to partitions. If there is no 4029 * allowable online cpu left, we fall back to all possible cpus. 4030 */ 4031 cpumask_andnot(pmask, possible_mask, subpartitions_cpus); 4032 if (!cpumask_intersects(pmask, cpu_active_mask)) 4033 cpumask_copy(pmask, possible_mask); 4034 } 4035 } 4036 4037 /** 4038 * cpuset_cpus_allowed_locked - return cpus_allowed mask from a task's cpuset. 4039 * @tsk: pointer to task_struct from which to obtain cpuset->cpus_allowed. 4040 * @pmask: pointer to struct cpumask variable to receive cpus_allowed set. 4041 * 4042 * Similir to cpuset_cpus_allowed() except that the caller must have acquired 4043 * cpuset_mutex. 4044 */ 4045 void cpuset_cpus_allowed_locked(struct task_struct *tsk, struct cpumask *pmask) 4046 { 4047 lockdep_assert_cpuset_lock_held(); 4048 __cpuset_cpus_allowed_locked(tsk, pmask); 4049 } 4050 4051 /** 4052 * cpuset_cpus_allowed - return cpus_allowed mask from a task's cpuset. 4053 * @tsk: pointer to task_struct from which to obtain cpuset->cpus_allowed. 4054 * @pmask: pointer to struct cpumask variable to receive cpus_allowed set. 4055 * 4056 * Description: Returns the cpumask_var_t cpus_allowed of the cpuset 4057 * attached to the specified @tsk. Guaranteed to return some non-empty 4058 * subset of cpu_active_mask, even if this means going outside the 4059 * tasks cpuset, except when the task is in the top cpuset. 4060 **/ 4061 4062 void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask) 4063 { 4064 unsigned long flags; 4065 4066 spin_lock_irqsave(&callback_lock, flags); 4067 __cpuset_cpus_allowed_locked(tsk, pmask); 4068 spin_unlock_irqrestore(&callback_lock, flags); 4069 } 4070 4071 /** 4072 * cpuset_cpus_allowed_fallback - final fallback before complete catastrophe. 4073 * @tsk: pointer to task_struct with which the scheduler is struggling 4074 * 4075 * Description: In the case that the scheduler cannot find an allowed cpu in 4076 * tsk->cpus_allowed, we fall back to task_cs(tsk)->cpus_allowed. In legacy 4077 * mode however, this value is the same as task_cs(tsk)->effective_cpus, 4078 * which will not contain a sane cpumask during cases such as cpu hotplugging. 4079 * This is the absolute last resort for the scheduler and it is only used if 4080 * _every_ other avenue has been traveled. 4081 * 4082 * Returns true if the affinity of @tsk was changed, false otherwise. 4083 **/ 4084 4085 bool cpuset_cpus_allowed_fallback(struct task_struct *tsk) 4086 { 4087 const struct cpumask *possible_mask = task_cpu_possible_mask(tsk); 4088 const struct cpumask *cs_mask; 4089 bool changed = false; 4090 4091 rcu_read_lock(); 4092 cs_mask = task_cs(tsk)->cpus_allowed; 4093 if (is_in_v2_mode() && cpumask_subset(cs_mask, possible_mask)) { 4094 set_cpus_allowed_force(tsk, cs_mask); 4095 changed = true; 4096 } 4097 rcu_read_unlock(); 4098 4099 /* 4100 * We own tsk->cpus_allowed, nobody can change it under us. 4101 * 4102 * But we used cs && cs->cpus_allowed lockless and thus can 4103 * race with cgroup_attach_task() or update_cpumask() and get 4104 * the wrong tsk->cpus_allowed. However, both cases imply the 4105 * subsequent cpuset_change_cpumask()->set_cpus_allowed_ptr() 4106 * which takes task_rq_lock(). 4107 * 4108 * If we are called after it dropped the lock we must see all 4109 * changes in tsk_cs()->cpus_allowed. Otherwise we can temporary 4110 * set any mask even if it is not right from task_cs() pov, 4111 * the pending set_cpus_allowed_ptr() will fix things. 4112 * 4113 * select_fallback_rq() will fix things ups and set cpu_possible_mask 4114 * if required. 4115 */ 4116 return changed; 4117 } 4118 4119 void __init cpuset_init_current_mems_allowed(void) 4120 { 4121 nodes_setall(current->mems_allowed); 4122 } 4123 4124 /** 4125 * cpuset_mems_allowed - return mems_allowed mask from a tasks cpuset. 4126 * @tsk: pointer to task_struct from which to obtain cpuset->mems_allowed. 4127 * 4128 * Description: Returns the nodemask_t mems_allowed of the cpuset 4129 * attached to the specified @tsk. Guaranteed to return some non-empty 4130 * subset of node_states[N_MEMORY], even if this means going outside the 4131 * tasks cpuset. 4132 **/ 4133 4134 nodemask_t cpuset_mems_allowed(struct task_struct *tsk) 4135 { 4136 nodemask_t mask; 4137 unsigned long flags; 4138 4139 spin_lock_irqsave(&callback_lock, flags); 4140 guarantee_online_mems(task_cs(tsk), &mask); 4141 spin_unlock_irqrestore(&callback_lock, flags); 4142 4143 return mask; 4144 } 4145 4146 /** 4147 * cpuset_nodemask_valid_mems_allowed - check nodemask vs. current mems_allowed 4148 * @nodemask: the nodemask to be checked 4149 * 4150 * Are any of the nodes in the nodemask allowed in current->mems_allowed? 4151 */ 4152 int cpuset_nodemask_valid_mems_allowed(nodemask_t *nodemask) 4153 { 4154 return nodes_intersects(*nodemask, current->mems_allowed); 4155 } 4156 4157 /* 4158 * nearest_hardwall_ancestor() - Returns the nearest mem_exclusive or 4159 * mem_hardwall ancestor to the specified cpuset. Call holding 4160 * callback_lock. If no ancestor is mem_exclusive or mem_hardwall 4161 * (an unusual configuration), then returns the root cpuset. 4162 */ 4163 static struct cpuset *nearest_hardwall_ancestor(struct cpuset *cs) 4164 { 4165 while (!(is_mem_exclusive(cs) || is_mem_hardwall(cs)) && parent_cs(cs)) 4166 cs = parent_cs(cs); 4167 return cs; 4168 } 4169 4170 /* 4171 * cpuset_current_node_allowed - Can current task allocate on a memory node? 4172 * @node: is this an allowed node? 4173 * @gfp_mask: memory allocation flags 4174 * 4175 * If we're in interrupt, yes, we can always allocate. If @node is set in 4176 * current's mems_allowed, yes. If it's not a __GFP_HARDWALL request and this 4177 * node is set in the nearest hardwalled cpuset ancestor to current's cpuset, 4178 * yes. If current has access to memory reserves as an oom victim, yes. 4179 * Otherwise, no. 4180 * 4181 * GFP_USER allocations are marked with the __GFP_HARDWALL bit, 4182 * and do not allow allocations outside the current tasks cpuset 4183 * unless the task has been OOM killed. 4184 * GFP_KERNEL allocations are not so marked, so can escape to the 4185 * nearest enclosing hardwalled ancestor cpuset. 4186 * 4187 * Scanning up parent cpusets requires callback_lock. The 4188 * __alloc_pages() routine only calls here with __GFP_HARDWALL bit 4189 * _not_ set if it's a GFP_KERNEL allocation, and all nodes in the 4190 * current tasks mems_allowed came up empty on the first pass over 4191 * the zonelist. So only GFP_KERNEL allocations, if all nodes in the 4192 * cpuset are short of memory, might require taking the callback_lock. 4193 * 4194 * The first call here from mm/page_alloc:get_page_from_freelist() 4195 * has __GFP_HARDWALL set in gfp_mask, enforcing hardwall cpusets, 4196 * so no allocation on a node outside the cpuset is allowed (unless 4197 * in interrupt, of course). 4198 * 4199 * The second pass through get_page_from_freelist() doesn't even call 4200 * here for GFP_ATOMIC calls. For those calls, the __alloc_pages() 4201 * variable 'wait' is not set, and the bit ALLOC_CPUSET is not set 4202 * in alloc_flags. That logic and the checks below have the combined 4203 * affect that: 4204 * in_interrupt - any node ok (current task context irrelevant) 4205 * GFP_ATOMIC - any node ok 4206 * tsk_is_oom_victim - any node ok 4207 * GFP_KERNEL - any node in enclosing hardwalled cpuset ok 4208 * GFP_USER - only nodes in current tasks mems allowed ok. 4209 */ 4210 bool cpuset_current_node_allowed(int node, gfp_t gfp_mask) 4211 { 4212 struct cpuset *cs; /* current cpuset ancestors */ 4213 bool allowed; /* is allocation in zone z allowed? */ 4214 unsigned long flags; 4215 4216 if (in_interrupt()) 4217 return true; 4218 if (node_isset(node, current->mems_allowed)) 4219 return true; 4220 /* 4221 * Allow tasks that have access to memory reserves because they have 4222 * been OOM killed to get memory anywhere. 4223 */ 4224 if (unlikely(tsk_is_oom_victim(current))) 4225 return true; 4226 if (gfp_mask & __GFP_HARDWALL) /* If hardwall request, stop here */ 4227 return false; 4228 4229 if (current->flags & PF_EXITING) /* Let dying task have memory */ 4230 return true; 4231 4232 /* Not hardwall and node outside mems_allowed: scan up cpusets */ 4233 spin_lock_irqsave(&callback_lock, flags); 4234 4235 cs = nearest_hardwall_ancestor(task_cs(current)); 4236 allowed = node_isset(node, cs->mems_allowed); 4237 4238 spin_unlock_irqrestore(&callback_lock, flags); 4239 return allowed; 4240 } 4241 4242 /** 4243 * cpuset_nodes_allowed - return effective_mems mask from a cgroup cpuset. 4244 * @cgroup: pointer to struct cgroup. 4245 * @mask: pointer to struct nodemask_t to be returned. 4246 * 4247 * Returns effective_mems mask from a cgroup cpuset if it is cgroup v2 and 4248 * has cpuset subsys. Otherwise, returns node_states[N_MEMORY]. 4249 * 4250 * This function intentionally avoids taking the cpuset_mutex or callback_lock 4251 * when accessing effective_mems. This is because the obtained effective_mems 4252 * is stale immediately after the query anyway (e.g., effective_mems is updated 4253 * immediately after releasing the lock but before returning). 4254 * 4255 * As a result, returned @mask may be empty because cs->effective_mems can be 4256 * rebound during this call. Besides, nodes in @mask are not guaranteed to be 4257 * online due to hot plugins. Callers should check the mask for validity on 4258 * return based on its subsequent use. 4259 **/ 4260 void cpuset_nodes_allowed(struct cgroup *cgroup, nodemask_t *mask) 4261 { 4262 struct cgroup_subsys_state *css; 4263 struct cpuset *cs; 4264 4265 /* 4266 * In v1, mem_cgroup and cpuset are unlikely in the same hierarchy 4267 * and mems_allowed is likely to be empty even if we could get to it, 4268 * so return directly to avoid taking a global lock on the empty check. 4269 */ 4270 if (!cgroup || !cpuset_v2()) { 4271 nodes_copy(*mask, node_states[N_MEMORY]); 4272 return; 4273 } 4274 4275 css = cgroup_get_e_css(cgroup, &cpuset_cgrp_subsys); 4276 if (!css) { 4277 nodes_copy(*mask, node_states[N_MEMORY]); 4278 return; 4279 } 4280 4281 /* 4282 * The reference taken via cgroup_get_e_css is sufficient to 4283 * protect css, but it does not imply safe accesses to effective_mems. 4284 * 4285 * Normally, accessing effective_mems would require the cpuset_mutex 4286 * or callback_lock - but the correctness of this information is stale 4287 * immediately after the query anyway. We do not acquire the lock 4288 * during this process to save lock contention in exchange for racing 4289 * against mems_allowed rebinds. 4290 */ 4291 cs = container_of(css, struct cpuset, css); 4292 nodes_copy(*mask, cs->effective_mems); 4293 css_put(css); 4294 } 4295 4296 /** 4297 * cpuset_spread_node() - On which node to begin search for a page 4298 * @rotor: round robin rotor 4299 * 4300 * If a task is marked PF_SPREAD_PAGE or PF_SPREAD_SLAB (as for 4301 * tasks in a cpuset with is_spread_page or is_spread_slab set), 4302 * and if the memory allocation used cpuset_mem_spread_node() 4303 * to determine on which node to start looking, as it will for 4304 * certain page cache or slab cache pages such as used for file 4305 * system buffers and inode caches, then instead of starting on the 4306 * local node to look for a free page, rather spread the starting 4307 * node around the tasks mems_allowed nodes. 4308 * 4309 * We don't have to worry about the returned node being offline 4310 * because "it can't happen", and even if it did, it would be ok. 4311 * 4312 * The routines calling guarantee_online_mems() are careful to 4313 * only set nodes in task->mems_allowed that are online. So it 4314 * should not be possible for the following code to return an 4315 * offline node. But if it did, that would be ok, as this routine 4316 * is not returning the node where the allocation must be, only 4317 * the node where the search should start. The zonelist passed to 4318 * __alloc_pages() will include all nodes. If the slab allocator 4319 * is passed an offline node, it will fall back to the local node. 4320 * See kmem_cache_alloc_node(). 4321 */ 4322 static int cpuset_spread_node(int *rotor) 4323 { 4324 return *rotor = next_node_in(*rotor, current->mems_allowed); 4325 } 4326 4327 /** 4328 * cpuset_mem_spread_node() - On which node to begin search for a file page 4329 */ 4330 int cpuset_mem_spread_node(void) 4331 { 4332 if (current->cpuset_mem_spread_rotor == NUMA_NO_NODE) 4333 current->cpuset_mem_spread_rotor = 4334 node_random(¤t->mems_allowed); 4335 4336 return cpuset_spread_node(¤t->cpuset_mem_spread_rotor); 4337 } 4338 4339 /** 4340 * cpuset_mems_allowed_intersects - Does @tsk1's mems_allowed intersect @tsk2's? 4341 * @tsk1: pointer to task_struct of some task. 4342 * @tsk2: pointer to task_struct of some other task. 4343 * 4344 * Description: Return true if @tsk1's mems_allowed intersects the 4345 * mems_allowed of @tsk2. Used by the OOM killer to determine if 4346 * one of the task's memory usage might impact the memory available 4347 * to the other. 4348 **/ 4349 4350 int cpuset_mems_allowed_intersects(const struct task_struct *tsk1, 4351 const struct task_struct *tsk2) 4352 { 4353 return nodes_intersects(tsk1->mems_allowed, tsk2->mems_allowed); 4354 } 4355 4356 /** 4357 * cpuset_print_current_mems_allowed - prints current's cpuset and mems_allowed 4358 * 4359 * Description: Prints current's name, cpuset name, and cached copy of its 4360 * mems_allowed to the kernel log. 4361 */ 4362 void cpuset_print_current_mems_allowed(void) 4363 { 4364 struct cgroup *cgrp; 4365 4366 rcu_read_lock(); 4367 4368 cgrp = task_cs(current)->css.cgroup; 4369 pr_cont(",cpuset="); 4370 pr_cont_cgroup_name(cgrp); 4371 pr_cont(",mems_allowed=%*pbl", 4372 nodemask_pr_args(¤t->mems_allowed)); 4373 4374 rcu_read_unlock(); 4375 } 4376 4377 /* Display task mems_allowed in /proc/<pid>/status file. */ 4378 void cpuset_task_status_allowed(struct seq_file *m, struct task_struct *task) 4379 { 4380 seq_printf(m, "Mems_allowed:\t%*pb\n", 4381 nodemask_pr_args(&task->mems_allowed)); 4382 seq_printf(m, "Mems_allowed_list:\t%*pbl\n", 4383 nodemask_pr_args(&task->mems_allowed)); 4384 } 4385