Commit | Line | Data |
---|---|---|
ddbcc7e8 PM |
1 | CGROUPS |
2 | ------- | |
3 | ||
45ce80fb LZ |
4 | Written by Paul Menage <menage@google.com> based on |
5 | Documentation/cgroups/cpusets.txt | |
ddbcc7e8 PM |
6 | |
7 | Original copyright statements from cpusets.txt: | |
8 | Portions Copyright (C) 2004 BULL SA. | |
9 | Portions Copyright (c) 2004-2006 Silicon Graphics, Inc. | |
10 | Modified by Paul Jackson <pj@sgi.com> | |
11 | Modified by Christoph Lameter <clameter@sgi.com> | |
12 | ||
13 | CONTENTS: | |
14 | ========= | |
15 | ||
16 | 1. Control Groups | |
17 | 1.1 What are cgroups ? | |
18 | 1.2 Why are cgroups needed ? | |
19 | 1.3 How are cgroups implemented ? | |
20 | 1.4 What does notify_on_release do ? | |
97978e6d DL |
21 | 1.5 What does clone_children do ? |
22 | 1.6 How do I use cgroups ? | |
ddbcc7e8 PM |
23 | 2. Usage Examples and Syntax |
24 | 2.1 Basic Usage | |
25 | 2.2 Attaching processes | |
8ca712ea | 26 | 2.3 Mounting hierarchies by name |
0dea1168 | 27 | 2.4 Notification API |
ddbcc7e8 PM |
28 | 3. Kernel API |
29 | 3.1 Overview | |
30 | 3.2 Synchronization | |
31 | 3.3 Subsystem API | |
32 | 4. Questions | |
33 | ||
34 | 1. Control Groups | |
d19e0583 | 35 | ================= |
ddbcc7e8 PM |
36 | |
37 | 1.1 What are cgroups ? | |
38 | ---------------------- | |
39 | ||
40 | Control Groups provide a mechanism for aggregating/partitioning sets of | |
41 | tasks, and all their future children, into hierarchical groups with | |
42 | specialized behaviour. | |
43 | ||
44 | Definitions: | |
45 | ||
46 | A *cgroup* associates a set of tasks with a set of parameters for one | |
47 | or more subsystems. | |
48 | ||
49 | A *subsystem* is a module that makes use of the task grouping | |
50 | facilities provided by cgroups to treat groups of tasks in | |
51 | particular ways. A subsystem is typically a "resource controller" that | |
52 | schedules a resource or applies per-cgroup limits, but it may be | |
53 | anything that wants to act on a group of processes, e.g. a | |
54 | virtualization subsystem. | |
55 | ||
56 | A *hierarchy* is a set of cgroups arranged in a tree, such that | |
57 | every task in the system is in exactly one of the cgroups in the | |
58 | hierarchy, and a set of subsystems; each subsystem has system-specific | |
59 | state attached to each cgroup in the hierarchy. Each hierarchy has | |
60 | an instance of the cgroup virtual filesystem associated with it. | |
61 | ||
caa790ba | 62 | At any one time there may be multiple active hierarchies of task |
ddbcc7e8 PM |
63 | cgroups. Each hierarchy is a partition of all tasks in the system. |
64 | ||
65 | User level code may create and destroy cgroups by name in an | |
66 | instance of the cgroup virtual file system, specify and query to | |
67 | which cgroup a task is assigned, and list the task pids assigned to | |
68 | a cgroup. Those creations and assignments only affect the hierarchy | |
69 | associated with that instance of the cgroup file system. | |
70 | ||
71 | On their own, the only use for cgroups is for simple job | |
72 | tracking. The intention is that other subsystems hook into the generic | |
73 | cgroup support to provide new attributes for cgroups, such as | |
74 | accounting/limiting the resources which processes in a cgroup can | |
45ce80fb | 75 | access. For example, cpusets (see Documentation/cgroups/cpusets.txt) allows |
ddbcc7e8 PM |
76 | you to associate a set of CPUs and a set of memory nodes with the |
77 | tasks in each cgroup. | |
78 | ||
79 | 1.2 Why are cgroups needed ? | |
80 | ---------------------------- | |
81 | ||
82 | There are multiple efforts to provide process aggregations in the | |
83 | Linux kernel, mainly for resource tracking purposes. Such efforts | |
84 | include cpusets, CKRM/ResGroups, UserBeanCounters, and virtual server | |
85 | namespaces. These all require the basic notion of a | |
86 | grouping/partitioning of processes, with newly forked processes ending | |
87 | in the same group (cgroup) as their parent process. | |
88 | ||
89 | The kernel cgroup patch provides the minimum essential kernel | |
90 | mechanisms required to efficiently implement such groups. It has | |
91 | minimal impact on the system fast paths, and provides hooks for | |
92 | specific subsystems such as cpusets to provide additional behaviour as | |
93 | desired. | |
94 | ||
95 | Multiple hierarchy support is provided to allow for situations where | |
96 | the division of tasks into cgroups is distinctly different for | |
97 | different subsystems - having parallel hierarchies allows each | |
98 | hierarchy to be a natural division of tasks, without having to handle | |
99 | complex combinations of tasks that would be present if several | |
100 | unrelated subsystems needed to be forced into the same tree of | |
101 | cgroups. | |
102 | ||
103 | At one extreme, each resource controller or subsystem could be in a | |
104 | separate hierarchy; at the other extreme, all subsystems | |
105 | would be attached to the same hierarchy. | |
106 | ||
107 | As an example of a scenario (originally proposed by vatsa@in.ibm.com) | |
108 | that can benefit from multiple hierarchies, consider a large | |
109 | university server with various users - students, professors, system | |
110 | tasks etc. The resource planning for this server could be along the | |
111 | following lines: | |
112 | ||
113 | CPU : Top cpuset | |
114 | / \ | |
115 | CPUSet1 CPUSet2 | |
116 | | | | |
117 | (Profs) (Students) | |
118 | ||
119 | In addition (system tasks) are attached to topcpuset (so | |
120 | that they can run anywhere) with a limit of 20% | |
121 | ||
122 | Memory : Professors (50%), students (30%), system (20%) | |
123 | ||
124 | Disk : Prof (50%), students (30%), system (20%) | |
125 | ||
126 | Network : WWW browsing (20%), Network File System (60%), others (20%) | |
127 | / \ | |
128 | Prof (15%) students (5%) | |
129 | ||
caa790ba | 130 | Browsers like Firefox/Lynx go into the WWW network class, while (k)nfsd go |
ddbcc7e8 PM |
131 | into NFS network class. |
132 | ||
caa790ba | 133 | At the same time Firefox/Lynx will share an appropriate CPU/Memory class |
ddbcc7e8 PM |
134 | depending on who launched it (prof/student). |
135 | ||
136 | With the ability to classify tasks differently for different resources | |
137 | (by putting those resource subsystems in different hierarchies) then | |
138 | the admin can easily set up a script which receives exec notifications | |
139 | and depending on who is launching the browser he can | |
140 | ||
141 | # echo browser_pid > /mnt/<restype>/<userclass>/tasks | |
142 | ||
143 | With only a single hierarchy, he now would potentially have to create | |
144 | a separate cgroup for every browser launched and associate it with | |
145 | approp network and other resource class. This may lead to | |
146 | proliferation of such cgroups. | |
147 | ||
148 | Also lets say that the administrator would like to give enhanced network | |
149 | access temporarily to a student's browser (since it is night and the user | |
d19e0583 | 150 | wants to do online gaming :)) OR give one of the students simulation |
ddbcc7e8 PM |
151 | apps enhanced CPU power, |
152 | ||
d19e0583 | 153 | With ability to write pids directly to resource classes, it's just a |
ddbcc7e8 PM |
154 | matter of : |
155 | ||
156 | # echo pid > /mnt/network/<new_class>/tasks | |
157 | (after some time) | |
158 | # echo pid > /mnt/network/<orig_class>/tasks | |
159 | ||
160 | Without this ability, he would have to split the cgroup into | |
161 | multiple separate ones and then associate the new cgroups with the | |
162 | new resource classes. | |
163 | ||
164 | ||
165 | ||
166 | 1.3 How are cgroups implemented ? | |
167 | --------------------------------- | |
168 | ||
169 | Control Groups extends the kernel as follows: | |
170 | ||
171 | - Each task in the system has a reference-counted pointer to a | |
172 | css_set. | |
173 | ||
174 | - A css_set contains a set of reference-counted pointers to | |
175 | cgroup_subsys_state objects, one for each cgroup subsystem | |
176 | registered in the system. There is no direct link from a task to | |
177 | the cgroup of which it's a member in each hierarchy, but this | |
178 | can be determined by following pointers through the | |
179 | cgroup_subsys_state objects. This is because accessing the | |
180 | subsystem state is something that's expected to happen frequently | |
181 | and in performance-critical code, whereas operations that require a | |
182 | task's actual cgroup assignments (in particular, moving between | |
817929ec PM |
183 | cgroups) are less common. A linked list runs through the cg_list |
184 | field of each task_struct using the css_set, anchored at | |
185 | css_set->tasks. | |
ddbcc7e8 PM |
186 | |
187 | - A cgroup hierarchy filesystem can be mounted for browsing and | |
188 | manipulation from user space. | |
189 | ||
190 | - You can list all the tasks (by pid) attached to any cgroup. | |
191 | ||
192 | The implementation of cgroups requires a few, simple hooks | |
193 | into the rest of the kernel, none in performance critical paths: | |
194 | ||
195 | - in init/main.c, to initialize the root cgroups and initial | |
196 | css_set at system boot. | |
197 | ||
198 | - in fork and exit, to attach and detach a task from its css_set. | |
199 | ||
200 | In addition a new file system, of type "cgroup" may be mounted, to | |
201 | enable browsing and modifying the cgroups presently known to the | |
202 | kernel. When mounting a cgroup hierarchy, you may specify a | |
203 | comma-separated list of subsystems to mount as the filesystem mount | |
204 | options. By default, mounting the cgroup filesystem attempts to | |
205 | mount a hierarchy containing all registered subsystems. | |
206 | ||
207 | If an active hierarchy with exactly the same set of subsystems already | |
208 | exists, it will be reused for the new mount. If no existing hierarchy | |
209 | matches, and any of the requested subsystems are in use in an existing | |
210 | hierarchy, the mount will fail with -EBUSY. Otherwise, a new hierarchy | |
211 | is activated, associated with the requested subsystems. | |
212 | ||
213 | It's not currently possible to bind a new subsystem to an active | |
214 | cgroup hierarchy, or to unbind a subsystem from an active cgroup | |
215 | hierarchy. This may be possible in future, but is fraught with nasty | |
216 | error-recovery issues. | |
217 | ||
218 | When a cgroup filesystem is unmounted, if there are any | |
219 | child cgroups created below the top-level cgroup, that hierarchy | |
220 | will remain active even though unmounted; if there are no | |
221 | child cgroups then the hierarchy will be deactivated. | |
222 | ||
223 | No new system calls are added for cgroups - all support for | |
224 | querying and modifying cgroups is via this cgroup file system. | |
225 | ||
226 | Each task under /proc has an added file named 'cgroup' displaying, | |
227 | for each active hierarchy, the subsystem names and the cgroup name | |
228 | as the path relative to the root of the cgroup file system. | |
229 | ||
230 | Each cgroup is represented by a directory in the cgroup file system | |
231 | containing the following files describing that cgroup: | |
232 | ||
7823da36 PM |
233 | - tasks: list of tasks (by pid) attached to that cgroup. This list |
234 | is not guaranteed to be sorted. Writing a thread id into this file | |
235 | moves the thread into this cgroup. | |
236 | - cgroup.procs: list of tgids in the cgroup. This list is not | |
237 | guaranteed to be sorted or free of duplicate tgids, and userspace | |
238 | should sort/uniquify the list if this property is required. | |
7716fa66 | 239 | This is a read-only file, for now. |
d19e0583 LZ |
240 | - notify_on_release flag: run the release agent on exit? |
241 | - release_agent: the path to use for release notifications (this file | |
242 | exists in the top cgroup only) | |
ddbcc7e8 PM |
243 | |
244 | Other subsystems such as cpusets may add additional files in each | |
d19e0583 | 245 | cgroup dir. |
ddbcc7e8 PM |
246 | |
247 | New cgroups are created using the mkdir system call or shell | |
248 | command. The properties of a cgroup, such as its flags, are | |
249 | modified by writing to the appropriate file in that cgroups | |
250 | directory, as listed above. | |
251 | ||
252 | The named hierarchical structure of nested cgroups allows partitioning | |
253 | a large system into nested, dynamically changeable, "soft-partitions". | |
254 | ||
255 | The attachment of each task, automatically inherited at fork by any | |
256 | children of that task, to a cgroup allows organizing the work load | |
257 | on a system into related sets of tasks. A task may be re-attached to | |
258 | any other cgroup, if allowed by the permissions on the necessary | |
259 | cgroup file system directories. | |
260 | ||
261 | When a task is moved from one cgroup to another, it gets a new | |
262 | css_set pointer - if there's an already existing css_set with the | |
263 | desired collection of cgroups then that group is reused, else a new | |
b851ee79 LZ |
264 | css_set is allocated. The appropriate existing css_set is located by |
265 | looking into a hash table. | |
ddbcc7e8 | 266 | |
817929ec PM |
267 | To allow access from a cgroup to the css_sets (and hence tasks) |
268 | that comprise it, a set of cg_cgroup_link objects form a lattice; | |
269 | each cg_cgroup_link is linked into a list of cg_cgroup_links for | |
d19e0583 | 270 | a single cgroup on its cgrp_link_list field, and a list of |
817929ec PM |
271 | cg_cgroup_links for a single css_set on its cg_link_list. |
272 | ||
273 | Thus the set of tasks in a cgroup can be listed by iterating over | |
274 | each css_set that references the cgroup, and sub-iterating over | |
275 | each css_set's task set. | |
276 | ||
ddbcc7e8 PM |
277 | The use of a Linux virtual file system (vfs) to represent the |
278 | cgroup hierarchy provides for a familiar permission and name space | |
279 | for cgroups, with a minimum of additional kernel code. | |
280 | ||
281 | 1.4 What does notify_on_release do ? | |
282 | ------------------------------------ | |
283 | ||
ddbcc7e8 PM |
284 | If the notify_on_release flag is enabled (1) in a cgroup, then |
285 | whenever the last task in the cgroup leaves (exits or attaches to | |
286 | some other cgroup) and the last child cgroup of that cgroup | |
287 | is removed, then the kernel runs the command specified by the contents | |
288 | of the "release_agent" file in that hierarchy's root directory, | |
289 | supplying the pathname (relative to the mount point of the cgroup | |
290 | file system) of the abandoned cgroup. This enables automatic | |
291 | removal of abandoned cgroups. The default value of | |
292 | notify_on_release in the root cgroup at system boot is disabled | |
293 | (0). The default value of other cgroups at creation is the current | |
294 | value of their parents notify_on_release setting. The default value of | |
295 | a cgroup hierarchy's release_agent path is empty. | |
296 | ||
97978e6d DL |
297 | 1.5 What does clone_children do ? |
298 | --------------------------------- | |
299 | ||
300 | If the clone_children flag is enabled (1) in a cgroup, then all | |
301 | cgroups created beneath will call the post_clone callbacks for each | |
302 | subsystem of the newly created cgroup. Usually when this callback is | |
303 | implemented for a subsystem, it copies the values of the parent | |
304 | subsystem, this is the case for the cpuset. | |
305 | ||
306 | 1.6 How do I use cgroups ? | |
ddbcc7e8 PM |
307 | -------------------------- |
308 | ||
309 | To start a new job that is to be contained within a cgroup, using | |
310 | the "cpuset" cgroup subsystem, the steps are something like: | |
311 | ||
312 | 1) mkdir /dev/cgroup | |
313 | 2) mount -t cgroup -ocpuset cpuset /dev/cgroup | |
314 | 3) Create the new cgroup by doing mkdir's and write's (or echo's) in | |
315 | the /dev/cgroup virtual file system. | |
316 | 4) Start a task that will be the "founding father" of the new job. | |
317 | 5) Attach that task to the new cgroup by writing its pid to the | |
318 | /dev/cgroup tasks file for that cgroup. | |
319 | 6) fork, exec or clone the job tasks from this founding father task. | |
320 | ||
321 | For example, the following sequence of commands will setup a cgroup | |
322 | named "Charlie", containing just CPUs 2 and 3, and Memory Node 1, | |
323 | and then start a subshell 'sh' in that cgroup: | |
324 | ||
325 | mount -t cgroup cpuset -ocpuset /dev/cgroup | |
326 | cd /dev/cgroup | |
327 | mkdir Charlie | |
328 | cd Charlie | |
0f146a76 DG |
329 | /bin/echo 2-3 > cpuset.cpus |
330 | /bin/echo 1 > cpuset.mems | |
ddbcc7e8 PM |
331 | /bin/echo $$ > tasks |
332 | sh | |
333 | # The subshell 'sh' is now running in cgroup Charlie | |
334 | # The next line should display '/Charlie' | |
335 | cat /proc/self/cgroup | |
336 | ||
337 | 2. Usage Examples and Syntax | |
338 | ============================ | |
339 | ||
340 | 2.1 Basic Usage | |
341 | --------------- | |
342 | ||
343 | Creating, modifying, using the cgroups can be done through the cgroup | |
344 | virtual filesystem. | |
345 | ||
caa790ba | 346 | To mount a cgroup hierarchy with all available subsystems, type: |
ddbcc7e8 PM |
347 | # mount -t cgroup xxx /dev/cgroup |
348 | ||
349 | The "xxx" is not interpreted by the cgroup code, but will appear in | |
350 | /proc/mounts so may be any useful identifying string that you like. | |
351 | ||
595f4b69 | 352 | To mount a cgroup hierarchy with just the cpuset and memory |
ddbcc7e8 | 353 | subsystems, type: |
b6719ec1 | 354 | # mount -t cgroup -o cpuset,memory hier1 /dev/cgroup |
ddbcc7e8 PM |
355 | |
356 | To change the set of subsystems bound to a mounted hierarchy, just | |
357 | remount with different options: | |
b6719ec1 | 358 | # mount -o remount,cpuset,ns hier1 /dev/cgroup |
ddbcc7e8 | 359 | |
b6719ec1 LZ |
360 | Now memory is removed from the hierarchy and ns is added. |
361 | ||
362 | Note this will add ns to the hierarchy but won't remove memory or | |
363 | cpuset, because the new options are appended to the old ones: | |
364 | # mount -o remount,ns /dev/cgroup | |
365 | ||
366 | To Specify a hierarchy's release_agent: | |
367 | # mount -t cgroup -o cpuset,release_agent="/sbin/cpuset_release_agent" \ | |
368 | xxx /dev/cgroup | |
369 | ||
370 | Note that specifying 'release_agent' more than once will return failure. | |
ddbcc7e8 PM |
371 | |
372 | Note that changing the set of subsystems is currently only supported | |
373 | when the hierarchy consists of a single (root) cgroup. Supporting | |
374 | the ability to arbitrarily bind/unbind subsystems from an existing | |
375 | cgroup hierarchy is intended to be implemented in the future. | |
376 | ||
377 | Then under /dev/cgroup you can find a tree that corresponds to the | |
378 | tree of the cgroups in the system. For instance, /dev/cgroup | |
379 | is the cgroup that holds the whole system. | |
380 | ||
b6719ec1 LZ |
381 | If you want to change the value of release_agent: |
382 | # echo "/sbin/new_release_agent" > /dev/cgroup/release_agent | |
383 | ||
384 | It can also be changed via remount. | |
385 | ||
ddbcc7e8 PM |
386 | If you want to create a new cgroup under /dev/cgroup: |
387 | # cd /dev/cgroup | |
388 | # mkdir my_cgroup | |
389 | ||
390 | Now you want to do something with this cgroup. | |
391 | # cd my_cgroup | |
392 | ||
393 | In this directory you can find several files: | |
394 | # ls | |
7823da36 | 395 | cgroup.procs notify_on_release tasks |
d19e0583 | 396 | (plus whatever files added by the attached subsystems) |
ddbcc7e8 PM |
397 | |
398 | Now attach your shell to this cgroup: | |
399 | # /bin/echo $$ > tasks | |
400 | ||
401 | You can also create cgroups inside your cgroup by using mkdir in this | |
402 | directory. | |
403 | # mkdir my_sub_cs | |
404 | ||
405 | To remove a cgroup, just use rmdir: | |
406 | # rmdir my_sub_cs | |
407 | ||
408 | This will fail if the cgroup is in use (has cgroups inside, or | |
409 | has processes attached, or is held alive by other subsystem-specific | |
410 | reference). | |
411 | ||
412 | 2.2 Attaching processes | |
413 | ----------------------- | |
414 | ||
415 | # /bin/echo PID > tasks | |
416 | ||
417 | Note that it is PID, not PIDs. You can only attach ONE task at a time. | |
418 | If you have several tasks to attach, you have to do it one after another: | |
419 | ||
420 | # /bin/echo PID1 > tasks | |
421 | # /bin/echo PID2 > tasks | |
422 | ... | |
423 | # /bin/echo PIDn > tasks | |
424 | ||
bef67c5a LZ |
425 | You can attach the current shell task by echoing 0: |
426 | ||
427 | # echo 0 > tasks | |
428 | ||
c6d57f33 PM |
429 | 2.3 Mounting hierarchies by name |
430 | -------------------------------- | |
431 | ||
432 | Passing the name=<x> option when mounting a cgroups hierarchy | |
433 | associates the given name with the hierarchy. This can be used when | |
434 | mounting a pre-existing hierarchy, in order to refer to it by name | |
435 | rather than by its set of active subsystems. Each hierarchy is either | |
436 | nameless, or has a unique name. | |
437 | ||
438 | The name should match [\w.-]+ | |
439 | ||
440 | When passing a name=<x> option for a new hierarchy, you need to | |
441 | specify subsystems manually; the legacy behaviour of mounting all | |
442 | subsystems when none are explicitly specified is not supported when | |
443 | you give a subsystem a name. | |
444 | ||
445 | The name of the subsystem appears as part of the hierarchy description | |
446 | in /proc/mounts and /proc/<pid>/cgroups. | |
447 | ||
0dea1168 KS |
448 | 2.4 Notification API |
449 | -------------------- | |
450 | ||
451 | There is mechanism which allows to get notifications about changing | |
452 | status of a cgroup. | |
453 | ||
454 | To register new notification handler you need: | |
455 | - create a file descriptor for event notification using eventfd(2); | |
456 | - open a control file to be monitored (e.g. memory.usage_in_bytes); | |
457 | - write "<event_fd> <control_fd> <args>" to cgroup.event_control. | |
458 | Interpretation of args is defined by control file implementation; | |
459 | ||
460 | eventfd will be woken up by control file implementation or when the | |
461 | cgroup is removed. | |
462 | ||
463 | To unregister notification handler just close eventfd. | |
464 | ||
465 | NOTE: Support of notifications should be implemented for the control | |
466 | file. See documentation for the subsystem. | |
c6d57f33 | 467 | |
ddbcc7e8 PM |
468 | 3. Kernel API |
469 | ============= | |
470 | ||
471 | 3.1 Overview | |
472 | ------------ | |
473 | ||
474 | Each kernel subsystem that wants to hook into the generic cgroup | |
475 | system needs to create a cgroup_subsys object. This contains | |
476 | various methods, which are callbacks from the cgroup system, along | |
477 | with a subsystem id which will be assigned by the cgroup system. | |
478 | ||
479 | Other fields in the cgroup_subsys object include: | |
480 | ||
481 | - subsys_id: a unique array index for the subsystem, indicating which | |
d19e0583 | 482 | entry in cgroup->subsys[] this subsystem should be managing. |
ddbcc7e8 | 483 | |
d19e0583 LZ |
484 | - name: should be initialized to a unique subsystem name. Should be |
485 | no longer than MAX_CGROUP_TYPE_NAMELEN. | |
ddbcc7e8 | 486 | |
d19e0583 LZ |
487 | - early_init: indicate if the subsystem needs early initialization |
488 | at system boot. | |
ddbcc7e8 PM |
489 | |
490 | Each cgroup object created by the system has an array of pointers, | |
491 | indexed by subsystem id; this pointer is entirely managed by the | |
492 | subsystem; the generic cgroup code will never touch this pointer. | |
493 | ||
494 | 3.2 Synchronization | |
495 | ------------------- | |
496 | ||
497 | There is a global mutex, cgroup_mutex, used by the cgroup | |
498 | system. This should be taken by anything that wants to modify a | |
499 | cgroup. It may also be taken to prevent cgroups from being | |
500 | modified, but more specific locks may be more appropriate in that | |
501 | situation. | |
502 | ||
503 | See kernel/cgroup.c for more details. | |
504 | ||
505 | Subsystems can take/release the cgroup_mutex via the functions | |
ddbcc7e8 PM |
506 | cgroup_lock()/cgroup_unlock(). |
507 | ||
508 | Accessing a task's cgroup pointer may be done in the following ways: | |
509 | - while holding cgroup_mutex | |
510 | - while holding the task's alloc_lock (via task_lock()) | |
511 | - inside an rcu_read_lock() section via rcu_dereference() | |
512 | ||
513 | 3.3 Subsystem API | |
d19e0583 | 514 | ----------------- |
ddbcc7e8 PM |
515 | |
516 | Each subsystem should: | |
517 | ||
518 | - add an entry in linux/cgroup_subsys.h | |
519 | - define a cgroup_subsys object called <name>_subsys | |
520 | ||
e6a1105b | 521 | If a subsystem can be compiled as a module, it should also have in its |
cf5d5941 BB |
522 | module initcall a call to cgroup_load_subsys(), and in its exitcall a |
523 | call to cgroup_unload_subsys(). It should also set its_subsys.module = | |
524 | THIS_MODULE in its .c file. | |
e6a1105b | 525 | |
ddbcc7e8 PM |
526 | Each subsystem may export the following methods. The only mandatory |
527 | methods are create/destroy. Any others that are null are presumed to | |
528 | be successful no-ops. | |
529 | ||
d19e0583 LZ |
530 | struct cgroup_subsys_state *create(struct cgroup_subsys *ss, |
531 | struct cgroup *cgrp) | |
8dc4f3e1 | 532 | (cgroup_mutex held by caller) |
ddbcc7e8 PM |
533 | |
534 | Called to create a subsystem state object for a cgroup. The | |
535 | subsystem should allocate its subsystem state object for the passed | |
536 | cgroup, returning a pointer to the new object on success or a | |
537 | negative error code. On success, the subsystem pointer should point to | |
538 | a structure of type cgroup_subsys_state (typically embedded in a | |
539 | larger subsystem-specific object), which will be initialized by the | |
540 | cgroup system. Note that this will be called at initialization to | |
541 | create the root subsystem state for this subsystem; this case can be | |
542 | identified by the passed cgroup object having a NULL parent (since | |
543 | it's the root of the hierarchy) and may be an appropriate place for | |
544 | initialization code. | |
545 | ||
d19e0583 | 546 | void destroy(struct cgroup_subsys *ss, struct cgroup *cgrp) |
8dc4f3e1 | 547 | (cgroup_mutex held by caller) |
ddbcc7e8 | 548 | |
8dc4f3e1 PM |
549 | The cgroup system is about to destroy the passed cgroup; the subsystem |
550 | should do any necessary cleanup and free its subsystem state | |
551 | object. By the time this method is called, the cgroup has already been | |
552 | unlinked from the file system and from the child list of its parent; | |
553 | cgroup->parent is still valid. (Note - can also be called for a | |
554 | newly-created cgroup if an error occurs after this subsystem's | |
555 | create() method has been called for the new cgroup). | |
ddbcc7e8 | 556 | |
ec64f515 | 557 | int pre_destroy(struct cgroup_subsys *ss, struct cgroup *cgrp); |
d19e0583 LZ |
558 | |
559 | Called before checking the reference count on each subsystem. This may | |
560 | be useful for subsystems which have some extra references even if | |
ec64f515 KH |
561 | there are not tasks in the cgroup. If pre_destroy() returns error code, |
562 | rmdir() will fail with it. From this behavior, pre_destroy() can be | |
563 | called multiple times against a cgroup. | |
d19e0583 LZ |
564 | |
565 | int can_attach(struct cgroup_subsys *ss, struct cgroup *cgrp, | |
be367d09 | 566 | struct task_struct *task, bool threadgroup) |
8dc4f3e1 | 567 | (cgroup_mutex held by caller) |
ddbcc7e8 PM |
568 | |
569 | Called prior to moving a task into a cgroup; if the subsystem | |
570 | returns an error, this will abort the attach operation. If a NULL | |
571 | task is passed, then a successful result indicates that *any* | |
572 | unspecified task can be moved into the cgroup. Note that this isn't | |
573 | called on a fork. If this method returns 0 (success) then this should | |
2468c723 DN |
574 | remain valid while the caller holds cgroup_mutex and it is ensured that either |
575 | attach() or cancel_attach() will be called in future. If threadgroup is | |
be367d09 BB |
576 | true, then a successful result indicates that all threads in the given |
577 | thread's threadgroup can be moved together. | |
ddbcc7e8 | 578 | |
2468c723 DN |
579 | void cancel_attach(struct cgroup_subsys *ss, struct cgroup *cgrp, |
580 | struct task_struct *task, bool threadgroup) | |
581 | (cgroup_mutex held by caller) | |
582 | ||
583 | Called when a task attach operation has failed after can_attach() has succeeded. | |
584 | A subsystem whose can_attach() has some side-effects should provide this | |
88393161 | 585 | function, so that the subsystem can implement a rollback. If not, not necessary. |
2468c723 DN |
586 | This will be called only about subsystems whose can_attach() operation have |
587 | succeeded. | |
588 | ||
d19e0583 | 589 | void attach(struct cgroup_subsys *ss, struct cgroup *cgrp, |
be367d09 BB |
590 | struct cgroup *old_cgrp, struct task_struct *task, |
591 | bool threadgroup) | |
18e7f1f0 | 592 | (cgroup_mutex held by caller) |
ddbcc7e8 PM |
593 | |
594 | Called after the task has been attached to the cgroup, to allow any | |
595 | post-attachment activity that requires memory allocations or blocking. | |
be367d09 BB |
596 | If threadgroup is true, the subsystem should take care of all threads |
597 | in the specified thread's threadgroup. Currently does not support any | |
598 | subsystem that might need the old_cgrp for every thread in the group. | |
ddbcc7e8 PM |
599 | |
600 | void fork(struct cgroup_subsy *ss, struct task_struct *task) | |
ddbcc7e8 | 601 | |
e8d55fde | 602 | Called when a task is forked into a cgroup. |
ddbcc7e8 PM |
603 | |
604 | void exit(struct cgroup_subsys *ss, struct task_struct *task) | |
ddbcc7e8 | 605 | |
d19e0583 | 606 | Called during task exit. |
ddbcc7e8 | 607 | |
d19e0583 | 608 | int populate(struct cgroup_subsys *ss, struct cgroup *cgrp) |
18e7f1f0 | 609 | (cgroup_mutex held by caller) |
ddbcc7e8 PM |
610 | |
611 | Called after creation of a cgroup to allow a subsystem to populate | |
612 | the cgroup directory with file entries. The subsystem should make | |
613 | calls to cgroup_add_file() with objects of type cftype (see | |
614 | include/linux/cgroup.h for details). Note that although this | |
615 | method can return an error code, the error code is currently not | |
616 | always handled well. | |
617 | ||
d19e0583 | 618 | void post_clone(struct cgroup_subsys *ss, struct cgroup *cgrp) |
18e7f1f0 | 619 | (cgroup_mutex held by caller) |
697f4161 | 620 | |
caa790ba | 621 | Called at the end of cgroup_clone() to do any parameter |
697f4161 PM |
622 | initialization which might be required before a task could attach. For |
623 | example in cpusets, no task may attach before 'cpus' and 'mems' are set | |
624 | up. | |
625 | ||
ddbcc7e8 | 626 | void bind(struct cgroup_subsys *ss, struct cgroup *root) |
999cd8a4 | 627 | (cgroup_mutex and ss->hierarchy_mutex held by caller) |
ddbcc7e8 PM |
628 | |
629 | Called when a cgroup subsystem is rebound to a different hierarchy | |
630 | and root cgroup. Currently this will only involve movement between | |
631 | the default hierarchy (which never has sub-cgroups) and a hierarchy | |
632 | that is being created/destroyed (and hence has no sub-cgroups). | |
633 | ||
634 | 4. Questions | |
635 | ============ | |
636 | ||
637 | Q: what's up with this '/bin/echo' ? | |
638 | A: bash's builtin 'echo' command does not check calls to write() against | |
639 | errors. If you use it in the cgroup file system, you won't be | |
640 | able to tell whether a command succeeded or failed. | |
641 | ||
642 | Q: When I attach processes, only the first of the line gets really attached ! | |
643 | A: We can only return one error code per call to write(). So you should also | |
644 | put only ONE pid. | |
645 |