cpuset.c 78 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755
  1. /*
  2. * kernel/cpuset.c
  3. *
  4. * Processor and Memory placement constraints for sets of tasks.
  5. *
  6. * Copyright (C) 2003 BULL SA.
  7. * Copyright (C) 2004-2007 Silicon Graphics, Inc.
  8. * Copyright (C) 2006 Google, Inc
  9. *
  10. * Portions derived from Patrick Mochel's sysfs code.
  11. * sysfs is Copyright (c) 2001-3 Patrick Mochel
  12. *
  13. * 2003-10-10 Written by Simon Derr.
  14. * 2003-10-22 Updates by Stephen Hemminger.
  15. * 2004 May-July Rework by Paul Jackson.
  16. * 2006 Rework by Paul Menage to use generic cgroups
  17. * 2008 Rework of the scheduler domains and CPU hotplug handling
  18. * by Max Krasnyansky
  19. *
  20. * This file is subject to the terms and conditions of the GNU General Public
  21. * License. See the file COPYING in the main directory of the Linux
  22. * distribution for more details.
  23. */
  24. #include <linux/cpu.h>
  25. #include <linux/cpumask.h>
  26. #include <linux/cpuset.h>
  27. #include <linux/err.h>
  28. #include <linux/errno.h>
  29. #include <linux/file.h>
  30. #include <linux/fs.h>
  31. #include <linux/init.h>
  32. #include <linux/interrupt.h>
  33. #include <linux/kernel.h>
  34. #include <linux/kmod.h>
  35. #include <linux/list.h>
  36. #include <linux/mempolicy.h>
  37. #include <linux/mm.h>
  38. #include <linux/memory.h>
  39. #include <linux/export.h>
  40. #include <linux/mount.h>
  41. #include <linux/namei.h>
  42. #include <linux/pagemap.h>
  43. #include <linux/proc_fs.h>
  44. #include <linux/rcupdate.h>
  45. #include <linux/sched.h>
  46. #include <linux/seq_file.h>
  47. #include <linux/security.h>
  48. #include <linux/slab.h>
  49. #include <linux/spinlock.h>
  50. #include <linux/stat.h>
  51. #include <linux/string.h>
  52. #include <linux/time.h>
  53. #include <linux/backing-dev.h>
  54. #include <linux/sort.h>
  55. #include <asm/uaccess.h>
  56. #include <linux/atomic.h>
  57. #include <linux/mutex.h>
  58. #include <linux/workqueue.h>
  59. #include <linux/cgroup.h>
  60. #include <linux/wait.h>
  61. /*
  62. * Tracks how many cpusets are currently defined in system.
  63. * When there is only one cpuset (the root cpuset) we can
  64. * short circuit some hooks.
  65. */
  66. int number_of_cpusets __read_mostly;
  67. /* Forward declare cgroup structures */
  68. struct cgroup_subsys cpuset_subsys;
  69. struct cpuset;
  70. /* See "Frequency meter" comments, below. */
  71. struct fmeter {
  72. int cnt; /* unprocessed events count */
  73. int val; /* most recent output value */
  74. time_t time; /* clock (secs) when val computed */
  75. spinlock_t lock; /* guards read or write of above */
  76. };
  77. struct cpuset {
  78. struct cgroup_subsys_state css;
  79. unsigned long flags; /* "unsigned long" so bitops work */
  80. cpumask_var_t cpus_allowed; /* CPUs allowed to tasks in cpuset */
  81. nodemask_t mems_allowed; /* Memory Nodes allowed to tasks */
  82. /*
  83. * This is old Memory Nodes tasks took on.
  84. *
  85. * - top_cpuset.old_mems_allowed is initialized to mems_allowed.
  86. * - A new cpuset's old_mems_allowed is initialized when some
  87. * task is moved into it.
  88. * - old_mems_allowed is used in cpuset_migrate_mm() when we change
  89. * cpuset.mems_allowed and have tasks' nodemask updated, and
  90. * then old_mems_allowed is updated to mems_allowed.
  91. */
  92. nodemask_t old_mems_allowed;
  93. struct fmeter fmeter; /* memory_pressure filter */
  94. /*
  95. * Tasks are being attached to this cpuset. Used to prevent
  96. * zeroing cpus/mems_allowed between ->can_attach() and ->attach().
  97. */
  98. int attach_in_progress;
  99. /* partition number for rebuild_sched_domains() */
  100. int pn;
  101. /* for custom sched domain */
  102. int relax_domain_level;
  103. };
  104. /* Retrieve the cpuset for a cgroup */
  105. static inline struct cpuset *cgroup_cs(struct cgroup *cgrp)
  106. {
  107. return container_of(cgroup_subsys_state(cgrp, cpuset_subsys_id),
  108. struct cpuset, css);
  109. }
  110. /* Retrieve the cpuset for a task */
  111. static inline struct cpuset *task_cs(struct task_struct *task)
  112. {
  113. return container_of(task_subsys_state(task, cpuset_subsys_id),
  114. struct cpuset, css);
  115. }
  116. static inline struct cpuset *parent_cs(const struct cpuset *cs)
  117. {
  118. struct cgroup *pcgrp = cs->css.cgroup->parent;
  119. if (pcgrp)
  120. return cgroup_cs(pcgrp);
  121. return NULL;
  122. }
  123. #ifdef CONFIG_NUMA
  124. static inline bool task_has_mempolicy(struct task_struct *task)
  125. {
  126. return task->mempolicy;
  127. }
  128. #else
  129. static inline bool task_has_mempolicy(struct task_struct *task)
  130. {
  131. return false;
  132. }
  133. #endif
  134. /* bits in struct cpuset flags field */
  135. typedef enum {
  136. CS_ONLINE,
  137. CS_CPU_EXCLUSIVE,
  138. CS_MEM_EXCLUSIVE,
  139. CS_MEM_HARDWALL,
  140. CS_MEMORY_MIGRATE,
  141. CS_SCHED_LOAD_BALANCE,
  142. CS_SPREAD_PAGE,
  143. CS_SPREAD_SLAB,
  144. } cpuset_flagbits_t;
  145. /* convenient tests for these bits */
  146. static inline bool is_cpuset_online(const struct cpuset *cs)
  147. {
  148. return test_bit(CS_ONLINE, &cs->flags);
  149. }
  150. static inline int is_cpu_exclusive(const struct cpuset *cs)
  151. {
  152. return test_bit(CS_CPU_EXCLUSIVE, &cs->flags);
  153. }
  154. static inline int is_mem_exclusive(const struct cpuset *cs)
  155. {
  156. return test_bit(CS_MEM_EXCLUSIVE, &cs->flags);
  157. }
  158. static inline int is_mem_hardwall(const struct cpuset *cs)
  159. {
  160. return test_bit(CS_MEM_HARDWALL, &cs->flags);
  161. }
  162. static inline int is_sched_load_balance(const struct cpuset *cs)
  163. {
  164. return test_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
  165. }
  166. static inline int is_memory_migrate(const struct cpuset *cs)
  167. {
  168. return test_bit(CS_MEMORY_MIGRATE, &cs->flags);
  169. }
  170. static inline int is_spread_page(const struct cpuset *cs)
  171. {
  172. return test_bit(CS_SPREAD_PAGE, &cs->flags);
  173. }
  174. static inline int is_spread_slab(const struct cpuset *cs)
  175. {
  176. return test_bit(CS_SPREAD_SLAB, &cs->flags);
  177. }
  178. static struct cpuset top_cpuset = {
  179. .flags = ((1 << CS_ONLINE) | (1 << CS_CPU_EXCLUSIVE) |
  180. (1 << CS_MEM_EXCLUSIVE)),
  181. };
  182. /**
  183. * cpuset_for_each_child - traverse online children of a cpuset
  184. * @child_cs: loop cursor pointing to the current child
  185. * @pos_cgrp: used for iteration
  186. * @parent_cs: target cpuset to walk children of
  187. *
  188. * Walk @child_cs through the online children of @parent_cs. Must be used
  189. * with RCU read locked.
  190. */
  191. #define cpuset_for_each_child(child_cs, pos_cgrp, parent_cs) \
  192. cgroup_for_each_child((pos_cgrp), (parent_cs)->css.cgroup) \
  193. if (is_cpuset_online(((child_cs) = cgroup_cs((pos_cgrp)))))
  194. /**
  195. * cpuset_for_each_descendant_pre - pre-order walk of a cpuset's descendants
  196. * @des_cs: loop cursor pointing to the current descendant
  197. * @pos_cgrp: used for iteration
  198. * @root_cs: target cpuset to walk ancestor of
  199. *
  200. * Walk @des_cs through the online descendants of @root_cs. Must be used
  201. * with RCU read locked. The caller may modify @pos_cgrp by calling
  202. * cgroup_rightmost_descendant() to skip subtree.
  203. */
  204. #define cpuset_for_each_descendant_pre(des_cs, pos_cgrp, root_cs) \
  205. cgroup_for_each_descendant_pre((pos_cgrp), (root_cs)->css.cgroup) \
  206. if (is_cpuset_online(((des_cs) = cgroup_cs((pos_cgrp)))))
  207. /*
  208. * There are two global mutexes guarding cpuset structures - cpuset_mutex
  209. * and callback_mutex. The latter may nest inside the former. We also
  210. * require taking task_lock() when dereferencing a task's cpuset pointer.
  211. * See "The task_lock() exception", at the end of this comment.
  212. *
  213. * A task must hold both mutexes to modify cpusets. If a task holds
  214. * cpuset_mutex, then it blocks others wanting that mutex, ensuring that it
  215. * is the only task able to also acquire callback_mutex and be able to
  216. * modify cpusets. It can perform various checks on the cpuset structure
  217. * first, knowing nothing will change. It can also allocate memory while
  218. * just holding cpuset_mutex. While it is performing these checks, various
  219. * callback routines can briefly acquire callback_mutex to query cpusets.
  220. * Once it is ready to make the changes, it takes callback_mutex, blocking
  221. * everyone else.
  222. *
  223. * Calls to the kernel memory allocator can not be made while holding
  224. * callback_mutex, as that would risk double tripping on callback_mutex
  225. * from one of the callbacks into the cpuset code from within
  226. * __alloc_pages().
  227. *
  228. * If a task is only holding callback_mutex, then it has read-only
  229. * access to cpusets.
  230. *
  231. * Now, the task_struct fields mems_allowed and mempolicy may be changed
  232. * by other task, we use alloc_lock in the task_struct fields to protect
  233. * them.
  234. *
  235. * The cpuset_common_file_read() handlers only hold callback_mutex across
  236. * small pieces of code, such as when reading out possibly multi-word
  237. * cpumasks and nodemasks.
  238. *
  239. * Accessing a task's cpuset should be done in accordance with the
  240. * guidelines for accessing subsystem state in kernel/cgroup.c
  241. */
  242. static DEFINE_MUTEX(cpuset_mutex);
  243. static DEFINE_MUTEX(callback_mutex);
  244. /*
  245. * CPU / memory hotplug is handled asynchronously.
  246. */
  247. static void cpuset_hotplug_workfn(struct work_struct *work);
  248. static DECLARE_WORK(cpuset_hotplug_work, cpuset_hotplug_workfn);
  249. static DECLARE_WAIT_QUEUE_HEAD(cpuset_attach_wq);
  250. /*
  251. * This is ugly, but preserves the userspace API for existing cpuset
  252. * users. If someone tries to mount the "cpuset" filesystem, we
  253. * silently switch it to mount "cgroup" instead
  254. */
  255. static struct dentry *cpuset_mount(struct file_system_type *fs_type,
  256. int flags, const char *unused_dev_name, void *data)
  257. {
  258. struct file_system_type *cgroup_fs = get_fs_type("cgroup");
  259. struct dentry *ret = ERR_PTR(-ENODEV);
  260. if (cgroup_fs) {
  261. char mountopts[] =
  262. "cpuset,noprefix,"
  263. "release_agent=/sbin/cpuset_release_agent";
  264. ret = cgroup_fs->mount(cgroup_fs, flags,
  265. unused_dev_name, mountopts);
  266. put_filesystem(cgroup_fs);
  267. }
  268. return ret;
  269. }
  270. static struct file_system_type cpuset_fs_type = {
  271. .name = "cpuset",
  272. .mount = cpuset_mount,
  273. };
  274. /*
  275. * Return in pmask the portion of a cpusets's cpus_allowed that
  276. * are online. If none are online, walk up the cpuset hierarchy
  277. * until we find one that does have some online cpus. The top
  278. * cpuset always has some cpus online.
  279. *
  280. * One way or another, we guarantee to return some non-empty subset
  281. * of cpu_online_mask.
  282. *
  283. * Call with callback_mutex held.
  284. */
  285. static void guarantee_online_cpus(const struct cpuset *cs,
  286. struct cpumask *pmask)
  287. {
  288. while (!cpumask_intersects(cs->cpus_allowed, cpu_online_mask))
  289. cs = parent_cs(cs);
  290. cpumask_and(pmask, cs->cpus_allowed, cpu_online_mask);
  291. }
  292. /*
  293. * Return in *pmask the portion of a cpusets's mems_allowed that
  294. * are online, with memory. If none are online with memory, walk
  295. * up the cpuset hierarchy until we find one that does have some
  296. * online mems. The top cpuset always has some mems online.
  297. *
  298. * One way or another, we guarantee to return some non-empty subset
  299. * of node_states[N_MEMORY].
  300. *
  301. * Call with callback_mutex held.
  302. */
  303. static void guarantee_online_mems(const struct cpuset *cs, nodemask_t *pmask)
  304. {
  305. while (!nodes_intersects(cs->mems_allowed, node_states[N_MEMORY]))
  306. cs = parent_cs(cs);
  307. nodes_and(*pmask, cs->mems_allowed, node_states[N_MEMORY]);
  308. }
  309. /*
  310. * update task's spread flag if cpuset's page/slab spread flag is set
  311. *
  312. * Called with callback_mutex/cpuset_mutex held
  313. */
  314. static void cpuset_update_task_spread_flag(struct cpuset *cs,
  315. struct task_struct *tsk)
  316. {
  317. if (is_spread_page(cs))
  318. tsk->flags |= PF_SPREAD_PAGE;
  319. else
  320. tsk->flags &= ~PF_SPREAD_PAGE;
  321. if (is_spread_slab(cs))
  322. tsk->flags |= PF_SPREAD_SLAB;
  323. else
  324. tsk->flags &= ~PF_SPREAD_SLAB;
  325. }
  326. /*
  327. * is_cpuset_subset(p, q) - Is cpuset p a subset of cpuset q?
  328. *
  329. * One cpuset is a subset of another if all its allowed CPUs and
  330. * Memory Nodes are a subset of the other, and its exclusive flags
  331. * are only set if the other's are set. Call holding cpuset_mutex.
  332. */
  333. static int is_cpuset_subset(const struct cpuset *p, const struct cpuset *q)
  334. {
  335. return cpumask_subset(p->cpus_allowed, q->cpus_allowed) &&
  336. nodes_subset(p->mems_allowed, q->mems_allowed) &&
  337. is_cpu_exclusive(p) <= is_cpu_exclusive(q) &&
  338. is_mem_exclusive(p) <= is_mem_exclusive(q);
  339. }
  340. /**
  341. * alloc_trial_cpuset - allocate a trial cpuset
  342. * @cs: the cpuset that the trial cpuset duplicates
  343. */
  344. static struct cpuset *alloc_trial_cpuset(const struct cpuset *cs)
  345. {
  346. struct cpuset *trial;
  347. trial = kmemdup(cs, sizeof(*cs), GFP_KERNEL);
  348. if (!trial)
  349. return NULL;
  350. if (!alloc_cpumask_var(&trial->cpus_allowed, GFP_KERNEL)) {
  351. kfree(trial);
  352. return NULL;
  353. }
  354. cpumask_copy(trial->cpus_allowed, cs->cpus_allowed);
  355. return trial;
  356. }
  357. /**
  358. * free_trial_cpuset - free the trial cpuset
  359. * @trial: the trial cpuset to be freed
  360. */
  361. static void free_trial_cpuset(struct cpuset *trial)
  362. {
  363. free_cpumask_var(trial->cpus_allowed);
  364. kfree(trial);
  365. }
  366. /*
  367. * validate_change() - Used to validate that any proposed cpuset change
  368. * follows the structural rules for cpusets.
  369. *
  370. * If we replaced the flag and mask values of the current cpuset
  371. * (cur) with those values in the trial cpuset (trial), would
  372. * our various subset and exclusive rules still be valid? Presumes
  373. * cpuset_mutex held.
  374. *
  375. * 'cur' is the address of an actual, in-use cpuset. Operations
  376. * such as list traversal that depend on the actual address of the
  377. * cpuset in the list must use cur below, not trial.
  378. *
  379. * 'trial' is the address of bulk structure copy of cur, with
  380. * perhaps one or more of the fields cpus_allowed, mems_allowed,
  381. * or flags changed to new, trial values.
  382. *
  383. * Return 0 if valid, -errno if not.
  384. */
  385. static int validate_change(const struct cpuset *cur, const struct cpuset *trial)
  386. {
  387. struct cgroup *cgrp;
  388. struct cpuset *c, *par;
  389. int ret;
  390. rcu_read_lock();
  391. /* Each of our child cpusets must be a subset of us */
  392. ret = -EBUSY;
  393. cpuset_for_each_child(c, cgrp, cur)
  394. if (!is_cpuset_subset(c, trial))
  395. goto out;
  396. /* Remaining checks don't apply to root cpuset */
  397. ret = 0;
  398. if (cur == &top_cpuset)
  399. goto out;
  400. par = parent_cs(cur);
  401. /* We must be a subset of our parent cpuset */
  402. ret = -EACCES;
  403. if (!is_cpuset_subset(trial, par))
  404. goto out;
  405. /*
  406. * If either I or some sibling (!= me) is exclusive, we can't
  407. * overlap
  408. */
  409. ret = -EINVAL;
  410. cpuset_for_each_child(c, cgrp, par) {
  411. if ((is_cpu_exclusive(trial) || is_cpu_exclusive(c)) &&
  412. c != cur &&
  413. cpumask_intersects(trial->cpus_allowed, c->cpus_allowed))
  414. goto out;
  415. if ((is_mem_exclusive(trial) || is_mem_exclusive(c)) &&
  416. c != cur &&
  417. nodes_intersects(trial->mems_allowed, c->mems_allowed))
  418. goto out;
  419. }
  420. /*
  421. * Cpusets with tasks - existing or newly being attached - can't
  422. * have empty cpus_allowed or mems_allowed.
  423. */
  424. ret = -ENOSPC;
  425. if ((cgroup_task_count(cur->css.cgroup) || cur->attach_in_progress) &&
  426. (cpumask_empty(trial->cpus_allowed) &&
  427. nodes_empty(trial->mems_allowed)))
  428. goto out;
  429. ret = 0;
  430. out:
  431. rcu_read_unlock();
  432. return ret;
  433. }
  434. #ifdef CONFIG_SMP
  435. /*
  436. * Helper routine for generate_sched_domains().
  437. * Do cpusets a, b have overlapping cpus_allowed masks?
  438. */
  439. static int cpusets_overlap(struct cpuset *a, struct cpuset *b)
  440. {
  441. return cpumask_intersects(a->cpus_allowed, b->cpus_allowed);
  442. }
  443. static void
  444. update_domain_attr(struct sched_domain_attr *dattr, struct cpuset *c)
  445. {
  446. if (dattr->relax_domain_level < c->relax_domain_level)
  447. dattr->relax_domain_level = c->relax_domain_level;
  448. return;
  449. }
  450. static void update_domain_attr_tree(struct sched_domain_attr *dattr,
  451. struct cpuset *root_cs)
  452. {
  453. struct cpuset *cp;
  454. struct cgroup *pos_cgrp;
  455. rcu_read_lock();
  456. cpuset_for_each_descendant_pre(cp, pos_cgrp, root_cs) {
  457. /* skip the whole subtree if @cp doesn't have any CPU */
  458. if (cpumask_empty(cp->cpus_allowed)) {
  459. pos_cgrp = cgroup_rightmost_descendant(pos_cgrp);
  460. continue;
  461. }
  462. if (is_sched_load_balance(cp))
  463. update_domain_attr(dattr, cp);
  464. }
  465. rcu_read_unlock();
  466. }
  467. /*
  468. * generate_sched_domains()
  469. *
  470. * This function builds a partial partition of the systems CPUs
  471. * A 'partial partition' is a set of non-overlapping subsets whose
  472. * union is a subset of that set.
  473. * The output of this function needs to be passed to kernel/sched/core.c
  474. * partition_sched_domains() routine, which will rebuild the scheduler's
  475. * load balancing domains (sched domains) as specified by that partial
  476. * partition.
  477. *
  478. * See "What is sched_load_balance" in Documentation/cgroups/cpusets.txt
  479. * for a background explanation of this.
  480. *
  481. * Does not return errors, on the theory that the callers of this
  482. * routine would rather not worry about failures to rebuild sched
  483. * domains when operating in the severe memory shortage situations
  484. * that could cause allocation failures below.
  485. *
  486. * Must be called with cpuset_mutex held.
  487. *
  488. * The three key local variables below are:
  489. * q - a linked-list queue of cpuset pointers, used to implement a
  490. * top-down scan of all cpusets. This scan loads a pointer
  491. * to each cpuset marked is_sched_load_balance into the
  492. * array 'csa'. For our purposes, rebuilding the schedulers
  493. * sched domains, we can ignore !is_sched_load_balance cpusets.
  494. * csa - (for CpuSet Array) Array of pointers to all the cpusets
  495. * that need to be load balanced, for convenient iterative
  496. * access by the subsequent code that finds the best partition,
  497. * i.e the set of domains (subsets) of CPUs such that the
  498. * cpus_allowed of every cpuset marked is_sched_load_balance
  499. * is a subset of one of these domains, while there are as
  500. * many such domains as possible, each as small as possible.
  501. * doms - Conversion of 'csa' to an array of cpumasks, for passing to
  502. * the kernel/sched/core.c routine partition_sched_domains() in a
  503. * convenient format, that can be easily compared to the prior
  504. * value to determine what partition elements (sched domains)
  505. * were changed (added or removed.)
  506. *
  507. * Finding the best partition (set of domains):
  508. * The triple nested loops below over i, j, k scan over the
  509. * load balanced cpusets (using the array of cpuset pointers in
  510. * csa[]) looking for pairs of cpusets that have overlapping
  511. * cpus_allowed, but which don't have the same 'pn' partition
  512. * number and gives them in the same partition number. It keeps
  513. * looping on the 'restart' label until it can no longer find
  514. * any such pairs.
  515. *
  516. * The union of the cpus_allowed masks from the set of
  517. * all cpusets having the same 'pn' value then form the one
  518. * element of the partition (one sched domain) to be passed to
  519. * partition_sched_domains().
  520. */
  521. static int generate_sched_domains(cpumask_var_t **domains,
  522. struct sched_domain_attr **attributes)
  523. {
  524. struct cpuset *cp; /* scans q */
  525. struct cpuset **csa; /* array of all cpuset ptrs */
  526. int csn; /* how many cpuset ptrs in csa so far */
  527. int i, j, k; /* indices for partition finding loops */
  528. cpumask_var_t *doms; /* resulting partition; i.e. sched domains */
  529. struct sched_domain_attr *dattr; /* attributes for custom domains */
  530. int ndoms = 0; /* number of sched domains in result */
  531. int nslot; /* next empty doms[] struct cpumask slot */
  532. struct cgroup *pos_cgrp;
  533. doms = NULL;
  534. dattr = NULL;
  535. csa = NULL;
  536. /* Special case for the 99% of systems with one, full, sched domain */
  537. if (is_sched_load_balance(&top_cpuset)) {
  538. ndoms = 1;
  539. doms = alloc_sched_domains(ndoms);
  540. if (!doms)
  541. goto done;
  542. dattr = kmalloc(sizeof(struct sched_domain_attr), GFP_KERNEL);
  543. if (dattr) {
  544. *dattr = SD_ATTR_INIT;
  545. update_domain_attr_tree(dattr, &top_cpuset);
  546. }
  547. cpumask_copy(doms[0], top_cpuset.cpus_allowed);
  548. goto done;
  549. }
  550. csa = kmalloc(number_of_cpusets * sizeof(cp), GFP_KERNEL);
  551. if (!csa)
  552. goto done;
  553. csn = 0;
  554. rcu_read_lock();
  555. cpuset_for_each_descendant_pre(cp, pos_cgrp, &top_cpuset) {
  556. /*
  557. * Continue traversing beyond @cp iff @cp has some CPUs and
  558. * isn't load balancing. The former is obvious. The
  559. * latter: All child cpusets contain a subset of the
  560. * parent's cpus, so just skip them, and then we call
  561. * update_domain_attr_tree() to calc relax_domain_level of
  562. * the corresponding sched domain.
  563. */
  564. if (!cpumask_empty(cp->cpus_allowed) &&
  565. !is_sched_load_balance(cp))
  566. continue;
  567. if (is_sched_load_balance(cp))
  568. csa[csn++] = cp;
  569. /* skip @cp's subtree */
  570. pos_cgrp = cgroup_rightmost_descendant(pos_cgrp);
  571. }
  572. rcu_read_unlock();
  573. for (i = 0; i < csn; i++)
  574. csa[i]->pn = i;
  575. ndoms = csn;
  576. restart:
  577. /* Find the best partition (set of sched domains) */
  578. for (i = 0; i < csn; i++) {
  579. struct cpuset *a = csa[i];
  580. int apn = a->pn;
  581. for (j = 0; j < csn; j++) {
  582. struct cpuset *b = csa[j];
  583. int bpn = b->pn;
  584. if (apn != bpn && cpusets_overlap(a, b)) {
  585. for (k = 0; k < csn; k++) {
  586. struct cpuset *c = csa[k];
  587. if (c->pn == bpn)
  588. c->pn = apn;
  589. }
  590. ndoms--; /* one less element */
  591. goto restart;
  592. }
  593. }
  594. }
  595. /*
  596. * Now we know how many domains to create.
  597. * Convert <csn, csa> to <ndoms, doms> and populate cpu masks.
  598. */
  599. doms = alloc_sched_domains(ndoms);
  600. if (!doms)
  601. goto done;
  602. /*
  603. * The rest of the code, including the scheduler, can deal with
  604. * dattr==NULL case. No need to abort if alloc fails.
  605. */
  606. dattr = kmalloc(ndoms * sizeof(struct sched_domain_attr), GFP_KERNEL);
  607. for (nslot = 0, i = 0; i < csn; i++) {
  608. struct cpuset *a = csa[i];
  609. struct cpumask *dp;
  610. int apn = a->pn;
  611. if (apn < 0) {
  612. /* Skip completed partitions */
  613. continue;
  614. }
  615. dp = doms[nslot];
  616. if (nslot == ndoms) {
  617. static int warnings = 10;
  618. if (warnings) {
  619. printk(KERN_WARNING
  620. "rebuild_sched_domains confused:"
  621. " nslot %d, ndoms %d, csn %d, i %d,"
  622. " apn %d\n",
  623. nslot, ndoms, csn, i, apn);
  624. warnings--;
  625. }
  626. continue;
  627. }
  628. cpumask_clear(dp);
  629. if (dattr)
  630. *(dattr + nslot) = SD_ATTR_INIT;
  631. for (j = i; j < csn; j++) {
  632. struct cpuset *b = csa[j];
  633. if (apn == b->pn) {
  634. cpumask_or(dp, dp, b->cpus_allowed);
  635. if (dattr)
  636. update_domain_attr_tree(dattr + nslot, b);
  637. /* Done with this partition */
  638. b->pn = -1;
  639. }
  640. }
  641. nslot++;
  642. }
  643. BUG_ON(nslot != ndoms);
  644. done:
  645. kfree(csa);
  646. /*
  647. * Fallback to the default domain if kmalloc() failed.
  648. * See comments in partition_sched_domains().
  649. */
  650. if (doms == NULL)
  651. ndoms = 1;
  652. *domains = doms;
  653. *attributes = dattr;
  654. return ndoms;
  655. }
  656. /*
  657. * Rebuild scheduler domains.
  658. *
  659. * If the flag 'sched_load_balance' of any cpuset with non-empty
  660. * 'cpus' changes, or if the 'cpus' allowed changes in any cpuset
  661. * which has that flag enabled, or if any cpuset with a non-empty
  662. * 'cpus' is removed, then call this routine to rebuild the
  663. * scheduler's dynamic sched domains.
  664. *
  665. * Call with cpuset_mutex held. Takes get_online_cpus().
  666. */
  667. static void rebuild_sched_domains_locked(void)
  668. {
  669. struct sched_domain_attr *attr;
  670. cpumask_var_t *doms;
  671. int ndoms;
  672. lockdep_assert_held(&cpuset_mutex);
  673. get_online_cpus();
  674. /*
  675. * We have raced with CPU hotplug. Don't do anything to avoid
  676. * passing doms with offlined cpu to partition_sched_domains().
  677. * Anyways, hotplug work item will rebuild sched domains.
  678. */
  679. if (!cpumask_equal(top_cpuset.cpus_allowed, cpu_active_mask))
  680. goto out;
  681. /* Generate domain masks and attrs */
  682. ndoms = generate_sched_domains(&doms, &attr);
  683. /* Have scheduler rebuild the domains */
  684. partition_sched_domains(ndoms, doms, attr);
  685. out:
  686. put_online_cpus();
  687. }
  688. #else /* !CONFIG_SMP */
  689. static void rebuild_sched_domains_locked(void)
  690. {
  691. }
  692. #endif /* CONFIG_SMP */
  693. void rebuild_sched_domains(void)
  694. {
  695. mutex_lock(&cpuset_mutex);
  696. rebuild_sched_domains_locked();
  697. mutex_unlock(&cpuset_mutex);
  698. }
  699. /*
  700. * effective_cpumask_cpuset - return nearest ancestor with non-empty cpus
  701. * @cs: the cpuset in interest
  702. *
  703. * A cpuset's effective cpumask is the cpumask of the nearest ancestor
  704. * with non-empty cpus. We use effective cpumask whenever:
  705. * - we update tasks' cpus_allowed. (they take on the ancestor's cpumask
  706. * if the cpuset they reside in has no cpus)
  707. * - we want to retrieve task_cs(tsk)'s cpus_allowed.
  708. *
  709. * Called with cpuset_mutex held. cpuset_cpus_allowed_fallback() is an
  710. * exception. See comments there.
  711. */
  712. static struct cpuset *effective_cpumask_cpuset(struct cpuset *cs)
  713. {
  714. while (cpumask_empty(cs->cpus_allowed))
  715. cs = parent_cs(cs);
  716. return cs;
  717. }
  718. /*
  719. * effective_nodemask_cpuset - return nearest ancestor with non-empty mems
  720. * @cs: the cpuset in interest
  721. *
  722. * A cpuset's effective nodemask is the nodemask of the nearest ancestor
  723. * with non-empty memss. We use effective nodemask whenever:
  724. * - we update tasks' mems_allowed. (they take on the ancestor's nodemask
  725. * if the cpuset they reside in has no mems)
  726. * - we want to retrieve task_cs(tsk)'s mems_allowed.
  727. *
  728. * Called with cpuset_mutex held.
  729. */
  730. static struct cpuset *effective_nodemask_cpuset(struct cpuset *cs)
  731. {
  732. while (nodes_empty(cs->mems_allowed))
  733. cs = parent_cs(cs);
  734. return cs;
  735. }
  736. /**
  737. * cpuset_change_cpumask - make a task's cpus_allowed the same as its cpuset's
  738. * @tsk: task to test
  739. * @scan: struct cgroup_scanner containing the cgroup of the task
  740. *
  741. * Called by cgroup_scan_tasks() for each task in a cgroup whose
  742. * cpus_allowed mask needs to be changed.
  743. *
  744. * We don't need to re-check for the cgroup/cpuset membership, since we're
  745. * holding cpuset_mutex at this point.
  746. */
  747. static void cpuset_change_cpumask(struct task_struct *tsk,
  748. struct cgroup_scanner *scan)
  749. {
  750. struct cpuset *cpus_cs;
  751. cpus_cs = effective_cpumask_cpuset(cgroup_cs(scan->cg));
  752. set_cpus_allowed_ptr(tsk, cpus_cs->cpus_allowed);
  753. }
  754. /**
  755. * update_tasks_cpumask - Update the cpumasks of tasks in the cpuset.
  756. * @cs: the cpuset in which each task's cpus_allowed mask needs to be changed
  757. * @heap: if NULL, defer allocating heap memory to cgroup_scan_tasks()
  758. *
  759. * Called with cpuset_mutex held
  760. *
  761. * The cgroup_scan_tasks() function will scan all the tasks in a cgroup,
  762. * calling callback functions for each.
  763. *
  764. * No return value. It's guaranteed that cgroup_scan_tasks() always returns 0
  765. * if @heap != NULL.
  766. */
  767. static void update_tasks_cpumask(struct cpuset *cs, struct ptr_heap *heap)
  768. {
  769. struct cgroup_scanner scan;
  770. scan.cg = cs->css.cgroup;
  771. scan.test_task = NULL;
  772. scan.process_task = cpuset_change_cpumask;
  773. scan.heap = heap;
  774. cgroup_scan_tasks(&scan);
  775. }
  776. /*
  777. * update_tasks_cpumask_hier - Update the cpumasks of tasks in the hierarchy.
  778. * @root_cs: the root cpuset of the hierarchy
  779. * @update_root: update root cpuset or not?
  780. * @heap: the heap used by cgroup_scan_tasks()
  781. *
  782. * This will update cpumasks of tasks in @root_cs and all other empty cpusets
  783. * which take on cpumask of @root_cs.
  784. *
  785. * Called with cpuset_mutex held
  786. */
  787. static void update_tasks_cpumask_hier(struct cpuset *root_cs,
  788. bool update_root, struct ptr_heap *heap)
  789. {
  790. struct cpuset *cp;
  791. struct cgroup *pos_cgrp;
  792. if (update_root)
  793. update_tasks_cpumask(root_cs, heap);
  794. rcu_read_lock();
  795. cpuset_for_each_descendant_pre(cp, pos_cgrp, root_cs) {
  796. /* skip the whole subtree if @cp have some CPU */
  797. if (!cpumask_empty(cp->cpus_allowed)) {
  798. pos_cgrp = cgroup_rightmost_descendant(pos_cgrp);
  799. continue;
  800. }
  801. if (!css_tryget(&cp->css))
  802. continue;
  803. rcu_read_unlock();
  804. update_tasks_cpumask(cp, heap);
  805. rcu_read_lock();
  806. css_put(&cp->css);
  807. }
  808. rcu_read_unlock();
  809. }
  810. /**
  811. * update_cpumask - update the cpus_allowed mask of a cpuset and all tasks in it
  812. * @cs: the cpuset to consider
  813. * @buf: buffer of cpu numbers written to this cpuset
  814. */
  815. static int update_cpumask(struct cpuset *cs, struct cpuset *trialcs,
  816. const char *buf)
  817. {
  818. struct ptr_heap heap;
  819. int retval;
  820. int is_load_balanced;
  821. /* top_cpuset.cpus_allowed tracks cpu_online_mask; it's read-only */
  822. if (cs == &top_cpuset)
  823. return -EACCES;
  824. /*
  825. * An empty cpus_allowed is ok only if the cpuset has no tasks.
  826. * Since cpulist_parse() fails on an empty mask, we special case
  827. * that parsing. The validate_change() call ensures that cpusets
  828. * with tasks have cpus.
  829. */
  830. if (!*buf) {
  831. cpumask_clear(trialcs->cpus_allowed);
  832. } else {
  833. retval = cpulist_parse(buf, trialcs->cpus_allowed);
  834. if (retval < 0)
  835. return retval;
  836. if (!cpumask_subset(trialcs->cpus_allowed, cpu_active_mask))
  837. return -EINVAL;
  838. }
  839. /* Nothing to do if the cpus didn't change */
  840. if (cpumask_equal(cs->cpus_allowed, trialcs->cpus_allowed))
  841. return 0;
  842. retval = validate_change(cs, trialcs);
  843. if (retval < 0)
  844. return retval;
  845. retval = heap_init(&heap, PAGE_SIZE, GFP_KERNEL, NULL);
  846. if (retval)
  847. return retval;
  848. is_load_balanced = is_sched_load_balance(trialcs);
  849. mutex_lock(&callback_mutex);
  850. cpumask_copy(cs->cpus_allowed, trialcs->cpus_allowed);
  851. mutex_unlock(&callback_mutex);
  852. update_tasks_cpumask_hier(cs, true, &heap);
  853. heap_free(&heap);
  854. if (is_load_balanced)
  855. rebuild_sched_domains_locked();
  856. return 0;
  857. }
  858. /*
  859. * cpuset_migrate_mm
  860. *
  861. * Migrate memory region from one set of nodes to another.
  862. *
  863. * Temporarilly set tasks mems_allowed to target nodes of migration,
  864. * so that the migration code can allocate pages on these nodes.
  865. *
  866. * Call holding cpuset_mutex, so current's cpuset won't change
  867. * during this call, as manage_mutex holds off any cpuset_attach()
  868. * calls. Therefore we don't need to take task_lock around the
  869. * call to guarantee_online_mems(), as we know no one is changing
  870. * our task's cpuset.
  871. *
  872. * While the mm_struct we are migrating is typically from some
  873. * other task, the task_struct mems_allowed that we are hacking
  874. * is for our current task, which must allocate new pages for that
  875. * migrating memory region.
  876. */
  877. static void cpuset_migrate_mm(struct mm_struct *mm, const nodemask_t *from,
  878. const nodemask_t *to)
  879. {
  880. struct task_struct *tsk = current;
  881. struct cpuset *mems_cs;
  882. tsk->mems_allowed = *to;
  883. do_migrate_pages(mm, from, to, MPOL_MF_MOVE_ALL);
  884. mems_cs = effective_nodemask_cpuset(task_cs(tsk));
  885. guarantee_online_mems(mems_cs, &tsk->mems_allowed);
  886. }
  887. /*
  888. * cpuset_change_task_nodemask - change task's mems_allowed and mempolicy
  889. * @tsk: the task to change
  890. * @newmems: new nodes that the task will be set
  891. *
  892. * In order to avoid seeing no nodes if the old and new nodes are disjoint,
  893. * we structure updates as setting all new allowed nodes, then clearing newly
  894. * disallowed ones.
  895. */
  896. static void cpuset_change_task_nodemask(struct task_struct *tsk,
  897. nodemask_t *newmems)
  898. {
  899. bool need_loop;
  900. /*
  901. * Allow tasks that have access to memory reserves because they have
  902. * been OOM killed to get memory anywhere.
  903. */
  904. if (unlikely(test_thread_flag(TIF_MEMDIE)))
  905. return;
  906. if (current->flags & PF_EXITING) /* Let dying task have memory */
  907. return;
  908. task_lock(tsk);
  909. /*
  910. * Determine if a loop is necessary if another thread is doing
  911. * get_mems_allowed(). If at least one node remains unchanged and
  912. * tsk does not have a mempolicy, then an empty nodemask will not be
  913. * possible when mems_allowed is larger than a word.
  914. */
  915. need_loop = task_has_mempolicy(tsk) ||
  916. !nodes_intersects(*newmems, tsk->mems_allowed);
  917. if (need_loop)
  918. write_seqcount_begin(&tsk->mems_allowed_seq);
  919. nodes_or(tsk->mems_allowed, tsk->mems_allowed, *newmems);
  920. mpol_rebind_task(tsk, newmems, MPOL_REBIND_STEP1);
  921. mpol_rebind_task(tsk, newmems, MPOL_REBIND_STEP2);
  922. tsk->mems_allowed = *newmems;
  923. if (need_loop)
  924. write_seqcount_end(&tsk->mems_allowed_seq);
  925. task_unlock(tsk);
  926. }
  927. /*
  928. * Update task's mems_allowed and rebind its mempolicy and vmas' mempolicy
  929. * of it to cpuset's new mems_allowed, and migrate pages to new nodes if
  930. * memory_migrate flag is set. Called with cpuset_mutex held.
  931. */
  932. static void cpuset_change_nodemask(struct task_struct *p,
  933. struct cgroup_scanner *scan)
  934. {
  935. struct cpuset *cs = cgroup_cs(scan->cg);
  936. struct mm_struct *mm;
  937. int migrate;
  938. nodemask_t *newmems = scan->data;
  939. cpuset_change_task_nodemask(p, newmems);
  940. mm = get_task_mm(p);
  941. if (!mm)
  942. return;
  943. migrate = is_memory_migrate(cs);
  944. mpol_rebind_mm(mm, &cs->mems_allowed);
  945. if (migrate)
  946. cpuset_migrate_mm(mm, &cs->old_mems_allowed, newmems);
  947. mmput(mm);
  948. }
  949. static void *cpuset_being_rebound;
  950. /**
  951. * update_tasks_nodemask - Update the nodemasks of tasks in the cpuset.
  952. * @cs: the cpuset in which each task's mems_allowed mask needs to be changed
  953. * @heap: if NULL, defer allocating heap memory to cgroup_scan_tasks()
  954. *
  955. * Called with cpuset_mutex held
  956. * No return value. It's guaranteed that cgroup_scan_tasks() always returns 0
  957. * if @heap != NULL.
  958. */
  959. static void update_tasks_nodemask(struct cpuset *cs, struct ptr_heap *heap)
  960. {
  961. static nodemask_t newmems; /* protected by cpuset_mutex */
  962. struct cgroup_scanner scan;
  963. struct cpuset *mems_cs = effective_nodemask_cpuset(cs);
  964. cpuset_being_rebound = cs; /* causes mpol_dup() rebind */
  965. guarantee_online_mems(mems_cs, &newmems);
  966. scan.cg = cs->css.cgroup;
  967. scan.test_task = NULL;
  968. scan.process_task = cpuset_change_nodemask;
  969. scan.heap = heap;
  970. scan.data = &newmems;
  971. /*
  972. * The mpol_rebind_mm() call takes mmap_sem, which we couldn't
  973. * take while holding tasklist_lock. Forks can happen - the
  974. * mpol_dup() cpuset_being_rebound check will catch such forks,
  975. * and rebind their vma mempolicies too. Because we still hold
  976. * the global cpuset_mutex, we know that no other rebind effort
  977. * will be contending for the global variable cpuset_being_rebound.
  978. * It's ok if we rebind the same mm twice; mpol_rebind_mm()
  979. * is idempotent. Also migrate pages in each mm to new nodes.
  980. */
  981. cgroup_scan_tasks(&scan);
  982. /*
  983. * All the tasks' nodemasks have been updated, update
  984. * cs->old_mems_allowed.
  985. */
  986. cs->old_mems_allowed = newmems;
  987. /* We're done rebinding vmas to this cpuset's new mems_allowed. */
  988. cpuset_being_rebound = NULL;
  989. }
  990. /*
  991. * update_tasks_nodemask_hier - Update the nodemasks of tasks in the hierarchy.
  992. * @cs: the root cpuset of the hierarchy
  993. * @update_root: update the root cpuset or not?
  994. * @heap: the heap used by cgroup_scan_tasks()
  995. *
  996. * This will update nodemasks of tasks in @root_cs and all other empty cpusets
  997. * which take on nodemask of @root_cs.
  998. *
  999. * Called with cpuset_mutex held
  1000. */
  1001. static void update_tasks_nodemask_hier(struct cpuset *root_cs,
  1002. bool update_root, struct ptr_heap *heap)
  1003. {
  1004. struct cpuset *cp;
  1005. struct cgroup *pos_cgrp;
  1006. if (update_root)
  1007. update_tasks_nodemask(root_cs, heap);
  1008. rcu_read_lock();
  1009. cpuset_for_each_descendant_pre(cp, pos_cgrp, root_cs) {
  1010. /* skip the whole subtree if @cp have some CPU */
  1011. if (!nodes_empty(cp->mems_allowed)) {
  1012. pos_cgrp = cgroup_rightmost_descendant(pos_cgrp);
  1013. continue;
  1014. }
  1015. if (!css_tryget(&cp->css))
  1016. continue;
  1017. rcu_read_unlock();
  1018. update_tasks_nodemask(cp, heap);
  1019. rcu_read_lock();
  1020. css_put(&cp->css);
  1021. }
  1022. rcu_read_unlock();
  1023. }
  1024. /*
  1025. * Handle user request to change the 'mems' memory placement
  1026. * of a cpuset. Needs to validate the request, update the
  1027. * cpusets mems_allowed, and for each task in the cpuset,
  1028. * update mems_allowed and rebind task's mempolicy and any vma
  1029. * mempolicies and if the cpuset is marked 'memory_migrate',
  1030. * migrate the tasks pages to the new memory.
  1031. *
  1032. * Call with cpuset_mutex held. May take callback_mutex during call.
  1033. * Will take tasklist_lock, scan tasklist for tasks in cpuset cs,
  1034. * lock each such tasks mm->mmap_sem, scan its vma's and rebind
  1035. * their mempolicies to the cpusets new mems_allowed.
  1036. */
  1037. static int update_nodemask(struct cpuset *cs, struct cpuset *trialcs,
  1038. const char *buf)
  1039. {
  1040. int retval;
  1041. struct ptr_heap heap;
  1042. /*
  1043. * top_cpuset.mems_allowed tracks node_stats[N_MEMORY];
  1044. * it's read-only
  1045. */
  1046. if (cs == &top_cpuset) {
  1047. retval = -EACCES;
  1048. goto done;
  1049. }
  1050. /*
  1051. * An empty mems_allowed is ok iff there are no tasks in the cpuset.
  1052. * Since nodelist_parse() fails on an empty mask, we special case
  1053. * that parsing. The validate_change() call ensures that cpusets
  1054. * with tasks have memory.
  1055. */
  1056. if (!*buf) {
  1057. nodes_clear(trialcs->mems_allowed);
  1058. } else {
  1059. retval = nodelist_parse(buf, trialcs->mems_allowed);
  1060. if (retval < 0)
  1061. goto done;
  1062. if (!nodes_subset(trialcs->mems_allowed,
  1063. node_states[N_MEMORY])) {
  1064. retval = -EINVAL;
  1065. goto done;
  1066. }
  1067. }
  1068. if (nodes_equal(cs->mems_allowed, trialcs->mems_allowed)) {
  1069. retval = 0; /* Too easy - nothing to do */
  1070. goto done;
  1071. }
  1072. retval = validate_change(cs, trialcs);
  1073. if (retval < 0)
  1074. goto done;
  1075. retval = heap_init(&heap, PAGE_SIZE, GFP_KERNEL, NULL);
  1076. if (retval < 0)
  1077. goto done;
  1078. mutex_lock(&callback_mutex);
  1079. cs->mems_allowed = trialcs->mems_allowed;
  1080. mutex_unlock(&callback_mutex);
  1081. update_tasks_nodemask_hier(cs, true, &heap);
  1082. heap_free(&heap);
  1083. done:
  1084. return retval;
  1085. }
  1086. int current_cpuset_is_being_rebound(void)
  1087. {
  1088. return task_cs(current) == cpuset_being_rebound;
  1089. }
  1090. static int update_relax_domain_level(struct cpuset *cs, s64 val)
  1091. {
  1092. #ifdef CONFIG_SMP
  1093. if (val < -1 || val >= sched_domain_level_max)
  1094. return -EINVAL;
  1095. #endif
  1096. if (val != cs->relax_domain_level) {
  1097. cs->relax_domain_level = val;
  1098. if (!cpumask_empty(cs->cpus_allowed) &&
  1099. is_sched_load_balance(cs))
  1100. rebuild_sched_domains_locked();
  1101. }
  1102. return 0;
  1103. }
  1104. /*
  1105. * cpuset_change_flag - make a task's spread flags the same as its cpuset's
  1106. * @tsk: task to be updated
  1107. * @scan: struct cgroup_scanner containing the cgroup of the task
  1108. *
  1109. * Called by cgroup_scan_tasks() for each task in a cgroup.
  1110. *
  1111. * We don't need to re-check for the cgroup/cpuset membership, since we're
  1112. * holding cpuset_mutex at this point.
  1113. */
  1114. static void cpuset_change_flag(struct task_struct *tsk,
  1115. struct cgroup_scanner *scan)
  1116. {
  1117. cpuset_update_task_spread_flag(cgroup_cs(scan->cg), tsk);
  1118. }
  1119. /*
  1120. * update_tasks_flags - update the spread flags of tasks in the cpuset.
  1121. * @cs: the cpuset in which each task's spread flags needs to be changed
  1122. * @heap: if NULL, defer allocating heap memory to cgroup_scan_tasks()
  1123. *
  1124. * Called with cpuset_mutex held
  1125. *
  1126. * The cgroup_scan_tasks() function will scan all the tasks in a cgroup,
  1127. * calling callback functions for each.
  1128. *
  1129. * No return value. It's guaranteed that cgroup_scan_tasks() always returns 0
  1130. * if @heap != NULL.
  1131. */
  1132. static void update_tasks_flags(struct cpuset *cs, struct ptr_heap *heap)
  1133. {
  1134. struct cgroup_scanner scan;
  1135. scan.cg = cs->css.cgroup;
  1136. scan.test_task = NULL;
  1137. scan.process_task = cpuset_change_flag;
  1138. scan.heap = heap;
  1139. cgroup_scan_tasks(&scan);
  1140. }
  1141. /*
  1142. * update_flag - read a 0 or a 1 in a file and update associated flag
  1143. * bit: the bit to update (see cpuset_flagbits_t)
  1144. * cs: the cpuset to update
  1145. * turning_on: whether the flag is being set or cleared
  1146. *
  1147. * Call with cpuset_mutex held.
  1148. */
  1149. static int update_flag(cpuset_flagbits_t bit, struct cpuset *cs,
  1150. int turning_on)
  1151. {
  1152. struct cpuset *trialcs;
  1153. int balance_flag_changed;
  1154. int spread_flag_changed;
  1155. struct ptr_heap heap;
  1156. int err;
  1157. trialcs = alloc_trial_cpuset(cs);
  1158. if (!trialcs)
  1159. return -ENOMEM;
  1160. if (turning_on)
  1161. set_bit(bit, &trialcs->flags);
  1162. else
  1163. clear_bit(bit, &trialcs->flags);
  1164. err = validate_change(cs, trialcs);
  1165. if (err < 0)
  1166. goto out;
  1167. err = heap_init(&heap, PAGE_SIZE, GFP_KERNEL, NULL);
  1168. if (err < 0)
  1169. goto out;
  1170. balance_flag_changed = (is_sched_load_balance(cs) !=
  1171. is_sched_load_balance(trialcs));
  1172. spread_flag_changed = ((is_spread_slab(cs) != is_spread_slab(trialcs))
  1173. || (is_spread_page(cs) != is_spread_page(trialcs)));
  1174. mutex_lock(&callback_mutex);
  1175. cs->flags = trialcs->flags;
  1176. mutex_unlock(&callback_mutex);
  1177. if (!cpumask_empty(trialcs->cpus_allowed) && balance_flag_changed)
  1178. rebuild_sched_domains_locked();
  1179. if (spread_flag_changed)
  1180. update_tasks_flags(cs, &heap);
  1181. heap_free(&heap);
  1182. out:
  1183. free_trial_cpuset(trialcs);
  1184. return err;
  1185. }
  1186. /*
  1187. * Frequency meter - How fast is some event occurring?
  1188. *
  1189. * These routines manage a digitally filtered, constant time based,
  1190. * event frequency meter. There are four routines:
  1191. * fmeter_init() - initialize a frequency meter.
  1192. * fmeter_markevent() - called each time the event happens.
  1193. * fmeter_getrate() - returns the recent rate of such events.
  1194. * fmeter_update() - internal routine used to update fmeter.
  1195. *
  1196. * A common data structure is passed to each of these routines,
  1197. * which is used to keep track of the state required to manage the
  1198. * frequency meter and its digital filter.
  1199. *
  1200. * The filter works on the number of events marked per unit time.
  1201. * The filter is single-pole low-pass recursive (IIR). The time unit
  1202. * is 1 second. Arithmetic is done using 32-bit integers scaled to
  1203. * simulate 3 decimal digits of precision (multiplied by 1000).
  1204. *
  1205. * With an FM_COEF of 933, and a time base of 1 second, the filter
  1206. * has a half-life of 10 seconds, meaning that if the events quit
  1207. * happening, then the rate returned from the fmeter_getrate()
  1208. * will be cut in half each 10 seconds, until it converges to zero.
  1209. *
  1210. * It is not worth doing a real infinitely recursive filter. If more
  1211. * than FM_MAXTICKS ticks have elapsed since the last filter event,
  1212. * just compute FM_MAXTICKS ticks worth, by which point the level
  1213. * will be stable.
  1214. *
  1215. * Limit the count of unprocessed events to FM_MAXCNT, so as to avoid
  1216. * arithmetic overflow in the fmeter_update() routine.
  1217. *
  1218. * Given the simple 32 bit integer arithmetic used, this meter works
  1219. * best for reporting rates between one per millisecond (msec) and
  1220. * one per 32 (approx) seconds. At constant rates faster than one
  1221. * per msec it maxes out at values just under 1,000,000. At constant
  1222. * rates between one per msec, and one per second it will stabilize
  1223. * to a value N*1000, where N is the rate of events per second.
  1224. * At constant rates between one per second and one per 32 seconds,
  1225. * it will be choppy, moving up on the seconds that have an event,
  1226. * and then decaying until the next event. At rates slower than
  1227. * about one in 32 seconds, it decays all the way back to zero between
  1228. * each event.
  1229. */
  1230. #define FM_COEF 933 /* coefficient for half-life of 10 secs */
  1231. #define FM_MAXTICKS ((time_t)99) /* useless computing more ticks than this */
  1232. #define FM_MAXCNT 1000000 /* limit cnt to avoid overflow */
  1233. #define FM_SCALE 1000 /* faux fixed point scale */
  1234. /* Initialize a frequency meter */
  1235. static void fmeter_init(struct fmeter *fmp)
  1236. {
  1237. fmp->cnt = 0;
  1238. fmp->val = 0;
  1239. fmp->time = 0;
  1240. spin_lock_init(&fmp->lock);
  1241. }
  1242. /* Internal meter update - process cnt events and update value */
  1243. static void fmeter_update(struct fmeter *fmp)
  1244. {
  1245. time_t now = get_seconds();
  1246. time_t ticks = now - fmp->time;
  1247. if (ticks == 0)
  1248. return;
  1249. ticks = min(FM_MAXTICKS, ticks);
  1250. while (ticks-- > 0)
  1251. fmp->val = (FM_COEF * fmp->val) / FM_SCALE;
  1252. fmp->time = now;
  1253. fmp->val += ((FM_SCALE - FM_COEF) * fmp->cnt) / FM_SCALE;
  1254. fmp->cnt = 0;
  1255. }
  1256. /* Process any previous ticks, then bump cnt by one (times scale). */
  1257. static void fmeter_markevent(struct fmeter *fmp)
  1258. {
  1259. spin_lock(&fmp->lock);
  1260. fmeter_update(fmp);
  1261. fmp->cnt = min(FM_MAXCNT, fmp->cnt + FM_SCALE);
  1262. spin_unlock(&fmp->lock);
  1263. }
  1264. /* Process any previous ticks, then return current value. */
  1265. static int fmeter_getrate(struct fmeter *fmp)
  1266. {
  1267. int val;
  1268. spin_lock(&fmp->lock);
  1269. fmeter_update(fmp);
  1270. val = fmp->val;
  1271. spin_unlock(&fmp->lock);
  1272. return val;
  1273. }
  1274. /* Called by cgroups to determine if a cpuset is usable; cpuset_mutex held */
  1275. static int cpuset_can_attach(struct cgroup *cgrp, struct cgroup_taskset *tset)
  1276. {
  1277. struct cpuset *cs = cgroup_cs(cgrp);
  1278. struct task_struct *task;
  1279. int ret;
  1280. mutex_lock(&cpuset_mutex);
  1281. /*
  1282. * We allow to move tasks into an empty cpuset if sane_behavior
  1283. * flag is set.
  1284. */
  1285. ret = -ENOSPC;
  1286. if (!cgroup_sane_behavior(cgrp) &&
  1287. (cpumask_empty(cs->cpus_allowed) || nodes_empty(cs->mems_allowed)))
  1288. goto out_unlock;
  1289. cgroup_taskset_for_each(task, cgrp, tset) {
  1290. /*
  1291. * Kthreads which disallow setaffinity shouldn't be moved
  1292. * to a new cpuset; we don't want to change their cpu
  1293. * affinity and isolating such threads by their set of
  1294. * allowed nodes is unnecessary. Thus, cpusets are not
  1295. * applicable for such threads. This prevents checking for
  1296. * success of set_cpus_allowed_ptr() on all attached tasks
  1297. * before cpus_allowed may be changed.
  1298. */
  1299. ret = -EINVAL;
  1300. if (task->flags & PF_NO_SETAFFINITY)
  1301. goto out_unlock;
  1302. ret = security_task_setscheduler(task);
  1303. if (ret)
  1304. goto out_unlock;
  1305. }
  1306. /*
  1307. * Mark attach is in progress. This makes validate_change() fail
  1308. * changes which zero cpus/mems_allowed.
  1309. */
  1310. cs->attach_in_progress++;
  1311. ret = 0;
  1312. out_unlock:
  1313. mutex_unlock(&cpuset_mutex);
  1314. return ret;
  1315. }
  1316. static void cpuset_cancel_attach(struct cgroup *cgrp,
  1317. struct cgroup_taskset *tset)
  1318. {
  1319. mutex_lock(&cpuset_mutex);
  1320. cgroup_cs(cgrp)->attach_in_progress--;
  1321. mutex_unlock(&cpuset_mutex);
  1322. }
  1323. /*
  1324. * Protected by cpuset_mutex. cpus_attach is used only by cpuset_attach()
  1325. * but we can't allocate it dynamically there. Define it global and
  1326. * allocate from cpuset_init().
  1327. */
  1328. static cpumask_var_t cpus_attach;
  1329. static void cpuset_attach(struct cgroup *cgrp, struct cgroup_taskset *tset)
  1330. {
  1331. /* static buf protected by cpuset_mutex */
  1332. static nodemask_t cpuset_attach_nodemask_to;
  1333. struct mm_struct *mm;
  1334. struct task_struct *task;
  1335. struct task_struct *leader = cgroup_taskset_first(tset);
  1336. struct cgroup *oldcgrp = cgroup_taskset_cur_cgroup(tset);
  1337. struct cpuset *cs = cgroup_cs(cgrp);
  1338. struct cpuset *oldcs = cgroup_cs(oldcgrp);
  1339. struct cpuset *cpus_cs = effective_cpumask_cpuset(cs);
  1340. struct cpuset *mems_cs = effective_nodemask_cpuset(cs);
  1341. mutex_lock(&cpuset_mutex);
  1342. /* prepare for attach */
  1343. if (cs == &top_cpuset)
  1344. cpumask_copy(cpus_attach, cpu_possible_mask);
  1345. else
  1346. guarantee_online_cpus(cpus_cs, cpus_attach);
  1347. guarantee_online_mems(mems_cs, &cpuset_attach_nodemask_to);
  1348. cgroup_taskset_for_each(task, cgrp, tset) {
  1349. /*
  1350. * can_attach beforehand should guarantee that this doesn't
  1351. * fail. TODO: have a better way to handle failure here
  1352. */
  1353. WARN_ON_ONCE(set_cpus_allowed_ptr(task, cpus_attach));
  1354. cpuset_change_task_nodemask(task, &cpuset_attach_nodemask_to);
  1355. cpuset_update_task_spread_flag(cs, task);
  1356. }
  1357. /*
  1358. * Change mm, possibly for multiple threads in a threadgroup. This is
  1359. * expensive and may sleep.
  1360. */
  1361. cpuset_attach_nodemask_to = cs->mems_allowed;
  1362. mm = get_task_mm(leader);
  1363. if (mm) {
  1364. struct cpuset *mems_oldcs = effective_nodemask_cpuset(oldcs);
  1365. mpol_rebind_mm(mm, &cpuset_attach_nodemask_to);
  1366. /*
  1367. * old_mems_allowed is the same with mems_allowed here, except
  1368. * if this task is being moved automatically due to hotplug.
  1369. * In that case @mems_allowed has been updated and is empty,
  1370. * so @old_mems_allowed is the right nodesets that we migrate
  1371. * mm from.
  1372. */
  1373. if (is_memory_migrate(cs)) {
  1374. cpuset_migrate_mm(mm, &mems_oldcs->old_mems_allowed,
  1375. &cpuset_attach_nodemask_to);
  1376. }
  1377. mmput(mm);
  1378. }
  1379. cs->old_mems_allowed = cpuset_attach_nodemask_to;
  1380. cs->attach_in_progress--;
  1381. if (!cs->attach_in_progress)
  1382. wake_up(&cpuset_attach_wq);
  1383. mutex_unlock(&cpuset_mutex);
  1384. }
  1385. /* The various types of files and directories in a cpuset file system */
  1386. typedef enum {
  1387. FILE_MEMORY_MIGRATE,
  1388. FILE_CPULIST,
  1389. FILE_MEMLIST,
  1390. FILE_CPU_EXCLUSIVE,
  1391. FILE_MEM_EXCLUSIVE,
  1392. FILE_MEM_HARDWALL,
  1393. FILE_SCHED_LOAD_BALANCE,
  1394. FILE_SCHED_RELAX_DOMAIN_LEVEL,
  1395. FILE_MEMORY_PRESSURE_ENABLED,
  1396. FILE_MEMORY_PRESSURE,
  1397. FILE_SPREAD_PAGE,
  1398. FILE_SPREAD_SLAB,
  1399. } cpuset_filetype_t;
  1400. static int cpuset_write_u64(struct cgroup *cgrp, struct cftype *cft, u64 val)
  1401. {
  1402. struct cpuset *cs = cgroup_cs(cgrp);
  1403. cpuset_filetype_t type = cft->private;
  1404. int retval = 0;
  1405. mutex_lock(&cpuset_mutex);
  1406. if (!is_cpuset_online(cs)) {
  1407. retval = -ENODEV;
  1408. goto out_unlock;
  1409. }
  1410. switch (type) {
  1411. case FILE_CPU_EXCLUSIVE:
  1412. retval = update_flag(CS_CPU_EXCLUSIVE, cs, val);
  1413. break;
  1414. case FILE_MEM_EXCLUSIVE:
  1415. retval = update_flag(CS_MEM_EXCLUSIVE, cs, val);
  1416. break;
  1417. case FILE_MEM_HARDWALL:
  1418. retval = update_flag(CS_MEM_HARDWALL, cs, val);
  1419. break;
  1420. case FILE_SCHED_LOAD_BALANCE:
  1421. retval = update_flag(CS_SCHED_LOAD_BALANCE, cs, val);
  1422. break;
  1423. case FILE_MEMORY_MIGRATE:
  1424. retval = update_flag(CS_MEMORY_MIGRATE, cs, val);
  1425. break;
  1426. case FILE_MEMORY_PRESSURE_ENABLED:
  1427. cpuset_memory_pressure_enabled = !!val;
  1428. break;
  1429. case FILE_MEMORY_PRESSURE:
  1430. retval = -EACCES;
  1431. break;
  1432. case FILE_SPREAD_PAGE:
  1433. retval = update_flag(CS_SPREAD_PAGE, cs, val);
  1434. break;
  1435. case FILE_SPREAD_SLAB:
  1436. retval = update_flag(CS_SPREAD_SLAB, cs, val);
  1437. break;
  1438. default:
  1439. retval = -EINVAL;
  1440. break;
  1441. }
  1442. out_unlock:
  1443. mutex_unlock(&cpuset_mutex);
  1444. return retval;
  1445. }
  1446. static int cpuset_write_s64(struct cgroup *cgrp, struct cftype *cft, s64 val)
  1447. {
  1448. struct cpuset *cs = cgroup_cs(cgrp);
  1449. cpuset_filetype_t type = cft->private;
  1450. int retval = -ENODEV;
  1451. mutex_lock(&cpuset_mutex);
  1452. if (!is_cpuset_online(cs))
  1453. goto out_unlock;
  1454. switch (type) {
  1455. case FILE_SCHED_RELAX_DOMAIN_LEVEL:
  1456. retval = update_relax_domain_level(cs, val);
  1457. break;
  1458. default:
  1459. retval = -EINVAL;
  1460. break;
  1461. }
  1462. out_unlock:
  1463. mutex_unlock(&cpuset_mutex);
  1464. return retval;
  1465. }
  1466. /*
  1467. * Common handling for a write to a "cpus" or "mems" file.
  1468. */
  1469. static int cpuset_write_resmask(struct cgroup *cgrp, struct cftype *cft,
  1470. const char *buf)
  1471. {
  1472. struct cpuset *cs = cgroup_cs(cgrp);
  1473. struct cpuset *trialcs;
  1474. int retval = -ENODEV;
  1475. /*
  1476. * CPU or memory hotunplug may leave @cs w/o any execution
  1477. * resources, in which case the hotplug code asynchronously updates
  1478. * configuration and transfers all tasks to the nearest ancestor
  1479. * which can execute.
  1480. *
  1481. * As writes to "cpus" or "mems" may restore @cs's execution
  1482. * resources, wait for the previously scheduled operations before
  1483. * proceeding, so that we don't end up keep removing tasks added
  1484. * after execution capability is restored.
  1485. */
  1486. flush_work(&cpuset_hotplug_work);
  1487. mutex_lock(&cpuset_mutex);
  1488. if (!is_cpuset_online(cs))
  1489. goto out_unlock;
  1490. trialcs = alloc_trial_cpuset(cs);
  1491. if (!trialcs) {
  1492. retval = -ENOMEM;
  1493. goto out_unlock;
  1494. }
  1495. switch (cft->private) {
  1496. case FILE_CPULIST:
  1497. retval = update_cpumask(cs, trialcs, buf);
  1498. break;
  1499. case FILE_MEMLIST:
  1500. retval = update_nodemask(cs, trialcs, buf);
  1501. break;
  1502. default:
  1503. retval = -EINVAL;
  1504. break;
  1505. }
  1506. free_trial_cpuset(trialcs);
  1507. out_unlock:
  1508. mutex_unlock(&cpuset_mutex);
  1509. return retval;
  1510. }
  1511. /*
  1512. * These ascii lists should be read in a single call, by using a user
  1513. * buffer large enough to hold the entire map. If read in smaller
  1514. * chunks, there is no guarantee of atomicity. Since the display format
  1515. * used, list of ranges of sequential numbers, is variable length,
  1516. * and since these maps can change value dynamically, one could read
  1517. * gibberish by doing partial reads while a list was changing.
  1518. * A single large read to a buffer that crosses a page boundary is
  1519. * ok, because the result being copied to user land is not recomputed
  1520. * across a page fault.
  1521. */
  1522. static size_t cpuset_sprintf_cpulist(char *page, struct cpuset *cs)
  1523. {
  1524. size_t count;
  1525. mutex_lock(&callback_mutex);
  1526. count = cpulist_scnprintf(page, PAGE_SIZE, cs->cpus_allowed);
  1527. mutex_unlock(&callback_mutex);
  1528. return count;
  1529. }
  1530. static size_t cpuset_sprintf_memlist(char *page, struct cpuset *cs)
  1531. {
  1532. size_t count;
  1533. mutex_lock(&callback_mutex);
  1534. count = nodelist_scnprintf(page, PAGE_SIZE, cs->mems_allowed);
  1535. mutex_unlock(&callback_mutex);
  1536. return count;
  1537. }
  1538. static ssize_t cpuset_common_file_read(struct cgroup *cgrp,
  1539. struct cftype *cft,
  1540. struct file *file,
  1541. char __user *buf,
  1542. size_t nbytes, loff_t *ppos)
  1543. {
  1544. struct cpuset *cs = cgroup_cs(cgrp);
  1545. cpuset_filetype_t type = cft->private;
  1546. char *page;
  1547. ssize_t retval = 0;
  1548. char *s;
  1549. if (!(page = (char *)__get_free_page(GFP_TEMPORARY)))
  1550. return -ENOMEM;
  1551. s = page;
  1552. switch (type) {
  1553. case FILE_CPULIST:
  1554. s += cpuset_sprintf_cpulist(s, cs);
  1555. break;
  1556. case FILE_MEMLIST:
  1557. s += cpuset_sprintf_memlist(s, cs);
  1558. break;
  1559. default:
  1560. retval = -EINVAL;
  1561. goto out;
  1562. }
  1563. *s++ = '\n';
  1564. retval = simple_read_from_buffer(buf, nbytes, ppos, page, s - page);
  1565. out:
  1566. free_page((unsigned long)page);
  1567. return retval;
  1568. }
  1569. static u64 cpuset_read_u64(struct cgroup *cgrp, struct cftype *cft)
  1570. {
  1571. struct cpuset *cs = cgroup_cs(cgrp);
  1572. cpuset_filetype_t type = cft->private;
  1573. switch (type) {
  1574. case FILE_CPU_EXCLUSIVE:
  1575. return is_cpu_exclusive(cs);
  1576. case FILE_MEM_EXCLUSIVE:
  1577. return is_mem_exclusive(cs);
  1578. case FILE_MEM_HARDWALL:
  1579. return is_mem_hardwall(cs);
  1580. case FILE_SCHED_LOAD_BALANCE:
  1581. return is_sched_load_balance(cs);
  1582. case FILE_MEMORY_MIGRATE:
  1583. return is_memory_migrate(cs);
  1584. case FILE_MEMORY_PRESSURE_ENABLED:
  1585. return cpuset_memory_pressure_enabled;
  1586. case FILE_MEMORY_PRESSURE:
  1587. return fmeter_getrate(&cs->fmeter);
  1588. case FILE_SPREAD_PAGE:
  1589. return is_spread_page(cs);
  1590. case FILE_SPREAD_SLAB:
  1591. return is_spread_slab(cs);
  1592. default:
  1593. BUG();
  1594. }
  1595. /* Unreachable but makes gcc happy */
  1596. return 0;
  1597. }
  1598. static s64 cpuset_read_s64(struct cgroup *cgrp, struct cftype *cft)
  1599. {
  1600. struct cpuset *cs = cgroup_cs(cgrp);
  1601. cpuset_filetype_t type = cft->private;
  1602. switch (type) {
  1603. case FILE_SCHED_RELAX_DOMAIN_LEVEL:
  1604. return cs->relax_domain_level;
  1605. default:
  1606. BUG();
  1607. }
  1608. /* Unrechable but makes gcc happy */
  1609. return 0;
  1610. }
  1611. /*
  1612. * for the common functions, 'private' gives the type of file
  1613. */
  1614. static struct cftype files[] = {
  1615. {
  1616. .name = "cpus",
  1617. .read = cpuset_common_file_read,
  1618. .write_string = cpuset_write_resmask,
  1619. .max_write_len = (100U + 6 * NR_CPUS),
  1620. .private = FILE_CPULIST,
  1621. },
  1622. {
  1623. .name = "mems",
  1624. .read = cpuset_common_file_read,
  1625. .write_string = cpuset_write_resmask,
  1626. .max_write_len = (100U + 6 * MAX_NUMNODES),
  1627. .private = FILE_MEMLIST,
  1628. },
  1629. {
  1630. .name = "cpu_exclusive",
  1631. .read_u64 = cpuset_read_u64,
  1632. .write_u64 = cpuset_write_u64,
  1633. .private = FILE_CPU_EXCLUSIVE,
  1634. },
  1635. {
  1636. .name = "mem_exclusive",
  1637. .read_u64 = cpuset_read_u64,
  1638. .write_u64 = cpuset_write_u64,
  1639. .private = FILE_MEM_EXCLUSIVE,
  1640. },
  1641. {
  1642. .name = "mem_hardwall",
  1643. .read_u64 = cpuset_read_u64,
  1644. .write_u64 = cpuset_write_u64,
  1645. .private = FILE_MEM_HARDWALL,
  1646. },
  1647. {
  1648. .name = "sched_load_balance",
  1649. .read_u64 = cpuset_read_u64,
  1650. .write_u64 = cpuset_write_u64,
  1651. .private = FILE_SCHED_LOAD_BALANCE,
  1652. },
  1653. {
  1654. .name = "sched_relax_domain_level",
  1655. .read_s64 = cpuset_read_s64,
  1656. .write_s64 = cpuset_write_s64,
  1657. .private = FILE_SCHED_RELAX_DOMAIN_LEVEL,
  1658. },
  1659. {
  1660. .name = "memory_migrate",
  1661. .read_u64 = cpuset_read_u64,
  1662. .write_u64 = cpuset_write_u64,
  1663. .private = FILE_MEMORY_MIGRATE,
  1664. },
  1665. {
  1666. .name = "memory_pressure",
  1667. .read_u64 = cpuset_read_u64,
  1668. .write_u64 = cpuset_write_u64,
  1669. .private = FILE_MEMORY_PRESSURE,
  1670. .mode = S_IRUGO,
  1671. },
  1672. {
  1673. .name = "memory_spread_page",
  1674. .read_u64 = cpuset_read_u64,
  1675. .write_u64 = cpuset_write_u64,
  1676. .private = FILE_SPREAD_PAGE,
  1677. },
  1678. {
  1679. .name = "memory_spread_slab",
  1680. .read_u64 = cpuset_read_u64,
  1681. .write_u64 = cpuset_write_u64,
  1682. .private = FILE_SPREAD_SLAB,
  1683. },
  1684. {
  1685. .name = "memory_pressure_enabled",
  1686. .flags = CFTYPE_ONLY_ON_ROOT,
  1687. .read_u64 = cpuset_read_u64,
  1688. .write_u64 = cpuset_write_u64,
  1689. .private = FILE_MEMORY_PRESSURE_ENABLED,
  1690. },
  1691. { } /* terminate */
  1692. };
  1693. /*
  1694. * cpuset_css_alloc - allocate a cpuset css
  1695. * cgrp: control group that the new cpuset will be part of
  1696. */
  1697. static struct cgroup_subsys_state *cpuset_css_alloc(struct cgroup *cgrp)
  1698. {
  1699. struct cpuset *cs;
  1700. if (!cgrp->parent)
  1701. return &top_cpuset.css;
  1702. cs = kzalloc(sizeof(*cs), GFP_KERNEL);
  1703. if (!cs)
  1704. return ERR_PTR(-ENOMEM);
  1705. if (!alloc_cpumask_var(&cs->cpus_allowed, GFP_KERNEL)) {
  1706. kfree(cs);
  1707. return ERR_PTR(-ENOMEM);
  1708. }
  1709. set_bit(CS_SCHED_LOAD_BALANCE, &cs->flags);
  1710. cpumask_clear(cs->cpus_allowed);
  1711. nodes_clear(cs->mems_allowed);
  1712. fmeter_init(&cs->fmeter);
  1713. cs->relax_domain_level = -1;
  1714. return &cs->css;
  1715. }
  1716. static int cpuset_css_online(struct cgroup *cgrp)
  1717. {
  1718. struct cpuset *cs = cgroup_cs(cgrp);
  1719. struct cpuset *parent = parent_cs(cs);
  1720. struct cpuset *tmp_cs;
  1721. struct cgroup *pos_cg;
  1722. if (!parent)
  1723. return 0;
  1724. mutex_lock(&cpuset_mutex);
  1725. set_bit(CS_ONLINE, &cs->flags);
  1726. if (is_spread_page(parent))
  1727. set_bit(CS_SPREAD_PAGE, &cs->flags);
  1728. if (is_spread_slab(parent))
  1729. set_bit(CS_SPREAD_SLAB, &cs->flags);
  1730. number_of_cpusets++;
  1731. if (!test_bit(CGRP_CPUSET_CLONE_CHILDREN, &cgrp->flags))
  1732. goto out_unlock;
  1733. /*
  1734. * Clone @parent's configuration if CGRP_CPUSET_CLONE_CHILDREN is
  1735. * set. This flag handling is implemented in cgroup core for
  1736. * histrical reasons - the flag may be specified during mount.
  1737. *
  1738. * Currently, if any sibling cpusets have exclusive cpus or mem, we
  1739. * refuse to clone the configuration - thereby refusing the task to
  1740. * be entered, and as a result refusing the sys_unshare() or
  1741. * clone() which initiated it. If this becomes a problem for some
  1742. * users who wish to allow that scenario, then this could be
  1743. * changed to grant parent->cpus_allowed-sibling_cpus_exclusive
  1744. * (and likewise for mems) to the new cgroup.
  1745. */
  1746. rcu_read_lock();
  1747. cpuset_for_each_child(tmp_cs, pos_cg, parent) {
  1748. if (is_mem_exclusive(tmp_cs) || is_cpu_exclusive(tmp_cs)) {
  1749. rcu_read_unlock();
  1750. goto out_unlock;
  1751. }
  1752. }
  1753. rcu_read_unlock();
  1754. mutex_lock(&callback_mutex);
  1755. cs->mems_allowed = parent->mems_allowed;
  1756. cpumask_copy(cs->cpus_allowed, parent->cpus_allowed);
  1757. mutex_unlock(&callback_mutex);
  1758. out_unlock:
  1759. mutex_unlock(&cpuset_mutex);
  1760. return 0;
  1761. }
  1762. static void cpuset_css_offline(struct cgroup *cgrp)
  1763. {
  1764. struct cpuset *cs = cgroup_cs(cgrp);
  1765. mutex_lock(&cpuset_mutex);
  1766. if (is_sched_load_balance(cs))
  1767. update_flag(CS_SCHED_LOAD_BALANCE, cs, 0);
  1768. number_of_cpusets--;
  1769. clear_bit(CS_ONLINE, &cs->flags);
  1770. mutex_unlock(&cpuset_mutex);
  1771. }
  1772. /*
  1773. * If the cpuset being removed has its flag 'sched_load_balance'
  1774. * enabled, then simulate turning sched_load_balance off, which
  1775. * will call rebuild_sched_domains_locked().
  1776. */
  1777. static void cpuset_css_free(struct cgroup *cgrp)
  1778. {
  1779. struct cpuset *cs = cgroup_cs(cgrp);
  1780. free_cpumask_var(cs->cpus_allowed);
  1781. kfree(cs);
  1782. }
  1783. struct cgroup_subsys cpuset_subsys = {
  1784. .name = "cpuset",
  1785. .css_alloc = cpuset_css_alloc,
  1786. .css_online = cpuset_css_online,
  1787. .css_offline = cpuset_css_offline,
  1788. .css_free = cpuset_css_free,
  1789. .can_attach = cpuset_can_attach,
  1790. .cancel_attach = cpuset_cancel_attach,
  1791. .attach = cpuset_attach,
  1792. .subsys_id = cpuset_subsys_id,
  1793. .base_cftypes = files,
  1794. .early_init = 1,
  1795. };
  1796. /**
  1797. * cpuset_init - initialize cpusets at system boot
  1798. *
  1799. * Description: Initialize top_cpuset and the cpuset internal file system,
  1800. **/
  1801. int __init cpuset_init(void)
  1802. {
  1803. int err = 0;
  1804. if (!alloc_cpumask_var(&top_cpuset.cpus_allowed, GFP_KERNEL))
  1805. BUG();
  1806. cpumask_setall(top_cpuset.cpus_allowed);
  1807. nodes_setall(top_cpuset.mems_allowed);
  1808. fmeter_init(&top_cpuset.fmeter);
  1809. set_bit(CS_SCHED_LOAD_BALANCE, &top_cpuset.flags);
  1810. top_cpuset.relax_domain_level = -1;
  1811. err = register_filesystem(&cpuset_fs_type);
  1812. if (err < 0)
  1813. return err;
  1814. if (!alloc_cpumask_var(&cpus_attach, GFP_KERNEL))
  1815. BUG();
  1816. number_of_cpusets = 1;
  1817. return 0;
  1818. }
  1819. /*
  1820. * If CPU and/or memory hotplug handlers, below, unplug any CPUs
  1821. * or memory nodes, we need to walk over the cpuset hierarchy,
  1822. * removing that CPU or node from all cpusets. If this removes the
  1823. * last CPU or node from a cpuset, then move the tasks in the empty
  1824. * cpuset to its next-highest non-empty parent.
  1825. */
  1826. static void remove_tasks_in_empty_cpuset(struct cpuset *cs)
  1827. {
  1828. struct cpuset *parent;
  1829. /*
  1830. * Find its next-highest non-empty parent, (top cpuset
  1831. * has online cpus, so can't be empty).
  1832. */
  1833. parent = parent_cs(cs);
  1834. while (cpumask_empty(parent->cpus_allowed) ||
  1835. nodes_empty(parent->mems_allowed))
  1836. parent = parent_cs(parent);
  1837. if (cgroup_transfer_tasks(parent->css.cgroup, cs->css.cgroup)) {
  1838. rcu_read_lock();
  1839. printk(KERN_ERR "cpuset: failed to transfer tasks out of empty cpuset %s\n",
  1840. cgroup_name(cs->css.cgroup));
  1841. rcu_read_unlock();
  1842. }
  1843. }
  1844. /**
  1845. * cpuset_hotplug_update_tasks - update tasks in a cpuset for hotunplug
  1846. * @cs: cpuset in interest
  1847. *
  1848. * Compare @cs's cpu and mem masks against top_cpuset and if some have gone
  1849. * offline, update @cs accordingly. If @cs ends up with no CPU or memory,
  1850. * all its tasks are moved to the nearest ancestor with both resources.
  1851. */
  1852. static void cpuset_hotplug_update_tasks(struct cpuset *cs)
  1853. {
  1854. static cpumask_t off_cpus;
  1855. static nodemask_t off_mems;
  1856. bool is_empty;
  1857. bool sane = cgroup_sane_behavior(cs->css.cgroup);
  1858. retry:
  1859. wait_event(cpuset_attach_wq, cs->attach_in_progress == 0);
  1860. mutex_lock(&cpuset_mutex);
  1861. /*
  1862. * We have raced with task attaching. We wait until attaching
  1863. * is finished, so we won't attach a task to an empty cpuset.
  1864. */
  1865. if (cs->attach_in_progress) {
  1866. mutex_unlock(&cpuset_mutex);
  1867. goto retry;
  1868. }
  1869. cpumask_andnot(&off_cpus, cs->cpus_allowed, top_cpuset.cpus_allowed);
  1870. nodes_andnot(off_mems, cs->mems_allowed, top_cpuset.mems_allowed);
  1871. mutex_lock(&callback_mutex);
  1872. cpumask_andnot(cs->cpus_allowed, cs->cpus_allowed, &off_cpus);
  1873. mutex_unlock(&callback_mutex);
  1874. /*
  1875. * If sane_behavior flag is set, we need to update tasks' cpumask
  1876. * for empty cpuset to take on ancestor's cpumask. Otherwise, don't
  1877. * call update_tasks_cpumask() if the cpuset becomes empty, as
  1878. * the tasks in it will be migrated to an ancestor.
  1879. */
  1880. if ((sane && cpumask_empty(cs->cpus_allowed)) ||
  1881. (!cpumask_empty(&off_cpus) && !cpumask_empty(cs->cpus_allowed)))
  1882. update_tasks_cpumask(cs, NULL);
  1883. mutex_lock(&callback_mutex);
  1884. nodes_andnot(cs->mems_allowed, cs->mems_allowed, off_mems);
  1885. mutex_unlock(&callback_mutex);
  1886. /*
  1887. * If sane_behavior flag is set, we need to update tasks' nodemask
  1888. * for empty cpuset to take on ancestor's nodemask. Otherwise, don't
  1889. * call update_tasks_nodemask() if the cpuset becomes empty, as
  1890. * the tasks in it will be migratd to an ancestor.
  1891. */
  1892. if ((sane && nodes_empty(cs->mems_allowed)) ||
  1893. (!nodes_empty(off_mems) && !nodes_empty(cs->mems_allowed)))
  1894. update_tasks_nodemask(cs, NULL);
  1895. is_empty = cpumask_empty(cs->cpus_allowed) ||
  1896. nodes_empty(cs->mems_allowed);
  1897. mutex_unlock(&cpuset_mutex);
  1898. /*
  1899. * If sane_behavior flag is set, we'll keep tasks in empty cpusets.
  1900. *
  1901. * Otherwise move tasks to the nearest ancestor with execution
  1902. * resources. This is full cgroup operation which will
  1903. * also call back into cpuset. Should be done outside any lock.
  1904. */
  1905. if (!sane && is_empty)
  1906. remove_tasks_in_empty_cpuset(cs);
  1907. }
  1908. /**
  1909. * cpuset_hotplug_workfn - handle CPU/memory hotunplug for a cpuset
  1910. *
  1911. * This function is called after either CPU or memory configuration has
  1912. * changed and updates cpuset accordingly. The top_cpuset is always
  1913. * synchronized to cpu_active_mask and N_MEMORY, which is necessary in
  1914. * order to make cpusets transparent (of no affect) on systems that are
  1915. * actively using CPU hotplug but making no active use of cpusets.
  1916. *
  1917. * Non-root cpusets are only affected by offlining. If any CPUs or memory
  1918. * nodes have been taken down, cpuset_hotplug_update_tasks() is invoked on
  1919. * all descendants.
  1920. *
  1921. * Note that CPU offlining during suspend is ignored. We don't modify
  1922. * cpusets across suspend/resume cycles at all.
  1923. */
  1924. static void cpuset_hotplug_workfn(struct work_struct *work)
  1925. {
  1926. static cpumask_t new_cpus;
  1927. static nodemask_t new_mems;
  1928. bool cpus_updated, mems_updated;
  1929. mutex_lock(&cpuset_mutex);
  1930. /* fetch the available cpus/mems and find out which changed how */
  1931. cpumask_copy(&new_cpus, cpu_active_mask);
  1932. new_mems = node_states[N_MEMORY];
  1933. cpus_updated = !cpumask_equal(top_cpuset.cpus_allowed, &new_cpus);
  1934. mems_updated = !nodes_equal(top_cpuset.mems_allowed, new_mems);
  1935. /* synchronize cpus_allowed to cpu_active_mask */
  1936. if (cpus_updated) {
  1937. mutex_lock(&callback_mutex);
  1938. cpumask_copy(top_cpuset.cpus_allowed, &new_cpus);
  1939. mutex_unlock(&callback_mutex);
  1940. /* we don't mess with cpumasks of tasks in top_cpuset */
  1941. }
  1942. /* synchronize mems_allowed to N_MEMORY */
  1943. if (mems_updated) {
  1944. mutex_lock(&callback_mutex);
  1945. top_cpuset.mems_allowed = new_mems;
  1946. mutex_unlock(&callback_mutex);
  1947. update_tasks_nodemask(&top_cpuset, NULL);
  1948. }
  1949. mutex_unlock(&cpuset_mutex);
  1950. /* if cpus or mems changed, we need to propagate to descendants */
  1951. if (cpus_updated || mems_updated) {
  1952. struct cpuset *cs;
  1953. struct cgroup *pos_cgrp;
  1954. rcu_read_lock();
  1955. cpuset_for_each_descendant_pre(cs, pos_cgrp, &top_cpuset) {
  1956. if (!css_tryget(&cs->css))
  1957. continue;
  1958. rcu_read_unlock();
  1959. cpuset_hotplug_update_tasks(cs);
  1960. rcu_read_lock();
  1961. css_put(&cs->css);
  1962. }
  1963. rcu_read_unlock();
  1964. }
  1965. /* rebuild sched domains if cpus_allowed has changed */
  1966. if (cpus_updated)
  1967. rebuild_sched_domains();
  1968. }
  1969. void cpuset_update_active_cpus(bool cpu_online)
  1970. {
  1971. /*
  1972. * We're inside cpu hotplug critical region which usually nests
  1973. * inside cgroup synchronization. Bounce actual hotplug processing
  1974. * to a work item to avoid reverse locking order.
  1975. *
  1976. * We still need to do partition_sched_domains() synchronously;
  1977. * otherwise, the scheduler will get confused and put tasks to the
  1978. * dead CPU. Fall back to the default single domain.
  1979. * cpuset_hotplug_workfn() will rebuild it as necessary.
  1980. */
  1981. partition_sched_domains(1, NULL, NULL);
  1982. schedule_work(&cpuset_hotplug_work);
  1983. }
  1984. /*
  1985. * Keep top_cpuset.mems_allowed tracking node_states[N_MEMORY].
  1986. * Call this routine anytime after node_states[N_MEMORY] changes.
  1987. * See cpuset_update_active_cpus() for CPU hotplug handling.
  1988. */
  1989. static int cpuset_track_online_nodes(struct notifier_block *self,
  1990. unsigned long action, void *arg)
  1991. {
  1992. schedule_work(&cpuset_hotplug_work);
  1993. return NOTIFY_OK;
  1994. }
  1995. static struct notifier_block cpuset_track_online_nodes_nb = {
  1996. .notifier_call = cpuset_track_online_nodes,
  1997. .priority = 10, /* ??! */
  1998. };
  1999. /**
  2000. * cpuset_init_smp - initialize cpus_allowed
  2001. *
  2002. * Description: Finish top cpuset after cpu, node maps are initialized
  2003. */
  2004. void __init cpuset_init_smp(void)
  2005. {
  2006. cpumask_copy(top_cpuset.cpus_allowed, cpu_active_mask);
  2007. top_cpuset.mems_allowed = node_states[N_MEMORY];
  2008. top_cpuset.old_mems_allowed = top_cpuset.mems_allowed;
  2009. register_hotmemory_notifier(&cpuset_track_online_nodes_nb);
  2010. }
  2011. /**
  2012. * cpuset_cpus_allowed - return cpus_allowed mask from a tasks cpuset.
  2013. * @tsk: pointer to task_struct from which to obtain cpuset->cpus_allowed.
  2014. * @pmask: pointer to struct cpumask variable to receive cpus_allowed set.
  2015. *
  2016. * Description: Returns the cpumask_var_t cpus_allowed of the cpuset
  2017. * attached to the specified @tsk. Guaranteed to return some non-empty
  2018. * subset of cpu_online_mask, even if this means going outside the
  2019. * tasks cpuset.
  2020. **/
  2021. void cpuset_cpus_allowed(struct task_struct *tsk, struct cpumask *pmask)
  2022. {
  2023. struct cpuset *cpus_cs;
  2024. mutex_lock(&callback_mutex);
  2025. task_lock(tsk);
  2026. cpus_cs = effective_cpumask_cpuset(task_cs(tsk));
  2027. guarantee_online_cpus(cpus_cs, pmask);
  2028. task_unlock(tsk);
  2029. mutex_unlock(&callback_mutex);
  2030. }
  2031. void cpuset_cpus_allowed_fallback(struct task_struct *tsk)
  2032. {
  2033. const struct cpuset *cpus_cs;
  2034. rcu_read_lock();
  2035. cpus_cs = effective_cpumask_cpuset(task_cs(tsk));
  2036. do_set_cpus_allowed(tsk, cpus_cs->cpus_allowed);
  2037. rcu_read_unlock();
  2038. /*
  2039. * We own tsk->cpus_allowed, nobody can change it under us.
  2040. *
  2041. * But we used cs && cs->cpus_allowed lockless and thus can
  2042. * race with cgroup_attach_task() or update_cpumask() and get
  2043. * the wrong tsk->cpus_allowed. However, both cases imply the
  2044. * subsequent cpuset_change_cpumask()->set_cpus_allowed_ptr()
  2045. * which takes task_rq_lock().
  2046. *
  2047. * If we are called after it dropped the lock we must see all
  2048. * changes in tsk_cs()->cpus_allowed. Otherwise we can temporary
  2049. * set any mask even if it is not right from task_cs() pov,
  2050. * the pending set_cpus_allowed_ptr() will fix things.
  2051. *
  2052. * select_fallback_rq() will fix things ups and set cpu_possible_mask
  2053. * if required.
  2054. */
  2055. }
  2056. void cpuset_init_current_mems_allowed(void)
  2057. {
  2058. nodes_setall(current->mems_allowed);
  2059. }
  2060. /**
  2061. * cpuset_mems_allowed - return mems_allowed mask from a tasks cpuset.
  2062. * @tsk: pointer to task_struct from which to obtain cpuset->mems_allowed.
  2063. *
  2064. * Description: Returns the nodemask_t mems_allowed of the cpuset
  2065. * attached to the specified @tsk. Guaranteed to return some non-empty
  2066. * subset of node_states[N_MEMORY], even if this means going outside the
  2067. * tasks cpuset.
  2068. **/
  2069. nodemask_t cpuset_mems_allowed(struct task_struct *tsk)
  2070. {
  2071. struct cpuset *mems_cs;
  2072. nodemask_t mask;
  2073. mutex_lock(&callback_mutex);
  2074. task_lock(tsk);
  2075. mems_cs = effective_nodemask_cpuset(task_cs(tsk));
  2076. guarantee_online_mems(mems_cs, &mask);
  2077. task_unlock(tsk);
  2078. mutex_unlock(&callback_mutex);
  2079. return mask;
  2080. }
  2081. /**
  2082. * cpuset_nodemask_valid_mems_allowed - check nodemask vs. curremt mems_allowed
  2083. * @nodemask: the nodemask to be checked
  2084. *
  2085. * Are any of the nodes in the nodemask allowed in current->mems_allowed?
  2086. */
  2087. int cpuset_nodemask_valid_mems_allowed(nodemask_t *nodemask)
  2088. {
  2089. return nodes_intersects(*nodemask, current->mems_allowed);
  2090. }
  2091. /*
  2092. * nearest_hardwall_ancestor() - Returns the nearest mem_exclusive or
  2093. * mem_hardwall ancestor to the specified cpuset. Call holding
  2094. * callback_mutex. If no ancestor is mem_exclusive or mem_hardwall
  2095. * (an unusual configuration), then returns the root cpuset.
  2096. */
  2097. static const struct cpuset *nearest_hardwall_ancestor(const struct cpuset *cs)
  2098. {
  2099. while (!(is_mem_exclusive(cs) || is_mem_hardwall(cs)) && parent_cs(cs))
  2100. cs = parent_cs(cs);
  2101. return cs;
  2102. }
  2103. /**
  2104. * cpuset_node_allowed_softwall - Can we allocate on a memory node?
  2105. * @node: is this an allowed node?
  2106. * @gfp_mask: memory allocation flags
  2107. *
  2108. * If we're in interrupt, yes, we can always allocate. If __GFP_THISNODE is
  2109. * set, yes, we can always allocate. If node is in our task's mems_allowed,
  2110. * yes. If it's not a __GFP_HARDWALL request and this node is in the nearest
  2111. * hardwalled cpuset ancestor to this task's cpuset, yes. If the task has been
  2112. * OOM killed and has access to memory reserves as specified by the TIF_MEMDIE
  2113. * flag, yes.
  2114. * Otherwise, no.
  2115. *
  2116. * If __GFP_HARDWALL is set, cpuset_node_allowed_softwall() reduces to
  2117. * cpuset_node_allowed_hardwall(). Otherwise, cpuset_node_allowed_softwall()
  2118. * might sleep, and might allow a node from an enclosing cpuset.
  2119. *
  2120. * cpuset_node_allowed_hardwall() only handles the simpler case of hardwall
  2121. * cpusets, and never sleeps.
  2122. *
  2123. * The __GFP_THISNODE placement logic is really handled elsewhere,
  2124. * by forcibly using a zonelist starting at a specified node, and by
  2125. * (in get_page_from_freelist()) refusing to consider the zones for
  2126. * any node on the zonelist except the first. By the time any such
  2127. * calls get to this routine, we should just shut up and say 'yes'.
  2128. *
  2129. * GFP_USER allocations are marked with the __GFP_HARDWALL bit,
  2130. * and do not allow allocations outside the current tasks cpuset
  2131. * unless the task has been OOM killed as is marked TIF_MEMDIE.
  2132. * GFP_KERNEL allocations are not so marked, so can escape to the
  2133. * nearest enclosing hardwalled ancestor cpuset.
  2134. *
  2135. * Scanning up parent cpusets requires callback_mutex. The
  2136. * __alloc_pages() routine only calls here with __GFP_HARDWALL bit
  2137. * _not_ set if it's a GFP_KERNEL allocation, and all nodes in the
  2138. * current tasks mems_allowed came up empty on the first pass over
  2139. * the zonelist. So only GFP_KERNEL allocations, if all nodes in the
  2140. * cpuset are short of memory, might require taking the callback_mutex
  2141. * mutex.
  2142. *
  2143. * The first call here from mm/page_alloc:get_page_from_freelist()
  2144. * has __GFP_HARDWALL set in gfp_mask, enforcing hardwall cpusets,
  2145. * so no allocation on a node outside the cpuset is allowed (unless
  2146. * in interrupt, of course).
  2147. *
  2148. * The second pass through get_page_from_freelist() doesn't even call
  2149. * here for GFP_ATOMIC calls. For those calls, the __alloc_pages()
  2150. * variable 'wait' is not set, and the bit ALLOC_CPUSET is not set
  2151. * in alloc_flags. That logic and the checks below have the combined
  2152. * affect that:
  2153. * in_interrupt - any node ok (current task context irrelevant)
  2154. * GFP_ATOMIC - any node ok
  2155. * TIF_MEMDIE - any node ok
  2156. * GFP_KERNEL - any node in enclosing hardwalled cpuset ok
  2157. * GFP_USER - only nodes in current tasks mems allowed ok.
  2158. *
  2159. * Rule:
  2160. * Don't call cpuset_node_allowed_softwall if you can't sleep, unless you
  2161. * pass in the __GFP_HARDWALL flag set in gfp_flag, which disables
  2162. * the code that might scan up ancestor cpusets and sleep.
  2163. */
  2164. int __cpuset_node_allowed_softwall(int node, gfp_t gfp_mask)
  2165. {
  2166. const struct cpuset *cs; /* current cpuset ancestors */
  2167. int allowed; /* is allocation in zone z allowed? */
  2168. if (in_interrupt() || (gfp_mask & __GFP_THISNODE))
  2169. return 1;
  2170. might_sleep_if(!(gfp_mask & __GFP_HARDWALL));
  2171. if (node_isset(node, current->mems_allowed))
  2172. return 1;
  2173. /*
  2174. * Allow tasks that have access to memory reserves because they have
  2175. * been OOM killed to get memory anywhere.
  2176. */
  2177. if (unlikely(test_thread_flag(TIF_MEMDIE)))
  2178. return 1;
  2179. if (gfp_mask & __GFP_HARDWALL) /* If hardwall request, stop here */
  2180. return 0;
  2181. if (current->flags & PF_EXITING) /* Let dying task have memory */
  2182. return 1;
  2183. /* Not hardwall and node outside mems_allowed: scan up cpusets */
  2184. mutex_lock(&callback_mutex);
  2185. task_lock(current);
  2186. cs = nearest_hardwall_ancestor(task_cs(current));
  2187. task_unlock(current);
  2188. allowed = node_isset(node, cs->mems_allowed);
  2189. mutex_unlock(&callback_mutex);
  2190. return allowed;
  2191. }
  2192. /*
  2193. * cpuset_node_allowed_hardwall - Can we allocate on a memory node?
  2194. * @node: is this an allowed node?
  2195. * @gfp_mask: memory allocation flags
  2196. *
  2197. * If we're in interrupt, yes, we can always allocate. If __GFP_THISNODE is
  2198. * set, yes, we can always allocate. If node is in our task's mems_allowed,
  2199. * yes. If the task has been OOM killed and has access to memory reserves as
  2200. * specified by the TIF_MEMDIE flag, yes.
  2201. * Otherwise, no.
  2202. *
  2203. * The __GFP_THISNODE placement logic is really handled elsewhere,
  2204. * by forcibly using a zonelist starting at a specified node, and by
  2205. * (in get_page_from_freelist()) refusing to consider the zones for
  2206. * any node on the zonelist except the first. By the time any such
  2207. * calls get to this routine, we should just shut up and say 'yes'.
  2208. *
  2209. * Unlike the cpuset_node_allowed_softwall() variant, above,
  2210. * this variant requires that the node be in the current task's
  2211. * mems_allowed or that we're in interrupt. It does not scan up the
  2212. * cpuset hierarchy for the nearest enclosing mem_exclusive cpuset.
  2213. * It never sleeps.
  2214. */
  2215. int __cpuset_node_allowed_hardwall(int node, gfp_t gfp_mask)
  2216. {
  2217. if (in_interrupt() || (gfp_mask & __GFP_THISNODE))
  2218. return 1;
  2219. if (node_isset(node, current->mems_allowed))
  2220. return 1;
  2221. /*
  2222. * Allow tasks that have access to memory reserves because they have
  2223. * been OOM killed to get memory anywhere.
  2224. */
  2225. if (unlikely(test_thread_flag(TIF_MEMDIE)))
  2226. return 1;
  2227. return 0;
  2228. }
  2229. /**
  2230. * cpuset_mem_spread_node() - On which node to begin search for a file page
  2231. * cpuset_slab_spread_node() - On which node to begin search for a slab page
  2232. *
  2233. * If a task is marked PF_SPREAD_PAGE or PF_SPREAD_SLAB (as for
  2234. * tasks in a cpuset with is_spread_page or is_spread_slab set),
  2235. * and if the memory allocation used cpuset_mem_spread_node()
  2236. * to determine on which node to start looking, as it will for
  2237. * certain page cache or slab cache pages such as used for file
  2238. * system buffers and inode caches, then instead of starting on the
  2239. * local node to look for a free page, rather spread the starting
  2240. * node around the tasks mems_allowed nodes.
  2241. *
  2242. * We don't have to worry about the returned node being offline
  2243. * because "it can't happen", and even if it did, it would be ok.
  2244. *
  2245. * The routines calling guarantee_online_mems() are careful to
  2246. * only set nodes in task->mems_allowed that are online. So it
  2247. * should not be possible for the following code to return an
  2248. * offline node. But if it did, that would be ok, as this routine
  2249. * is not returning the node where the allocation must be, only
  2250. * the node where the search should start. The zonelist passed to
  2251. * __alloc_pages() will include all nodes. If the slab allocator
  2252. * is passed an offline node, it will fall back to the local node.
  2253. * See kmem_cache_alloc_node().
  2254. */
  2255. static int cpuset_spread_node(int *rotor)
  2256. {
  2257. int node;
  2258. node = next_node(*rotor, current->mems_allowed);
  2259. if (node == MAX_NUMNODES)
  2260. node = first_node(current->mems_allowed);
  2261. *rotor = node;
  2262. return node;
  2263. }
  2264. int cpuset_mem_spread_node(void)
  2265. {
  2266. if (current->cpuset_mem_spread_rotor == NUMA_NO_NODE)
  2267. current->cpuset_mem_spread_rotor =
  2268. node_random(&current->mems_allowed);
  2269. return cpuset_spread_node(&current->cpuset_mem_spread_rotor);
  2270. }
  2271. int cpuset_slab_spread_node(void)
  2272. {
  2273. if (current->cpuset_slab_spread_rotor == NUMA_NO_NODE)
  2274. current->cpuset_slab_spread_rotor =
  2275. node_random(&current->mems_allowed);
  2276. return cpuset_spread_node(&current->cpuset_slab_spread_rotor);
  2277. }
  2278. EXPORT_SYMBOL_GPL(cpuset_mem_spread_node);
  2279. /**
  2280. * cpuset_mems_allowed_intersects - Does @tsk1's mems_allowed intersect @tsk2's?
  2281. * @tsk1: pointer to task_struct of some task.
  2282. * @tsk2: pointer to task_struct of some other task.
  2283. *
  2284. * Description: Return true if @tsk1's mems_allowed intersects the
  2285. * mems_allowed of @tsk2. Used by the OOM killer to determine if
  2286. * one of the task's memory usage might impact the memory available
  2287. * to the other.
  2288. **/
  2289. int cpuset_mems_allowed_intersects(const struct task_struct *tsk1,
  2290. const struct task_struct *tsk2)
  2291. {
  2292. return nodes_intersects(tsk1->mems_allowed, tsk2->mems_allowed);
  2293. }
  2294. #define CPUSET_NODELIST_LEN (256)
  2295. /**
  2296. * cpuset_print_task_mems_allowed - prints task's cpuset and mems_allowed
  2297. * @task: pointer to task_struct of some task.
  2298. *
  2299. * Description: Prints @task's name, cpuset name, and cached copy of its
  2300. * mems_allowed to the kernel log. Must hold task_lock(task) to allow
  2301. * dereferencing task_cs(task).
  2302. */
  2303. void cpuset_print_task_mems_allowed(struct task_struct *tsk)
  2304. {
  2305. /* Statically allocated to prevent using excess stack. */
  2306. static char cpuset_nodelist[CPUSET_NODELIST_LEN];
  2307. static DEFINE_SPINLOCK(cpuset_buffer_lock);
  2308. struct cgroup *cgrp = task_cs(tsk)->css.cgroup;
  2309. rcu_read_lock();
  2310. spin_lock(&cpuset_buffer_lock);
  2311. nodelist_scnprintf(cpuset_nodelist, CPUSET_NODELIST_LEN,
  2312. tsk->mems_allowed);
  2313. printk(KERN_INFO "%s cpuset=%s mems_allowed=%s\n",
  2314. tsk->comm, cgroup_name(cgrp), cpuset_nodelist);
  2315. spin_unlock(&cpuset_buffer_lock);
  2316. rcu_read_unlock();
  2317. }
  2318. /*
  2319. * Collection of memory_pressure is suppressed unless
  2320. * this flag is enabled by writing "1" to the special
  2321. * cpuset file 'memory_pressure_enabled' in the root cpuset.
  2322. */
  2323. int cpuset_memory_pressure_enabled __read_mostly;
  2324. /**
  2325. * cpuset_memory_pressure_bump - keep stats of per-cpuset reclaims.
  2326. *
  2327. * Keep a running average of the rate of synchronous (direct)
  2328. * page reclaim efforts initiated by tasks in each cpuset.
  2329. *
  2330. * This represents the rate at which some task in the cpuset
  2331. * ran low on memory on all nodes it was allowed to use, and
  2332. * had to enter the kernels page reclaim code in an effort to
  2333. * create more free memory by tossing clean pages or swapping
  2334. * or writing dirty pages.
  2335. *
  2336. * Display to user space in the per-cpuset read-only file
  2337. * "memory_pressure". Value displayed is an integer
  2338. * representing the recent rate of entry into the synchronous
  2339. * (direct) page reclaim by any task attached to the cpuset.
  2340. **/
  2341. void __cpuset_memory_pressure_bump(void)
  2342. {
  2343. task_lock(current);
  2344. fmeter_markevent(&task_cs(current)->fmeter);
  2345. task_unlock(current);
  2346. }
  2347. #ifdef CONFIG_PROC_PID_CPUSET
  2348. /*
  2349. * proc_cpuset_show()
  2350. * - Print tasks cpuset path into seq_file.
  2351. * - Used for /proc/<pid>/cpuset.
  2352. * - No need to task_lock(tsk) on this tsk->cpuset reference, as it
  2353. * doesn't really matter if tsk->cpuset changes after we read it,
  2354. * and we take cpuset_mutex, keeping cpuset_attach() from changing it
  2355. * anyway.
  2356. */
  2357. int proc_cpuset_show(struct seq_file *m, void *unused_v)
  2358. {
  2359. struct pid *pid;
  2360. struct task_struct *tsk;
  2361. char *buf;
  2362. struct cgroup_subsys_state *css;
  2363. int retval;
  2364. retval = -ENOMEM;
  2365. buf = kmalloc(PAGE_SIZE, GFP_KERNEL);
  2366. if (!buf)
  2367. goto out;
  2368. retval = -ESRCH;
  2369. pid = m->private;
  2370. tsk = get_pid_task(pid, PIDTYPE_PID);
  2371. if (!tsk)
  2372. goto out_free;
  2373. rcu_read_lock();
  2374. css = task_subsys_state(tsk, cpuset_subsys_id);
  2375. retval = cgroup_path(css->cgroup, buf, PAGE_SIZE);
  2376. rcu_read_unlock();
  2377. if (retval < 0)
  2378. goto out_put_task;
  2379. seq_puts(m, buf);
  2380. seq_putc(m, '\n');
  2381. out_put_task:
  2382. put_task_struct(tsk);
  2383. out_free:
  2384. kfree(buf);
  2385. out:
  2386. return retval;
  2387. }
  2388. #endif /* CONFIG_PROC_PID_CPUSET */
  2389. /* Display task mems_allowed in /proc/<pid>/status file. */
  2390. void cpuset_task_status_allowed(struct seq_file *m, struct task_struct *task)
  2391. {
  2392. seq_printf(m, "Mems_allowed:\t");
  2393. seq_nodemask(m, &task->mems_allowed);
  2394. seq_printf(m, "\n");
  2395. seq_printf(m, "Mems_allowed_list:\t");
  2396. seq_nodemask_list(m, &task->mems_allowed);
  2397. seq_printf(m, "\n");
  2398. }