1 /* SPDX-License-Identifier: LGPL-2.1+ */
10 #include <sys/utsname.h>
11 #include <sys/xattr.h>
14 #include "alloc-util.h"
15 #include "cgroup-util.h"
17 #include "dirent-util.h"
18 #include "extract-word.h"
21 #include "format-util.h"
24 #include "login-util.h"
26 #include "missing_magic.h"
28 #include "parse-util.h"
29 #include "path-util.h"
30 #include "process-util.h"
33 #include "stat-util.h"
34 #include "stdio-util.h"
35 #include "string-table.h"
36 #include "string-util.h"
38 #include "unit-name.h"
39 #include "user-util.h"
40 #include "xattr-util.h"
42 static int cg_enumerate_items(const char *controller
, const char *path
, FILE **_f
, const char *item
) {
43 _cleanup_free_
char *fs
= NULL
;
49 r
= cg_get_path(controller
, path
, item
, &fs
);
61 int cg_enumerate_processes(const char *controller
, const char *path
, FILE **_f
) {
62 return cg_enumerate_items(controller
, path
, _f
, "cgroup.procs");
65 int cg_read_pid(FILE *f
, pid_t
*_pid
) {
68 /* Note that the cgroup.procs might contain duplicates! See
69 * cgroups.txt for details. */
75 if (fscanf(f
, "%lu", &ul
) != 1) {
80 return errno_or_else(EIO
);
91 const char *controller
,
96 _cleanup_free_
char *events
= NULL
, *content
= NULL
;
99 r
= cg_get_path(controller
, path
, "cgroup.events", &events
);
103 r
= read_full_file(events
, &content
, NULL
);
107 for (const char *p
= content
;;) {
108 _cleanup_free_
char *line
= NULL
, *key
= NULL
, *val
= NULL
;
111 r
= extract_first_word(&p
, &line
, "\n", 0);
118 r
= extract_first_word(&q
, &key
, " ", 0);
124 if (!streq(key
, event
))
131 *ret
= TAKE_PTR(val
);
136 bool cg_ns_supported(void) {
137 static thread_local
int enabled
= -1;
142 if (access("/proc/self/ns/cgroup", F_OK
) < 0) {
144 log_debug_errno(errno
, "Failed to check whether /proc/self/ns/cgroup is available, assuming not: %m");
152 bool cg_freezer_supported(void) {
153 static thread_local
int supported
= -1;
158 supported
= cg_all_unified() > 0 && access("/sys/fs/cgroup/init.scope/cgroup.freeze", F_OK
) == 0;
163 int cg_enumerate_subgroups(const char *controller
, const char *path
, DIR **_d
) {
164 _cleanup_free_
char *fs
= NULL
;
170 /* This is not recursive! */
172 r
= cg_get_path(controller
, path
, NULL
, &fs
);
184 int cg_read_subgroup(DIR *d
, char **fn
) {
190 FOREACH_DIRENT_ALL(de
, d
, return -errno
) {
193 if (de
->d_type
!= DT_DIR
)
196 if (dot_or_dot_dot(de
->d_name
))
199 b
= strdup(de
->d_name
);
210 int cg_rmdir(const char *controller
, const char *path
) {
211 _cleanup_free_
char *p
= NULL
;
214 r
= cg_get_path(controller
, path
, NULL
, &p
);
219 if (r
< 0 && errno
!= ENOENT
)
222 r
= cg_hybrid_unified();
226 if (streq(controller
, SYSTEMD_CGROUP_CONTROLLER
)) {
227 r
= cg_rmdir(SYSTEMD_CGROUP_CONTROLLER_LEGACY
, path
);
229 log_warning_errno(r
, "Failed to remove compat systemd cgroup %s: %m", path
);
235 static int cg_kill_items(
236 const char *controller
,
241 cg_kill_log_func_t log_kill
,
245 _cleanup_set_free_ Set
*allocated_set
= NULL
;
247 int r
, ret
= 0, ret_log_kill
= 0;
252 /* Don't send SIGCONT twice. Also, SIGKILL always works even when process is suspended, hence don't send
253 * SIGCONT on SIGKILL. */
254 if (IN_SET(sig
, SIGCONT
, SIGKILL
))
255 flags
&= ~CGROUP_SIGCONT
;
257 /* This goes through the tasks list and kills them all. This
258 * is repeated until no further processes are added to the
259 * tasks list, to properly handle forking processes */
262 s
= allocated_set
= set_new(NULL
);
267 my_pid
= getpid_cached();
270 _cleanup_fclose_
FILE *f
= NULL
;
274 r
= cg_enumerate_items(controller
, path
, &f
, item
);
276 if (ret
>= 0 && r
!= -ENOENT
)
282 while ((r
= cg_read_pid(f
, &pid
)) > 0) {
284 if ((flags
& CGROUP_IGNORE_SELF
) && pid
== my_pid
)
287 if (set_get(s
, PID_TO_PTR(pid
)) == PID_TO_PTR(pid
))
291 ret_log_kill
= log_kill(pid
, sig
, userdata
);
293 /* If we haven't killed this process yet, kill
295 if (kill(pid
, sig
) < 0) {
296 if (ret
>= 0 && errno
!= ESRCH
)
299 if (flags
& CGROUP_SIGCONT
)
300 (void) kill(pid
, SIGCONT
);
312 r
= set_put(s
, PID_TO_PTR(pid
));
328 /* To avoid racing against processes which fork
329 * quicker than we can kill them we repeat this until
330 * no new pids need to be killed. */
338 const char *controller
,
343 cg_kill_log_func_t log_kill
,
347 r
= cg_kill_items(controller
, path
, sig
, flags
, s
, log_kill
, userdata
, "cgroup.procs");
348 if (r
< 0 || sig
!= SIGKILL
)
351 /* Only in case of killing with SIGKILL and when using cgroupsv2, kill remaining threads manually as
352 a workaround for kernel bug. It was fixed in 5.2-rc5 (c03cd7738a83), backported to 4.19.66
353 (4340d175b898) and 4.14.138 (feb6b123b7dd). */
354 r
= cg_unified_controller(controller
);
358 return cg_kill_items(controller
, path
, sig
, flags
, s
, log_kill
, userdata
, "cgroup.threads");
361 int cg_kill_recursive(
362 const char *controller
,
367 cg_kill_log_func_t log_kill
,
370 _cleanup_set_free_ Set
*allocated_set
= NULL
;
371 _cleanup_closedir_
DIR *d
= NULL
;
379 s
= allocated_set
= set_new(NULL
);
384 ret
= cg_kill(controller
, path
, sig
, flags
, s
, log_kill
, userdata
);
386 r
= cg_enumerate_subgroups(controller
, path
, &d
);
388 if (ret
>= 0 && r
!= -ENOENT
)
394 while ((r
= cg_read_subgroup(d
, &fn
)) > 0) {
395 _cleanup_free_
char *p
= NULL
;
397 p
= path_join(empty_to_root(path
), fn
);
402 r
= cg_kill_recursive(controller
, p
, sig
, flags
, s
, log_kill
, userdata
);
403 if (r
!= 0 && ret
>= 0)
406 if (ret
>= 0 && r
< 0)
409 if (flags
& CGROUP_REMOVE
) {
410 r
= cg_rmdir(controller
, path
);
411 if (r
< 0 && ret
>= 0 && !IN_SET(r
, -ENOENT
, -EBUSY
))
418 static const char *controller_to_dirname(const char *controller
) {
423 /* Converts a controller name to the directory name below
424 * /sys/fs/cgroup/ we want to mount it to. Effectively, this
425 * just cuts off the name= prefixed used for named
426 * hierarchies, if it is specified. */
428 if (streq(controller
, SYSTEMD_CGROUP_CONTROLLER
)) {
429 if (cg_hybrid_unified() > 0)
430 controller
= SYSTEMD_CGROUP_CONTROLLER_HYBRID
;
432 controller
= SYSTEMD_CGROUP_CONTROLLER_LEGACY
;
435 e
= startswith(controller
, "name=");
442 static int join_path_legacy(const char *controller
, const char *path
, const char *suffix
, char **fs
) {
449 dn
= controller_to_dirname(controller
);
451 if (isempty(path
) && isempty(suffix
))
452 t
= path_join("/sys/fs/cgroup", dn
);
453 else if (isempty(path
))
454 t
= path_join("/sys/fs/cgroup", dn
, suffix
);
455 else if (isempty(suffix
))
456 t
= path_join("/sys/fs/cgroup", dn
, path
);
458 t
= path_join("/sys/fs/cgroup", dn
, path
, suffix
);
466 static int join_path_unified(const char *path
, const char *suffix
, char **fs
) {
471 if (isempty(path
) && isempty(suffix
))
472 t
= strdup("/sys/fs/cgroup");
473 else if (isempty(path
))
474 t
= path_join("/sys/fs/cgroup", suffix
);
475 else if (isempty(suffix
))
476 t
= path_join("/sys/fs/cgroup", path
);
478 t
= path_join("/sys/fs/cgroup", path
, suffix
);
486 int cg_get_path(const char *controller
, const char *path
, const char *suffix
, char **fs
) {
494 /* If no controller is specified, we return the path
495 * *below* the controllers, without any prefix. */
497 if (!path
&& !suffix
)
505 t
= path_join(path
, suffix
);
509 *fs
= path_simplify(t
, false);
513 if (!cg_controller_is_valid(controller
))
516 r
= cg_all_unified();
520 r
= join_path_unified(path
, suffix
, fs
);
522 r
= join_path_legacy(controller
, path
, suffix
, fs
);
526 path_simplify(*fs
, false);
530 static int controller_is_accessible(const char *controller
) {
535 /* Checks whether a specific controller is accessible,
536 * i.e. its hierarchy mounted. In the unified hierarchy all
537 * controllers are considered accessible, except for the named
540 if (!cg_controller_is_valid(controller
))
543 r
= cg_all_unified();
547 /* We don't support named hierarchies if we are using
548 * the unified hierarchy. */
550 if (streq(controller
, SYSTEMD_CGROUP_CONTROLLER
))
553 if (startswith(controller
, "name="))
559 dn
= controller_to_dirname(controller
);
560 cc
= strjoina("/sys/fs/cgroup/", dn
);
562 if (laccess(cc
, F_OK
) < 0)
569 int cg_get_path_and_check(const char *controller
, const char *path
, const char *suffix
, char **fs
) {
575 /* Check if the specified controller is actually accessible */
576 r
= controller_is_accessible(controller
);
580 return cg_get_path(controller
, path
, suffix
, fs
);
583 int cg_set_xattr(const char *controller
, const char *path
, const char *name
, const void *value
, size_t size
, int flags
) {
584 _cleanup_free_
char *fs
= NULL
;
589 assert(value
|| size
<= 0);
591 r
= cg_get_path(controller
, path
, NULL
, &fs
);
595 if (setxattr(fs
, name
, value
, size
, flags
) < 0)
601 int cg_get_xattr(const char *controller
, const char *path
, const char *name
, void *value
, size_t size
) {
602 _cleanup_free_
char *fs
= NULL
;
609 r
= cg_get_path(controller
, path
, NULL
, &fs
);
613 n
= getxattr(fs
, name
, value
, size
);
620 int cg_get_xattr_malloc(const char *controller
, const char *path
, const char *name
, char **ret
) {
621 _cleanup_free_
char *fs
= NULL
;
627 r
= cg_get_path(controller
, path
, NULL
, &fs
);
631 r
= getxattr_malloc(fs
, name
, ret
, false);
638 int cg_remove_xattr(const char *controller
, const char *path
, const char *name
) {
639 _cleanup_free_
char *fs
= NULL
;
645 r
= cg_get_path(controller
, path
, NULL
, &fs
);
649 if (removexattr(fs
, name
) < 0)
655 int cg_pid_get_path(const char *controller
, pid_t pid
, char **path
) {
656 _cleanup_fclose_
FILE *f
= NULL
;
657 const char *fs
, *controller_str
;
665 if (!cg_controller_is_valid(controller
))
668 controller
= SYSTEMD_CGROUP_CONTROLLER
;
670 unified
= cg_unified_controller(controller
);
674 if (streq(controller
, SYSTEMD_CGROUP_CONTROLLER
))
675 controller_str
= SYSTEMD_CGROUP_CONTROLLER_LEGACY
;
677 controller_str
= controller
;
679 cs
= strlen(controller_str
);
682 fs
= procfs_file_alloca(pid
, "cgroup");
683 r
= fopen_unlocked(fs
, "re", &f
);
690 _cleanup_free_
char *line
= NULL
;
693 r
= read_line(f
, LONG_LINE_MAX
, &line
);
700 e
= startswith(line
, "0:");
710 const char *word
, *state
;
713 l
= strchr(line
, ':');
723 FOREACH_WORD_SEPARATOR(word
, k
, l
, ",", state
)
724 if (k
== cs
&& memcmp(word
, controller_str
, cs
) == 0) {
736 /* Truncate suffix indicating the process is a zombie */
737 e
= endswith(p
, " (deleted)");
748 int cg_install_release_agent(const char *controller
, const char *agent
) {
749 _cleanup_free_
char *fs
= NULL
, *contents
= NULL
;
755 r
= cg_unified_controller(controller
);
758 if (r
> 0) /* doesn't apply to unified hierarchy */
761 r
= cg_get_path(controller
, NULL
, "release_agent", &fs
);
765 r
= read_one_line_file(fs
, &contents
);
769 sc
= strstrip(contents
);
771 r
= write_string_file(fs
, agent
, WRITE_STRING_FILE_DISABLE_BUFFER
);
774 } else if (!path_equal(sc
, agent
))
778 r
= cg_get_path(controller
, NULL
, "notify_on_release", &fs
);
782 contents
= mfree(contents
);
783 r
= read_one_line_file(fs
, &contents
);
787 sc
= strstrip(contents
);
788 if (streq(sc
, "0")) {
789 r
= write_string_file(fs
, "1", WRITE_STRING_FILE_DISABLE_BUFFER
);
802 int cg_uninstall_release_agent(const char *controller
) {
803 _cleanup_free_
char *fs
= NULL
;
806 r
= cg_unified_controller(controller
);
809 if (r
> 0) /* Doesn't apply to unified hierarchy */
812 r
= cg_get_path(controller
, NULL
, "notify_on_release", &fs
);
816 r
= write_string_file(fs
, "0", WRITE_STRING_FILE_DISABLE_BUFFER
);
822 r
= cg_get_path(controller
, NULL
, "release_agent", &fs
);
826 r
= write_string_file(fs
, "", WRITE_STRING_FILE_DISABLE_BUFFER
);
833 int cg_is_empty(const char *controller
, const char *path
) {
834 _cleanup_fclose_
FILE *f
= NULL
;
840 r
= cg_enumerate_processes(controller
, path
, &f
);
846 r
= cg_read_pid(f
, &pid
);
853 int cg_is_empty_recursive(const char *controller
, const char *path
) {
858 /* The root cgroup is always populated */
859 if (controller
&& empty_or_root(path
))
862 r
= cg_unified_controller(controller
);
866 _cleanup_free_
char *t
= NULL
;
868 /* On the unified hierarchy we can check empty state
869 * via the "populated" attribute of "cgroup.events". */
871 r
= cg_read_event(controller
, path
, "populated", &t
);
877 return streq(t
, "0");
879 _cleanup_closedir_
DIR *d
= NULL
;
882 r
= cg_is_empty(controller
, path
);
886 r
= cg_enumerate_subgroups(controller
, path
, &d
);
892 while ((r
= cg_read_subgroup(d
, &fn
)) > 0) {
893 _cleanup_free_
char *p
= NULL
;
895 p
= path_join(path
, fn
);
900 r
= cg_is_empty_recursive(controller
, p
);
911 int cg_split_spec(const char *spec
, char **ret_controller
, char **ret_path
) {
912 _cleanup_free_
char *controller
= NULL
, *path
= NULL
;
917 if (!path_is_normalized(spec
))
925 path_simplify(path
, false);
931 e
= strchr(spec
, ':');
933 controller
= strndup(spec
, e
-spec
);
936 if (!cg_controller_is_valid(controller
))
939 if (!isempty(e
+ 1)) {
944 if (!path_is_normalized(path
) ||
945 !path_is_absolute(path
))
948 path_simplify(path
, false);
952 if (!cg_controller_is_valid(spec
))
955 if (ret_controller
) {
956 controller
= strdup(spec
);
964 *ret_controller
= TAKE_PTR(controller
);
966 *ret_path
= TAKE_PTR(path
);
970 int cg_mangle_path(const char *path
, char **result
) {
971 _cleanup_free_
char *c
= NULL
, *p
= NULL
;
978 /* First, check if it already is a filesystem path */
979 if (path_startswith(path
, "/sys/fs/cgroup")) {
985 *result
= path_simplify(t
, false);
989 /* Otherwise, treat it as cg spec */
990 r
= cg_split_spec(path
, &c
, &p
);
994 return cg_get_path(c
?: SYSTEMD_CGROUP_CONTROLLER
, p
?: "/", NULL
, result
);
997 int cg_get_root_path(char **path
) {
1003 r
= cg_pid_get_path(SYSTEMD_CGROUP_CONTROLLER
, 1, &p
);
1007 e
= endswith(p
, "/" SPECIAL_INIT_SCOPE
);
1009 e
= endswith(p
, "/" SPECIAL_SYSTEM_SLICE
); /* legacy */
1011 e
= endswith(p
, "/system"); /* even more legacy */
1019 int cg_shift_path(const char *cgroup
, const char *root
, const char **shifted
) {
1020 _cleanup_free_
char *rt
= NULL
;
1028 /* If the root was specified let's use that, otherwise
1029 * let's determine it from PID 1 */
1031 r
= cg_get_root_path(&rt
);
1038 p
= path_startswith(cgroup
, root
);
1039 if (p
&& p
> cgroup
)
1047 int cg_pid_get_path_shifted(pid_t pid
, const char *root
, char **cgroup
) {
1048 _cleanup_free_
char *raw
= NULL
;
1055 r
= cg_pid_get_path(SYSTEMD_CGROUP_CONTROLLER
, pid
, &raw
);
1059 r
= cg_shift_path(raw
, root
, &c
);
1064 *cgroup
= TAKE_PTR(raw
);
1078 int cg_path_decode_unit(const char *cgroup
, char **unit
) {
1085 n
= strcspn(cgroup
, "/");
1089 c
= strndupa(cgroup
, n
);
1092 if (!unit_name_is_valid(c
, UNIT_NAME_PLAIN
|UNIT_NAME_INSTANCE
))
1103 static bool valid_slice_name(const char *p
, size_t n
) {
1108 if (n
< STRLEN("x.slice"))
1111 if (memcmp(p
+ n
- 6, ".slice", 6) == 0) {
1117 c
= cg_unescape(buf
);
1119 return unit_name_is_valid(c
, UNIT_NAME_PLAIN
);
1125 static const char *skip_slices(const char *p
) {
1128 /* Skips over all slice assignments */
1133 p
+= strspn(p
, "/");
1135 n
= strcspn(p
, "/");
1136 if (!valid_slice_name(p
, n
))
1143 int cg_path_get_unit(const char *path
, char **ret
) {
1151 e
= skip_slices(path
);
1153 r
= cg_path_decode_unit(e
, &unit
);
1157 /* We skipped over the slices, don't accept any now */
1158 if (endswith(unit
, ".slice")) {
1167 int cg_pid_get_unit(pid_t pid
, char **unit
) {
1168 _cleanup_free_
char *cgroup
= NULL
;
1173 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1177 return cg_path_get_unit(cgroup
, unit
);
1181 * Skip session-*.scope, but require it to be there.
1183 static const char *skip_session(const char *p
) {
1189 p
+= strspn(p
, "/");
1191 n
= strcspn(p
, "/");
1192 if (n
< STRLEN("session-x.scope"))
1195 if (memcmp(p
, "session-", 8) == 0 && memcmp(p
+ n
- 6, ".scope", 6) == 0) {
1196 char buf
[n
- 8 - 6 + 1];
1198 memcpy(buf
, p
+ 8, n
- 8 - 6);
1201 /* Note that session scopes never need unescaping,
1202 * since they cannot conflict with the kernel's own
1203 * names, hence we don't need to call cg_unescape()
1206 if (!session_id_valid(buf
))
1210 p
+= strspn(p
, "/");
1218 * Skip user@*.service, but require it to be there.
1220 static const char *skip_user_manager(const char *p
) {
1226 p
+= strspn(p
, "/");
1228 n
= strcspn(p
, "/");
1229 if (n
< STRLEN("user@x.service"))
1232 if (memcmp(p
, "user@", 5) == 0 && memcmp(p
+ n
- 8, ".service", 8) == 0) {
1233 char buf
[n
- 5 - 8 + 1];
1235 memcpy(buf
, p
+ 5, n
- 5 - 8);
1238 /* Note that user manager services never need unescaping,
1239 * since they cannot conflict with the kernel's own
1240 * names, hence we don't need to call cg_unescape()
1243 if (parse_uid(buf
, NULL
) < 0)
1247 p
+= strspn(p
, "/");
1255 static const char *skip_user_prefix(const char *path
) {
1260 /* Skip slices, if there are any */
1261 e
= skip_slices(path
);
1263 /* Skip the user manager, if it's in the path now... */
1264 t
= skip_user_manager(e
);
1268 /* Alternatively skip the user session if it is in the path... */
1269 return skip_session(e
);
1272 int cg_path_get_user_unit(const char *path
, char **ret
) {
1278 t
= skip_user_prefix(path
);
1282 /* And from here on it looks pretty much the same as for a system unit, hence let's use the same
1284 return cg_path_get_unit(t
, ret
);
1287 int cg_pid_get_user_unit(pid_t pid
, char **unit
) {
1288 _cleanup_free_
char *cgroup
= NULL
;
1293 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1297 return cg_path_get_user_unit(cgroup
, unit
);
1300 int cg_path_get_machine_name(const char *path
, char **machine
) {
1301 _cleanup_free_
char *u
= NULL
;
1305 r
= cg_path_get_unit(path
, &u
);
1309 sl
= strjoina("/run/systemd/machines/unit:", u
);
1310 return readlink_malloc(sl
, machine
);
1313 int cg_pid_get_machine_name(pid_t pid
, char **machine
) {
1314 _cleanup_free_
char *cgroup
= NULL
;
1319 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1323 return cg_path_get_machine_name(cgroup
, machine
);
1326 int cg_path_get_session(const char *path
, char **session
) {
1327 _cleanup_free_
char *unit
= NULL
;
1333 r
= cg_path_get_unit(path
, &unit
);
1337 start
= startswith(unit
, "session-");
1340 end
= endswith(start
, ".scope");
1345 if (!session_id_valid(start
))
1361 int cg_pid_get_session(pid_t pid
, char **session
) {
1362 _cleanup_free_
char *cgroup
= NULL
;
1365 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1369 return cg_path_get_session(cgroup
, session
);
1372 int cg_path_get_owner_uid(const char *path
, uid_t
*uid
) {
1373 _cleanup_free_
char *slice
= NULL
;
1379 r
= cg_path_get_slice(path
, &slice
);
1383 start
= startswith(slice
, "user-");
1386 end
= endswith(start
, ".slice");
1391 if (parse_uid(start
, uid
) < 0)
1397 int cg_pid_get_owner_uid(pid_t pid
, uid_t
*uid
) {
1398 _cleanup_free_
char *cgroup
= NULL
;
1401 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1405 return cg_path_get_owner_uid(cgroup
, uid
);
1408 int cg_path_get_slice(const char *p
, char **slice
) {
1409 const char *e
= NULL
;
1414 /* Finds the right-most slice unit from the beginning, but
1415 * stops before we come to the first non-slice unit. */
1420 p
+= strspn(p
, "/");
1422 n
= strcspn(p
, "/");
1423 if (!valid_slice_name(p
, n
)) {
1428 s
= strdup(SPECIAL_ROOT_SLICE
);
1436 return cg_path_decode_unit(e
, slice
);
1444 int cg_pid_get_slice(pid_t pid
, char **slice
) {
1445 _cleanup_free_
char *cgroup
= NULL
;
1450 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1454 return cg_path_get_slice(cgroup
, slice
);
1457 int cg_path_get_user_slice(const char *p
, char **slice
) {
1462 t
= skip_user_prefix(p
);
1466 /* And now it looks pretty much the same as for a system
1467 * slice, so let's just use the same parser from here on. */
1468 return cg_path_get_slice(t
, slice
);
1471 int cg_pid_get_user_slice(pid_t pid
, char **slice
) {
1472 _cleanup_free_
char *cgroup
= NULL
;
1477 r
= cg_pid_get_path_shifted(pid
, NULL
, &cgroup
);
1481 return cg_path_get_user_slice(cgroup
, slice
);
1484 char *cg_escape(const char *p
) {
1485 bool need_prefix
= false;
1487 /* This implements very minimal escaping for names to be used
1488 * as file names in the cgroup tree: any name which might
1489 * conflict with a kernel name or is prefixed with '_' is
1490 * prefixed with a '_'. That way, when reading cgroup names it
1491 * is sufficient to remove a single prefixing underscore if
1494 /* The return value of this function (unlike cg_unescape())
1497 if (IN_SET(p
[0], 0, '_', '.') ||
1498 STR_IN_SET(p
, "notify_on_release", "release_agent", "tasks") ||
1499 startswith(p
, "cgroup."))
1504 dot
= strrchr(p
, '.');
1509 for (c
= 0; c
< _CGROUP_CONTROLLER_MAX
; c
++) {
1512 n
= cgroup_controller_to_string(c
);
1517 if (memcmp(p
, n
, l
) != 0)
1527 return strjoin("_", p
);
1532 char *cg_unescape(const char *p
) {
1535 /* The return value of this function (unlike cg_escape())
1536 * doesn't need free()! */
1544 #define CONTROLLER_VALID \
1548 bool cg_controller_is_valid(const char *p
) {
1554 if (streq(p
, SYSTEMD_CGROUP_CONTROLLER
))
1557 s
= startswith(p
, "name=");
1561 if (IN_SET(*p
, 0, '_'))
1564 for (t
= p
; *t
; t
++)
1565 if (!strchr(CONTROLLER_VALID
, *t
))
1568 if (t
- p
> FILENAME_MAX
)
1574 int cg_slice_to_path(const char *unit
, char **ret
) {
1575 _cleanup_free_
char *p
= NULL
, *s
= NULL
, *e
= NULL
;
1582 if (streq(unit
, SPECIAL_ROOT_SLICE
)) {
1592 if (!unit_name_is_valid(unit
, UNIT_NAME_PLAIN
))
1595 if (!endswith(unit
, ".slice"))
1598 r
= unit_name_to_prefix(unit
, &p
);
1602 dash
= strchr(p
, '-');
1604 /* Don't allow initial dashes */
1609 _cleanup_free_
char *escaped
= NULL
;
1610 char n
[dash
- p
+ sizeof(".slice")];
1612 #if HAS_FEATURE_MEMORY_SANITIZER
1613 /* msan doesn't instrument stpncpy, so it thinks
1614 * n is later used uninitialized:
1615 * https://github.com/google/sanitizers/issues/926
1620 /* Don't allow trailing or double dashes */
1621 if (IN_SET(dash
[1], 0, '-'))
1624 strcpy(stpncpy(n
, p
, dash
- p
), ".slice");
1625 if (!unit_name_is_valid(n
, UNIT_NAME_PLAIN
))
1628 escaped
= cg_escape(n
);
1632 if (!strextend(&s
, escaped
, "/", NULL
))
1635 dash
= strchr(dash
+1, '-');
1638 e
= cg_escape(unit
);
1642 if (!strextend(&s
, e
, NULL
))
1650 int cg_set_attribute(const char *controller
, const char *path
, const char *attribute
, const char *value
) {
1651 _cleanup_free_
char *p
= NULL
;
1654 r
= cg_get_path(controller
, path
, attribute
, &p
);
1658 return write_string_file(p
, value
, WRITE_STRING_FILE_DISABLE_BUFFER
);
1661 int cg_get_attribute(const char *controller
, const char *path
, const char *attribute
, char **ret
) {
1662 _cleanup_free_
char *p
= NULL
;
1665 r
= cg_get_path(controller
, path
, attribute
, &p
);
1669 return read_one_line_file(p
, ret
);
1672 int cg_get_attribute_as_uint64(const char *controller
, const char *path
, const char *attribute
, uint64_t *ret
) {
1673 _cleanup_free_
char *value
= NULL
;
1679 r
= cg_get_attribute(controller
, path
, attribute
, &value
);
1685 if (streq(value
, "max")) {
1686 *ret
= CGROUP_LIMIT_MAX
;
1690 r
= safe_atou64(value
, &v
);
1698 int cg_get_keyed_attribute_full(
1699 const char *controller
,
1701 const char *attribute
,
1704 CGroupKeyMode mode
) {
1706 _cleanup_free_
char *filename
= NULL
, *contents
= NULL
;
1708 size_t n
, i
, n_done
= 0;
1712 /* Reads one or more fields of a cgroup v2 keyed attribute file. The 'keys' parameter should be an strv with
1713 * all keys to retrieve. The 'ret_values' parameter should be passed as string size with the same number of
1714 * entries as 'keys'. On success each entry will be set to the value of the matching key.
1716 * If the attribute file doesn't exist at all returns ENOENT, if any key is not found returns ENXIO. If mode
1717 * is set to GG_KEY_MODE_GRACEFUL we ignore missing keys and return those that were parsed successfully. */
1719 r
= cg_get_path(controller
, path
, attribute
, &filename
);
1723 r
= read_full_file(filename
, &contents
, NULL
);
1727 n
= strv_length(keys
);
1728 if (n
== 0) /* No keys to retrieve? That's easy, we are done then */
1731 /* Let's build this up in a temporary array for now in order not to clobber the return parameter on failure */
1732 v
= newa0(char*, n
);
1734 for (p
= contents
; *p
;) {
1735 const char *w
= NULL
;
1737 for (i
= 0; i
< n
; i
++)
1739 w
= first_word(p
, keys
[i
]);
1747 l
= strcspn(w
, NEWLINE
);
1748 v
[i
] = strndup(w
, l
);
1760 p
+= strcspn(p
, NEWLINE
);
1762 p
+= strspn(p
, NEWLINE
);
1765 if (mode
& CG_KEY_MODE_GRACEFUL
)
1771 for (i
= 0; i
< n
; i
++)
1777 memcpy(ret_values
, v
, sizeof(char*) * n
);
1778 if (mode
& CG_KEY_MODE_GRACEFUL
)
1784 int cg_mask_to_string(CGroupMask mask
, char **ret
) {
1785 _cleanup_free_
char *s
= NULL
;
1786 size_t n
= 0, allocated
= 0;
1797 for (c
= 0; c
< _CGROUP_CONTROLLER_MAX
; c
++) {
1801 if (!FLAGS_SET(mask
, CGROUP_CONTROLLER_TO_MASK(c
)))
1804 k
= cgroup_controller_to_string(c
);
1807 if (!GREEDY_REALLOC(s
, allocated
, n
+ space
+ l
+ 1))
1812 memcpy(s
+ n
+ space
, k
, l
);
1826 int cg_mask_from_string(const char *value
, CGroupMask
*ret
) {
1833 _cleanup_free_
char *n
= NULL
;
1837 r
= extract_first_word(&value
, &n
, NULL
, 0);
1843 v
= cgroup_controller_from_string(n
);
1847 m
|= CGROUP_CONTROLLER_TO_MASK(v
);
1854 int cg_mask_supported(CGroupMask
*ret
) {
1858 /* Determines the mask of supported cgroup controllers. Only includes controllers we can make sense of and that
1859 * are actually accessible. Only covers real controllers, i.e. not the CGROUP_CONTROLLER_BPF_xyz
1860 * pseudo-controllers. */
1862 r
= cg_all_unified();
1866 _cleanup_free_
char *root
= NULL
, *controllers
= NULL
, *path
= NULL
;
1868 /* In the unified hierarchy we can read the supported
1869 * and accessible controllers from a the top-level
1870 * cgroup attribute */
1872 r
= cg_get_root_path(&root
);
1876 r
= cg_get_path(SYSTEMD_CGROUP_CONTROLLER
, root
, "cgroup.controllers", &path
);
1880 r
= read_one_line_file(path
, &controllers
);
1884 r
= cg_mask_from_string(controllers
, &mask
);
1888 /* Mask controllers that are not supported in unified hierarchy. */
1889 mask
&= CGROUP_MASK_V2
;
1894 /* In the legacy hierarchy, we check which hierarchies are mounted. */
1897 for (c
= 0; c
< _CGROUP_CONTROLLER_MAX
; c
++) {
1898 CGroupMask bit
= CGROUP_CONTROLLER_TO_MASK(c
);
1901 if (!FLAGS_SET(CGROUP_MASK_V1
, bit
))
1904 n
= cgroup_controller_to_string(c
);
1905 if (controller_is_accessible(n
) >= 0)
1914 int cg_kernel_controllers(Set
**ret
) {
1915 _cleanup_set_free_free_ Set
*controllers
= NULL
;
1916 _cleanup_fclose_
FILE *f
= NULL
;
1921 /* Determines the full list of kernel-known controllers. Might include controllers we don't actually support
1922 * and controllers that aren't currently accessible (because not mounted). This does not include "name="
1923 * pseudo-controllers. */
1925 controllers
= set_new(&string_hash_ops
);
1929 r
= fopen_unlocked("/proc/cgroups", "re", &f
);
1937 /* Ignore the header line */
1938 (void) read_line(f
, (size_t) -1, NULL
);
1945 if (fscanf(f
, "%ms %*i %*i %i", &controller
, &enabled
) != 2) {
1951 return errno_or_else(EIO
);
1961 if (!cg_controller_is_valid(controller
)) {
1966 r
= set_consume(controllers
, controller
);
1971 *ret
= TAKE_PTR(controllers
);
1976 /* The hybrid mode was initially implemented in v232 and simply mounted cgroup2 on
1977 * /sys/fs/cgroup/systemd. This unfortunately broke other tools (such as docker) which expected the v1
1978 * "name=systemd" hierarchy on /sys/fs/cgroup/systemd. From v233 and on, the hybrid mode mounts v2 on
1979 * /sys/fs/cgroup/unified and maintains "name=systemd" hierarchy on /sys/fs/cgroup/systemd for compatibility
1982 * To keep live upgrade working, we detect and support v232 layout. When v232 layout is detected, to keep
1983 * cgroup v2 process management but disable the compat dual layout, we return true on
1984 * cg_unified_controller(SYSTEMD_CGROUP_CONTROLLER) and false on cg_hybrid_unified().
1986 static thread_local
bool unified_systemd_v232
;
1988 int cg_unified_cached(bool flush
) {
1989 static thread_local CGroupUnified unified_cache
= CGROUP_UNIFIED_UNKNOWN
;
1993 /* Checks if we support the unified hierarchy. Returns an
1994 * error when the cgroup hierarchies aren't mounted yet or we
1995 * have any other trouble determining if the unified hierarchy
1999 unified_cache
= CGROUP_UNIFIED_UNKNOWN
;
2000 else if (unified_cache
>= CGROUP_UNIFIED_NONE
)
2001 return unified_cache
;
2003 if (statfs("/sys/fs/cgroup/", &fs
) < 0)
2004 return log_debug_errno(errno
, "statfs(\"/sys/fs/cgroup/\") failed: %m");
2006 if (F_TYPE_EQUAL(fs
.f_type
, CGROUP2_SUPER_MAGIC
)) {
2007 log_debug("Found cgroup2 on /sys/fs/cgroup/, full unified hierarchy");
2008 unified_cache
= CGROUP_UNIFIED_ALL
;
2009 } else if (F_TYPE_EQUAL(fs
.f_type
, TMPFS_MAGIC
)) {
2010 if (statfs("/sys/fs/cgroup/unified/", &fs
) == 0 &&
2011 F_TYPE_EQUAL(fs
.f_type
, CGROUP2_SUPER_MAGIC
)) {
2012 log_debug("Found cgroup2 on /sys/fs/cgroup/unified, unified hierarchy for systemd controller");
2013 unified_cache
= CGROUP_UNIFIED_SYSTEMD
;
2014 unified_systemd_v232
= false;
2016 if (statfs("/sys/fs/cgroup/systemd/", &fs
) < 0)
2017 return log_debug_errno(errno
, "statfs(\"/sys/fs/cgroup/systemd\" failed: %m");
2019 if (F_TYPE_EQUAL(fs
.f_type
, CGROUP2_SUPER_MAGIC
)) {
2020 log_debug("Found cgroup2 on /sys/fs/cgroup/systemd, unified hierarchy for systemd controller (v232 variant)");
2021 unified_cache
= CGROUP_UNIFIED_SYSTEMD
;
2022 unified_systemd_v232
= true;
2023 } else if (F_TYPE_EQUAL(fs
.f_type
, CGROUP_SUPER_MAGIC
)) {
2024 log_debug("Found cgroup on /sys/fs/cgroup/systemd, legacy hierarchy");
2025 unified_cache
= CGROUP_UNIFIED_NONE
;
2027 log_debug("Unexpected filesystem type %llx mounted on /sys/fs/cgroup/systemd, assuming legacy hierarchy",
2028 (unsigned long long) fs
.f_type
);
2029 unified_cache
= CGROUP_UNIFIED_NONE
;
2032 } else if (F_TYPE_EQUAL(fs
.f_type
, SYSFS_MAGIC
)) {
2033 return log_debug_errno(SYNTHETIC_ERRNO(ENOMEDIUM
),
2034 "No filesystem is currently mounted on /sys/fs/cgroup.");
2036 return log_debug_errno(SYNTHETIC_ERRNO(ENOMEDIUM
),
2037 "Unknown filesystem type %llx mounted on /sys/fs/cgroup.",
2038 (unsigned long long)fs
.f_type
);
2040 return unified_cache
;
2043 int cg_unified_controller(const char *controller
) {
2046 r
= cg_unified_cached(false);
2050 if (r
== CGROUP_UNIFIED_NONE
)
2053 if (r
>= CGROUP_UNIFIED_ALL
)
2056 return streq_ptr(controller
, SYSTEMD_CGROUP_CONTROLLER
);
2059 int cg_all_unified(void) {
2062 r
= cg_unified_cached(false);
2066 return r
>= CGROUP_UNIFIED_ALL
;
2069 int cg_hybrid_unified(void) {
2072 r
= cg_unified_cached(false);
2076 return r
== CGROUP_UNIFIED_SYSTEMD
&& !unified_systemd_v232
;
2079 const uint64_t cgroup_io_limit_defaults
[_CGROUP_IO_LIMIT_TYPE_MAX
] = {
2080 [CGROUP_IO_RBPS_MAX
] = CGROUP_LIMIT_MAX
,
2081 [CGROUP_IO_WBPS_MAX
] = CGROUP_LIMIT_MAX
,
2082 [CGROUP_IO_RIOPS_MAX
] = CGROUP_LIMIT_MAX
,
2083 [CGROUP_IO_WIOPS_MAX
] = CGROUP_LIMIT_MAX
,
2086 static const char* const cgroup_io_limit_type_table
[_CGROUP_IO_LIMIT_TYPE_MAX
] = {
2087 [CGROUP_IO_RBPS_MAX
] = "IOReadBandwidthMax",
2088 [CGROUP_IO_WBPS_MAX
] = "IOWriteBandwidthMax",
2089 [CGROUP_IO_RIOPS_MAX
] = "IOReadIOPSMax",
2090 [CGROUP_IO_WIOPS_MAX
] = "IOWriteIOPSMax",
2093 DEFINE_STRING_TABLE_LOOKUP(cgroup_io_limit_type
, CGroupIOLimitType
);
2095 bool is_cgroup_fs(const struct statfs
*s
) {
2096 return is_fs_type(s
, CGROUP_SUPER_MAGIC
) ||
2097 is_fs_type(s
, CGROUP2_SUPER_MAGIC
);
2100 bool fd_is_cgroup_fs(int fd
) {
2103 if (fstatfs(fd
, &s
) < 0)
2106 return is_cgroup_fs(&s
);
2109 static const char *const cgroup_controller_table
[_CGROUP_CONTROLLER_MAX
] = {
2110 [CGROUP_CONTROLLER_CPU
] = "cpu",
2111 [CGROUP_CONTROLLER_CPUACCT
] = "cpuacct",
2112 [CGROUP_CONTROLLER_CPUSET
] = "cpuset",
2113 [CGROUP_CONTROLLER_IO
] = "io",
2114 [CGROUP_CONTROLLER_BLKIO
] = "blkio",
2115 [CGROUP_CONTROLLER_MEMORY
] = "memory",
2116 [CGROUP_CONTROLLER_DEVICES
] = "devices",
2117 [CGROUP_CONTROLLER_PIDS
] = "pids",
2118 [CGROUP_CONTROLLER_BPF_FIREWALL
] = "bpf-firewall",
2119 [CGROUP_CONTROLLER_BPF_DEVICES
] = "bpf-devices",
2122 DEFINE_STRING_TABLE_LOOKUP(cgroup_controller
, CGroupController
);
2124 CGroupMask
get_cpu_accounting_mask(void) {
2125 static CGroupMask needed_mask
= (CGroupMask
) -1;
2127 /* On kernel ≥4.15 with unified hierarchy, cpu.stat's usage_usec is
2128 * provided externally from the CPU controller, which means we don't
2129 * need to enable the CPU controller just to get metrics. This is good,
2130 * because enabling the CPU controller comes at a minor performance
2131 * hit, especially when it's propagated deep into large hierarchies.
2132 * There's also no separate CPU accounting controller available within
2133 * a unified hierarchy.
2135 * This combination of factors results in the desired cgroup mask to
2136 * enable for CPU accounting varying as follows:
2138 * ╔═════════════════════╤═════════════════════╗
2139 * ║ Linux ≥4.15 │ Linux <4.15 ║
2140 * ╔═══════════════╬═════════════════════╪═════════════════════╣
2141 * ║ Unified ║ nothing │ CGROUP_MASK_CPU ║
2142 * ╟───────────────╫─────────────────────┼─────────────────────╢
2143 * ║ Hybrid/Legacy ║ CGROUP_MASK_CPUACCT │ CGROUP_MASK_CPUACCT ║
2144 * ╚═══════════════╩═════════════════════╧═════════════════════╝
2146 * We check kernel version here instead of manually checking whether
2147 * cpu.stat is present for every cgroup, as that check in itself would
2148 * already be fairly expensive.
2150 * Kernels where this patch has been backported will therefore have the
2151 * CPU controller enabled unnecessarily. This is more expensive than
2152 * necessary, but harmless. ☺️
2155 if (needed_mask
== (CGroupMask
) -1) {
2156 if (cg_all_unified()) {
2158 assert_se(uname(&u
) >= 0);
2160 if (str_verscmp(u
.release
, "4.15") < 0)
2161 needed_mask
= CGROUP_MASK_CPU
;
2165 needed_mask
= CGROUP_MASK_CPUACCT
;
2171 bool cpu_accounting_is_cheap(void) {
2172 return get_cpu_accounting_mask() == 0;