cgroup.c 161.3 KB
Newer Older
1 2 3 4 5 6
/*
 *  Generic process-grouping system.
 *
 *  Based originally on the cpuset system, extracted by Paul Menage
 *  Copyright (C) 2006 Google, Inc
 *
7 8 9 10
 *  Notifications support
 *  Copyright (C) 2009 Nokia Corporation
 *  Author: Kirill A. Shutemov
 *
11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
 *  Copyright notices from the original cpuset code:
 *  --------------------------------------------------
 *  Copyright (C) 2003 BULL SA.
 *  Copyright (C) 2004-2006 Silicon Graphics, Inc.
 *
 *  Portions derived from Patrick Mochel's sysfs code.
 *  sysfs is Copyright (c) 2001-3 Patrick Mochel
 *
 *  2003-10-10 Written by Simon Derr.
 *  2003-10-22 Updates by Stephen Hemminger.
 *  2004 May-July Rework by Paul Jackson.
 *  ---------------------------------------------------
 *
 *  This file is subject to the terms and conditions of the GNU General Public
 *  License.  See the file COPYING in the main directory of the Linux
 *  distribution for more details.
 */

29 30
#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt

31 32
#include "cgroup-internal.h"

33
#include <linux/cred.h>
34
#include <linux/errno.h>
35
#include <linux/init_task.h>
36
#include <linux/kernel.h>
37
#include <linux/magic.h>
38 39 40
#include <linux/mutex.h>
#include <linux/mount.h>
#include <linux/pagemap.h>
41
#include <linux/proc_fs.h>
42 43
#include <linux/rcupdate.h>
#include <linux/sched.h>
44
#include <linux/sched/task.h>
45 46
#include <linux/slab.h>
#include <linux/spinlock.h>
47
#include <linux/percpu-rwsem.h>
48
#include <linux/string.h>
49
#include <linux/hashtable.h>
50
#include <linux/idr.h>
51
#include <linux/kthread.h>
A
Arun Sharma 已提交
52
#include <linux/atomic.h>
53
#include <linux/cpuset.h>
54 55
#include <linux/proc_ns.h>
#include <linux/nsproxy.h>
56
#include <linux/file.h>
57
#include <linux/sched/cputime.h>
58
#include <linux/backing-dev.h>
T
Tejun Heo 已提交
59
#include <net/sock.h>
J
Johannes Weiner 已提交
60
#include <linux/psi.h>
61

62 63 64
#define CREATE_TRACE_POINTS
#include <trace/events/cgroup.h>

T
Tejun Heo 已提交
65 66
#define CGROUP_FILE_NAME_MAX		(MAX_CGROUP_TYPE_NAMELEN +	\
					 MAX_CFTYPE_NAME + 2)
67 68
/* let's not notify more than 100 times per second */
#define CGROUP_FILE_NOTIFY_MIN_INTV	DIV_ROUND_UP(HZ, 100)
T
Tejun Heo 已提交
69

T
Tejun Heo 已提交
70 71 72 73
/*
 * cgroup_mutex is the master lock.  Any modification to cgroup or its
 * hierarchy must be performed while holding it.
 *
74
 * css_set_lock protects task->cgroups pointer, the list of css_set
75
 * objects, and the chain of tasks off each css_set.
T
Tejun Heo 已提交
76
 *
77 78
 * These locks are exported if CONFIG_PROVE_RCU so that accessors in
 * cgroup.h can use them for lockdep annotations.
T
Tejun Heo 已提交
79
 */
T
Tejun Heo 已提交
80
DEFINE_MUTEX(cgroup_mutex);
81
DEFINE_SPINLOCK(css_set_lock);
82 83

#ifdef CONFIG_PROVE_RCU
84
EXPORT_SYMBOL_GPL(cgroup_mutex);
85
EXPORT_SYMBOL_GPL(css_set_lock);
T
Tejun Heo 已提交
86 87
#endif

88 89 90
DEFINE_SPINLOCK(trace_cgroup_path_lock);
char trace_cgroup_path[TRACE_CGROUP_PATH_LEN];

91
/*
92 93
 * Protects cgroup_idr and css_idr so that IDs can be released without
 * grabbing cgroup_mutex.
94 95 96
 */
static DEFINE_SPINLOCK(cgroup_idr_lock);

97 98 99 100 101 102
/*
 * Protects cgroup_file->kn for !self csses.  It synchronizes notifications
 * against file removal/re-creation across css hiding.
 */
static DEFINE_SPINLOCK(cgroup_file_kn_lock);

103 104
struct percpu_rw_semaphore cgroup_threadgroup_rwsem;

T
Tejun Heo 已提交
105
#define cgroup_assert_mutex_or_rcu_locked()				\
106 107
	RCU_LOCKDEP_WARN(!rcu_read_lock_held() &&			\
			   !lockdep_is_held(&cgroup_mutex),		\
T
Tejun Heo 已提交
108
			   "cgroup_mutex or RCU read lock required");
109

110 111 112 113 114 115 116 117
/*
 * cgroup destruction makes heavy use of work items and there can be a lot
 * of concurrent destructions.  Use a separate workqueue so that cgroup
 * destruction work items don't end up filling up max_active of system_wq
 * which may lead to deadlock.
 */
static struct workqueue_struct *cgroup_destroy_wq;

T
Tejun Heo 已提交
118
/* generate an array of cgroup subsystem pointers */
119
#define SUBSYS(_x) [_x ## _cgrp_id] = &_x ## _cgrp_subsys,
120
struct cgroup_subsys *cgroup_subsys[] = {
121 122
#include <linux/cgroup_subsys.h>
};
123 124 125 126 127
#undef SUBSYS

/* array of cgroup subsystem names */
#define SUBSYS(_x) [_x ## _cgrp_id] = #_x,
static const char *cgroup_subsys_name[] = {
128 129
#include <linux/cgroup_subsys.h>
};
130
#undef SUBSYS
131

132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152
/* array of static_keys for cgroup_subsys_enabled() and cgroup_subsys_on_dfl() */
#define SUBSYS(_x)								\
	DEFINE_STATIC_KEY_TRUE(_x ## _cgrp_subsys_enabled_key);			\
	DEFINE_STATIC_KEY_TRUE(_x ## _cgrp_subsys_on_dfl_key);			\
	EXPORT_SYMBOL_GPL(_x ## _cgrp_subsys_enabled_key);			\
	EXPORT_SYMBOL_GPL(_x ## _cgrp_subsys_on_dfl_key);
#include <linux/cgroup_subsys.h>
#undef SUBSYS

#define SUBSYS(_x) [_x ## _cgrp_id] = &_x ## _cgrp_subsys_enabled_key,
static struct static_key_true *cgroup_subsys_enabled_key[] = {
#include <linux/cgroup_subsys.h>
};
#undef SUBSYS

#define SUBSYS(_x) [_x ## _cgrp_id] = &_x ## _cgrp_subsys_on_dfl_key,
static struct static_key_true *cgroup_subsys_on_dfl_key[] = {
#include <linux/cgroup_subsys.h>
};
#undef SUBSYS

T
Tejun Heo 已提交
153
static DEFINE_PER_CPU(struct cgroup_rstat_cpu, cgrp_dfl_root_rstat_cpu);
154

155
/*
156
 * The default hierarchy, reserved for the subsystems that are otherwise
157 158
 * unattached - it never has more than a single cgroup, and all tasks are
 * part of that cgroup.
159
 */
T
Tejun Heo 已提交
160
struct cgroup_root cgrp_dfl_root = { .cgrp.rstat_cpu = &cgrp_dfl_root_rstat_cpu };
T
Tejun Heo 已提交
161
EXPORT_SYMBOL_GPL(cgrp_dfl_root);
162

T
Tejun Heo 已提交
163 164 165 166
/*
 * The default hierarchy always exists but is hidden until mounted for the
 * first time.  This is for backward compatibility.
 */
T
Tejun Heo 已提交
167
static bool cgrp_dfl_visible;
168

169
/* some controllers are not supported in the default hierarchy */
T
Tejun Heo 已提交
170
static u16 cgrp_dfl_inhibit_ss_mask;
171

172
/* some controllers are implicitly enabled on the default hierarchy */
T
Tejun Heo 已提交
173
static u16 cgrp_dfl_implicit_ss_mask;
174

175 176 177
/* some controllers can be threaded on the default hierarchy */
static u16 cgrp_dfl_threaded_ss_mask;

178
/* The list of hierarchy roots */
179
LIST_HEAD(cgroup_roots);
180
static int cgroup_root_count;
181

T
Tejun Heo 已提交
182
/* hierarchy ID allocation and mapping, protected by cgroup_mutex */
183
static DEFINE_IDR(cgroup_hierarchy_idr);
184

185
/*
186 187 188 189 190
 * Assign a monotonically increasing serial number to csses.  It guarantees
 * cgroups with bigger numbers are newer than those with smaller numbers.
 * Also, as csses are always appended to the parent's ->children list, it
 * guarantees that sibling csses are always sorted in the ascending serial
 * number order on the list.  Protected by cgroup_mutex.
191
 */
192
static u64 css_serial_nr_next = 1;
193

194
/*
T
Tejun Heo 已提交
195 196
 * These bitmasks identify subsystems with specific features to avoid
 * having to do iterative checks repeatedly.
197
 */
198 199
static u16 have_fork_callback __read_mostly;
static u16 have_exit_callback __read_mostly;
200
static u16 have_release_callback __read_mostly;
T
Tejun Heo 已提交
201
static u16 have_canfork_callback __read_mostly;
202

203 204
/* cgroup namespace for init task */
struct cgroup_namespace init_cgroup_ns = {
205
	.count		= REFCOUNT_INIT(2),
206 207 208 209 210 211
	.user_ns	= &init_user_ns,
	.ns.ops		= &cgroupns_operations,
	.ns.inum	= PROC_CGROUP_INIT_INO,
	.root_cset	= &init_css_set,
};

212
static struct file_system_type cgroup2_fs_type;
213
static struct cftype cgroup_base_files[];
214

215 216
static int cgroup_apply_control(struct cgroup *cgrp);
static void cgroup_finalize_control(struct cgroup *cgrp, int ret);
217
static void css_task_iter_advance(struct css_task_iter *it);
218
static int cgroup_destroy_locked(struct cgroup *cgrp);
219 220
static struct cgroup_subsys_state *css_create(struct cgroup *cgrp,
					      struct cgroup_subsys *ss);
221
static void css_release(struct percpu_ref *ref);
222
static void kill_css(struct cgroup_subsys_state *css);
223 224
static int cgroup_addrm_files(struct cgroup_subsys_state *css,
			      struct cgroup *cgrp, struct cftype cfts[],
225
			      bool is_add);
226

227 228 229 230 231 232 233 234
/**
 * cgroup_ssid_enabled - cgroup subsys enabled test by subsys ID
 * @ssid: subsys ID of interest
 *
 * cgroup_subsys_enabled() can only be used with literal subsys names which
 * is fine for individual subsystems but unsuitable for cgroup core.  This
 * is slower static_key_enabled() based test indexed by @ssid.
 */
235
bool cgroup_ssid_enabled(int ssid)
236
{
237 238 239
	if (CGROUP_SUBSYS_COUNT == 0)
		return false;

240 241 242
	return static_key_enabled(cgroup_subsys_enabled_key[ssid]);
}

243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295
/**
 * cgroup_on_dfl - test whether a cgroup is on the default hierarchy
 * @cgrp: the cgroup of interest
 *
 * The default hierarchy is the v2 interface of cgroup and this function
 * can be used to test whether a cgroup is on the default hierarchy for
 * cases where a subsystem should behave differnetly depending on the
 * interface version.
 *
 * The set of behaviors which change on the default hierarchy are still
 * being determined and the mount option is prefixed with __DEVEL__.
 *
 * List of changed behaviors:
 *
 * - Mount options "noprefix", "xattr", "clone_children", "release_agent"
 *   and "name" are disallowed.
 *
 * - When mounting an existing superblock, mount options should match.
 *
 * - Remount is disallowed.
 *
 * - rename(2) is disallowed.
 *
 * - "tasks" is removed.  Everything should be at process granularity.  Use
 *   "cgroup.procs" instead.
 *
 * - "cgroup.procs" is not sorted.  pids will be unique unless they got
 *   recycled inbetween reads.
 *
 * - "release_agent" and "notify_on_release" are removed.  Replacement
 *   notification mechanism will be implemented.
 *
 * - "cgroup.clone_children" is removed.
 *
 * - "cgroup.subtree_populated" is available.  Its value is 0 if the cgroup
 *   and its descendants contain no task; otherwise, 1.  The file also
 *   generates kernfs notification which can be monitored through poll and
 *   [di]notify when the value of the file changes.
 *
 * - cpuset: tasks will be kept in empty cpusets when hotplug happens and
 *   take masks of ancestors with non-empty cpus/mems, instead of being
 *   moved to an ancestor.
 *
 * - cpuset: a task can be moved into an empty cpuset, and again it takes
 *   masks of ancestors.
 *
 * - memcg: use_hierarchy is on by default and the cgroup file for the flag
 *   is not created.
 *
 * - blkcg: blk-throttle becomes properly hierarchical.
 *
 * - debug: disallowed on the default hierarchy.
 */
296
bool cgroup_on_dfl(const struct cgroup *cgrp)
297 298 299 300
{
	return cgrp->root == &cgrp_dfl_root;
}

301 302 303 304 305 306 307
/* IDR wrappers which synchronize using cgroup_idr_lock */
static int cgroup_idr_alloc(struct idr *idr, void *ptr, int start, int end,
			    gfp_t gfp_mask)
{
	int ret;

	idr_preload(gfp_mask);
T
Tejun Heo 已提交
308
	spin_lock_bh(&cgroup_idr_lock);
309
	ret = idr_alloc(idr, ptr, start, end, gfp_mask & ~__GFP_DIRECT_RECLAIM);
T
Tejun Heo 已提交
310
	spin_unlock_bh(&cgroup_idr_lock);
311 312 313 314 315 316 317 318
	idr_preload_end();
	return ret;
}

static void *cgroup_idr_replace(struct idr *idr, void *ptr, int id)
{
	void *ret;

T
Tejun Heo 已提交
319
	spin_lock_bh(&cgroup_idr_lock);
320
	ret = idr_replace(idr, ptr, id);
T
Tejun Heo 已提交
321
	spin_unlock_bh(&cgroup_idr_lock);
322 323 324 325 326
	return ret;
}

static void cgroup_idr_remove(struct idr *idr, int id)
{
T
Tejun Heo 已提交
327
	spin_lock_bh(&cgroup_idr_lock);
328
	idr_remove(idr, id);
T
Tejun Heo 已提交
329
	spin_unlock_bh(&cgroup_idr_lock);
330 331
}

332
static bool cgroup_has_tasks(struct cgroup *cgrp)
T
Tejun Heo 已提交
333
{
334 335
	return cgrp->nr_populated_csets;
}
T
Tejun Heo 已提交
336

337
bool cgroup_is_threaded(struct cgroup *cgrp)
338 339 340 341
{
	return cgrp->dom_cgrp != cgrp;
}

342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375
/* can @cgrp host both domain and threaded children? */
static bool cgroup_is_mixable(struct cgroup *cgrp)
{
	/*
	 * Root isn't under domain level resource control exempting it from
	 * the no-internal-process constraint, so it can serve as a thread
	 * root and a parent of resource domains at the same time.
	 */
	return !cgroup_parent(cgrp);
}

/* can @cgrp become a thread root? should always be true for a thread root */
static bool cgroup_can_be_thread_root(struct cgroup *cgrp)
{
	/* mixables don't care */
	if (cgroup_is_mixable(cgrp))
		return true;

	/* domain roots can't be nested under threaded */
	if (cgroup_is_threaded(cgrp))
		return false;

	/* can only have either domain or threaded children */
	if (cgrp->nr_populated_domain_children)
		return false;

	/* and no domain controllers can be enabled */
	if (cgrp->subtree_control & ~cgrp_dfl_threaded_ss_mask)
		return false;

	return true;
}

/* is @cgrp root of a threaded subtree? */
376
bool cgroup_is_thread_root(struct cgroup *cgrp)
377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412
{
	/* thread root should be a domain */
	if (cgroup_is_threaded(cgrp))
		return false;

	/* a domain w/ threaded children is a thread root */
	if (cgrp->nr_threaded_children)
		return true;

	/*
	 * A domain which has tasks and explicit threaded controllers
	 * enabled is a thread root.
	 */
	if (cgroup_has_tasks(cgrp) &&
	    (cgrp->subtree_control & cgrp_dfl_threaded_ss_mask))
		return true;

	return false;
}

/* a domain which isn't connected to the root w/o brekage can't be used */
static bool cgroup_is_valid_domain(struct cgroup *cgrp)
{
	/* the cgroup itself can be a thread root */
	if (cgroup_is_threaded(cgrp))
		return false;

	/* but the ancestors can't be unless mixable */
	while ((cgrp = cgroup_parent(cgrp))) {
		if (!cgroup_is_mixable(cgrp) && cgroup_is_thread_root(cgrp))
			return false;
		if (cgroup_is_threaded(cgrp))
			return false;
	}

	return true;
T
Tejun Heo 已提交
413 414
}

415 416 417 418 419 420
/* subsystems visibly enabled on a cgroup */
static u16 cgroup_control(struct cgroup *cgrp)
{
	struct cgroup *parent = cgroup_parent(cgrp);
	u16 root_ss_mask = cgrp->root->subsys_mask;

421 422 423 424 425 426 427 428
	if (parent) {
		u16 ss_mask = parent->subtree_control;

		/* threaded cgroups can only have threaded controllers */
		if (cgroup_is_threaded(cgrp))
			ss_mask &= cgrp_dfl_threaded_ss_mask;
		return ss_mask;
	}
429 430

	if (cgroup_on_dfl(cgrp))
431 432
		root_ss_mask &= ~(cgrp_dfl_inhibit_ss_mask |
				  cgrp_dfl_implicit_ss_mask);
433 434 435 436 437 438 439 440
	return root_ss_mask;
}

/* subsystems enabled on a cgroup */
static u16 cgroup_ss_mask(struct cgroup *cgrp)
{
	struct cgroup *parent = cgroup_parent(cgrp);

441 442 443 444 445 446 447 448
	if (parent) {
		u16 ss_mask = parent->subtree_ss_mask;

		/* threaded cgroups can only have threaded controllers */
		if (cgroup_is_threaded(cgrp))
			ss_mask &= cgrp_dfl_threaded_ss_mask;
		return ss_mask;
	}
449 450 451 452

	return cgrp->root->subsys_mask;
}

T
Tejun Heo 已提交
453 454 455
/**
 * cgroup_css - obtain a cgroup's css for the specified subsystem
 * @cgrp: the cgroup of interest
456
 * @ss: the subsystem of interest (%NULL returns @cgrp->self)
T
Tejun Heo 已提交
457
 *
458 459 460 461 462
 * Return @cgrp's css (cgroup_subsys_state) associated with @ss.  This
 * function must be called either under cgroup_mutex or rcu_read_lock() and
 * the caller is responsible for pinning the returned css if it wants to
 * keep accessing it outside the said locks.  This function may return
 * %NULL if @cgrp doesn't have @subsys_id enabled.
T
Tejun Heo 已提交
463 464
 */
static struct cgroup_subsys_state *cgroup_css(struct cgroup *cgrp,
465
					      struct cgroup_subsys *ss)
T
Tejun Heo 已提交
466
{
467
	if (ss)
468
		return rcu_dereference_check(cgrp->subsys[ss->id],
T
Tejun Heo 已提交
469
					lockdep_is_held(&cgroup_mutex));
470
	else
471
		return &cgrp->self;
T
Tejun Heo 已提交
472
}
473

474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495
/**
 * cgroup_tryget_css - try to get a cgroup's css for the specified subsystem
 * @cgrp: the cgroup of interest
 * @ss: the subsystem of interest
 *
 * Find and get @cgrp's css assocaited with @ss.  If the css doesn't exist
 * or is offline, %NULL is returned.
 */
static struct cgroup_subsys_state *cgroup_tryget_css(struct cgroup *cgrp,
						     struct cgroup_subsys *ss)
{
	struct cgroup_subsys_state *css;

	rcu_read_lock();
	css = cgroup_css(cgrp, ss);
	if (!css || !css_tryget_online(css))
		css = NULL;
	rcu_read_unlock();

	return css;
}

496 497 498
/**
 * cgroup_e_css - obtain a cgroup's effective css for the specified subsystem
 * @cgrp: the cgroup of interest
499
 * @ss: the subsystem of interest (%NULL returns @cgrp->self)
500
 *
C
Chen Hanxiao 已提交
501
 * Similar to cgroup_css() but returns the effective css, which is defined
502 503 504 505 506 507 508 509 510 511
 * as the matching css of the nearest ancestor including self which has @ss
 * enabled.  If @ss is associated with the hierarchy @cgrp is on, this
 * function is guaranteed to return non-NULL css.
 */
static struct cgroup_subsys_state *cgroup_e_css(struct cgroup *cgrp,
						struct cgroup_subsys *ss)
{
	lockdep_assert_held(&cgroup_mutex);

	if (!ss)
512
		return &cgrp->self;
513

T
Tejun Heo 已提交
514 515
	/*
	 * This function is used while updating css associations and thus
516
	 * can't test the csses directly.  Test ss_mask.
T
Tejun Heo 已提交
517
	 */
518
	while (!(cgroup_ss_mask(cgrp) & (1 << ss->id))) {
T
Tejun Heo 已提交
519
		cgrp = cgroup_parent(cgrp);
520 521 522
		if (!cgrp)
			return NULL;
	}
523 524

	return cgroup_css(cgrp, ss);
T
Tejun Heo 已提交
525
}
526

T
Tejun Heo 已提交
527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559
/**
 * cgroup_get_e_css - get a cgroup's effective css for the specified subsystem
 * @cgrp: the cgroup of interest
 * @ss: the subsystem of interest
 *
 * Find and get the effective css of @cgrp for @ss.  The effective css is
 * defined as the matching css of the nearest ancestor including self which
 * has @ss enabled.  If @ss is not mounted on the hierarchy @cgrp is on,
 * the root css is returned, so this function always returns a valid css.
 * The returned css must be put using css_put().
 */
struct cgroup_subsys_state *cgroup_get_e_css(struct cgroup *cgrp,
					     struct cgroup_subsys *ss)
{
	struct cgroup_subsys_state *css;

	rcu_read_lock();

	do {
		css = cgroup_css(cgrp, ss);

		if (css && css_tryget_online(css))
			goto out_unlock;
		cgrp = cgroup_parent(cgrp);
	} while (cgrp);

	css = init_css_set.subsys[ss->id];
	css_get(css);
out_unlock:
	rcu_read_unlock();
	return css;
}

560
static void cgroup_get_live(struct cgroup *cgrp)
T
Tejun Heo 已提交
561 562 563 564 565
{
	WARN_ON_ONCE(cgroup_is_dead(cgrp));
	css_get(&cgrp->self);
}

T
Tejun Heo 已提交
566
struct cgroup_subsys_state *of_css(struct kernfs_open_file *of)
567
{
T
Tejun Heo 已提交
568
	struct cgroup *cgrp = of->kn->parent->priv;
T
Tejun Heo 已提交
569
	struct cftype *cft = of_cft(of);
T
Tejun Heo 已提交
570 571 572 573 574 575 576 577 578 579 580 581

	/*
	 * This is open and unprotected implementation of cgroup_css().
	 * seq_css() is only called from a kernfs file operation which has
	 * an active reference on the file.  Because all the subsystem
	 * files are drained before a css is disassociated with a cgroup,
	 * the matching css from the cgroup's subsys table is guaranteed to
	 * be and stay valid until the enclosing operation is complete.
	 */
	if (cft->ss)
		return rcu_dereference_raw(cgrp->subsys[cft->ss->id]);
	else
582
		return &cgrp->self;
583
}
T
Tejun Heo 已提交
584
EXPORT_SYMBOL_GPL(of_css);
585

T
Tejun Heo 已提交
586 587 588 589 590 591
/**
 * for_each_css - iterate all css's of a cgroup
 * @css: the iteration cursor
 * @ssid: the index of the subsystem, CGROUP_SUBSYS_COUNT after reaching the end
 * @cgrp: the target cgroup to iterate css's of
 *
592
 * Should be called under cgroup_[tree_]mutex.
T
Tejun Heo 已提交
593 594 595 596 597 598 599 600
 */
#define for_each_css(css, ssid, cgrp)					\
	for ((ssid) = 0; (ssid) < CGROUP_SUBSYS_COUNT; (ssid)++)	\
		if (!((css) = rcu_dereference_check(			\
				(cgrp)->subsys[(ssid)],			\
				lockdep_is_held(&cgroup_mutex)))) { }	\
		else

601 602 603 604 605 606 607 608 609 610 611 612 613 614
/**
 * for_each_e_css - iterate all effective css's of a cgroup
 * @css: the iteration cursor
 * @ssid: the index of the subsystem, CGROUP_SUBSYS_COUNT after reaching the end
 * @cgrp: the target cgroup to iterate css's of
 *
 * Should be called under cgroup_[tree_]mutex.
 */
#define for_each_e_css(css, ssid, cgrp)					\
	for ((ssid) = 0; (ssid) < CGROUP_SUBSYS_COUNT; (ssid)++)	\
		if (!((css) = cgroup_e_css(cgrp, cgroup_subsys[(ssid)]))) \
			;						\
		else

615
/**
616
 * do_each_subsys_mask - filter for_each_subsys with a bitmask
617 618
 * @ss: the iteration cursor
 * @ssid: the index of @ss, CGROUP_SUBSYS_COUNT after reaching the end
619
 * @ss_mask: the bitmask
620 621
 *
 * The block will only run for cases where the ssid-th bit (1 << ssid) of
622
 * @ss_mask is set.
623
 */
624 625 626
#define do_each_subsys_mask(ss, ssid, ss_mask) do {			\
	unsigned long __ss_mask = (ss_mask);				\
	if (!CGROUP_SUBSYS_COUNT) { /* to avoid spurious gcc warning */	\
627
		(ssid) = 0;						\
628 629 630 631 632 633 634 635 636 637
		break;							\
	}								\
	for_each_set_bit(ssid, &__ss_mask, CGROUP_SUBSYS_COUNT) {	\
		(ss) = cgroup_subsys[ssid];				\
		{

#define while_each_subsys_mask()					\
		}							\
	}								\
} while (false)
638

639 640
/* iterate over child cgrps, lock should be held throughout iteration */
#define cgroup_for_each_live_child(child, cgrp)				\
641
	list_for_each_entry((child), &(cgrp)->self.children, self.sibling) \
T
Tejun Heo 已提交
642
		if (({ lockdep_assert_held(&cgroup_mutex);		\
643 644 645
		       cgroup_is_dead(child); }))			\
			;						\
		else
646

647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664
/* walk live descendants in preorder */
#define cgroup_for_each_live_descendant_pre(dsct, d_css, cgrp)		\
	css_for_each_descendant_pre((d_css), cgroup_css((cgrp), NULL))	\
		if (({ lockdep_assert_held(&cgroup_mutex);		\
		       (dsct) = (d_css)->cgroup;			\
		       cgroup_is_dead(dsct); }))			\
			;						\
		else

/* walk live descendants in postorder */
#define cgroup_for_each_live_descendant_post(dsct, d_css, cgrp)		\
	css_for_each_descendant_post((d_css), cgroup_css((cgrp), NULL))	\
		if (({ lockdep_assert_held(&cgroup_mutex);		\
		       (dsct) = (d_css)->cgroup;			\
		       cgroup_is_dead(dsct); }))			\
			;						\
		else

665 666
/*
 * The default css_set - used by init and its children prior to any
667 668 669 670 671
 * hierarchies being mounted. It contains a pointer to the root state
 * for each subsystem. Also used to anchor the list of css_sets. Not
 * reference-counted, to improve performance when child cgroups
 * haven't been created.
 */
T
Tejun Heo 已提交
672
struct css_set init_css_set = {
673
	.refcount		= REFCOUNT_INIT(1),
674
	.dom_cset		= &init_css_set,
675 676
	.tasks			= LIST_HEAD_INIT(init_css_set.tasks),
	.mg_tasks		= LIST_HEAD_INIT(init_css_set.mg_tasks),
T
Tejun Heo 已提交
677
	.task_iters		= LIST_HEAD_INIT(init_css_set.task_iters),
678
	.threaded_csets		= LIST_HEAD_INIT(init_css_set.threaded_csets),
T
Tejun Heo 已提交
679
	.cgrp_links		= LIST_HEAD_INIT(init_css_set.cgrp_links),
680 681
	.mg_preload_node	= LIST_HEAD_INIT(init_css_set.mg_preload_node),
	.mg_node		= LIST_HEAD_INIT(init_css_set.mg_node),
682 683 684 685 686 687 688 689

	/*
	 * The following field is re-initialized when this cset gets linked
	 * in cgroup_init().  However, let's initialize the field
	 * statically too so that the default cgroup can be accessed safely
	 * early during boot.
	 */
	.dfl_cgrp		= &cgrp_dfl_root.cgrp,
690
};
691

692
static int css_set_count	= 1;	/* 1 for init_css_set */
693

694 695 696 697 698
static bool css_set_threaded(struct css_set *cset)
{
	return cset->dom_cset != cset;
}

699 700 701
/**
 * css_set_populated - does a css_set contain any tasks?
 * @cset: target css_set
702 703 704 705 706
 *
 * css_set_populated() should be the same as !!cset->nr_tasks at steady
 * state. However, css_set_populated() can be called while a task is being
 * added to or removed from the linked list before the nr_tasks is
 * properly updated. Hence, we can't just look at ->nr_tasks here.
707 708 709
 */
static bool css_set_populated(struct css_set *cset)
{
710
	lockdep_assert_held(&css_set_lock);
711 712 713 714

	return !list_empty(&cset->tasks) || !list_empty(&cset->mg_tasks);
}

715
/**
716
 * cgroup_update_populated - update the populated count of a cgroup
717 718 719
 * @cgrp: the target cgroup
 * @populated: inc or dec populated count
 *
720
 * One of the css_sets associated with @cgrp is either getting its first
721 722 723 724
 * task or losing the last.  Update @cgrp->nr_populated_* accordingly.  The
 * count is propagated towards root so that a given cgroup's
 * nr_populated_children is zero iff none of its descendants contain any
 * tasks.
725
 *
726 727 728 729 730
 * @cgrp's interface file "cgroup.populated" is zero if both
 * @cgrp->nr_populated_csets and @cgrp->nr_populated_children are zero and
 * 1 otherwise.  When the sum changes from or to zero, userland is notified
 * that the content of the interface file has changed.  This can be used to
 * detect when @cgrp and its descendants become populated or empty.
731 732 733
 */
static void cgroup_update_populated(struct cgroup *cgrp, bool populated)
{
734 735 736
	struct cgroup *child = NULL;
	int adj = populated ? 1 : -1;

737
	lockdep_assert_held(&css_set_lock);
738 739

	do {
740
		bool was_populated = cgroup_is_populated(cgrp);
741

742
		if (!child) {
743
			cgrp->nr_populated_csets += adj;
744 745 746 747 748 749
		} else {
			if (cgroup_is_threaded(child))
				cgrp->nr_populated_threaded_children += adj;
			else
				cgrp->nr_populated_domain_children += adj;
		}
750

751
		if (was_populated == cgroup_is_populated(cgrp))
752 753
			break;

754
		cgroup1_check_for_release(cgrp);
755 756
		cgroup_file_notify(&cgrp->events_file);

757
		child = cgrp;
T
Tejun Heo 已提交
758
		cgrp = cgroup_parent(cgrp);
759 760 761
	} while (cgrp);
}

762 763 764 765 766 767
/**
 * css_set_update_populated - update populated state of a css_set
 * @cset: target css_set
 * @populated: whether @cset is populated or depopulated
 *
 * @cset is either getting the first task or losing the last.  Update the
768
 * populated counters of all associated cgroups accordingly.
769 770 771 772 773
 */
static void css_set_update_populated(struct css_set *cset, bool populated)
{
	struct cgrp_cset_link *link;

774
	lockdep_assert_held(&css_set_lock);
775 776 777 778 779

	list_for_each_entry(link, &cset->cgrp_links, cgrp_link)
		cgroup_update_populated(link->cgrp, populated);
}

T
Tejun Heo 已提交
780 781 782 783 784 785 786 787 788 789 790
/**
 * css_set_move_task - move a task from one css_set to another
 * @task: task being moved
 * @from_cset: css_set @task currently belongs to (may be NULL)
 * @to_cset: new css_set @task is being moved to (may be NULL)
 * @use_mg_tasks: move to @to_cset->mg_tasks instead of ->tasks
 *
 * Move @task from @from_cset to @to_cset.  If @task didn't belong to any
 * css_set, @from_cset can be NULL.  If @task is being disassociated
 * instead of moved, @to_cset can be NULL.
 *
791
 * This function automatically handles populated counter updates and
792 793
 * css_task_iter adjustments but the caller is responsible for managing
 * @from_cset and @to_cset's reference counts.
T
Tejun Heo 已提交
794 795 796 797 798
 */
static void css_set_move_task(struct task_struct *task,
			      struct css_set *from_cset, struct css_set *to_cset,
			      bool use_mg_tasks)
{
799
	lockdep_assert_held(&css_set_lock);
T
Tejun Heo 已提交
800

801 802 803
	if (to_cset && !css_set_populated(to_cset))
		css_set_update_populated(to_cset, true);

T
Tejun Heo 已提交
804
	if (from_cset) {
805 806
		struct css_task_iter *it, *pos;

T
Tejun Heo 已提交
807
		WARN_ON_ONCE(list_empty(&task->cg_list));
808 809 810 811 812 813 814 815 816 817 818 819 820

		/*
		 * @task is leaving, advance task iterators which are
		 * pointing to it so that they can resume at the next
		 * position.  Advancing an iterator might remove it from
		 * the list, use safe walk.  See css_task_iter_advance*()
		 * for details.
		 */
		list_for_each_entry_safe(it, pos, &from_cset->task_iters,
					 iters_node)
			if (it->task_pos == &task->cg_list)
				css_task_iter_advance(it);

T
Tejun Heo 已提交
821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836
		list_del_init(&task->cg_list);
		if (!css_set_populated(from_cset))
			css_set_update_populated(from_cset, false);
	} else {
		WARN_ON_ONCE(!list_empty(&task->cg_list));
	}

	if (to_cset) {
		/*
		 * We are synchronized through cgroup_threadgroup_rwsem
		 * against PF_EXITING setting such that we can't race
		 * against cgroup_exit() changing the css_set to
		 * init_css_set and dropping the old one.
		 */
		WARN_ON_ONCE(task->flags & PF_EXITING);

J
Johannes Weiner 已提交
837
		cgroup_move_task(task, to_cset);
T
Tejun Heo 已提交
838 839 840 841 842
		list_add_tail(&task->cg_list, use_mg_tasks ? &to_cset->mg_tasks :
							     &to_cset->tasks);
	}
}

843 844 845 846 847
/*
 * hash table for cgroup groups. This improves the performance to find
 * an existing css_set. This hash doesn't (currently) take into
 * account cgroups in empty hierarchies.
 */
848
#define CSS_SET_HASH_BITS	7
849
static DEFINE_HASHTABLE(css_set_table, CSS_SET_HASH_BITS);
850

851
static unsigned long css_set_hash(struct cgroup_subsys_state *css[])
852
{
853
	unsigned long key = 0UL;
854 855
	struct cgroup_subsys *ss;
	int i;
856

857
	for_each_subsys(ss, i)
858 859
		key += (unsigned long)css[i];
	key = (key >> 16) ^ key;
860

861
	return key;
862 863
}

864
void put_css_set_locked(struct css_set *cset)
865
{
866
	struct cgrp_cset_link *link, *tmp_link;
T
Tejun Heo 已提交
867 868
	struct cgroup_subsys *ss;
	int ssid;
869

870
	lockdep_assert_held(&css_set_lock);
871

872
	if (!refcount_dec_and_test(&cset->refcount))
873
		return;
874

875 876
	WARN_ON_ONCE(!list_empty(&cset->threaded_csets));

877 878
	/* This css_set is dead. unlink it and release cgroup and css refs */
	for_each_subsys(ss, ssid) {
T
Tejun Heo 已提交
879
		list_del(&cset->e_cset_node[ssid]);
880 881
		css_put(cset->subsys[ssid]);
	}
882
	hash_del(&cset->hlist);
883 884
	css_set_count--;

885 886 887
	list_for_each_entry_safe(link, tmp_link, &cset->cgrp_links, cgrp_link) {
		list_del(&link->cset_link);
		list_del(&link->cgrp_link);
888 889
		if (cgroup_parent(link->cgrp))
			cgroup_put(link->cgrp);
890
		kfree(link);
891
	}
892

893 894 895 896 897
	if (css_set_threaded(cset)) {
		list_del(&cset->threaded_csets_node);
		put_css_set_locked(cset->dom_cset);
	}

898
	kfree_rcu(cset, rcu_head);
899 900
}

901
/**
902
 * compare_css_sets - helper function for find_existing_css_set().
903 904
 * @cset: candidate css_set being tested
 * @old_cset: existing css_set for a task
905 906 907
 * @new_cgrp: cgroup that's being entered by the task
 * @template: desired set of css pointers in css_set (pre-calculated)
 *
L
Li Zefan 已提交
908
 * Returns true if "cset" matches "old_cset" except for the hierarchy
909 910
 * which "new_cgrp" belongs to, for which it should match "new_cgrp".
 */
911 912
static bool compare_css_sets(struct css_set *cset,
			     struct css_set *old_cset,
913 914 915
			     struct cgroup *new_cgrp,
			     struct cgroup_subsys_state *template[])
{
916
	struct cgroup *new_dfl_cgrp;
917 918
	struct list_head *l1, *l2;

919 920 921 922 923 924
	/*
	 * On the default hierarchy, there can be csets which are
	 * associated with the same set of cgroups but different csses.
	 * Let's first ensure that csses match.
	 */
	if (memcmp(template, cset->subsys, sizeof(cset->subsys)))
925 926
		return false;

927 928 929 930 931 932 933 934 935 936

	/* @cset's domain should match the default cgroup's */
	if (cgroup_on_dfl(new_cgrp))
		new_dfl_cgrp = new_cgrp;
	else
		new_dfl_cgrp = old_cset->dfl_cgrp;

	if (new_dfl_cgrp->dom_cgrp != cset->dom_cset->dfl_cgrp)
		return false;

937 938
	/*
	 * Compare cgroup pointers in order to distinguish between
939 940 941
	 * different cgroups in hierarchies.  As different cgroups may
	 * share the same effective css, this comparison is always
	 * necessary.
942
	 */
943 944
	l1 = &cset->cgrp_links;
	l2 = &old_cset->cgrp_links;
945
	while (1) {
946
		struct cgrp_cset_link *link1, *link2;
947
		struct cgroup *cgrp1, *cgrp2;
948 949 950 951

		l1 = l1->next;
		l2 = l2->next;
		/* See if we reached the end - both lists are equal length. */
952 953
		if (l1 == &cset->cgrp_links) {
			BUG_ON(l2 != &old_cset->cgrp_links);
954 955
			break;
		} else {
956
			BUG_ON(l2 == &old_cset->cgrp_links);
957 958
		}
		/* Locate the cgroups associated with these links. */
959 960 961 962
		link1 = list_entry(l1, struct cgrp_cset_link, cgrp_link);
		link2 = list_entry(l2, struct cgrp_cset_link, cgrp_link);
		cgrp1 = link1->cgrp;
		cgrp2 = link2->cgrp;
963
		/* Hierarchies should be linked in the same order. */
964
		BUG_ON(cgrp1->root != cgrp2->root);
965 966 967 968 969 970 971 972

		/*
		 * If this hierarchy is the hierarchy of the cgroup
		 * that's changing, then we need to check that this
		 * css_set points to the new cgroup; if it's any other
		 * hierarchy, then this css_set should point to the
		 * same cgroup as the old css_set.
		 */
973 974
		if (cgrp1->root == new_cgrp->root) {
			if (cgrp1 != new_cgrp)
975 976
				return false;
		} else {
977
			if (cgrp1 != cgrp2)
978 979 980 981 982 983
				return false;
		}
	}
	return true;
}

984 985 986 987 988
/**
 * find_existing_css_set - init css array and find the matching css_set
 * @old_cset: the css_set that we're using before the cgroup transition
 * @cgrp: the cgroup that we're moving into
 * @template: out param for the new set of csses, should be clear on entry
989
 */
990 991 992
static struct css_set *find_existing_css_set(struct css_set *old_cset,
					struct cgroup *cgrp,
					struct cgroup_subsys_state *template[])
993
{
994
	struct cgroup_root *root = cgrp->root;
995
	struct cgroup_subsys *ss;
996
	struct css_set *cset;
997
	unsigned long key;
998
	int i;
999

B
Ben Blum 已提交
1000 1001 1002 1003 1004
	/*
	 * Build the set of subsystem state objects that we want to see in the
	 * new css_set. while subsystems can change globally, the entries here
	 * won't change, so no need for locking.
	 */
1005
	for_each_subsys(ss, i) {
1006
		if (root->subsys_mask & (1UL << i)) {
1007 1008 1009 1010 1011
			/*
			 * @ss is in this hierarchy, so we want the
			 * effective css from @cgrp.
			 */
			template[i] = cgroup_e_css(cgrp, ss);
1012
		} else {
1013 1014 1015 1016
			/*
			 * @ss is not in this hierarchy, so we don't want
			 * to change the css.
			 */
1017
			template[i] = old_cset->subsys[i];
1018 1019 1020
		}
	}

1021
	key = css_set_hash(template);
1022 1023
	hash_for_each_possible(css_set_table, cset, hlist, key) {
		if (!compare_css_sets(cset, old_cset, cgrp, template))
1024 1025 1026
			continue;

		/* This css_set matches what we need */
1027
		return cset;
1028
	}
1029 1030 1031 1032 1033

	/* No existing cgroup group matched */
	return NULL;
}

1034
static void free_cgrp_cset_links(struct list_head *links_to_free)
1035
{
1036
	struct cgrp_cset_link *link, *tmp_link;
1037

1038 1039
	list_for_each_entry_safe(link, tmp_link, links_to_free, cset_link) {
		list_del(&link->cset_link);
1040 1041 1042 1043
		kfree(link);
	}
}

1044 1045 1046 1047 1048 1049 1050
/**
 * allocate_cgrp_cset_links - allocate cgrp_cset_links
 * @count: the number of links to allocate
 * @tmp_links: list_head the allocated links are put on
 *
 * Allocate @count cgrp_cset_link structures and chain them on @tmp_links
 * through ->cset_link.  Returns 0 on success or -errno.
1051
 */
1052
static int allocate_cgrp_cset_links(int count, struct list_head *tmp_links)
1053
{
1054
	struct cgrp_cset_link *link;
1055
	int i;
1056 1057 1058

	INIT_LIST_HEAD(tmp_links);

1059
	for (i = 0; i < count; i++) {
1060
		link = kzalloc(sizeof(*link), GFP_KERNEL);
1061
		if (!link) {
1062
			free_cgrp_cset_links(tmp_links);
1063 1064
			return -ENOMEM;
		}
1065
		list_add(&link->cset_link, tmp_links);
1066 1067 1068 1069
	}
	return 0;
}

1070 1071
/**
 * link_css_set - a helper function to link a css_set to a cgroup
1072
 * @tmp_links: cgrp_cset_link objects allocated by allocate_cgrp_cset_links()
1073
 * @cset: the css_set to be linked
1074 1075
 * @cgrp: the destination cgroup
 */
1076 1077
static void link_css_set(struct list_head *tmp_links, struct css_set *cset,
			 struct cgroup *cgrp)
1078
{
1079
	struct cgrp_cset_link *link;
1080

1081
	BUG_ON(list_empty(tmp_links));
T
Tejun Heo 已提交
1082 1083 1084 1085

	if (cgroup_on_dfl(cgrp))
		cset->dfl_cgrp = cgrp;

1086 1087
	link = list_first_entry(tmp_links, struct cgrp_cset_link, cset_link);
	link->cset = cset;
1088
	link->cgrp = cgrp;
1089

1090
	/*
1091 1092
	 * Always add links to the tail of the lists so that the lists are
	 * in choronological order.
1093
	 */
1094
	list_move_tail(&link->cset_link, &cgrp->cset_links);
1095
	list_add_tail(&link->cgrp_link, &cset->cgrp_links);
1096 1097

	if (cgroup_parent(cgrp))
1098
		cgroup_get_live(cgrp);
1099 1100
}

1101 1102 1103 1104 1105 1106 1107
/**
 * find_css_set - return a new css_set with one cgroup updated
 * @old_cset: the baseline css_set
 * @cgrp: the cgroup to be updated
 *
 * Return a new css_set that's equivalent to @old_cset, but with @cgrp
 * substituted into the appropriate hierarchy.
1108
 */
1109 1110
static struct css_set *find_css_set(struct css_set *old_cset,
				    struct cgroup *cgrp)
1111
{
1112
	struct cgroup_subsys_state *template[CGROUP_SUBSYS_COUNT] = { };
1113
	struct css_set *cset;
1114 1115
	struct list_head tmp_links;
	struct cgrp_cset_link *link;
T
Tejun Heo 已提交
1116
	struct cgroup_subsys *ss;
1117
	unsigned long key;
T
Tejun Heo 已提交
1118
	int ssid;
1119

1120 1121
	lockdep_assert_held(&cgroup_mutex);

1122 1123
	/* First see if we already have a cgroup group that matches
	 * the desired set */
1124
	spin_lock_irq(&css_set_lock);
1125 1126 1127
	cset = find_existing_css_set(old_cset, cgrp, template);
	if (cset)
		get_css_set(cset);
1128
	spin_unlock_irq(&css_set_lock);
1129

1130 1131
	if (cset)
		return cset;
1132

1133
	cset = kzalloc(sizeof(*cset), GFP_KERNEL);
1134
	if (!cset)
1135 1136
		return NULL;

1137
	/* Allocate all the cgrp_cset_link objects that we'll need */
1138
	if (allocate_cgrp_cset_links(cgroup_root_count, &tmp_links) < 0) {
1139
		kfree(cset);
1140 1141 1142
		return NULL;
	}

1143
	refcount_set(&cset->refcount, 1);
1144
	cset->dom_cset = cset;
1145
	INIT_LIST_HEAD(&cset->tasks);
T
Tejun Heo 已提交
1146
	INIT_LIST_HEAD(&cset->mg_tasks);
1147
	INIT_LIST_HEAD(&cset->task_iters);
1148
	INIT_LIST_HEAD(&cset->threaded_csets);
1149
	INIT_HLIST_NODE(&cset->hlist);
T
Tejun Heo 已提交
1150 1151 1152
	INIT_LIST_HEAD(&cset->cgrp_links);
	INIT_LIST_HEAD(&cset->mg_preload_node);
	INIT_LIST_HEAD(&cset->mg_node);
1153 1154 1155

	/* Copy the set of subsystem state objects generated in
	 * find_existing_css_set() */
1156
	memcpy(cset->subsys, template, sizeof(cset->subsys));
1157

1158
	spin_lock_irq(&css_set_lock);
1159
	/* Add reference counts and links from the new css_set. */
1160
	list_for_each_entry(link, &old_cset->cgrp_links, cgrp_link) {
1161
		struct cgroup *c = link->cgrp;
1162

1163 1164
		if (c->root == cgrp->root)
			c = cgrp;
1165
		link_css_set(&tmp_links, cset, c);
1166
	}
1167

1168
	BUG_ON(!list_empty(&tmp_links));
1169 1170

	css_set_count++;
1171

T
Tejun Heo 已提交
1172
	/* Add @cset to the hash table */
1173 1174
	key = css_set_hash(cset->subsys);
	hash_add(css_set_table, &cset->hlist, key);
1175

1176 1177 1178
	for_each_subsys(ss, ssid) {
		struct cgroup_subsys_state *css = cset->subsys[ssid];

T
Tejun Heo 已提交
1179
		list_add_tail(&cset->e_cset_node[ssid],
1180 1181 1182
			      &css->cgroup->e_csets[ssid]);
		css_get(css);
	}
T
Tejun Heo 已提交
1183

1184
	spin_unlock_irq(&css_set_lock);
1185

1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207
	/*
	 * If @cset should be threaded, look up the matching dom_cset and
	 * link them up.  We first fully initialize @cset then look for the
	 * dom_cset.  It's simpler this way and safe as @cset is guaranteed
	 * to stay empty until we return.
	 */
	if (cgroup_is_threaded(cset->dfl_cgrp)) {
		struct css_set *dcset;

		dcset = find_css_set(cset, cset->dfl_cgrp->dom_cgrp);
		if (!dcset) {
			put_css_set(cset);
			return NULL;
		}

		spin_lock_irq(&css_set_lock);
		cset->dom_cset = dcset;
		list_add_tail(&cset->threaded_csets_node,
			      &dcset->threaded_csets);
		spin_unlock_irq(&css_set_lock);
	}

1208
	return cset;
1209 1210
}

1211
struct cgroup_root *cgroup_root_from_kf(struct kernfs_root *kf_root)
1212
{
1213
	struct cgroup *root_cgrp = kf_root->kn->priv;
T
Tejun Heo 已提交
1214

1215
	return root_cgrp->root;
T
Tejun Heo 已提交
1216 1217
}

1218
static int cgroup_init_root_id(struct cgroup_root *root)
1219 1220 1221 1222 1223
{
	int id;

	lockdep_assert_held(&cgroup_mutex);

1224
	id = idr_alloc_cyclic(&cgroup_hierarchy_idr, root, 0, 0, GFP_KERNEL);
1225 1226 1227 1228 1229 1230 1231
	if (id < 0)
		return id;

	root->hierarchy_id = id;
	return 0;
}

1232
static void cgroup_exit_root_id(struct cgroup_root *root)
1233 1234 1235
{
	lockdep_assert_held(&cgroup_mutex);

1236
	idr_remove(&cgroup_hierarchy_idr, root->hierarchy_id);
1237 1238
}

1239
void cgroup_free_root(struct cgroup_root *root)
1240 1241 1242 1243 1244 1245 1246
{
	if (root) {
		idr_destroy(&root->cgroup_idr);
		kfree(root);
	}
}

1247
static void cgroup_destroy_root(struct cgroup_root *root)
1248
{
1249
	struct cgroup *cgrp = &root->cgrp;
1250 1251
	struct cgrp_cset_link *link, *tmp_link;

1252 1253
	trace_cgroup_destroy_root(root);

1254
	cgroup_lock_and_drain_offline(&cgrp_dfl_root.cgrp);
1255

T
Tejun Heo 已提交
1256
	BUG_ON(atomic_read(&root->nr_cgrps));
1257
	BUG_ON(!list_empty(&cgrp->self.children));
1258 1259

	/* Rebind all subsystems back to the default hierarchy */
1260
	WARN_ON(rebind_subsystems(&cgrp_dfl_root, root->subsys_mask));
1261 1262

	/*
1263 1264
	 * Release all the links from cset_links to this hierarchy's
	 * root cgroup
1265
	 */
1266
	spin_lock_irq(&css_set_lock);
1267 1268 1269 1270 1271 1272

	list_for_each_entry_safe(link, tmp_link, &cgrp->cset_links, cset_link) {
		list_del(&link->cset_link);
		list_del(&link->cgrp_link);
		kfree(link);
	}
1273

1274
	spin_unlock_irq(&css_set_lock);
1275 1276 1277 1278 1279 1280 1281 1282 1283 1284

	if (!list_empty(&root->root_list)) {
		list_del(&root->root_list);
		cgroup_root_count--;
	}

	cgroup_exit_root_id(root);

	mutex_unlock(&cgroup_mutex);

T
Tejun Heo 已提交
1285
	kernfs_destroy_root(root->kf_root);
1286 1287 1288
	cgroup_free_root(root);
}

1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323
/*
 * look up cgroup associated with current task's cgroup namespace on the
 * specified hierarchy
 */
static struct cgroup *
current_cgns_cgroup_from_root(struct cgroup_root *root)
{
	struct cgroup *res = NULL;
	struct css_set *cset;

	lockdep_assert_held(&css_set_lock);

	rcu_read_lock();

	cset = current->nsproxy->cgroup_ns->root_cset;
	if (cset == &init_css_set) {
		res = &root->cgrp;
	} else {
		struct cgrp_cset_link *link;

		list_for_each_entry(link, &cset->cgrp_links, cgrp_link) {
			struct cgroup *c = link->cgrp;

			if (c->root == root) {
				res = c;
				break;
			}
		}
	}
	rcu_read_unlock();

	BUG_ON(!res);
	return res;
}

1324 1325
/* look up cgroup associated with given css_set on the specified hierarchy */
static struct cgroup *cset_cgroup_from_root(struct css_set *cset,
1326
					    struct cgroup_root *root)
1327 1328 1329
{
	struct cgroup *res = NULL;

1330
	lockdep_assert_held(&cgroup_mutex);
1331
	lockdep_assert_held(&css_set_lock);
1332

1333
	if (cset == &init_css_set) {
1334
		res = &root->cgrp;
1335 1336
	} else if (root == &cgrp_dfl_root) {
		res = cset->dfl_cgrp;
1337
	} else {
1338 1339 1340
		struct cgrp_cset_link *link;

		list_for_each_entry(link, &cset->cgrp_links, cgrp_link) {
1341
			struct cgroup *c = link->cgrp;
1342

1343 1344 1345 1346 1347 1348
			if (c->root == root) {
				res = c;
				break;
			}
		}
	}
1349

1350 1351 1352 1353
	BUG_ON(!res);
	return res;
}

1354
/*
1355
 * Return the cgroup for "task" from the given hierarchy. Must be
1356
 * called with cgroup_mutex and css_set_lock held.
1357
 */
1358 1359
struct cgroup *task_cgroup_from_root(struct task_struct *task,
				     struct cgroup_root *root)
1360 1361 1362 1363 1364 1365 1366 1367 1368
{
	/*
	 * No need to lock the task - since we hold cgroup_mutex the
	 * task can't change groups, so the only thing that can happen
	 * is that it exits and its css is set back to init_css_set.
	 */
	return cset_cgroup_from_root(task_css_set(task), root);
}

1369 1370 1371 1372 1373 1374
/*
 * A task must hold cgroup_mutex to modify cgroups.
 *
 * Any task can increment and decrement the count field without lock.
 * So in general, code holding cgroup_mutex can't rely on the count
 * field not changing.  However, if the count goes to zero, then only
1375
 * cgroup_attach_task() can increment it again.  Because a count of zero
1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386
 * means that no tasks are currently attached, therefore there is no
 * way a task attached to that cgroup can fork (the other way to
 * increment the count).  So code holding cgroup_mutex can safely
 * assume that if the count is zero, it will stay zero. Similarly, if
 * a task holds cgroup_mutex on a cgroup with zero count, it
 * knows that the cgroup won't be removed, as cgroup_rmdir()
 * needs that mutex.
 *
 * A cgroup can only be deleted if both its 'count' of using tasks
 * is zero, and its list of 'children' cgroups is empty.  Since all
 * tasks in the system use _some_ cgroup, and since there is always at
1387
 * least one task in the system (init, pid == 1), therefore, root cgroup
1388
 * always has either children cgroups and/or using tasks.  So we don't
1389
 * need a special hack to ensure that root cgroup cannot be deleted.
1390 1391
 *
 * P.S.  One more locking exception.  RCU is used to guard the
1392
 * update of a tasks cgroup pointer by cgroup_attach_task()
1393 1394
 */

T
Tejun Heo 已提交
1395
static struct kernfs_syscall_ops cgroup_kf_syscall_ops;
1396

T
Tejun Heo 已提交
1397 1398
static char *cgroup_file_name(struct cgroup *cgrp, const struct cftype *cft,
			      char *buf)
1399
{
1400 1401
	struct cgroup_subsys *ss = cft->ss;

T
Tejun Heo 已提交
1402 1403 1404
	if (cft->ss && !(cft->flags & CFTYPE_NO_PREFIX) &&
	    !(cgrp->root->flags & CGRP_ROOT_NOPREFIX))
		snprintf(buf, CGROUP_FILE_NAME_MAX, "%s.%s",
1405 1406
			 cgroup_on_dfl(cgrp) ? ss->name : ss->legacy_name,
			 cft->name);
T
Tejun Heo 已提交
1407
	else
1408
		strscpy(buf, cft->name, CGROUP_FILE_NAME_MAX);
T
Tejun Heo 已提交
1409
	return buf;
1410 1411
}

1412 1413 1414 1415
/**
 * cgroup_file_mode - deduce file mode of a control file
 * @cft: the control file in question
 *
1416
 * S_IRUGO for read, S_IWUSR for write.
1417 1418
 */
static umode_t cgroup_file_mode(const struct cftype *cft)
1419
{
1420
	umode_t mode = 0;
1421

1422 1423 1424
	if (cft->read_u64 || cft->read_s64 || cft->seq_show)
		mode |= S_IRUGO;

1425 1426 1427 1428 1429 1430
	if (cft->write_u64 || cft->write_s64 || cft->write) {
		if (cft->flags & CFTYPE_WORLD_WRITABLE)
			mode |= S_IWUGO;
		else
			mode |= S_IWUSR;
	}
1431 1432

	return mode;
1433 1434
}

1435
/**
1436
 * cgroup_calc_subtree_ss_mask - calculate subtree_ss_mask
1437
 * @subtree_control: the new subtree_control mask to consider
1438
 * @this_ss_mask: available subsystems
1439 1440 1441 1442 1443
 *
 * On the default hierarchy, a subsystem may request other subsystems to be
 * enabled together through its ->depends_on mask.  In such cases, more
 * subsystems than specified in "cgroup.subtree_control" may be enabled.
 *
1444
 * This function calculates which subsystems need to be enabled if
1445
 * @subtree_control is to be applied while restricted to @this_ss_mask.
1446
 */
1447
static u16 cgroup_calc_subtree_ss_mask(u16 subtree_control, u16 this_ss_mask)
1448
{
1449
	u16 cur_ss_mask = subtree_control;
1450 1451 1452 1453 1454
	struct cgroup_subsys *ss;
	int ssid;

	lockdep_assert_held(&cgroup_mutex);

1455 1456
	cur_ss_mask |= cgrp_dfl_implicit_ss_mask;

1457
	while (true) {
1458
		u16 new_ss_mask = cur_ss_mask;
1459

1460
		do_each_subsys_mask(ss, ssid, cur_ss_mask) {
1461
			new_ss_mask |= ss->depends_on;
1462
		} while_each_subsys_mask();
1463 1464 1465 1466 1467 1468

		/*
		 * Mask out subsystems which aren't available.  This can
		 * happen only if some depended-upon subsystems were bound
		 * to non-default hierarchies.
		 */
1469
		new_ss_mask &= this_ss_mask;
1470 1471 1472 1473 1474 1475

		if (new_ss_mask == cur_ss_mask)
			break;
		cur_ss_mask = new_ss_mask;
	}

1476 1477 1478
	return cur_ss_mask;
}

1479 1480 1481 1482 1483 1484 1485 1486 1487 1488
/**
 * cgroup_kn_unlock - unlocking helper for cgroup kernfs methods
 * @kn: the kernfs_node being serviced
 *
 * This helper undoes cgroup_kn_lock_live() and should be invoked before
 * the method finishes if locking succeeded.  Note that once this function
 * returns the cgroup returned by cgroup_kn_lock_live() may become
 * inaccessible any time.  If the caller intends to continue to access the
 * cgroup, it should pin it before invoking this function.
 */
1489
void cgroup_kn_unlock(struct kernfs_node *kn)
1490
{
1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501
	struct cgroup *cgrp;

	if (kernfs_type(kn) == KERNFS_DIR)
		cgrp = kn->priv;
	else
		cgrp = kn->parent->priv;

	mutex_unlock(&cgroup_mutex);

	kernfs_unbreak_active_protection(kn);
	cgroup_put(cgrp);
1502 1503
}

1504 1505 1506
/**
 * cgroup_kn_lock_live - locking helper for cgroup kernfs methods
 * @kn: the kernfs_node being serviced
1507
 * @drain_offline: perform offline draining on the cgroup
1508 1509 1510 1511 1512
 *
 * This helper is to be used by a cgroup kernfs method currently servicing
 * @kn.  It breaks the active protection, performs cgroup locking and
 * verifies that the associated cgroup is alive.  Returns the cgroup if
 * alive; otherwise, %NULL.  A successful return should be undone by a
1513 1514
 * matching cgroup_kn_unlock() invocation.  If @drain_offline is %true, the
 * cgroup is drained of offlining csses before return.
1515 1516 1517 1518 1519 1520
 *
 * Any cgroup kernfs method implementation which requires locking the
 * associated cgroup should use this helper.  It avoids nesting cgroup
 * locking under kernfs active protection and allows all kernfs operations
 * including self-removal.
 */
1521
struct cgroup *cgroup_kn_lock_live(struct kernfs_node *kn, bool drain_offline)
T
Tejun Heo 已提交
1522
{
1523 1524 1525 1526 1527 1528
	struct cgroup *cgrp;

	if (kernfs_type(kn) == KERNFS_DIR)
		cgrp = kn->priv;
	else
		cgrp = kn->parent->priv;
T
Tejun Heo 已提交
1529

1530
	/*
1531
	 * We're gonna grab cgroup_mutex which nests outside kernfs
1532 1533 1534
	 * active_ref.  cgroup liveliness check alone provides enough
	 * protection against removal.  Ensure @cgrp stays accessible and
	 * break the active_ref protection.
1535
	 */
1536 1537
	if (!cgroup_tryget(cgrp))
		return NULL;
1538 1539
	kernfs_break_active_protection(kn);

1540 1541 1542 1543
	if (drain_offline)
		cgroup_lock_and_drain_offline(cgrp);
	else
		mutex_lock(&cgroup_mutex);
T
Tejun Heo 已提交
1544

1545 1546 1547 1548 1549
	if (!cgroup_is_dead(cgrp))
		return cgrp;

	cgroup_kn_unlock(kn);
	return NULL;
1550
}
T
Tejun Heo 已提交
1551

1552
static void cgroup_rm_file(struct cgroup *cgrp, const struct cftype *cft)
T
Tejun Heo 已提交
1553
{
T
Tejun Heo 已提交
1554
	char name[CGROUP_FILE_NAME_MAX];
T
Tejun Heo 已提交
1555

1556
	lockdep_assert_held(&cgroup_mutex);
1557 1558 1559 1560 1561 1562 1563 1564

	if (cft->file_offset) {
		struct cgroup_subsys_state *css = cgroup_css(cgrp, cft->ss);
		struct cgroup_file *cfile = (void *)css + cft->file_offset;

		spin_lock_irq(&cgroup_file_kn_lock);
		cfile->kn = NULL;
		spin_unlock_irq(&cgroup_file_kn_lock);
1565 1566

		del_timer_sync(&cfile->notify_timer);
1567 1568
	}

T
Tejun Heo 已提交
1569
	kernfs_remove_by_name(cgrp->kn, cgroup_file_name(cgrp, cft, name));
T
Tejun Heo 已提交
1570 1571
}

1572
/**
1573 1574
 * css_clear_dir - remove subsys files in a cgroup directory
 * @css: taget css
1575
 */
1576
static void css_clear_dir(struct cgroup_subsys_state *css)
T
Tejun Heo 已提交
1577
{
1578
	struct cgroup *cgrp = css->cgroup;
1579
	struct cftype *cfts;
T
Tejun Heo 已提交
1580

1581 1582 1583 1584 1585
	if (!(css->flags & CSS_VISIBLE))
		return;

	css->flags &= ~CSS_VISIBLE;

1586 1587 1588 1589 1590 1591
	if (!css->ss) {
		if (cgroup_on_dfl(cgrp))
			cfts = cgroup_base_files;
		else
			cfts = cgroup1_base_files;

1592
		cgroup_addrm_files(css, cgrp, cfts, false);
1593 1594 1595 1596
	} else {
		list_for_each_entry(cfts, &css->ss->cfts, node)
			cgroup_addrm_files(css, cgrp, cfts, false);
	}
1597 1598
}

1599
/**
1600 1601
 * css_populate_dir - create subsys files in a cgroup directory
 * @css: target css
1602 1603 1604
 *
 * On failure, no file is added.
 */
1605
static int css_populate_dir(struct cgroup_subsys_state *css)
1606
{
1607
	struct cgroup *cgrp = css->cgroup;
1608 1609
	struct cftype *cfts, *failed_cfts;
	int ret;
1610

1611
	if ((css->flags & CSS_VISIBLE) || !cgrp->kn)
1612 1613
		return 0;

1614 1615
	if (!css->ss) {
		if (cgroup_on_dfl(cgrp))
1616
			cfts = cgroup_base_files;
1617
		else
1618
			cfts = cgroup1_base_files;
1619

1620 1621 1622 1623 1624 1625 1626 1627 1628 1629
		ret = cgroup_addrm_files(&cgrp->self, cgrp, cfts, true);
		if (ret < 0)
			return ret;
	} else {
		list_for_each_entry(cfts, &css->ss->cfts, node) {
			ret = cgroup_addrm_files(css, cgrp, cfts, true);
			if (ret < 0) {
				failed_cfts = cfts;
				goto err;
			}
1630 1631
		}
	}
1632 1633 1634

	css->flags |= CSS_VISIBLE;

1635 1636
	return 0;
err:
1637 1638 1639 1640 1641
	list_for_each_entry(cfts, &css->ss->cfts, node) {
		if (cfts == failed_cfts)
			break;
		cgroup_addrm_files(css, cgrp, cfts, false);
	}
1642 1643 1644
	return ret;
}

1645
int rebind_subsystems(struct cgroup_root *dst_root, u16 ss_mask)
1646
{
1647
	struct cgroup *dcgrp = &dst_root->cgrp;
1648
	struct cgroup_subsys *ss;
T
Tejun Heo 已提交
1649
	int ssid, i, ret;
1650

T
Tejun Heo 已提交
1651
	lockdep_assert_held(&cgroup_mutex);
1652

1653
	do_each_subsys_mask(ss, ssid, ss_mask) {
1654 1655 1656 1657 1658 1659 1660
		/*
		 * If @ss has non-root csses attached to it, can't move.
		 * If @ss is an implicit controller, it is exempt from this
		 * rule and can be stolen.
		 */
		if (css_next_child(NULL, cgroup_css(&ss->root->cgrp, ss)) &&
		    !ss->implicit_on_dfl)
T
Tejun Heo 已提交
1661
			return -EBUSY;
1662

1663
		/* can't move between two non-dummy roots either */
1664
		if (ss->root != &cgrp_dfl_root && dst_root != &cgrp_dfl_root)
1665
			return -EBUSY;
1666
	} while_each_subsys_mask();
1667

1668
	do_each_subsys_mask(ss, ssid, ss_mask) {
1669 1670 1671
		struct cgroup_root *src_root = ss->root;
		struct cgroup *scgrp = &src_root->cgrp;
		struct cgroup_subsys_state *css = cgroup_css(scgrp, ss);
T
Tejun Heo 已提交
1672
		struct css_set *cset;
1673

1674
		WARN_ON(!css || cgroup_css(dcgrp, ss));
1675

1676 1677 1678 1679
		/* disable from the source */
		src_root->subsys_mask &= ~(1 << ssid);
		WARN_ON(cgroup_apply_control(scgrp));
		cgroup_finalize_control(scgrp, 0);
1680

1681
		/* rebind */
1682 1683
		RCU_INIT_POINTER(scgrp->subsys[ssid], NULL);
		rcu_assign_pointer(dcgrp->subsys[ssid], css);
1684
		ss->root = dst_root;
1685
		css->cgroup = dcgrp;
1686

1687
		spin_lock_irq(&css_set_lock);
T
Tejun Heo 已提交
1688 1689
		hash_for_each(css_set_table, i, cset, hlist)
			list_move_tail(&cset->e_cset_node[ss->id],
1690
				       &dcgrp->e_csets[ss->id]);
1691
		spin_unlock_irq(&css_set_lock);
T
Tejun Heo 已提交
1692

1693
		/* default hierarchy doesn't enable controllers by default */
1694
		dst_root->subsys_mask |= 1 << ssid;
1695 1696 1697
		if (dst_root == &cgrp_dfl_root) {
			static_branch_enable(cgroup_subsys_on_dfl_key[ssid]);
		} else {
1698
			dcgrp->subtree_control |= 1 << ssid;
1699
			static_branch_disable(cgroup_subsys_on_dfl_key[ssid]);
1700
		}
1701

1702 1703 1704 1705 1706
		ret = cgroup_apply_control(dcgrp);
		if (ret)
			pr_warn("partial failure to rebind %s controller (err=%d)\n",
				ss->name, ret);

1707 1708
		if (ss->bind)
			ss->bind(css);
1709
	} while_each_subsys_mask();
1710

1711
	kernfs_activate(dcgrp->kn);
1712 1713 1714
	return 0;
}

1715 1716
int cgroup_show_path(struct seq_file *sf, struct kernfs_node *kf_node,
		     struct kernfs_root *kf_root)
1717
{
F
Felipe Balbi 已提交
1718
	int len = 0;
1719 1720 1721 1722 1723 1724 1725 1726
	char *buf = NULL;
	struct cgroup_root *kf_cgroot = cgroup_root_from_kf(kf_root);
	struct cgroup *ns_cgroup;

	buf = kmalloc(PATH_MAX, GFP_KERNEL);
	if (!buf)
		return -ENOMEM;

1727
	spin_lock_irq(&css_set_lock);
1728 1729
	ns_cgroup = current_cgns_cgroup_from_root(kf_cgroot);
	len = kernfs_path_from_node(kf_node, ns_cgroup->kn, buf, PATH_MAX);
1730
	spin_unlock_irq(&css_set_lock);
1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741

	if (len >= PATH_MAX)
		len = -ERANGE;
	else if (len > 0) {
		seq_escape(sf, buf, " \t\n\\");
		len = 0;
	}
	kfree(buf);
	return len;
}

1742 1743 1744 1745 1746 1747
static int parse_cgroup_root_flags(char *data, unsigned int *root_flags)
{
	char *token;

	*root_flags = 0;

1748
	if (!data || *data == '\0')
1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780
		return 0;

	while ((token = strsep(&data, ",")) != NULL) {
		if (!strcmp(token, "nsdelegate")) {
			*root_flags |= CGRP_ROOT_NS_DELEGATE;
			continue;
		}

		pr_err("cgroup2: unknown option \"%s\"\n", token);
		return -EINVAL;
	}

	return 0;
}

static void apply_cgroup_root_flags(unsigned int root_flags)
{
	if (current->nsproxy->cgroup_ns == &init_cgroup_ns) {
		if (root_flags & CGRP_ROOT_NS_DELEGATE)
			cgrp_dfl_root.flags |= CGRP_ROOT_NS_DELEGATE;
		else
			cgrp_dfl_root.flags &= ~CGRP_ROOT_NS_DELEGATE;
	}
}

static int cgroup_show_options(struct seq_file *seq, struct kernfs_root *kf_root)
{
	if (cgrp_dfl_root.flags & CGRP_ROOT_NS_DELEGATE)
		seq_puts(seq, ",nsdelegate");
	return 0;
}

T
Tejun Heo 已提交
1781
static int cgroup_remount(struct kernfs_root *kf_root, int *flags, char *data)
1782
{
1783 1784 1785 1786 1787 1788 1789 1790 1791
	unsigned int root_flags;
	int ret;

	ret = parse_cgroup_root_flags(data, &root_flags);
	if (ret)
		return ret;

	apply_cgroup_root_flags(root_flags);
	return 0;
1792 1793
}

1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813
/*
 * To reduce the fork() overhead for systems that are not actually using
 * their cgroups capability, we don't maintain the lists running through
 * each css_set to its tasks until we see the list actually used - in other
 * words after the first mount.
 */
static bool use_task_css_set_links __read_mostly;

static void cgroup_enable_task_cg_lists(void)
{
	struct task_struct *p, *g;

	/*
	 * We need tasklist_lock because RCU is not safe against
	 * while_each_thread(). Besides, a forking task that has passed
	 * cgroup_post_fork() without seeing use_task_css_set_links = 1
	 * is not guaranteed to have its child immediately visible in the
	 * tasklist if we walk through it with RCU.
	 */
	read_lock(&tasklist_lock);
1814 1815 1816 1817 1818 1819 1820
	spin_lock_irq(&css_set_lock);

	if (use_task_css_set_links)
		goto out_unlock;

	use_task_css_set_links = true;

1821 1822 1823 1824 1825 1826 1827 1828
	do_each_thread(g, p) {
		WARN_ON_ONCE(!list_empty(&p->cg_list) ||
			     task_css_set(p) != &init_css_set);

		/*
		 * We should check if the process is exiting, otherwise
		 * it will race with cgroup_exit() in that the list
		 * entry won't be deleted though the process has exited.
1829 1830
		 * Do it while holding siglock so that we don't end up
		 * racing against cgroup_exit().
1831 1832 1833 1834
		 *
		 * Interrupts were already disabled while acquiring
		 * the css_set_lock, so we do not need to disable it
		 * again when acquiring the sighand->siglock here.
1835
		 */
1836
		spin_lock(&p->sighand->siglock);
1837 1838 1839
		if (!(p->flags & PF_EXITING)) {
			struct css_set *cset = task_css_set(p);

1840 1841
			if (!css_set_populated(cset))
				css_set_update_populated(cset, true);
1842
			list_add_tail(&p->cg_list, &cset->tasks);
1843
			get_css_set(cset);
1844
			cset->nr_tasks++;
1845
		}
1846
		spin_unlock(&p->sighand->siglock);
1847 1848
	} while_each_thread(g, p);
out_unlock:
1849
	spin_unlock_irq(&css_set_lock);
1850
	read_unlock(&tasklist_lock);
1851
}
1852

1853 1854
static void init_cgroup_housekeeping(struct cgroup *cgrp)
{
T
Tejun Heo 已提交
1855 1856 1857
	struct cgroup_subsys *ss;
	int ssid;

1858 1859
	INIT_LIST_HEAD(&cgrp->self.sibling);
	INIT_LIST_HEAD(&cgrp->self.children);
1860
	INIT_LIST_HEAD(&cgrp->cset_links);
1861 1862
	INIT_LIST_HEAD(&cgrp->pidlists);
	mutex_init(&cgrp->pidlist_mutex);
1863
	cgrp->self.cgroup = cgrp;
1864
	cgrp->self.flags |= CSS_ONLINE;
1865
	cgrp->dom_cgrp = cgrp;
1866 1867
	cgrp->max_descendants = INT_MAX;
	cgrp->max_depth = INT_MAX;
1868
	INIT_LIST_HEAD(&cgrp->rstat_css_list);
1869
	prev_cputime_init(&cgrp->prev_cputime);
T
Tejun Heo 已提交
1870 1871 1872

	for_each_subsys(ss, ssid)
		INIT_LIST_HEAD(&cgrp->e_csets[ssid]);
1873 1874

	init_waitqueue_head(&cgrp->offline_waitq);
1875
	INIT_WORK(&cgrp->release_agent_work, cgroup1_release_agent);
1876
}
1877

1878
void init_cgroup_root(struct cgroup_root *root, struct cgroup_sb_opts *opts)
1879
{
1880
	struct cgroup *cgrp = &root->cgrp;
1881

1882
	INIT_LIST_HEAD(&root->root_list);
1883
	atomic_set(&root->nr_cgrps, 1);
1884
	cgrp->root = root;
1885
	init_cgroup_housekeeping(cgrp);
1886
	idr_init(&root->cgroup_idr);
1887 1888 1889

	root->flags = opts->flags;
	if (opts->release_agent)
1890
		strscpy(root->release_agent_path, opts->release_agent, PATH_MAX);
1891
	if (opts->name)
1892
		strscpy(root->name, opts->name, MAX_CGROUP_ROOT_NAMELEN);
1893
	if (opts->cpuset_clone_children)
1894
		set_bit(CGRP_CPUSET_CLONE_CHILDREN, &root->cgrp.flags);
1895 1896
}

1897
int cgroup_setup_root(struct cgroup_root *root, u16 ss_mask, int ref_flags)
1898
{
1899
	LIST_HEAD(tmp_links);
1900
	struct cgroup *root_cgrp = &root->cgrp;
1901
	struct kernfs_syscall_ops *kf_sops;
1902 1903
	struct css_set *cset;
	int i, ret;
1904

1905
	lockdep_assert_held(&cgroup_mutex);
1906

V
Vladimir Davydov 已提交
1907
	ret = cgroup_idr_alloc(&root->cgroup_idr, root_cgrp, 1, 2, GFP_KERNEL);
1908
	if (ret < 0)
T
Tejun Heo 已提交
1909
		goto out;
1910
	root_cgrp->id = ret;
1911
	root_cgrp->ancestor_ids[0] = ret;
1912

1913 1914
	ret = percpu_ref_init(&root_cgrp->self.refcnt, css_release,
			      ref_flags, GFP_KERNEL);
1915 1916 1917
	if (ret)
		goto out;

1918
	/*
1919
	 * We're accessing css_set_count without locking css_set_lock here,
1920
	 * but that's OK - it can only be increased by someone holding
1921 1922 1923
	 * cgroup_lock, and that's us.  Later rebinding may disable
	 * controllers on the default hierarchy and thus create new csets,
	 * which can't be more than the existing ones.  Allocate 2x.
1924
	 */
1925
	ret = allocate_cgrp_cset_links(2 * css_set_count, &tmp_links);
1926
	if (ret)
1927
		goto cancel_ref;
1928

1929
	ret = cgroup_init_root_id(root);
1930
	if (ret)
1931
		goto cancel_ref;
1932

1933 1934 1935 1936
	kf_sops = root == &cgrp_dfl_root ?
		&cgroup_kf_syscall_ops : &cgroup1_kf_syscall_ops;

	root->kf_root = kernfs_create_root(kf_sops,
S
Shaohua Li 已提交
1937 1938
					   KERNFS_ROOT_CREATE_DEACTIVATED |
					   KERNFS_ROOT_SUPPORT_EXPORTOP,
T
Tejun Heo 已提交
1939 1940 1941 1942 1943 1944
					   root_cgrp);
	if (IS_ERR(root->kf_root)) {
		ret = PTR_ERR(root->kf_root);
		goto exit_root_id;
	}
	root_cgrp->kn = root->kf_root->kn;
1945

1946
	ret = css_populate_dir(&root_cgrp->self);
1947
	if (ret)
T
Tejun Heo 已提交
1948
		goto destroy_root;
1949

1950
	ret = rebind_subsystems(root, ss_mask);
1951
	if (ret)
T
Tejun Heo 已提交
1952
		goto destroy_root;
1953

1954 1955 1956
	ret = cgroup_bpf_inherit(root_cgrp);
	WARN_ON_ONCE(ret);

1957 1958
	trace_cgroup_setup_root(root);

1959 1960 1961 1962 1963 1964 1965
	/*
	 * There must be no failure case after here, since rebinding takes
	 * care of subsystems' refcounts, which are explicitly dropped in
	 * the failure exit path.
	 */
	list_add(&root->root_list, &cgroup_roots);
	cgroup_root_count++;
A
Al Viro 已提交
1966

1967
	/*
1968
	 * Link the root cgroup in this hierarchy into all the css_set
1969 1970
	 * objects.
	 */
1971
	spin_lock_irq(&css_set_lock);
1972
	hash_for_each(css_set_table, i, cset, hlist) {
1973
		link_css_set(&tmp_links, cset, root_cgrp);
1974 1975 1976
		if (css_set_populated(cset))
			cgroup_update_populated(root_cgrp, true);
	}
1977
	spin_unlock_irq(&css_set_lock);
1978

1979
	BUG_ON(!list_empty(&root_cgrp->self.children));
1980
	BUG_ON(atomic_read(&root->nr_cgrps) != 1);
1981

T
Tejun Heo 已提交
1982
	kernfs_activate(root_cgrp->kn);
1983
	ret = 0;
T
Tejun Heo 已提交
1984
	goto out;
1985

T
Tejun Heo 已提交
1986 1987 1988 1989
destroy_root:
	kernfs_destroy_root(root->kf_root);
	root->kf_root = NULL;
exit_root_id:
1990
	cgroup_exit_root_id(root);
1991
cancel_ref:
1992
	percpu_ref_exit(&root_cgrp->self.refcnt);
T
Tejun Heo 已提交
1993
out:
1994 1995
	free_cgrp_cset_links(&tmp_links);
	return ret;
1996 1997
}

1998 1999 2000
struct dentry *cgroup_do_mount(struct file_system_type *fs_type, int flags,
			       struct cgroup_root *root, unsigned long magic,
			       struct cgroup_namespace *ns)
2001
{
T
Tejun Heo 已提交
2002
	struct dentry *dentry;
2003
	bool new_sb = false;
2004

2005
	dentry = kernfs_mount(fs_type, flags, root->kf_root, magic, &new_sb);
2006

2007
	/*
2008 2009
	 * In non-init cgroup namespace, instead of root cgroup's dentry,
	 * we return the dentry corresponding to the cgroupns->root_cgrp.
2010
	 */
2011 2012
	if (!IS_ERR(dentry) && ns != &init_cgroup_ns) {
		struct dentry *nsdentry;
2013
		struct super_block *sb = dentry->d_sb;
2014
		struct cgroup *cgrp;
2015

2016 2017 2018 2019 2020 2021 2022 2023
		mutex_lock(&cgroup_mutex);
		spin_lock_irq(&css_set_lock);

		cgrp = cset_cgroup_from_root(ns->root_cset, root);

		spin_unlock_irq(&css_set_lock);
		mutex_unlock(&cgroup_mutex);

2024
		nsdentry = kernfs_node_dentry(cgrp->kn, sb);
2025
		dput(dentry);
2026 2027
		if (IS_ERR(nsdentry))
			deactivate_locked_super(sb);
2028
		dentry = nsdentry;
2029 2030
	}

2031
	if (!new_sb)
2032 2033 2034 2035 2036
		cgroup_put(&root->cgrp);

	return dentry;
}

A
Al Viro 已提交
2037
static struct dentry *cgroup_mount(struct file_system_type *fs_type,
2038
			 int flags, const char *unused_dev_name,
A
Al Viro 已提交
2039
			 void *data)
2040
{
2041
	struct cgroup_namespace *ns = current->nsproxy->cgroup_ns;
T
Tejun Heo 已提交
2042
	struct dentry *dentry;
2043
	int ret;
2044

2045 2046 2047 2048 2049 2050 2051 2052
	get_cgroup_ns(ns);

	/* Check if the caller has permission to mount. */
	if (!ns_capable(ns->user_ns, CAP_SYS_ADMIN)) {
		put_cgroup_ns(ns);
		return ERR_PTR(-EPERM);
	}

2053 2054 2055 2056 2057 2058
	/*
	 * The first time anyone tries to mount a cgroup, enable the list
	 * linking each css_set to its tasks and fix up all existing tasks.
	 */
	if (!use_task_css_set_links)
		cgroup_enable_task_cg_lists();
2059

2060
	if (fs_type == &cgroup2_fs_type) {
2061 2062 2063 2064
		unsigned int root_flags;

		ret = parse_cgroup_root_flags(data, &root_flags);
		if (ret) {
2065
			put_cgroup_ns(ns);
2066
			return ERR_PTR(ret);
2067
		}
2068

T
Tejun Heo 已提交
2069
		cgrp_dfl_visible = true;
2070
		cgroup_get_live(&cgrp_dfl_root.cgrp);
2071 2072 2073

		dentry = cgroup_do_mount(&cgroup2_fs_type, flags, &cgrp_dfl_root,
					 CGROUP2_SUPER_MAGIC, ns);
2074 2075
		if (!IS_ERR(dentry))
			apply_cgroup_root_flags(root_flags);
2076 2077 2078
	} else {
		dentry = cgroup1_mount(&cgroup_fs_type, flags, data,
				       CGROUP_SUPER_MAGIC, ns);
2079 2080
	}

2081
	put_cgroup_ns(ns);
T
Tejun Heo 已提交
2082 2083
	return dentry;
}
2084

T
Tejun Heo 已提交
2085 2086 2087
static void cgroup_kill_sb(struct super_block *sb)
{
	struct kernfs_root *kf_root = kernfs_root_from_sb(sb);
2088
	struct cgroup_root *root = cgroup_root_from_kf(kf_root);
2089

2090
	/*
2091 2092 2093
	 * If @root doesn't have any mounts or children, start killing it.
	 * This prevents new mounts by disabling percpu_ref_tryget_live().
	 * cgroup_mount() may wait for @root's release.
2094 2095
	 *
	 * And don't kill the default root.
2096
	 */
2097
	if (!list_empty(&root->cgrp.self.children) ||
2098
	    root == &cgrp_dfl_root)
2099 2100 2101
		cgroup_put(&root->cgrp);
	else
		percpu_ref_kill(&root->cgrp.self.refcnt);
2102

T
Tejun Heo 已提交
2103
	kernfs_kill_sb(sb);
2104
}
2105

2106
struct file_system_type cgroup_fs_type = {
2107
	.name = "cgroup",
A
Al Viro 已提交
2108
	.mount = cgroup_mount,
2109
	.kill_sb = cgroup_kill_sb,
S
Serge Hallyn 已提交
2110
	.fs_flags = FS_USERNS_MOUNT,
2111
};
2112

2113 2114 2115 2116
static struct file_system_type cgroup2_fs_type = {
	.name = "cgroup2",
	.mount = cgroup_mount,
	.kill_sb = cgroup_kill_sb,
S
Serge Hallyn 已提交
2117
	.fs_flags = FS_USERNS_MOUNT,
2118
};
2119

2120 2121
int cgroup_path_ns_locked(struct cgroup *cgrp, char *buf, size_t buflen,
			  struct cgroup_namespace *ns)
2122 2123 2124
{
	struct cgroup *root = cset_cgroup_from_root(ns->root_cset, cgrp->root);

2125
	return kernfs_path_from_node(cgrp->kn, root->kn, buf, buflen);
2126 2127
}

2128 2129
int cgroup_path_ns(struct cgroup *cgrp, char *buf, size_t buflen,
		   struct cgroup_namespace *ns)
2130
{
2131
	int ret;
2132 2133

	mutex_lock(&cgroup_mutex);
2134
	spin_lock_irq(&css_set_lock);
2135 2136 2137

	ret = cgroup_path_ns_locked(cgrp, buf, buflen, ns);

2138
	spin_unlock_irq(&css_set_lock);
2139 2140 2141 2142 2143 2144
	mutex_unlock(&cgroup_mutex);

	return ret;
}
EXPORT_SYMBOL_GPL(cgroup_path_ns);

2145
/**
2146
 * task_cgroup_path - cgroup path of a task in the first cgroup hierarchy
2147 2148 2149 2150
 * @task: target task
 * @buf: the buffer to write the path into
 * @buflen: the length of the buffer
 *
2151 2152 2153 2154 2155
 * Determine @task's cgroup on the first (the one with the lowest non-zero
 * hierarchy_id) cgroup hierarchy and copy its path into @buf.  This
 * function grabs cgroup_mutex and shouldn't be used inside locks used by
 * cgroup controller callbacks.
 *
T
Tejun Heo 已提交
2156
 * Return value is the same as kernfs_path().
2157
 */
2158
int task_cgroup_path(struct task_struct *task, char *buf, size_t buflen)
2159
{
2160
	struct cgroup_root *root;
2161
	struct cgroup *cgrp;
T
Tejun Heo 已提交
2162
	int hierarchy_id = 1;
2163
	int ret;
2164 2165

	mutex_lock(&cgroup_mutex);
2166
	spin_lock_irq(&css_set_lock);
2167

2168 2169
	root = idr_get_next(&cgroup_hierarchy_idr, &hierarchy_id);

2170 2171
	if (root) {
		cgrp = task_cgroup_from_root(task, root);
2172
		ret = cgroup_path_ns_locked(cgrp, buf, buflen, &init_cgroup_ns);
2173 2174
	} else {
		/* if no hierarchy exists, everyone is in "/" */
2175
		ret = strlcpy(buf, "/", buflen);
2176 2177
	}

2178
	spin_unlock_irq(&css_set_lock);
2179
	mutex_unlock(&cgroup_mutex);
2180
	return ret;
2181
}
2182
EXPORT_SYMBOL_GPL(task_cgroup_path);
2183

2184
/**
2185
 * cgroup_migrate_add_task - add a migration target task to a migration context
2186
 * @task: target task
2187
 * @mgctx: target migration context
2188
 *
2189 2190 2191 2192
 * Add @task, which is a migration target, to @mgctx->tset.  This function
 * becomes noop if @task doesn't need to be migrated.  @task's css_set
 * should have been added as a migration source and @task->cg_list will be
 * moved from the css_set's tasks list to mg_tasks one.
2193
 */
2194 2195
static void cgroup_migrate_add_task(struct task_struct *task,
				    struct cgroup_mgctx *mgctx)
2196 2197 2198
{
	struct css_set *cset;

2199
	lockdep_assert_held(&css_set_lock);
2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212

	/* @task either already exited or can't exit until the end */
	if (task->flags & PF_EXITING)
		return;

	/* leave @task alone if post_fork() hasn't linked it yet */
	if (list_empty(&task->cg_list))
		return;

	cset = task_css_set(task);
	if (!cset->mg_src_cgrp)
		return;

2213 2214
	mgctx->tset.nr_tasks++;

2215 2216
	list_move_tail(&task->cg_list, &cset->mg_tasks);
	if (list_empty(&cset->mg_node))
2217 2218
		list_add_tail(&cset->mg_node,
			      &mgctx->tset.src_csets);
2219
	if (list_empty(&cset->mg_dst_cset->mg_node)) {
2220
		list_add_tail(&cset->mg_dst_cset->mg_node,
2221
			      &mgctx->tset.dst_csets);
2222 2223
		mgctx->tset.dst_count++;
	}
2224 2225
}

2226 2227 2228
/**
 * cgroup_taskset_first - reset taskset and return the first task
 * @tset: taskset of interest
2229
 * @dst_cssp: output variable for the destination css
2230 2231 2232
 *
 * @tset iteration is initialized and the first task is returned.
 */
2233 2234
struct task_struct *cgroup_taskset_first(struct cgroup_taskset *tset,
					 struct cgroup_subsys_state **dst_cssp)
2235
{
2236 2237 2238
	tset->cur_cset = list_first_entry(tset->csets, struct css_set, mg_node);
	tset->cur_task = NULL;

2239
	return cgroup_taskset_next(tset, dst_cssp);
2240 2241 2242 2243 2244
}

/**
 * cgroup_taskset_next - iterate to the next task in taskset
 * @tset: taskset of interest
2245
 * @dst_cssp: output variable for the destination css
2246 2247 2248 2249
 *
 * Return the next task in @tset.  Iteration must have been initialized
 * with cgroup_taskset_first().
 */
2250 2251
struct task_struct *cgroup_taskset_next(struct cgroup_taskset *tset,
					struct cgroup_subsys_state **dst_cssp)
2252
{
2253 2254
	struct css_set *cset = tset->cur_cset;
	struct task_struct *task = tset->cur_task;
2255

2256 2257 2258 2259 2260 2261
	while (&cset->mg_node != tset->csets) {
		if (!task)
			task = list_first_entry(&cset->mg_tasks,
						struct task_struct, cg_list);
		else
			task = list_next_entry(task, cg_list);
2262

2263 2264 2265
		if (&task->cg_list != &cset->mg_tasks) {
			tset->cur_cset = cset;
			tset->cur_task = task;
2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277

			/*
			 * This function may be called both before and
			 * after cgroup_taskset_migrate().  The two cases
			 * can be distinguished by looking at whether @cset
			 * has its ->mg_dst_cset set.
			 */
			if (cset->mg_dst_cset)
				*dst_cssp = cset->mg_dst_cset->subsys[tset->ssid];
			else
				*dst_cssp = cset->subsys[tset->ssid];

2278 2279
			return task;
		}
2280

2281 2282 2283
		cset = list_next_entry(cset, mg_node);
		task = NULL;
	}
2284

2285
	return NULL;
2286 2287
}

2288
/**
2289
 * cgroup_taskset_migrate - migrate a taskset
2290
 * @mgctx: migration context
2291
 *
2292
 * Migrate tasks in @mgctx as setup by migration preparation functions.
2293
 * This function fails iff one of the ->can_attach callbacks fails and
2294 2295
 * guarantees that either all or none of the tasks in @mgctx are migrated.
 * @mgctx is consumed regardless of success.
2296
 */
2297
static int cgroup_migrate_execute(struct cgroup_mgctx *mgctx)
2298
{
2299
	struct cgroup_taskset *tset = &mgctx->tset;
2300
	struct cgroup_subsys *ss;
2301 2302
	struct task_struct *task, *tmp_task;
	struct css_set *cset, *tmp_cset;
2303
	int ssid, failed_ssid, ret;
2304
	LIST_HEAD(tmp_links);
2305 2306

	/* check that we can legitimately attach to the cgroup */
2307
	if (tset->nr_tasks) {
2308 2309 2310 2311
		ret = allocate_memcg_blkcg_links(tset->dst_count*2, &tmp_links);
		if (ret)
			goto out_free_list;

2312 2313 2314 2315 2316 2317 2318 2319
		do_each_subsys_mask(ss, ssid, mgctx->ss_mask) {
			if (ss->can_attach) {
				tset->ssid = ssid;
				ret = ss->can_attach(tset);
				if (ret) {
					failed_ssid = ssid;
					goto out_cancel_attach;
				}
2320
			}
2321 2322
		} while_each_subsys_mask();
	}
2323 2324 2325 2326 2327 2328

	/*
	 * Now that we're guaranteed success, proceed to move all tasks to
	 * the new cgroup.  There are no failure cases after here, so this
	 * is the commit point.
	 */
2329
	spin_lock_irq(&css_set_lock);
2330
	list_for_each_entry(cset, &tset->src_csets, mg_node) {
T
Tejun Heo 已提交
2331 2332 2333 2334 2335
		list_for_each_entry_safe(task, tmp_task, &cset->mg_tasks, cg_list) {
			struct css_set *from_cset = task_css_set(task);
			struct css_set *to_cset = cset->mg_dst_cset;

			get_css_set(to_cset);
2336
			to_cset->nr_tasks++;
T
Tejun Heo 已提交
2337 2338
			css_set_move_task(task, from_cset, to_cset, true);
			put_css_set_locked(from_cset);
2339
			from_cset->nr_tasks--;
T
Tejun Heo 已提交
2340
		}
2341
	}
2342
	spin_unlock_irq(&css_set_lock);
2343 2344 2345 2346 2347 2348 2349 2350

	/*
	 * Migration is committed, all target tasks are now on dst_csets.
	 * Nothing is sensitive to fork() after this point.  Notify
	 * controllers that migration is complete.
	 */
	tset->csets = &tset->dst_csets;

2351 2352 2353 2354 2355 2356
	if (tset->nr_tasks) {
		do_each_subsys_mask(ss, ssid, mgctx->ss_mask) {
			if (ss->attach) {
				tset->ssid = ssid;
				ss->attach(tset);
			}
2357 2358
			list_for_each_entry(cset, &tset->dst_csets, mg_node)
				insert_memcg_blkcg_link(ss, &tmp_links, cset);
2359 2360
		} while_each_subsys_mask();
	}
2361 2362 2363 2364 2365

	ret = 0;
	goto out_release_tset;

out_cancel_attach:
2366 2367 2368 2369 2370 2371 2372 2373 2374 2375
	if (tset->nr_tasks) {
		do_each_subsys_mask(ss, ssid, mgctx->ss_mask) {
			if (ssid == failed_ssid)
				break;
			if (ss->cancel_attach) {
				tset->ssid = ssid;
				ss->cancel_attach(tset);
			}
		} while_each_subsys_mask();
	}
2376
out_release_tset:
2377
	spin_lock_irq(&css_set_lock);
2378 2379 2380 2381 2382
	list_splice_init(&tset->dst_csets, &tset->src_csets);
	list_for_each_entry_safe(cset, tmp_cset, &tset->src_csets, mg_node) {
		list_splice_tail_init(&cset->mg_tasks, &cset->tasks);
		list_del_init(&cset->mg_node);
	}
2383
	spin_unlock_irq(&css_set_lock);
2384

2385 2386 2387
out_free_list:
	free_memcg_blkcg_links(&tmp_links);

2388 2389 2390 2391 2392 2393 2394
	/*
	 * Re-initialize the cgroup_taskset structure in case it is reused
	 * again in another cgroup_migrate_add_task()/cgroup_migrate_execute()
	 * iteration.
	 */
	tset->nr_tasks = 0;
	tset->csets    = &tset->src_csets;
2395 2396 2397
	return ret;
}

2398
/**
2399
 * cgroup_migrate_vet_dst - verify whether a cgroup can be migration destination
2400 2401
 * @dst_cgrp: destination cgroup to test
 *
2402 2403 2404 2405
 * On the default hierarchy, except for the mixable, (possible) thread root
 * and threaded cgroups, subtree_control must be zero for migration
 * destination cgroups with tasks so that child cgroups don't compete
 * against tasks.
2406
 */
2407
int cgroup_migrate_vet_dst(struct cgroup *dst_cgrp)
2408
{
2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432
	/* v1 doesn't have any restriction */
	if (!cgroup_on_dfl(dst_cgrp))
		return 0;

	/* verify @dst_cgrp can host resources */
	if (!cgroup_is_valid_domain(dst_cgrp->dom_cgrp))
		return -EOPNOTSUPP;

	/* mixables don't care */
	if (cgroup_is_mixable(dst_cgrp))
		return 0;

	/*
	 * If @dst_cgrp is already or can become a thread root or is
	 * threaded, it doesn't matter.
	 */
	if (cgroup_can_be_thread_root(dst_cgrp) || cgroup_is_threaded(dst_cgrp))
		return 0;

	/* apply no-internal-process constraint */
	if (dst_cgrp->subtree_control)
		return -EBUSY;

	return 0;
2433 2434
}

L
Li Zefan 已提交
2435
/**
2436
 * cgroup_migrate_finish - cleanup after attach
2437
 * @mgctx: migration context
B
Ben Blum 已提交
2438
 *
2439 2440
 * Undo cgroup_migrate_add_src() and cgroup_migrate_prepare_dst().  See
 * those functions for details.
B
Ben Blum 已提交
2441
 */
2442
void cgroup_migrate_finish(struct cgroup_mgctx *mgctx)
B
Ben Blum 已提交
2443
{
2444
	LIST_HEAD(preloaded);
2445
	struct css_set *cset, *tmp_cset;
B
Ben Blum 已提交
2446

2447 2448
	lockdep_assert_held(&cgroup_mutex);

2449
	spin_lock_irq(&css_set_lock);
2450 2451 2452 2453 2454

	list_splice_tail_init(&mgctx->preloaded_src_csets, &preloaded);
	list_splice_tail_init(&mgctx->preloaded_dst_csets, &preloaded);

	list_for_each_entry_safe(cset, tmp_cset, &preloaded, mg_preload_node) {
2455
		cset->mg_src_cgrp = NULL;
2456
		cset->mg_dst_cgrp = NULL;
2457 2458
		cset->mg_dst_cset = NULL;
		list_del_init(&cset->mg_preload_node);
Z
Zefan Li 已提交
2459
		put_css_set_locked(cset);
2460
	}
2461

2462
	spin_unlock_irq(&css_set_lock);
2463 2464 2465 2466 2467 2468
}

/**
 * cgroup_migrate_add_src - add a migration source css_set
 * @src_cset: the source css_set to add
 * @dst_cgrp: the destination cgroup
2469
 * @mgctx: migration context
2470 2471
 *
 * Tasks belonging to @src_cset are about to be migrated to @dst_cgrp.  Pin
2472
 * @src_cset and add it to @mgctx->src_csets, which should later be cleaned
2473 2474
 * up by cgroup_migrate_finish().
 *
2475 2476 2477 2478 2479
 * This function may be called without holding cgroup_threadgroup_rwsem
 * even if the target is a process.  Threads may be created and destroyed
 * but as long as cgroup_mutex is not dropped, no new css_set can be put
 * into play and the preloaded css_sets are guaranteed to cover all
 * migrations.
2480
 */
2481 2482
void cgroup_migrate_add_src(struct css_set *src_cset,
			    struct cgroup *dst_cgrp,
2483
			    struct cgroup_mgctx *mgctx)
2484 2485 2486 2487
{
	struct cgroup *src_cgrp;

	lockdep_assert_held(&cgroup_mutex);
2488
	lockdep_assert_held(&css_set_lock);
2489

2490 2491 2492 2493 2494 2495 2496 2497
	/*
	 * If ->dead, @src_set is associated with one or more dead cgroups
	 * and doesn't contain any migratable tasks.  Ignore it early so
	 * that the rest of migration path doesn't get confused by it.
	 */
	if (src_cset->dead)
		return;

2498 2499 2500 2501 2502 2503
	src_cgrp = cset_cgroup_from_root(src_cset, dst_cgrp->root);

	if (!list_empty(&src_cset->mg_preload_node))
		return;

	WARN_ON(src_cset->mg_src_cgrp);
2504
	WARN_ON(src_cset->mg_dst_cgrp);
2505 2506 2507 2508
	WARN_ON(!list_empty(&src_cset->mg_tasks));
	WARN_ON(!list_empty(&src_cset->mg_node));

	src_cset->mg_src_cgrp = src_cgrp;
2509
	src_cset->mg_dst_cgrp = dst_cgrp;
2510
	get_css_set(src_cset);
2511
	list_add_tail(&src_cset->mg_preload_node, &mgctx->preloaded_src_csets);
2512 2513 2514 2515
}

/**
 * cgroup_migrate_prepare_dst - prepare destination css_sets for migration
2516
 * @mgctx: migration context
2517
 *
2518
 * Tasks are about to be moved and all the source css_sets have been
2519 2520 2521
 * preloaded to @mgctx->preloaded_src_csets.  This function looks up and
 * pins all destination css_sets, links each to its source, and append them
 * to @mgctx->preloaded_dst_csets.
2522 2523 2524 2525
 *
 * This function must be called after cgroup_migrate_add_src() has been
 * called on each migration source css_set.  After migration is performed
 * using cgroup_migrate(), cgroup_migrate_finish() must be called on
2526
 * @mgctx.
2527
 */
2528
int cgroup_migrate_prepare_dst(struct cgroup_mgctx *mgctx)
2529
{
2530
	struct css_set *src_cset, *tmp_cset;
2531 2532 2533 2534

	lockdep_assert_held(&cgroup_mutex);

	/* look up the dst cset for each src cset and link it to src */
2535 2536
	list_for_each_entry_safe(src_cset, tmp_cset, &mgctx->preloaded_src_csets,
				 mg_preload_node) {
2537
		struct css_set *dst_cset;
2538 2539
		struct cgroup_subsys *ss;
		int ssid;
2540

2541
		dst_cset = find_css_set(src_cset, src_cset->mg_dst_cgrp);
2542 2543 2544 2545
		if (!dst_cset)
			goto err;

		WARN_ON_ONCE(src_cset->mg_dst_cset || dst_cset->mg_dst_cset);
2546 2547 2548 2549 2550 2551 2552 2553

		/*
		 * If src cset equals dst, it's noop.  Drop the src.
		 * cgroup_migrate() will skip the cset too.  Note that we
		 * can't handle src == dst as some nodes are used by both.
		 */
		if (src_cset == dst_cset) {
			src_cset->mg_src_cgrp = NULL;
2554
			src_cset->mg_dst_cgrp = NULL;
2555
			list_del_init(&src_cset->mg_preload_node);
Z
Zefan Li 已提交
2556 2557
			put_css_set(src_cset);
			put_css_set(dst_cset);
2558 2559 2560
			continue;
		}

2561 2562 2563
		src_cset->mg_dst_cset = dst_cset;

		if (list_empty(&dst_cset->mg_preload_node))
2564 2565
			list_add_tail(&dst_cset->mg_preload_node,
				      &mgctx->preloaded_dst_csets);
2566
		else
Z
Zefan Li 已提交
2567
			put_css_set(dst_cset);
2568 2569 2570 2571

		for_each_subsys(ss, ssid)
			if (src_cset->subsys[ssid] != dst_cset->subsys[ssid])
				mgctx->ss_mask |= 1 << ssid;
2572 2573 2574 2575
	}

	return 0;
err:
2576
	cgroup_migrate_finish(mgctx);
2577 2578 2579 2580 2581 2582 2583
	return -ENOMEM;
}

/**
 * cgroup_migrate - migrate a process or task to a cgroup
 * @leader: the leader of the process or the task to migrate
 * @threadgroup: whether @leader points to the whole process or a single task
2584
 * @mgctx: migration context
2585
 *
2586 2587 2588
 * Migrate a process or task denoted by @leader.  If migrating a process,
 * the caller must be holding cgroup_threadgroup_rwsem.  The caller is also
 * responsible for invoking cgroup_migrate_add_src() and
2589 2590 2591 2592 2593 2594 2595 2596 2597
 * cgroup_migrate_prepare_dst() on the targets before invoking this
 * function and following up with cgroup_migrate_finish().
 *
 * As long as a controller's ->can_attach() doesn't fail, this function is
 * guaranteed to succeed.  This means that, excluding ->can_attach()
 * failure, when migrating multiple targets, the success or failure can be
 * decided for all targets by invoking group_migrate_prepare_dst() before
 * actually starting migrating.
 */
2598
int cgroup_migrate(struct task_struct *leader, bool threadgroup,
2599
		   struct cgroup_mgctx *mgctx)
B
Ben Blum 已提交
2600
{
2601
	struct task_struct *task;
B
Ben Blum 已提交
2602

2603 2604 2605 2606 2607
	/*
	 * Prevent freeing of tasks while we take a snapshot. Tasks that are
	 * already PF_EXITING could be freed from underneath us unless we
	 * take an rcu_read_lock.
	 */
2608
	spin_lock_irq(&css_set_lock);
2609
	rcu_read_lock();
2610
	task = leader;
B
Ben Blum 已提交
2611
	do {
2612
		cgroup_migrate_add_task(task, mgctx);
2613 2614
		if (!threadgroup)
			break;
2615
	} while_each_thread(leader, task);
2616
	rcu_read_unlock();
2617
	spin_unlock_irq(&css_set_lock);
B
Ben Blum 已提交
2618

2619
	return cgroup_migrate_execute(mgctx);
B
Ben Blum 已提交
2620 2621
}

2622 2623 2624 2625 2626 2627
/**
 * cgroup_attach_task - attach a task or a whole threadgroup to a cgroup
 * @dst_cgrp: the cgroup to attach to
 * @leader: the task or the leader of the threadgroup to be attached
 * @threadgroup: attach the whole threadgroup?
 *
2628
 * Call holding cgroup_mutex and cgroup_threadgroup_rwsem.
2629
 */
2630 2631
int cgroup_attach_task(struct cgroup *dst_cgrp, struct task_struct *leader,
		       bool threadgroup)
2632
{
2633
	DEFINE_CGROUP_MGCTX(mgctx);
2634 2635 2636
	struct task_struct *task;
	int ret;

2637 2638 2639
	ret = cgroup_migrate_vet_dst(dst_cgrp);
	if (ret)
		return ret;
2640

2641
	/* look up all src csets */
2642
	spin_lock_irq(&css_set_lock);
2643 2644 2645
	rcu_read_lock();
	task = leader;
	do {
2646
		cgroup_migrate_add_src(task_css_set(task), dst_cgrp, &mgctx);
2647 2648 2649 2650
		if (!threadgroup)
			break;
	} while_each_thread(leader, task);
	rcu_read_unlock();
2651
	spin_unlock_irq(&css_set_lock);
2652 2653

	/* prepare dst csets and commit */
2654
	ret = cgroup_migrate_prepare_dst(&mgctx);
2655
	if (!ret)
2656
		ret = cgroup_migrate(leader, threadgroup, &mgctx);
2657

2658
	cgroup_migrate_finish(&mgctx);
2659 2660

	if (!ret)
2661
		TRACE_CGROUP_PATH(attach_task, dst_cgrp, leader, threadgroup);
2662

2663
	return ret;
B
Ben Blum 已提交
2664 2665
}

2666 2667
struct task_struct *cgroup_procs_write_start(char *buf, bool threadgroup)
	__acquires(&cgroup_threadgroup_rwsem)
2668 2669
{
	struct task_struct *tsk;
2670
	pid_t pid;
2671

2672
	if (kstrtoint(strstrip(buf), 0, &pid) || pid < 0)
2673
		return ERR_PTR(-EINVAL);
B
Ben Blum 已提交
2674

T
Tejun Heo 已提交
2675
	percpu_down_write(&cgroup_threadgroup_rwsem);
2676

2677
	rcu_read_lock();
2678
	if (pid) {
2679
		tsk = find_task_by_vpid(pid);
B
Ben Blum 已提交
2680
		if (!tsk) {
2681 2682
			tsk = ERR_PTR(-ESRCH);
			goto out_unlock_threadgroup;
2683
		}
2684
	} else {
2685
		tsk = current;
2686
	}
2687 2688

	if (threadgroup)
2689
		tsk = tsk->group_leader;
2690 2691

	/*
2692 2693 2694 2695
	 * kthreads may acquire PF_NO_SETAFFINITY during initialization.
	 * If userland migrates such a kthread to a non-root cgroup, it can
	 * become trapped in a cpuset, or RT kthread may be born in a
	 * cgroup with no rt_runtime allocated.  Just say no.
2696
	 */
2697
	if (tsk->no_cgroup_migration || (tsk->flags & PF_NO_SETAFFINITY)) {
2698 2699
		tsk = ERR_PTR(-EINVAL);
		goto out_unlock_threadgroup;
2700 2701
	}

2702
	get_task_struct(tsk);
2703 2704 2705 2706 2707
	goto out_unlock_rcu;

out_unlock_threadgroup:
	percpu_up_write(&cgroup_threadgroup_rwsem);
out_unlock_rcu:
2708
	rcu_read_unlock();
2709 2710
	return tsk;
}
2711

2712 2713 2714 2715 2716
void cgroup_procs_write_finish(struct task_struct *task)
	__releases(&cgroup_threadgroup_rwsem)
{
	struct cgroup_subsys *ss;
	int ssid;
2717

2718 2719
	/* release reference from cgroup_procs_write_start() */
	put_task_struct(task);
T
Tejun Heo 已提交
2720 2721

	percpu_up_write(&cgroup_threadgroup_rwsem);
2722 2723 2724
	for_each_subsys(ss, ssid)
		if (ss->post_attach)
			ss->post_attach();
2725 2726
}

2727
static void cgroup_print_ss_mask(struct seq_file *seq, u16 ss_mask)
2728
{
2729 2730 2731
	struct cgroup_subsys *ss;
	bool printed = false;
	int ssid;
2732

2733
	do_each_subsys_mask(ss, ssid, ss_mask) {
2734 2735 2736 2737
		if (printed)
			seq_putc(seq, ' ');
		seq_printf(seq, "%s", ss->name);
		printed = true;
2738
	} while_each_subsys_mask();
2739 2740
	if (printed)
		seq_putc(seq, '\n');
2741 2742
}

2743 2744
/* show controllers which are enabled from the parent */
static int cgroup_controllers_show(struct seq_file *seq, void *v)
2745
{
2746 2747
	struct cgroup *cgrp = seq_css(seq)->cgroup;

2748
	cgroup_print_ss_mask(seq, cgroup_control(cgrp));
2749
	return 0;
2750 2751
}

2752 2753
/* show controllers which are enabled for a given cgroup's children */
static int cgroup_subtree_control_show(struct seq_file *seq, void *v)
2754
{
2755 2756
	struct cgroup *cgrp = seq_css(seq)->cgroup;

2757
	cgroup_print_ss_mask(seq, cgrp->subtree_control);
2758 2759 2760 2761 2762 2763 2764
	return 0;
}

/**
 * cgroup_update_dfl_csses - update css assoc of a subtree in default hierarchy
 * @cgrp: root of the subtree to update csses for
 *
2765 2766 2767 2768
 * @cgrp's control masks have changed and its subtree's css associations
 * need to be updated accordingly.  This function looks up all css_sets
 * which are attached to the subtree, creates the matching updated css_sets
 * and migrates the tasks to the new ones.
2769 2770 2771
 */
static int cgroup_update_dfl_csses(struct cgroup *cgrp)
{
2772
	DEFINE_CGROUP_MGCTX(mgctx);
2773 2774
	struct cgroup_subsys_state *d_css;
	struct cgroup *dsct;
2775 2776 2777 2778 2779
	struct css_set *src_cset;
	int ret;

	lockdep_assert_held(&cgroup_mutex);

T
Tejun Heo 已提交
2780 2781
	percpu_down_write(&cgroup_threadgroup_rwsem);

2782
	/* look up all csses currently attached to @cgrp's subtree */
2783
	spin_lock_irq(&css_set_lock);
2784
	cgroup_for_each_live_descendant_pre(dsct, d_css, cgrp) {
2785 2786
		struct cgrp_cset_link *link;

2787
		list_for_each_entry(link, &dsct->cset_links, cset_link)
2788
			cgroup_migrate_add_src(link->cset, dsct, &mgctx);
2789
	}
2790
	spin_unlock_irq(&css_set_lock);
2791 2792

	/* NULL dst indicates self on default hierarchy */
2793
	ret = cgroup_migrate_prepare_dst(&mgctx);
2794 2795 2796
	if (ret)
		goto out_finish;

2797
	spin_lock_irq(&css_set_lock);
2798
	list_for_each_entry(src_cset, &mgctx.preloaded_src_csets, mg_preload_node) {
2799
		struct task_struct *task, *ntask;
2800

2801 2802
		/* all tasks in src_csets need to be migrated */
		list_for_each_entry_safe(task, ntask, &src_cset->tasks, cg_list)
2803
			cgroup_migrate_add_task(task, &mgctx);
2804
	}
2805
	spin_unlock_irq(&css_set_lock);
2806

2807
	ret = cgroup_migrate_execute(&mgctx);
2808
out_finish:
2809
	cgroup_migrate_finish(&mgctx);
T
Tejun Heo 已提交
2810
	percpu_up_write(&cgroup_threadgroup_rwsem);
2811 2812 2813
	return ret;
}

2814
/**
2815
 * cgroup_lock_and_drain_offline - lock cgroup_mutex and drain offlined csses
2816
 * @cgrp: root of the target subtree
2817 2818
 *
 * Because css offlining is asynchronous, userland may try to re-enable a
2819 2820
 * controller while the previous css is still around.  This function grabs
 * cgroup_mutex and drains the previous css instances of @cgrp's subtree.
2821
 */
2822
void cgroup_lock_and_drain_offline(struct cgroup *cgrp)
2823
	__acquires(&cgroup_mutex)
2824 2825
{
	struct cgroup *dsct;
2826
	struct cgroup_subsys_state *d_css;
2827 2828 2829
	struct cgroup_subsys *ss;
	int ssid;

2830 2831
restart:
	mutex_lock(&cgroup_mutex);
2832

2833
	cgroup_for_each_live_descendant_post(dsct, d_css, cgrp) {
2834 2835 2836 2837
		for_each_subsys(ss, ssid) {
			struct cgroup_subsys_state *css = cgroup_css(dsct, ss);
			DEFINE_WAIT(wait);

2838
			if (!css || !percpu_ref_is_dying(&css->refcnt))
2839 2840
				continue;

2841
			cgroup_get_live(dsct);
2842 2843 2844 2845 2846 2847 2848 2849
			prepare_to_wait(&dsct->offline_waitq, &wait,
					TASK_UNINTERRUPTIBLE);

			mutex_unlock(&cgroup_mutex);
			schedule();
			finish_wait(&dsct->offline_waitq, &wait);

			cgroup_put(dsct);
2850
			goto restart;
2851 2852 2853 2854
		}
	}
}

2855
/**
2856
 * cgroup_save_control - save control masks and dom_cgrp of a subtree
2857 2858
 * @cgrp: root of the target subtree
 *
2859 2860 2861
 * Save ->subtree_control, ->subtree_ss_mask and ->dom_cgrp to the
 * respective old_ prefixed fields for @cgrp's subtree including @cgrp
 * itself.
2862 2863 2864 2865 2866 2867 2868 2869 2870
 */
static void cgroup_save_control(struct cgroup *cgrp)
{
	struct cgroup *dsct;
	struct cgroup_subsys_state *d_css;

	cgroup_for_each_live_descendant_pre(dsct, d_css, cgrp) {
		dsct->old_subtree_control = dsct->subtree_control;
		dsct->old_subtree_ss_mask = dsct->subtree_ss_mask;
2871
		dsct->old_dom_cgrp = dsct->dom_cgrp;
2872 2873 2874 2875 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889
	}
}

/**
 * cgroup_propagate_control - refresh control masks of a subtree
 * @cgrp: root of the target subtree
 *
 * For @cgrp and its subtree, ensure ->subtree_ss_mask matches
 * ->subtree_control and propagate controller availability through the
 * subtree so that descendants don't have unavailable controllers enabled.
 */
static void cgroup_propagate_control(struct cgroup *cgrp)
{
	struct cgroup *dsct;
	struct cgroup_subsys_state *d_css;

	cgroup_for_each_live_descendant_pre(dsct, d_css, cgrp) {
		dsct->subtree_control &= cgroup_control(dsct);
2890 2891 2892
		dsct->subtree_ss_mask =
			cgroup_calc_subtree_ss_mask(dsct->subtree_control,
						    cgroup_ss_mask(dsct));
2893 2894 2895 2896
	}
}

/**
2897
 * cgroup_restore_control - restore control masks and dom_cgrp of a subtree
2898 2899
 * @cgrp: root of the target subtree
 *
2900 2901 2902
 * Restore ->subtree_control, ->subtree_ss_mask and ->dom_cgrp from the
 * respective old_ prefixed fields for @cgrp's subtree including @cgrp
 * itself.
2903 2904 2905 2906 2907 2908 2909 2910 2911
 */
static void cgroup_restore_control(struct cgroup *cgrp)
{
	struct cgroup *dsct;
	struct cgroup_subsys_state *d_css;

	cgroup_for_each_live_descendant_post(dsct, d_css, cgrp) {
		dsct->subtree_control = dsct->old_subtree_control;
		dsct->subtree_ss_mask = dsct->old_subtree_ss_mask;
2912
		dsct->dom_cgrp = dsct->old_dom_cgrp;
2913 2914 2915
	}
}

2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926 2927
static bool css_visible(struct cgroup_subsys_state *css)
{
	struct cgroup_subsys *ss = css->ss;
	struct cgroup *cgrp = css->cgroup;

	if (cgroup_control(cgrp) & (1 << ss->id))
		return true;
	if (!(cgroup_ss_mask(cgrp) & (1 << ss->id)))
		return false;
	return cgroup_on_dfl(cgrp) && ss->implicit_on_dfl;
}

2928 2929
/**
 * cgroup_apply_control_enable - enable or show csses according to control
2930
 * @cgrp: root of the target subtree
2931
 *
2932
 * Walk @cgrp's subtree and create new csses or make the existing ones
2933 2934 2935 2936 2937 2938
 * visible.  A css is created invisible if it's being implicitly enabled
 * through dependency.  An invisible css is made visible when the userland
 * explicitly enables it.
 *
 * Returns 0 on success, -errno on failure.  On failure, csses which have
 * been processed already aren't cleaned up.  The caller is responsible for
2939
 * cleaning up with cgroup_apply_control_disable().
2940 2941 2942 2943
 */
static int cgroup_apply_control_enable(struct cgroup *cgrp)
{
	struct cgroup *dsct;
2944
	struct cgroup_subsys_state *d_css;
2945 2946 2947
	struct cgroup_subsys *ss;
	int ssid, ret;

2948
	cgroup_for_each_live_descendant_pre(dsct, d_css, cgrp) {
2949 2950 2951
		for_each_subsys(ss, ssid) {
			struct cgroup_subsys_state *css = cgroup_css(dsct, ss);

2952 2953
			WARN_ON_ONCE(css && percpu_ref_is_dying(&css->refcnt));

2954 2955 2956 2957 2958 2959 2960 2961 2962
			if (!(cgroup_ss_mask(dsct) & (1 << ss->id)))
				continue;

			if (!css) {
				css = css_create(dsct, ss);
				if (IS_ERR(css))
					return PTR_ERR(css);
			}

2963
			if (css_visible(css)) {
2964
				ret = css_populate_dir(css);
2965 2966 2967 2968 2969 2970 2971 2972 2973
				if (ret)
					return ret;
			}
		}
	}

	return 0;
}

2974 2975
/**
 * cgroup_apply_control_disable - kill or hide csses according to control
2976
 * @cgrp: root of the target subtree
2977
 *
2978
 * Walk @cgrp's subtree and kill and hide csses so that they match
2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989
 * cgroup_ss_mask() and cgroup_visible_mask().
 *
 * A css is hidden when the userland requests it to be disabled while other
 * subsystems are still depending on it.  The css must not actively control
 * resources and be in the vanilla state if it's made visible again later.
 * Controllers which may be depended upon should provide ->css_reset() for
 * this purpose.
 */
static void cgroup_apply_control_disable(struct cgroup *cgrp)
{
	struct cgroup *dsct;
2990
	struct cgroup_subsys_state *d_css;
2991 2992 2993
	struct cgroup_subsys *ss;
	int ssid;

2994
	cgroup_for_each_live_descendant_post(dsct, d_css, cgrp) {
2995 2996 2997
		for_each_subsys(ss, ssid) {
			struct cgroup_subsys_state *css = cgroup_css(dsct, ss);

2998 2999
			WARN_ON_ONCE(css && percpu_ref_is_dying(&css->refcnt));

3000 3001 3002
			if (!css)
				continue;

3003 3004
			if (css->parent &&
			    !(cgroup_ss_mask(dsct) & (1 << ss->id))) {
3005
				kill_css(css);
3006
			} else if (!css_visible(css)) {
3007
				css_clear_dir(css);
3008 3009 3010 3011 3012 3013 3014
				if (ss->css_reset)
					ss->css_reset(css);
			}
		}
	}
}

3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025 3026 3027 3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3057 3058 3059 3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070
/**
 * cgroup_apply_control - apply control mask updates to the subtree
 * @cgrp: root of the target subtree
 *
 * subsystems can be enabled and disabled in a subtree using the following
 * steps.
 *
 * 1. Call cgroup_save_control() to stash the current state.
 * 2. Update ->subtree_control masks in the subtree as desired.
 * 3. Call cgroup_apply_control() to apply the changes.
 * 4. Optionally perform other related operations.
 * 5. Call cgroup_finalize_control() to finish up.
 *
 * This function implements step 3 and propagates the mask changes
 * throughout @cgrp's subtree, updates csses accordingly and perform
 * process migrations.
 */
static int cgroup_apply_control(struct cgroup *cgrp)
{
	int ret;

	cgroup_propagate_control(cgrp);

	ret = cgroup_apply_control_enable(cgrp);
	if (ret)
		return ret;

	/*
	 * At this point, cgroup_e_css() results reflect the new csses
	 * making the following cgroup_update_dfl_csses() properly update
	 * css associations of all tasks in the subtree.
	 */
	ret = cgroup_update_dfl_csses(cgrp);
	if (ret)
		return ret;

	return 0;
}

/**
 * cgroup_finalize_control - finalize control mask update
 * @cgrp: root of the target subtree
 * @ret: the result of the update
 *
 * Finalize control mask update.  See cgroup_apply_control() for more info.
 */
static void cgroup_finalize_control(struct cgroup *cgrp, int ret)
{
	if (ret) {
		cgroup_restore_control(cgrp);
		cgroup_propagate_control(cgrp);
	}

	cgroup_apply_control_disable(cgrp);
}

3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110
static int cgroup_vet_subtree_control_enable(struct cgroup *cgrp, u16 enable)
{
	u16 domain_enable = enable & ~cgrp_dfl_threaded_ss_mask;

	/* if nothing is getting enabled, nothing to worry about */
	if (!enable)
		return 0;

	/* can @cgrp host any resources? */
	if (!cgroup_is_valid_domain(cgrp->dom_cgrp))
		return -EOPNOTSUPP;

	/* mixables don't care */
	if (cgroup_is_mixable(cgrp))
		return 0;

	if (domain_enable) {
		/* can't enable domain controllers inside a thread subtree */
		if (cgroup_is_thread_root(cgrp) || cgroup_is_threaded(cgrp))
			return -EOPNOTSUPP;
	} else {
		/*
		 * Threaded controllers can handle internal competitions
		 * and are always allowed inside a (prospective) thread
		 * subtree.
		 */
		if (cgroup_can_be_thread_root(cgrp) || cgroup_is_threaded(cgrp))
			return 0;
	}

	/*
	 * Controllers can't be enabled for a cgroup with tasks to avoid
	 * child cgroups competing against tasks.
	 */
	if (cgroup_has_tasks(cgrp))
		return -EBUSY;

	return 0;
}

3111
/* change the enabled child controllers for a cgroup in the default hierarchy */
3112 3113 3114
static ssize_t cgroup_subtree_control_write(struct kernfs_open_file *of,
					    char *buf, size_t nbytes,
					    loff_t off)
3115
{
3116
	u16 enable = 0, disable = 0;
3117
	struct cgroup *cgrp, *child;
3118
	struct cgroup_subsys *ss;
3119
	char *tok;
3120 3121 3122
	int ssid, ret;

	/*
3123 3124
	 * Parse input - space separated list of subsystem names prefixed
	 * with either + or -.
3125
	 */
3126 3127
	buf = strstrip(buf);
	while ((tok = strsep(&buf, " "))) {
3128 3129
		if (tok[0] == '\0')
			continue;
T
Tejun Heo 已提交
3130
		do_each_subsys_mask(ss, ssid, ~cgrp_dfl_inhibit_ss_mask) {
3131 3132
			if (!cgroup_ssid_enabled(ssid) ||
			    strcmp(tok + 1, ss->name))
3133 3134 3135
				continue;

			if (*tok == '+') {
3136 3137
				enable |= 1 << ssid;
				disable &= ~(1 << ssid);
3138
			} else if (*tok == '-') {
3139 3140
				disable |= 1 << ssid;
				enable &= ~(1 << ssid);
3141 3142 3143 3144
			} else {
				return -EINVAL;
			}
			break;
3145
		} while_each_subsys_mask();
3146 3147 3148 3149
		if (ssid == CGROUP_SUBSYS_COUNT)
			return -EINVAL;
	}

3150
	cgrp = cgroup_kn_lock_live(of->kn, true);
3151 3152
	if (!cgrp)
		return -ENODEV;
3153 3154 3155

	for_each_subsys(ss, ssid) {
		if (enable & (1 << ssid)) {
3156
			if (cgrp->subtree_control & (1 << ssid)) {
3157 3158 3159 3160
				enable &= ~(1 << ssid);
				continue;
			}

3161
			if (!(cgroup_control(cgrp) & (1 << ssid))) {
3162 3163 3164
				ret = -ENOENT;
				goto out_unlock;
			}
3165
		} else if (disable & (1 << ssid)) {
3166
			if (!(cgrp->subtree_control & (1 << ssid))) {
3167 3168 3169 3170 3171 3172
				disable &= ~(1 << ssid);
				continue;
			}

			/* a child has it enabled? */
			cgroup_for_each_live_child(child, cgrp) {
3173
				if (child->subtree_control & (1 << ssid)) {
3174
					ret = -EBUSY;
3175
					goto out_unlock;
3176 3177 3178 3179 3180 3181 3182
				}
			}
		}
	}

	if (!enable && !disable) {
		ret = 0;
3183
		goto out_unlock;
3184 3185
	}

3186 3187
	ret = cgroup_vet_subtree_control_enable(cgrp, enable);
	if (ret)
3188
		goto out_unlock;
3189

3190 3191
	/* save and update control masks and prepare csses */
	cgroup_save_control(cgrp);
3192

3193 3194
	cgrp->subtree_control |= enable;
	cgrp->subtree_control &= ~disable;
3195

3196 3197
	ret = cgroup_apply_control(cgrp);
	cgroup_finalize_control(cgrp, ret);
3198 3199
	if (ret)
		goto out_unlock;
3200 3201 3202

	kernfs_activate(cgrp->kn);
out_unlock:
3203
	cgroup_kn_unlock(of->kn);
3204
	return ret ?: nbytes;
3205 3206
}

3207 3208 3209 3210 3211 3212 3213 3214 3215
/**
 * cgroup_enable_threaded - make @cgrp threaded
 * @cgrp: the target cgroup
 *
 * Called when "threaded" is written to the cgroup.type interface file and
 * tries to make @cgrp threaded and join the parent's resource domain.
 * This function is never called on the root cgroup as cgroup.type doesn't
 * exist on it.
 */
3216 3217 3218 3219
static int cgroup_enable_threaded(struct cgroup *cgrp)
{
	struct cgroup *parent = cgroup_parent(cgrp);
	struct cgroup *dom_cgrp = parent->dom_cgrp;
3220 3221
	struct cgroup *dsct;
	struct cgroup_subsys_state *d_css;
3222 3223 3224 3225 3226 3227 3228 3229
	int ret;

	lockdep_assert_held(&cgroup_mutex);

	/* noop if already threaded */
	if (cgroup_is_threaded(cgrp))
		return 0;

3230 3231 3232 3233 3234 3235 3236 3237 3238 3239
	/*
	 * If @cgroup is populated or has domain controllers enabled, it
	 * can't be switched.  While the below cgroup_can_be_thread_root()
	 * test can catch the same conditions, that's only when @parent is
	 * not mixable, so let's check it explicitly.
	 */
	if (cgroup_is_populated(cgrp) ||
	    cgrp->subtree_control & ~cgrp_dfl_threaded_ss_mask)
		return -EOPNOTSUPP;

3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250
	/* we're joining the parent's domain, ensure its validity */
	if (!cgroup_is_valid_domain(dom_cgrp) ||
	    !cgroup_can_be_thread_root(dom_cgrp))
		return -EOPNOTSUPP;

	/*
	 * The following shouldn't cause actual migrations and should
	 * always succeed.
	 */
	cgroup_save_control(cgrp);

3251 3252 3253 3254
	cgroup_for_each_live_descendant_pre(dsct, d_css, cgrp)
		if (dsct == cgrp || cgroup_is_threaded(dsct))
			dsct->dom_cgrp = dom_cgrp;

3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299
	ret = cgroup_apply_control(cgrp);
	if (!ret)
		parent->nr_threaded_children++;

	cgroup_finalize_control(cgrp, ret);
	return ret;
}

static int cgroup_type_show(struct seq_file *seq, void *v)
{
	struct cgroup *cgrp = seq_css(seq)->cgroup;

	if (cgroup_is_threaded(cgrp))
		seq_puts(seq, "threaded\n");
	else if (!cgroup_is_valid_domain(cgrp))
		seq_puts(seq, "domain invalid\n");
	else if (cgroup_is_thread_root(cgrp))
		seq_puts(seq, "domain threaded\n");
	else
		seq_puts(seq, "domain\n");

	return 0;
}

static ssize_t cgroup_type_write(struct kernfs_open_file *of, char *buf,
				 size_t nbytes, loff_t off)
{
	struct cgroup *cgrp;
	int ret;

	/* only switching to threaded mode is supported */
	if (strcmp(strstrip(buf), "threaded"))
		return -EINVAL;

	cgrp = cgroup_kn_lock_live(of->kn, false);
	if (!cgrp)
		return -ENOENT;

	/* threaded can only be enabled */
	ret = cgroup_enable_threaded(cgrp);

	cgroup_kn_unlock(of->kn);
	return ret ?: nbytes;
}

3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328
static int cgroup_max_descendants_show(struct seq_file *seq, void *v)
{
	struct cgroup *cgrp = seq_css(seq)->cgroup;
	int descendants = READ_ONCE(cgrp->max_descendants);

	if (descendants == INT_MAX)
		seq_puts(seq, "max\n");
	else
		seq_printf(seq, "%d\n", descendants);

	return 0;
}

static ssize_t cgroup_max_descendants_write(struct kernfs_open_file *of,
					   char *buf, size_t nbytes, loff_t off)
{
	struct cgroup *cgrp;
	int descendants;
	ssize_t ret;

	buf = strstrip(buf);
	if (!strcmp(buf, "max")) {
		descendants = INT_MAX;
	} else {
		ret = kstrtoint(buf, 0, &descendants);
		if (ret)
			return ret;
	}

D
Dan Carpenter 已提交
3329
	if (descendants < 0)
3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371
		return -ERANGE;

	cgrp = cgroup_kn_lock_live(of->kn, false);
	if (!cgrp)
		return -ENOENT;

	cgrp->max_descendants = descendants;

	cgroup_kn_unlock(of->kn);

	return nbytes;
}

static int cgroup_max_depth_show(struct seq_file *seq, void *v)
{
	struct cgroup *cgrp = seq_css(seq)->cgroup;
	int depth = READ_ONCE(cgrp->max_depth);

	if (depth == INT_MAX)
		seq_puts(seq, "max\n");
	else
		seq_printf(seq, "%d\n", depth);

	return 0;
}

static ssize_t cgroup_max_depth_write(struct kernfs_open_file *of,
				      char *buf, size_t nbytes, loff_t off)
{
	struct cgroup *cgrp;
	ssize_t ret;
	int depth;

	buf = strstrip(buf);
	if (!strcmp(buf, "max")) {
		depth = INT_MAX;
	} else {
		ret = kstrtoint(buf, 0, &depth);
		if (ret)
			return ret;
	}

D
Dan Carpenter 已提交
3372
	if (depth < 0)
3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385
		return -ERANGE;

	cgrp = cgroup_kn_lock_live(of->kn, false);
	if (!cgrp)
		return -ENOENT;

	cgrp->max_depth = depth;

	cgroup_kn_unlock(of->kn);

	return nbytes;
}

3386
static int cgroup_events_show(struct seq_file *seq, void *v)
3387
{
3388
	seq_printf(seq, "populated %d\n",
3389
		   cgroup_is_populated(seq_css(seq)->cgroup));
3390 3391 3392
	return 0;
}

T
Tejun Heo 已提交
3393
static int cgroup_stat_show(struct seq_file *seq, void *v)
3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404
{
	struct cgroup *cgroup = seq_css(seq)->cgroup;

	seq_printf(seq, "nr_descendants %d\n",
		   cgroup->nr_descendants);
	seq_printf(seq, "nr_dying_descendants %d\n",
		   cgroup->nr_dying_descendants);

	return 0;
}

3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425
static int __maybe_unused cgroup_extra_stat_show(struct seq_file *seq,
						 struct cgroup *cgrp, int ssid)
{
	struct cgroup_subsys *ss = cgroup_subsys[ssid];
	struct cgroup_subsys_state *css;
	int ret;

	if (!ss->css_extra_stat_show)
		return 0;

	css = cgroup_tryget_css(cgrp, ss);
	if (!css)
		return 0;

	ret = ss->css_extra_stat_show(seq, css);
	css_put(css);
	return ret;
}

static int cpu_stat_show(struct seq_file *seq, void *v)
{
3426
	struct cgroup __maybe_unused *cgrp = seq_css(seq)->cgroup;
3427 3428
	int ret = 0;

3429
	cgroup_base_stat_cputime_show(seq);
3430 3431 3432 3433 3434 3435
#ifdef CONFIG_CGROUP_SCHED
	ret = cgroup_extra_stat_show(seq, cgrp, cpu_cgrp_id);
#endif
	return ret;
}

J
Johannes Weiner 已提交
3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448
#ifdef CONFIG_PSI
static int cgroup_io_pressure_show(struct seq_file *seq, void *v)
{
	return psi_show(seq, &seq_css(seq)->cgroup->psi, PSI_IO);
}
static int cgroup_memory_pressure_show(struct seq_file *seq, void *v)
{
	return psi_show(seq, &seq_css(seq)->cgroup->psi, PSI_MEM);
}
static int cgroup_cpu_pressure_show(struct seq_file *seq, void *v)
{
	return psi_show(seq, &seq_css(seq)->cgroup->psi, PSI_CPU);
}
S
Suren Baghdasaryan 已提交
3449 3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507

static ssize_t cgroup_pressure_write(struct kernfs_open_file *of, char *buf,
					  size_t nbytes, enum psi_res res)
{
	struct psi_trigger *new;
	struct cgroup *cgrp;

	cgrp = cgroup_kn_lock_live(of->kn, false);
	if (!cgrp)
		return -ENODEV;

	cgroup_get(cgrp);
	cgroup_kn_unlock(of->kn);

	new = psi_trigger_create(&cgrp->psi, buf, nbytes, res);
	if (IS_ERR(new)) {
		cgroup_put(cgrp);
		return PTR_ERR(new);
	}

	psi_trigger_replace(&of->priv, new);

	cgroup_put(cgrp);

	return nbytes;
}

static ssize_t cgroup_io_pressure_write(struct kernfs_open_file *of,
					  char *buf, size_t nbytes,
					  loff_t off)
{
	return cgroup_pressure_write(of, buf, nbytes, PSI_IO);
}

static ssize_t cgroup_memory_pressure_write(struct kernfs_open_file *of,
					  char *buf, size_t nbytes,
					  loff_t off)
{
	return cgroup_pressure_write(of, buf, nbytes, PSI_MEM);
}

static ssize_t cgroup_cpu_pressure_write(struct kernfs_open_file *of,
					  char *buf, size_t nbytes,
					  loff_t off)
{
	return cgroup_pressure_write(of, buf, nbytes, PSI_CPU);
}

static __poll_t cgroup_pressure_poll(struct kernfs_open_file *of,
					  poll_table *pt)
{
	return psi_trigger_poll(&of->priv, of->file, pt);
}

static void cgroup_pressure_release(struct kernfs_open_file *of)
{
	psi_trigger_replace(&of->priv, NULL);
}
#endif /* CONFIG_PSI */
J
Johannes Weiner 已提交
3508

3509 3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3525
static int cgroup_file_open(struct kernfs_open_file *of)
{
	struct cftype *cft = of->kn->priv;

	if (cft->open)
		return cft->open(of);
	return 0;
}

static void cgroup_file_release(struct kernfs_open_file *of)
{
	struct cftype *cft = of->kn->priv;

	if (cft->release)
		cft->release(of);
}

T
Tejun Heo 已提交
3526 3527
static ssize_t cgroup_file_write(struct kernfs_open_file *of, char *buf,
				 size_t nbytes, loff_t off)
3528
{
3529
	struct cgroup_namespace *ns = current->nsproxy->cgroup_ns;
T
Tejun Heo 已提交
3530 3531 3532
	struct cgroup *cgrp = of->kn->parent->priv;
	struct cftype *cft = of->kn->priv;
	struct cgroup_subsys_state *css;
3533
	int ret;
3534

3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545
	/*
	 * If namespaces are delegation boundaries, disallow writes to
	 * files in an non-init namespace root from inside the namespace
	 * except for the files explicitly marked delegatable -
	 * cgroup.procs and cgroup.subtree_control.
	 */
	if ((cgrp->root->flags & CGRP_ROOT_NS_DELEGATE) &&
	    !(cft->flags & CFTYPE_NS_DELEGATABLE) &&
	    ns != &init_cgroup_ns && ns->root_cset->dfl_cgrp == cgrp)
		return -EPERM;

T
Tejun Heo 已提交
3546 3547 3548
	if (cft->write)
		return cft->write(of, buf, nbytes, off);

T
Tejun Heo 已提交
3549 3550 3551 3552 3553 3554 3555 3556 3557
	/*
	 * kernfs guarantees that a file isn't deleted with operations in
	 * flight, which means that the matching css is and stays alive and
	 * doesn't need to be pinned.  The RCU locking is not necessary
	 * either.  It's just for the convenience of using cgroup_css().
	 */
	rcu_read_lock();
	css = cgroup_css(cgrp, cft->ss);
	rcu_read_unlock();
3558

3559
	if (cft->write_u64) {
3560 3561 3562 3563 3564 3565 3566 3567 3568
		unsigned long long v;
		ret = kstrtoull(buf, 0, &v);
		if (!ret)
			ret = cft->write_u64(css, cft, v);
	} else if (cft->write_s64) {
		long long v;
		ret = kstrtoll(buf, 0, &v);
		if (!ret)
			ret = cft->write_s64(css, cft, v);
3569
	} else {
3570
		ret = -EINVAL;
3571
	}
T
Tejun Heo 已提交
3572

3573
	return ret ?: nbytes;
3574 3575
}

3576 3577 3578 3579 3580 3581 3582 3583 3584 3585
static __poll_t cgroup_file_poll(struct kernfs_open_file *of, poll_table *pt)
{
	struct cftype *cft = of->kn->priv;

	if (cft->poll)
		return cft->poll(of, pt);

	return kernfs_generic_poll(of, pt);
}

3586
static void *cgroup_seqfile_start(struct seq_file *seq, loff_t *ppos)
3587
{
T
Tejun Heo 已提交
3588
	return seq_cft(seq)->seq_start(seq, ppos);
3589 3590
}

3591
static void *cgroup_seqfile_next(struct seq_file *seq, void *v, loff_t *ppos)
3592
{
T
Tejun Heo 已提交
3593
	return seq_cft(seq)->seq_next(seq, v, ppos);
3594 3595
}

3596
static void cgroup_seqfile_stop(struct seq_file *seq, void *v)
3597
{
3598 3599
	if (seq_cft(seq)->seq_stop)
		seq_cft(seq)->seq_stop(seq, v);
3600 3601
}

3602
static int cgroup_seqfile_show(struct seq_file *m, void *arg)
3603
{
3604 3605
	struct cftype *cft = seq_cft(m);
	struct cgroup_subsys_state *css = seq_css(m);
3606

3607 3608
	if (cft->seq_show)
		return cft->seq_show(m, arg);
3609

3610
	if (cft->read_u64)
3611 3612 3613 3614 3615 3616
		seq_printf(m, "%llu\n", cft->read_u64(css, cft));
	else if (cft->read_s64)
		seq_printf(m, "%lld\n", cft->read_s64(css, cft));
	else
		return -EINVAL;
	return 0;
3617 3618
}

T
Tejun Heo 已提交
3619 3620
static struct kernfs_ops cgroup_kf_single_ops = {
	.atomic_write_len	= PAGE_SIZE,
3621 3622
	.open			= cgroup_file_open,
	.release		= cgroup_file_release,
T
Tejun Heo 已提交
3623
	.write			= cgroup_file_write,
3624
	.poll			= cgroup_file_poll,
T
Tejun Heo 已提交
3625
	.seq_show		= cgroup_seqfile_show,
3626 3627
};

T
Tejun Heo 已提交
3628 3629
static struct kernfs_ops cgroup_kf_ops = {
	.atomic_write_len	= PAGE_SIZE,
3630 3631
	.open			= cgroup_file_open,
	.release		= cgroup_file_release,
T
Tejun Heo 已提交
3632
	.write			= cgroup_file_write,
3633
	.poll			= cgroup_file_poll,
T
Tejun Heo 已提交
3634 3635 3636 3637 3638
	.seq_start		= cgroup_seqfile_start,
	.seq_next		= cgroup_seqfile_next,
	.seq_stop		= cgroup_seqfile_stop,
	.seq_show		= cgroup_seqfile_show,
};
3639

3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652 3653
/* set uid and gid of cgroup dirs and files to that of the creator */
static int cgroup_kn_set_ugid(struct kernfs_node *kn)
{
	struct iattr iattr = { .ia_valid = ATTR_UID | ATTR_GID,
			       .ia_uid = current_fsuid(),
			       .ia_gid = current_fsgid(), };

	if (uid_eq(iattr.ia_uid, GLOBAL_ROOT_UID) &&
	    gid_eq(iattr.ia_gid, GLOBAL_ROOT_GID))
		return 0;

	return kernfs_setattr(kn, &iattr);
}

3654 3655 3656 3657 3658 3659
static void cgroup_file_notify_timer(struct timer_list *timer)
{
	cgroup_file_notify(container_of(timer, struct cgroup_file,
					notify_timer));
}

3660 3661
static int cgroup_add_file(struct cgroup_subsys_state *css, struct cgroup *cgrp,
			   struct cftype *cft)
3662
{
T
Tejun Heo 已提交
3663
	char name[CGROUP_FILE_NAME_MAX];
T
Tejun Heo 已提交
3664 3665
	struct kernfs_node *kn;
	struct lock_class_key *key = NULL;
3666
	int ret;
T
Tejun Heo 已提交
3667

T
Tejun Heo 已提交
3668 3669 3670 3671
#ifdef CONFIG_DEBUG_LOCK_ALLOC
	key = &cft->lockdep_key;
#endif
	kn = __kernfs_create_file(cgrp->kn, cgroup_file_name(cgrp, cft, name),
3672 3673 3674
				  cgroup_file_mode(cft),
				  GLOBAL_ROOT_UID, GLOBAL_ROOT_GID,
				  0, cft->kf_ops, cft,
T
Tejun Heo 已提交
3675
				  NULL, key);
3676 3677 3678 3679
	if (IS_ERR(kn))
		return PTR_ERR(kn);

	ret = cgroup_kn_set_ugid(kn);
3680
	if (ret) {
3681
		kernfs_remove(kn);
3682 3683 3684
		return ret;
	}

3685 3686 3687
	if (cft->file_offset) {
		struct cgroup_file *cfile = (void *)css + cft->file_offset;

3688 3689
		timer_setup(&cfile->notify_timer, cgroup_file_notify_timer, 0);

3690
		spin_lock_irq(&cgroup_file_kn_lock);
3691
		cfile->kn = kn;
3692
		spin_unlock_irq(&cgroup_file_kn_lock);
3693 3694
	}

3695
	return 0;
3696 3697
}

3698 3699
/**
 * cgroup_addrm_files - add or remove files to a cgroup directory
3700 3701
 * @css: the target css
 * @cgrp: the target cgroup (usually css->cgroup)
3702 3703 3704 3705
 * @cfts: array of cftypes to be added
 * @is_add: whether to add or remove
 *
 * Depending on @is_add, add or remove files defined by @cfts on @cgrp.
3706
 * For removals, this function never fails.
3707
 */
3708 3709
static int cgroup_addrm_files(struct cgroup_subsys_state *css,
			      struct cgroup *cgrp, struct cftype cfts[],
3710
			      bool is_add)
3711
{
3712
	struct cftype *cft, *cft_end = NULL;
3713
	int ret = 0;
3714

3715
	lockdep_assert_held(&cgroup_mutex);
T
Tejun Heo 已提交
3716

3717 3718
restart:
	for (cft = cfts; cft != cft_end && cft->name[0] != '\0'; cft++) {
3719
		/* does cft->flags tell us to skip this file on @cgrp? */
3720
		if ((cft->flags & __CFTYPE_ONLY_ON_DFL) && !cgroup_on_dfl(cgrp))
T
Tejun Heo 已提交
3721
			continue;
3722
		if ((cft->flags & __CFTYPE_NOT_ON_DFL) && cgroup_on_dfl(cgrp))
3723
			continue;
T
Tejun Heo 已提交
3724
		if ((cft->flags & CFTYPE_NOT_ON_ROOT) && !cgroup_parent(cgrp))
3725
			continue;
T
Tejun Heo 已提交
3726
		if ((cft->flags & CFTYPE_ONLY_ON_ROOT) && cgroup_parent(cgrp))
3727 3728
			continue;

3729
		if (is_add) {
3730
			ret = cgroup_add_file(css, cgrp, cft);
3731
			if (ret) {
3732 3733
				pr_warn("%s: failed to add %s, err=%d\n",
					__func__, cft->name, ret);
3734 3735 3736
				cft_end = cft;
				is_add = false;
				goto restart;
3737
			}
3738 3739
		} else {
			cgroup_rm_file(cgrp, cft);
T
Tejun Heo 已提交
3740
		}
3741
	}
3742
	return ret;
3743 3744
}

3745
static int cgroup_apply_cftypes(struct cftype *cfts, bool is_add)
3746
{
3747
	struct cgroup_subsys *ss = cfts[0].ss;
3748
	struct cgroup *root = &ss->root->cgrp;
3749
	struct cgroup_subsys_state *css;
3750
	int ret = 0;
3751

3752
	lockdep_assert_held(&cgroup_mutex);
3753 3754

	/* add/rm files for all cgroups created before */
3755
	css_for_each_descendant_pre(css, cgroup_css(root, ss)) {
3756 3757
		struct cgroup *cgrp = css->cgroup;

3758
		if (!(css->flags & CSS_VISIBLE))
3759 3760
			continue;

3761
		ret = cgroup_addrm_files(css, cgrp, cfts, is_add);
3762 3763
		if (ret)
			break;
3764
	}
3765 3766 3767

	if (is_add && !ret)
		kernfs_activate(root->kn);
3768
	return ret;
3769 3770
}

3771
static void cgroup_exit_cftypes(struct cftype *cfts)
3772
{
3773
	struct cftype *cft;
3774

T
Tejun Heo 已提交
3775 3776 3777 3778 3779
	for (cft = cfts; cft->name[0] != '\0'; cft++) {
		/* free copy for custom atomic_write_len, see init_cftypes() */
		if (cft->max_write_len && cft->max_write_len != PAGE_SIZE)
			kfree(cft->kf_ops);
		cft->kf_ops = NULL;
3780
		cft->ss = NULL;
3781 3782

		/* revert flags set by cgroup core while adding @cfts */
3783
		cft->flags &= ~(__CFTYPE_ONLY_ON_DFL | __CFTYPE_NOT_ON_DFL);
T
Tejun Heo 已提交
3784
	}
3785 3786
}

T
Tejun Heo 已提交
3787
static int cgroup_init_cftypes(struct cgroup_subsys *ss, struct cftype *cfts)
3788 3789 3790
{
	struct cftype *cft;

T
Tejun Heo 已提交
3791 3792 3793
	for (cft = cfts; cft->name[0] != '\0'; cft++) {
		struct kernfs_ops *kf_ops;

T
Tejun Heo 已提交
3794 3795
		WARN_ON(cft->ss || cft->kf_ops);

T
Tejun Heo 已提交
3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809 3810 3811 3812
		if (cft->seq_start)
			kf_ops = &cgroup_kf_ops;
		else
			kf_ops = &cgroup_kf_single_ops;

		/*
		 * Ugh... if @cft wants a custom max_write_len, we need to
		 * make a copy of kf_ops to set its atomic_write_len.
		 */
		if (cft->max_write_len && cft->max_write_len != PAGE_SIZE) {
			kf_ops = kmemdup(kf_ops, sizeof(*kf_ops), GFP_KERNEL);
			if (!kf_ops) {
				cgroup_exit_cftypes(cfts);
				return -ENOMEM;
			}
			kf_ops->atomic_write_len = cft->max_write_len;
		}
3813

T
Tejun Heo 已提交
3814
		cft->kf_ops = kf_ops;
3815
		cft->ss = ss;
T
Tejun Heo 已提交
3816
	}
3817

T
Tejun Heo 已提交
3818
	return 0;
3819 3820
}

3821 3822
static int cgroup_rm_cftypes_locked(struct cftype *cfts)
{
3823
	lockdep_assert_held(&cgroup_mutex);
3824 3825 3826 3827 3828 3829 3830 3831

	if (!cfts || !cfts[0].ss)
		return -ENOENT;

	list_del(&cfts->node);
	cgroup_apply_cftypes(cfts, false);
	cgroup_exit_cftypes(cfts);
	return 0;
3832 3833
}

3834 3835 3836 3837
/**
 * cgroup_rm_cftypes - remove an array of cftypes from a subsystem
 * @cfts: zero-length name terminated array of cftypes
 *
3838 3839 3840
 * Unregister @cfts.  Files described by @cfts are removed from all
 * existing cgroups and all future cgroups won't have them either.  This
 * function can be called anytime whether @cfts' subsys is attached or not.
3841 3842
 *
 * Returns 0 on successful unregistration, -ENOENT if @cfts is not
3843
 * registered.
3844
 */
3845
int cgroup_rm_cftypes(struct cftype *cfts)
3846
{
3847
	int ret;
3848

3849
	mutex_lock(&cgroup_mutex);
3850
	ret = cgroup_rm_cftypes_locked(cfts);
3851
	mutex_unlock(&cgroup_mutex);
3852
	return ret;
T
Tejun Heo 已提交
3853 3854
}

3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868
/**
 * cgroup_add_cftypes - add an array of cftypes to a subsystem
 * @ss: target cgroup subsystem
 * @cfts: zero-length name terminated array of cftypes
 *
 * Register @cfts to @ss.  Files described by @cfts are created for all
 * existing cgroups to which @ss is attached and all future cgroups will
 * have them too.  This function can be called anytime whether @ss is
 * attached or not.
 *
 * Returns 0 on successful registration, -errno on failure.  Note that this
 * function currently returns 0 as long as @cfts registration is successful
 * even if some file creation attempts on existing cgroups fail.
 */
3869
static int cgroup_add_cftypes(struct cgroup_subsys *ss, struct cftype *cfts)
3870
{
3871
	int ret;
3872

3873
	if (!cgroup_ssid_enabled(ss->id))
3874 3875
		return 0;

3876 3877
	if (!cfts || cfts[0].name[0] == '\0')
		return 0;
3878

T
Tejun Heo 已提交
3879 3880 3881
	ret = cgroup_init_cftypes(ss, cfts);
	if (ret)
		return ret;
3882

3883
	mutex_lock(&cgroup_mutex);
3884

T
Tejun Heo 已提交
3885
	list_add_tail(&cfts->node, &ss->cfts);
3886
	ret = cgroup_apply_cftypes(cfts, true);
3887
	if (ret)
3888
		cgroup_rm_cftypes_locked(cfts);
3889

3890
	mutex_unlock(&cgroup_mutex);
3891
	return ret;
3892 3893
}

3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906
/**
 * cgroup_add_dfl_cftypes - add an array of cftypes for default hierarchy
 * @ss: target cgroup subsystem
 * @cfts: zero-length name terminated array of cftypes
 *
 * Similar to cgroup_add_cftypes() but the added files are only used for
 * the default hierarchy.
 */
int cgroup_add_dfl_cftypes(struct cgroup_subsys *ss, struct cftype *cfts)
{
	struct cftype *cft;

	for (cft = cfts; cft && cft->name[0] != '\0'; cft++)
3907
		cft->flags |= __CFTYPE_ONLY_ON_DFL;
3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918
	return cgroup_add_cftypes(ss, cfts);
}

/**
 * cgroup_add_legacy_cftypes - add an array of cftypes for legacy hierarchies
 * @ss: target cgroup subsystem
 * @cfts: zero-length name terminated array of cftypes
 *
 * Similar to cgroup_add_cftypes() but the added files are only used for
 * the legacy hierarchies.
 */
3919 3920
int cgroup_add_legacy_cftypes(struct cgroup_subsys *ss, struct cftype *cfts)
{
3921 3922
	struct cftype *cft;

3923 3924
	for (cft = cfts; cft && cft->name[0] != '\0'; cft++)
		cft->flags |= __CFTYPE_NOT_ON_DFL;
3925 3926 3927
	return cgroup_add_cftypes(ss, cfts);
}

3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938
/**
 * cgroup_file_notify - generate a file modified event for a cgroup_file
 * @cfile: target cgroup_file
 *
 * @cfile must have been obtained by setting cftype->file_offset.
 */
void cgroup_file_notify(struct cgroup_file *cfile)
{
	unsigned long flags;

	spin_lock_irqsave(&cgroup_file_kn_lock, flags);
3939 3940 3941 3942 3943 3944 3945 3946 3947 3948 3949
	if (cfile->kn) {
		unsigned long last = cfile->notified_at;
		unsigned long next = last + CGROUP_FILE_NOTIFY_MIN_INTV;

		if (time_in_range(jiffies, last, next)) {
			timer_reduce(&cfile->notify_timer, next);
		} else {
			kernfs_notify(cfile->kn);
			cfile->notified_at = jiffies;
		}
	}
3950 3951 3952
	spin_unlock_irqrestore(&cgroup_file_kn_lock, flags);
}

3953
/**
3954
 * css_next_child - find the next child of a given css
3955 3956
 * @pos: the current position (%NULL to initiate traversal)
 * @parent: css whose children to walk
3957
 *
3958
 * This function returns the next child of @parent and should be called
3959
 * under either cgroup_mutex or RCU read lock.  The only requirement is
3960 3961 3962 3963 3964 3965 3966 3967 3968
 * that @parent and @pos are accessible.  The next sibling is guaranteed to
 * be returned regardless of their states.
 *
 * If a subsystem synchronizes ->css_online() and the start of iteration, a
 * css which finished ->css_online() is guaranteed to be visible in the
 * future iterations and will stay visible until the last reference is put.
 * A css which hasn't finished ->css_online() or already finished
 * ->css_offline() may show up during traversal.  It's each subsystem's
 * responsibility to synchronize against on/offlining.
3969
 */
3970 3971
struct cgroup_subsys_state *css_next_child(struct cgroup_subsys_state *pos,
					   struct cgroup_subsys_state *parent)
3972
{
3973
	struct cgroup_subsys_state *next;
3974

T
Tejun Heo 已提交
3975
	cgroup_assert_mutex_or_rcu_locked();
3976 3977

	/*
3978 3979 3980 3981 3982 3983 3984 3985 3986 3987
	 * @pos could already have been unlinked from the sibling list.
	 * Once a cgroup is removed, its ->sibling.next is no longer
	 * updated when its next sibling changes.  CSS_RELEASED is set when
	 * @pos is taken off list, at which time its next pointer is valid,
	 * and, as releases are serialized, the one pointed to by the next
	 * pointer is guaranteed to not have started release yet.  This
	 * implies that if we observe !CSS_RELEASED on @pos in this RCU
	 * critical section, the one pointed to by its next pointer is
	 * guaranteed to not have finished its RCU grace period even if we
	 * have dropped rcu_read_lock() inbetween iterations.
3988
	 *
3989 3990 3991 3992 3993 3994 3995
	 * If @pos has CSS_RELEASED set, its next pointer can't be
	 * dereferenced; however, as each css is given a monotonically
	 * increasing unique serial number and always appended to the
	 * sibling list, the next one can be found by walking the parent's
	 * children until the first css with higher serial number than
	 * @pos's.  While this path can be slower, it happens iff iteration
	 * races against release and the race window is very small.
3996
	 */
3997
	if (!pos) {
3998 3999 4000
		next = list_entry_rcu(parent->children.next, struct cgroup_subsys_state, sibling);
	} else if (likely(!(pos->flags & CSS_RELEASED))) {
		next = list_entry_rcu(pos->sibling.next, struct cgroup_subsys_state, sibling);
4001
	} else {
4002
		list_for_each_entry_rcu(next, &parent->children, sibling)
4003 4004
			if (next->serial_nr > pos->serial_nr)
				break;
4005 4006
	}

4007 4008
	/*
	 * @next, if not pointing to the head, can be dereferenced and is
4009
	 * the next sibling.
4010
	 */
4011 4012
	if (&next->sibling != &parent->children)
		return next;
4013
	return NULL;
4014 4015
}

4016
/**
4017
 * css_next_descendant_pre - find the next descendant for pre-order walk
4018
 * @pos: the current position (%NULL to initiate traversal)
4019
 * @root: css whose descendants to walk
4020
 *
4021
 * To be used by css_for_each_descendant_pre().  Find the next descendant
4022 4023
 * to visit for pre-order traversal of @root's descendants.  @root is
 * included in the iteration and the first node to be visited.
4024
 *
4025 4026 4027 4028
 * While this function requires cgroup_mutex or RCU read locking, it
 * doesn't require the whole traversal to be contained in a single critical
 * section.  This function will return the correct next descendant as long
 * as both @pos and @root are accessible and @pos is a descendant of @root.
4029 4030 4031 4032 4033 4034 4035
 *
 * If a subsystem synchronizes ->css_online() and the start of iteration, a
 * css which finished ->css_online() is guaranteed to be visible in the
 * future iterations and will stay visible until the last reference is put.
 * A css which hasn't finished ->css_online() or already finished
 * ->css_offline() may show up during traversal.  It's each subsystem's
 * responsibility to synchronize against on/offlining.
4036
 */
4037 4038 4039
struct cgroup_subsys_state *
css_next_descendant_pre(struct cgroup_subsys_state *pos,
			struct cgroup_subsys_state *root)
4040
{
4041
	struct cgroup_subsys_state *next;
4042

T
Tejun Heo 已提交
4043
	cgroup_assert_mutex_or_rcu_locked();
4044

4045
	/* if first iteration, visit @root */
4046
	if (!pos)
4047
		return root;
4048 4049

	/* visit the first child if exists */
4050
	next = css_next_child(NULL, pos);
4051 4052 4053 4054
	if (next)
		return next;

	/* no child, visit my or the closest ancestor's next sibling */
4055
	while (pos != root) {
T
Tejun Heo 已提交
4056
		next = css_next_child(pos, pos->parent);
4057
		if (next)
4058
			return next;
T
Tejun Heo 已提交
4059
		pos = pos->parent;
4060
	}
4061 4062 4063 4064

	return NULL;
}

4065
/**
4066 4067
 * css_rightmost_descendant - return the rightmost descendant of a css
 * @pos: css of interest
4068
 *
4069 4070
 * Return the rightmost descendant of @pos.  If there's no descendant, @pos
 * is returned.  This can be used during pre-order traversal to skip
4071
 * subtree of @pos.
4072
 *
4073 4074 4075 4076
 * While this function requires cgroup_mutex or RCU read locking, it
 * doesn't require the whole traversal to be contained in a single critical
 * section.  This function will return the correct rightmost descendant as
 * long as @pos is accessible.
4077
 */
4078 4079
struct cgroup_subsys_state *
css_rightmost_descendant(struct cgroup_subsys_state *pos)
4080
{
4081
	struct cgroup_subsys_state *last, *tmp;
4082

T
Tejun Heo 已提交
4083
	cgroup_assert_mutex_or_rcu_locked();
4084 4085 4086 4087 4088

	do {
		last = pos;
		/* ->prev isn't RCU safe, walk ->next till the end */
		pos = NULL;
4089
		css_for_each_child(tmp, last)
4090 4091 4092 4093 4094 4095
			pos = tmp;
	} while (pos);

	return last;
}

4096 4097
static struct cgroup_subsys_state *
css_leftmost_descendant(struct cgroup_subsys_state *pos)
4098
{
4099
	struct cgroup_subsys_state *last;
4100 4101 4102

	do {
		last = pos;
4103
		pos = css_next_child(NULL, pos);
4104 4105 4106 4107 4108 4109
	} while (pos);

	return last;
}

/**
4110
 * css_next_descendant_post - find the next descendant for post-order walk
4111
 * @pos: the current position (%NULL to initiate traversal)
4112
 * @root: css whose descendants to walk
4113
 *
4114
 * To be used by css_for_each_descendant_post().  Find the next descendant
4115 4116
 * to visit for post-order traversal of @root's descendants.  @root is
 * included in the iteration and the last node to be visited.
4117
 *
4118 4119 4120 4121 4122
 * While this function requires cgroup_mutex or RCU read locking, it
 * doesn't require the whole traversal to be contained in a single critical
 * section.  This function will return the correct next descendant as long
 * as both @pos and @cgroup are accessible and @pos is a descendant of
 * @cgroup.
4123 4124 4125 4126 4127 4128 4129
 *
 * If a subsystem synchronizes ->css_online() and the start of iteration, a
 * css which finished ->css_online() is guaranteed to be visible in the
 * future iterations and will stay visible until the last reference is put.
 * A css which hasn't finished ->css_online() or already finished
 * ->css_offline() may show up during traversal.  It's each subsystem's
 * responsibility to synchronize against on/offlining.
4130
 */
4131 4132 4133
struct cgroup_subsys_state *
css_next_descendant_post(struct cgroup_subsys_state *pos,
			 struct cgroup_subsys_state *root)
4134
{
4135
	struct cgroup_subsys_state *next;
4136

T
Tejun Heo 已提交
4137
	cgroup_assert_mutex_or_rcu_locked();
4138

4139 4140 4141
	/* if first iteration, visit leftmost descendant which may be @root */
	if (!pos)
		return css_leftmost_descendant(root);
4142

4143 4144 4145 4146
	/* if we visited @root, we're done */
	if (pos == root)
		return NULL;

4147
	/* if there's an unvisited sibling, visit its leftmost descendant */
T
Tejun Heo 已提交
4148
	next = css_next_child(pos, pos->parent);
4149
	if (next)
4150
		return css_leftmost_descendant(next);
4151 4152

	/* no sibling left, visit parent */
T
Tejun Heo 已提交
4153
	return pos->parent;
4154 4155
}

4156 4157 4158 4159 4160 4161 4162 4163 4164
/**
 * css_has_online_children - does a css have online children
 * @css: the target css
 *
 * Returns %true if @css has any online children; otherwise, %false.  This
 * function can be called from any context but the caller is responsible
 * for synchronizing against on/offlining as necessary.
 */
bool css_has_online_children(struct cgroup_subsys_state *css)
4165
{
4166 4167
	struct cgroup_subsys_state *child;
	bool ret = false;
4168 4169

	rcu_read_lock();
4170
	css_for_each_child(child, css) {
4171
		if (child->flags & CSS_ONLINE) {
4172 4173
			ret = true;
			break;
4174 4175 4176
		}
	}
	rcu_read_unlock();
4177
	return ret;
4178 4179
}

4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4231
static struct css_set *css_task_iter_next_css_set(struct css_task_iter *it)
{
	struct list_head *l;
	struct cgrp_cset_link *link;
	struct css_set *cset;

	lockdep_assert_held(&css_set_lock);

	/* find the next threaded cset */
	if (it->tcset_pos) {
		l = it->tcset_pos->next;

		if (l != it->tcset_head) {
			it->tcset_pos = l;
			return container_of(l, struct css_set,
					    threaded_csets_node);
		}

		it->tcset_pos = NULL;
	}

	/* find the next cset */
	l = it->cset_pos;
	l = l->next;
	if (l == it->cset_head) {
		it->cset_pos = NULL;
		return NULL;
	}

	if (it->ss) {
		cset = container_of(l, struct css_set, e_cset_node[it->ss->id]);
	} else {
		link = list_entry(l, struct cgrp_cset_link, cset_link);
		cset = link->cset;
	}

	it->cset_pos = l;

	/* initialize threaded css_set walking */
	if (it->flags & CSS_TASK_ITER_THREADED) {
		if (it->cur_dcset)
			put_css_set_locked(it->cur_dcset);
		it->cur_dcset = cset;
		get_css_set(cset);

		it->tcset_head = &cset->threaded_csets;
		it->tcset_pos = &cset->threaded_csets;
	}

	return cset;
}

4232
/**
4233
 * css_task_iter_advance_css_set - advance a task itererator to the next css_set
4234 4235 4236
 * @it: the iterator to advance
 *
 * Advance @it to the next css_set to walk.
4237
 */
4238
static void css_task_iter_advance_css_set(struct css_task_iter *it)
4239 4240 4241
{
	struct css_set *cset;

4242
	lockdep_assert_held(&css_set_lock);
4243

4244 4245
	/* Advance to the next non-empty css_set */
	do {
4246 4247
		cset = css_task_iter_next_css_set(it);
		if (!cset) {
4248
			it->task_pos = NULL;
4249 4250
			return;
		}
4251
	} while (!css_set_populated(cset));
T
Tejun Heo 已提交
4252 4253

	if (!list_empty(&cset->tasks))
T
Tejun Heo 已提交
4254
		it->task_pos = cset->tasks.next;
T
Tejun Heo 已提交
4255
	else
T
Tejun Heo 已提交
4256 4257 4258 4259
		it->task_pos = cset->mg_tasks.next;

	it->tasks_head = &cset->tasks;
	it->mg_tasks_head = &cset->mg_tasks;
4260 4261 4262 4263 4264 4265 4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 4282

	/*
	 * We don't keep css_sets locked across iteration steps and thus
	 * need to take steps to ensure that iteration can be resumed after
	 * the lock is re-acquired.  Iteration is performed at two levels -
	 * css_sets and tasks in them.
	 *
	 * Once created, a css_set never leaves its cgroup lists, so a
	 * pinned css_set is guaranteed to stay put and we can resume
	 * iteration afterwards.
	 *
	 * Tasks may leave @cset across iteration steps.  This is resolved
	 * by registering each iterator with the css_set currently being
	 * walked and making css_set_move_task() advance iterators whose
	 * next task is leaving.
	 */
	if (it->cur_cset) {
		list_del(&it->iters_node);
		put_css_set_locked(it->cur_cset);
	}
	get_css_set(cset);
	it->cur_cset = cset;
	list_add(&it->iters_node, &cset->task_iters);
4283 4284
}

4285 4286
static void css_task_iter_advance(struct css_task_iter *it)
{
4287
	struct list_head *next;
4288

4289
	lockdep_assert_held(&css_set_lock);
4290
repeat:
T
Tejun Heo 已提交
4291 4292 4293 4294 4295 4296 4297
	if (it->task_pos) {
		/*
		 * Advance iterator to find next entry.  cset->tasks is
		 * consumed first and then ->mg_tasks.  After ->mg_tasks,
		 * we move onto the next cset.
		 */
		next = it->task_pos->next;
4298

T
Tejun Heo 已提交
4299 4300
		if (next == it->tasks_head)
			next = it->mg_tasks_head->next;
4301

T
Tejun Heo 已提交
4302 4303 4304 4305 4306 4307
		if (next == it->mg_tasks_head)
			css_task_iter_advance_css_set(it);
		else
			it->task_pos = next;
	} else {
		/* called from start, proceed to the first cset */
4308
		css_task_iter_advance_css_set(it);
T
Tejun Heo 已提交
4309
	}
4310 4311 4312 4313 4314 4315

	/* if PROCS, skip over tasks which aren't group leaders */
	if ((it->flags & CSS_TASK_ITER_PROCS) && it->task_pos &&
	    !thread_group_leader(list_entry(it->task_pos, struct task_struct,
					    cg_list)))
		goto repeat;
4316 4317
}

4318
/**
4319 4320
 * css_task_iter_start - initiate task iteration
 * @css: the css to walk tasks of
4321
 * @flags: CSS_TASK_ITER_* flags
4322 4323
 * @it: the task iterator to use
 *
4324 4325 4326 4327
 * Initiate iteration through the tasks of @css.  The caller can call
 * css_task_iter_next() to walk through the tasks until the function
 * returns NULL.  On completion of iteration, css_task_iter_end() must be
 * called.
4328
 */
4329
void css_task_iter_start(struct cgroup_subsys_state *css, unsigned int flags,
4330
			 struct css_task_iter *it)
4331
{
4332 4333
	/* no one should try to iterate before mounting cgroups */
	WARN_ON_ONCE(!use_task_css_set_links);
4334

4335 4336
	memset(it, 0, sizeof(*it));

4337
	spin_lock_irq(&css_set_lock);
4338

4339
	it->ss = css->ss;
4340
	it->flags = flags;
4341 4342 4343 4344 4345 4346

	if (it->ss)
		it->cset_pos = &css->cgroup->e_csets[css->ss->id];
	else
		it->cset_pos = &css->cgroup->cset_links;

T
Tejun Heo 已提交
4347
	it->cset_head = it->cset_pos;
4348

T
Tejun Heo 已提交
4349
	css_task_iter_advance(it);
4350

4351
	spin_unlock_irq(&css_set_lock);
4352 4353
}

4354
/**
4355
 * css_task_iter_next - return the next task for the iterator
4356 4357 4358
 * @it: the task iterator being iterated
 *
 * The "next" function for task iteration.  @it should have been
4359 4360
 * initialized via css_task_iter_start().  Returns NULL when the iteration
 * reaches the end.
4361
 */
4362
struct task_struct *css_task_iter_next(struct css_task_iter *it)
4363
{
4364
	if (it->cur_task) {
4365
		put_task_struct(it->cur_task);
4366 4367
		it->cur_task = NULL;
	}
4368

4369
	spin_lock_irq(&css_set_lock);
4370

4371 4372 4373 4374 4375 4376
	if (it->task_pos) {
		it->cur_task = list_entry(it->task_pos, struct task_struct,
					  cg_list);
		get_task_struct(it->cur_task);
		css_task_iter_advance(it);
	}
4377

4378
	spin_unlock_irq(&css_set_lock);
4379 4380

	return it->cur_task;
4381 4382
}

4383
/**
4384
 * css_task_iter_end - finish task iteration
4385 4386
 * @it: the task iterator to finish
 *
4387
 * Finish task iteration started by css_task_iter_start().
4388
 */
4389
void css_task_iter_end(struct css_task_iter *it)
4390
{
4391
	if (it->cur_cset) {
4392
		spin_lock_irq(&css_set_lock);
4393 4394
		list_del(&it->iters_node);
		put_css_set_locked(it->cur_cset);
4395
		spin_unlock_irq(&css_set_lock);
4396 4397
	}

4398 4399 4400
	if (it->cur_dcset)
		put_css_set(it->cur_dcset);

4401 4402
	if (it->cur_task)
		put_task_struct(it->cur_task);
4403 4404
}

4405
static void cgroup_procs_release(struct kernfs_open_file *of)
4406
{
4407 4408 4409 4410 4411
	if (of->priv) {
		css_task_iter_end(of->priv);
		kfree(of->priv);
	}
}
4412

4413 4414 4415 4416
static void *cgroup_procs_next(struct seq_file *s, void *v, loff_t *pos)
{
	struct kernfs_open_file *of = s->private;
	struct css_task_iter *it = of->priv;
4417

4418
	return css_task_iter_next(it);
4419
}
4420

4421 4422
static void *__cgroup_procs_start(struct seq_file *s, loff_t *pos,
				  unsigned int iter_flags)
4423 4424 4425 4426
{
	struct kernfs_open_file *of = s->private;
	struct cgroup *cgrp = seq_css(s)->cgroup;
	struct css_task_iter *it = of->priv;
4427

4428
	/*
4429 4430
	 * When a seq_file is seeked, it's always traversed sequentially
	 * from position 0, so we can simply keep iterating on !0 *pos.
4431
	 */
4432 4433 4434
	if (!it) {
		if (WARN_ON_ONCE((*pos)++))
			return ERR_PTR(-EINVAL);
4435

4436 4437 4438 4439
		it = kzalloc(sizeof(*it), GFP_KERNEL);
		if (!it)
			return ERR_PTR(-ENOMEM);
		of->priv = it;
4440
		css_task_iter_start(&cgrp->self, iter_flags, it);
4441 4442
	} else if (!(*pos)++) {
		css_task_iter_end(it);
4443
		css_task_iter_start(&cgrp->self, iter_flags, it);
4444
	}
4445

4446 4447
	return cgroup_procs_next(s, NULL, NULL);
}
4448

4449 4450 4451 4452 4453 4454 4455 4456 4457 4458 4459 4460 4461 4462 4463 4464 4465
static void *cgroup_procs_start(struct seq_file *s, loff_t *pos)
{
	struct cgroup *cgrp = seq_css(s)->cgroup;

	/*
	 * All processes of a threaded subtree belong to the domain cgroup
	 * of the subtree.  Only threads can be distributed across the
	 * subtree.  Reject reads on cgroup.procs in the subtree proper.
	 * They're always empty anyway.
	 */
	if (cgroup_is_threaded(cgrp))
		return ERR_PTR(-EOPNOTSUPP);

	return __cgroup_procs_start(s, pos, CSS_TASK_ITER_PROCS |
					    CSS_TASK_ITER_THREADED);
}

4466
static int cgroup_procs_show(struct seq_file *s, void *v)
4467
{
4468
	seq_printf(s, "%d\n", task_pid_vnr(v));
4469 4470 4471
	return 0;
}

4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502 4503 4504 4505 4506 4507 4508 4509 4510 4511 4512 4513 4514 4515 4516 4517 4518 4519 4520 4521 4522 4523 4524 4525 4526 4527 4528 4529 4530 4531 4532 4533 4534 4535 4536 4537 4538 4539 4540 4541 4542 4543 4544
static int cgroup_procs_write_permission(struct cgroup *src_cgrp,
					 struct cgroup *dst_cgrp,
					 struct super_block *sb)
{
	struct cgroup_namespace *ns = current->nsproxy->cgroup_ns;
	struct cgroup *com_cgrp = src_cgrp;
	struct inode *inode;
	int ret;

	lockdep_assert_held(&cgroup_mutex);

	/* find the common ancestor */
	while (!cgroup_is_descendant(dst_cgrp, com_cgrp))
		com_cgrp = cgroup_parent(com_cgrp);

	/* %current should be authorized to migrate to the common ancestor */
	inode = kernfs_get_inode(sb, com_cgrp->procs_file.kn);
	if (!inode)
		return -ENOMEM;

	ret = inode_permission(inode, MAY_WRITE);
	iput(inode);
	if (ret)
		return ret;

	/*
	 * If namespaces are delegation boundaries, %current must be able
	 * to see both source and destination cgroups from its namespace.
	 */
	if ((cgrp_dfl_root.flags & CGRP_ROOT_NS_DELEGATE) &&
	    (!cgroup_is_descendant(src_cgrp, ns->root_cset->dfl_cgrp) ||
	     !cgroup_is_descendant(dst_cgrp, ns->root_cset->dfl_cgrp)))
		return -ENOENT;

	return 0;
}

static ssize_t cgroup_procs_write(struct kernfs_open_file *of,
				  char *buf, size_t nbytes, loff_t off)
{
	struct cgroup *src_cgrp, *dst_cgrp;
	struct task_struct *task;
	ssize_t ret;

	dst_cgrp = cgroup_kn_lock_live(of->kn, false);
	if (!dst_cgrp)
		return -ENODEV;

	task = cgroup_procs_write_start(buf, true);
	ret = PTR_ERR_OR_ZERO(task);
	if (ret)
		goto out_unlock;

	/* find the source cgroup */
	spin_lock_irq(&css_set_lock);
	src_cgrp = task_cgroup_from_root(task, &cgrp_dfl_root);
	spin_unlock_irq(&css_set_lock);

	ret = cgroup_procs_write_permission(src_cgrp, dst_cgrp,
					    of->file->f_path.dentry->d_sb);
	if (ret)
		goto out_finish;

	ret = cgroup_attach_task(dst_cgrp, task, true);

out_finish:
	cgroup_procs_write_finish(task);
out_unlock:
	cgroup_kn_unlock(of->kn);

	return ret ?: nbytes;
}

4545 4546 4547 4548 4549 4550 4551 4552 4553 4554 4555 4556 4557 4558 4559 4560 4561 4562 4563 4564 4565 4566 4567 4568 4569 4570 4571 4572 4573 4574 4575 4576 4577 4578 4579 4580 4581 4582 4583 4584 4585 4586 4587 4588 4589 4590 4591 4592 4593
static void *cgroup_threads_start(struct seq_file *s, loff_t *pos)
{
	return __cgroup_procs_start(s, pos, 0);
}

static ssize_t cgroup_threads_write(struct kernfs_open_file *of,
				    char *buf, size_t nbytes, loff_t off)
{
	struct cgroup *src_cgrp, *dst_cgrp;
	struct task_struct *task;
	ssize_t ret;

	buf = strstrip(buf);

	dst_cgrp = cgroup_kn_lock_live(of->kn, false);
	if (!dst_cgrp)
		return -ENODEV;

	task = cgroup_procs_write_start(buf, false);
	ret = PTR_ERR_OR_ZERO(task);
	if (ret)
		goto out_unlock;

	/* find the source cgroup */
	spin_lock_irq(&css_set_lock);
	src_cgrp = task_cgroup_from_root(task, &cgrp_dfl_root);
	spin_unlock_irq(&css_set_lock);

	/* thread migrations follow the cgroup.procs delegation rule */
	ret = cgroup_procs_write_permission(src_cgrp, dst_cgrp,
					    of->file->f_path.dentry->d_sb);
	if (ret)
		goto out_finish;

	/* and must be contained in the same domain */
	ret = -EOPNOTSUPP;
	if (src_cgrp->dom_cgrp != dst_cgrp->dom_cgrp)
		goto out_finish;

	ret = cgroup_attach_task(dst_cgrp, task, false);

out_finish:
	cgroup_procs_write_finish(task);
out_unlock:
	cgroup_kn_unlock(of->kn);

	return ret ?: nbytes;
}

4594
/* cgroup core interface files for the default hierarchy */
4595
static struct cftype cgroup_base_files[] = {
4596 4597 4598 4599 4600 4601
	{
		.name = "cgroup.type",
		.flags = CFTYPE_NOT_ON_ROOT,
		.seq_show = cgroup_type_show,
		.write = cgroup_type_write,
	},
4602
	{
4603
		.name = "cgroup.procs",
4604
		.flags = CFTYPE_NS_DELEGATABLE,
4605
		.file_offset = offsetof(struct cgroup, procs_file),
4606 4607 4608 4609
		.release = cgroup_procs_release,
		.seq_start = cgroup_procs_start,
		.seq_next = cgroup_procs_next,
		.seq_show = cgroup_procs_show,
4610
		.write = cgroup_procs_write,
4611
	},
4612 4613
	{
		.name = "cgroup.threads",
4614
		.flags = CFTYPE_NS_DELEGATABLE,
4615 4616 4617 4618 4619 4620
		.release = cgroup_procs_release,
		.seq_start = cgroup_threads_start,
		.seq_next = cgroup_procs_next,
		.seq_show = cgroup_procs_show,
		.write = cgroup_threads_write,
	},
4621 4622 4623 4624 4625 4626
	{
		.name = "cgroup.controllers",
		.seq_show = cgroup_controllers_show,
	},
	{
		.name = "cgroup.subtree_control",
4627
		.flags = CFTYPE_NS_DELEGATABLE,
4628
		.seq_show = cgroup_subtree_control_show,
4629
		.write = cgroup_subtree_control_write,
4630
	},
4631
	{
4632
		.name = "cgroup.events",
4633
		.flags = CFTYPE_NOT_ON_ROOT,
4634
		.file_offset = offsetof(struct cgroup, events_file),
4635
		.seq_show = cgroup_events_show,
4636
	},
4637 4638 4639 4640 4641 4642 4643 4644 4645 4646
	{
		.name = "cgroup.max.descendants",
		.seq_show = cgroup_max_descendants_show,
		.write = cgroup_max_descendants_write,
	},
	{
		.name = "cgroup.max.depth",
		.seq_show = cgroup_max_depth_show,
		.write = cgroup_max_depth_write,
	},
4647 4648
	{
		.name = "cgroup.stat",
T
Tejun Heo 已提交
4649
		.seq_show = cgroup_stat_show,
4650
	},
4651 4652 4653 4654 4655
	{
		.name = "cpu.stat",
		.flags = CFTYPE_NOT_ON_ROOT,
		.seq_show = cpu_stat_show,
	},
J
Johannes Weiner 已提交
4656 4657 4658 4659 4660
#ifdef CONFIG_PSI
	{
		.name = "io.pressure",
		.flags = CFTYPE_NOT_ON_ROOT,
		.seq_show = cgroup_io_pressure_show,
S
Suren Baghdasaryan 已提交
4661 4662 4663
		.write = cgroup_io_pressure_write,
		.poll = cgroup_pressure_poll,
		.release = cgroup_pressure_release,
J
Johannes Weiner 已提交
4664 4665 4666 4667 4668
	},
	{
		.name = "memory.pressure",
		.flags = CFTYPE_NOT_ON_ROOT,
		.seq_show = cgroup_memory_pressure_show,
S
Suren Baghdasaryan 已提交
4669 4670 4671
		.write = cgroup_memory_pressure_write,
		.poll = cgroup_pressure_poll,
		.release = cgroup_pressure_release,
J
Johannes Weiner 已提交
4672 4673 4674 4675 4676
	},
	{
		.name = "cpu.pressure",
		.flags = CFTYPE_NOT_ON_ROOT,
		.seq_show = cgroup_cpu_pressure_show,
S
Suren Baghdasaryan 已提交
4677 4678 4679
		.write = cgroup_cpu_pressure_write,
		.poll = cgroup_pressure_poll,
		.release = cgroup_pressure_release,
J
Johannes Weiner 已提交
4680
	},
S
Suren Baghdasaryan 已提交
4681
#endif /* CONFIG_PSI */
4682 4683
	{ }	/* terminate */
};
4684

4685 4686 4687 4688 4689 4690 4691
/*
 * css destruction is four-stage process.
 *
 * 1. Destruction starts.  Killing of the percpu_ref is initiated.
 *    Implemented in kill_css().
 *
 * 2. When the percpu_ref is confirmed to be visible as killed on all CPUs
4692 4693 4694
 *    and thus css_tryget_online() is guaranteed to fail, the css can be
 *    offlined by invoking offline_css().  After offlining, the base ref is
 *    put.  Implemented in css_killed_work_fn().
4695 4696 4697 4698 4699 4700 4701 4702 4703 4704 4705 4706
 *
 * 3. When the percpu_ref reaches zero, the only possible remaining
 *    accessors are inside RCU read sections.  css_release() schedules the
 *    RCU callback.
 *
 * 4. After the grace period, the css can be freed.  Implemented in
 *    css_free_work_fn().
 *
 * It is actually hairier because both step 2 and 4 require process context
 * and thus involve punting to css->destroy_work adding two additional
 * steps to the already complex sequence.
 */
4707
static void css_free_rwork_fn(struct work_struct *work)
4708
{
4709 4710
	struct cgroup_subsys_state *css = container_of(to_rcu_work(work),
				struct cgroup_subsys_state, destroy_rwork);
4711
	struct cgroup_subsys *ss = css->ss;
4712
	struct cgroup *cgrp = css->cgroup;
4713

4714 4715
	percpu_ref_exit(&css->refcnt);

4716
	if (ss) {
4717
		/* css free path */
4718
		struct cgroup_subsys_state *parent = css->parent;
4719 4720
		int id = css->id;

4721 4722
		delete_memcg_blkcg_link(ss, css);

4723 4724
		ss->css_free(css);
		cgroup_idr_remove(&ss->css_idr, id);
4725
		cgroup_put(cgrp);
4726 4727 4728

		if (parent)
			css_put(parent);
4729 4730 4731
	} else {
		/* cgroup free path */
		atomic_dec(&cgrp->root->nr_cgrps);
4732
		cgroup1_pidlist_destroy_all(cgrp);
4733
		cancel_work_sync(&cgrp->release_agent_work);
4734

T
Tejun Heo 已提交
4735
		if (cgroup_parent(cgrp)) {
4736 4737 4738 4739 4740 4741
			/*
			 * We get a ref to the parent, and put the ref when
			 * this cgroup is being freed, so it's guaranteed
			 * that the parent won't be destroyed before its
			 * children.
			 */
T
Tejun Heo 已提交
4742
			cgroup_put(cgroup_parent(cgrp));
4743
			kernfs_put(cgrp->kn);
J
Johannes Weiner 已提交
4744
			psi_cgroup_free(cgrp);
4745
			if (cgroup_on_dfl(cgrp))
T
Tejun Heo 已提交
4746
				cgroup_rstat_exit(cgrp);
4747 4748 4749 4750 4751 4752 4753 4754 4755 4756
			kfree(cgrp);
		} else {
			/*
			 * This is root cgroup's refcnt reaching zero,
			 * which indicates that the root should be
			 * released.
			 */
			cgroup_destroy_root(cgrp->root);
		}
	}
4757 4758
}

4759
static void css_release_work_fn(struct work_struct *work)
4760 4761
{
	struct cgroup_subsys_state *css =
4762
		container_of(work, struct cgroup_subsys_state, destroy_work);
4763
	struct cgroup_subsys *ss = css->ss;
4764
	struct cgroup *cgrp = css->cgroup;
4765

4766 4767
	mutex_lock(&cgroup_mutex);

4768
	css->flags |= CSS_RELEASED;
4769 4770
	list_del_rcu(&css->sibling);

4771 4772
	if (ss) {
		/* css release path */
4773 4774 4775 4776 4777
		if (!list_empty(&css->rstat_css_node)) {
			cgroup_rstat_flush(cgrp);
			list_del_rcu(&css->rstat_css_node);
		}

4778
		cgroup_idr_replace(&ss->css_idr, NULL, css->id);
4779 4780
		if (ss->css_released)
			ss->css_released(css);
4781
	} else {
4782 4783
		struct cgroup *tcgrp;

4784
		/* cgroup release path */
4785
		TRACE_CGROUP_PATH(release, cgrp);
4786

4787
		if (cgroup_on_dfl(cgrp))
T
Tejun Heo 已提交
4788
			cgroup_rstat_flush(cgrp);
4789

4790
		spin_lock_irq(&css_set_lock);
4791 4792 4793
		for (tcgrp = cgroup_parent(cgrp); tcgrp;
		     tcgrp = cgroup_parent(tcgrp))
			tcgrp->nr_dying_descendants--;
4794
		spin_unlock_irq(&css_set_lock);
4795

4796 4797
		cgroup_idr_remove(&cgrp->root->cgroup_idr, cgrp->id);
		cgrp->id = -1;
4798 4799 4800 4801 4802 4803 4804 4805

		/*
		 * There are two control paths which try to determine
		 * cgroup from dentry without going through kernfs -
		 * cgroupstats_build() and css_tryget_online_from_dir().
		 * Those are supported by RCU protecting clearing of
		 * cgrp->kn->priv backpointer.
		 */
4806 4807 4808
		if (cgrp->kn)
			RCU_INIT_POINTER(*(void __rcu __force **)&cgrp->kn->priv,
					 NULL);
4809 4810

		cgroup_bpf_put(cgrp);
4811
	}
4812

4813 4814
	mutex_unlock(&cgroup_mutex);

4815 4816
	INIT_RCU_WORK(&css->destroy_rwork, css_free_rwork_fn);
	queue_rcu_work(cgroup_destroy_wq, &css->destroy_rwork);
4817 4818 4819 4820 4821 4822 4823
}

static void css_release(struct percpu_ref *ref)
{
	struct cgroup_subsys_state *css =
		container_of(ref, struct cgroup_subsys_state, refcnt);

4824 4825
	INIT_WORK(&css->destroy_work, css_release_work_fn);
	queue_work(cgroup_destroy_wq, &css->destroy_work);
4826 4827
}

4828 4829
static void init_and_link_css(struct cgroup_subsys_state *css,
			      struct cgroup_subsys *ss, struct cgroup *cgrp)
4830
{
4831 4832
	lockdep_assert_held(&cgroup_mutex);

4833
	cgroup_get_live(cgrp);
4834

4835
	memset(css, 0, sizeof(*css));
4836
	css->cgroup = cgrp;
4837
	css->ss = ss;
4838
	css->id = -1;
4839 4840
	INIT_LIST_HEAD(&css->sibling);
	INIT_LIST_HEAD(&css->children);
4841
	INIT_LIST_HEAD(&css->rstat_css_node);
4842
	css->serial_nr = css_serial_nr_next++;
4843
	atomic_set(&css->online_cnt, 0);
4844

T
Tejun Heo 已提交
4845 4846
	if (cgroup_parent(cgrp)) {
		css->parent = cgroup_css(cgroup_parent(cgrp), ss);
4847 4848
		css_get(css->parent);
	}
4849

4850 4851 4852
	if (cgroup_on_dfl(cgrp) && ss->css_rstat_flush)
		list_add_rcu(&css->rstat_css_node, &cgrp->rstat_css_list);

4853
	BUG_ON(cgroup_css(cgrp, ss));
4854 4855
}

4856
/* invoke ->css_online() on a new CSS and mark it online if successful */
4857
static int online_css(struct cgroup_subsys_state *css)
4858
{
4859
	struct cgroup_subsys *ss = css->ss;
T
Tejun Heo 已提交
4860 4861
	int ret = 0;

4862 4863
	lockdep_assert_held(&cgroup_mutex);

4864
	if (ss->css_online)
4865
		ret = ss->css_online(css);
4866
	if (!ret) {
4867
		css->flags |= CSS_ONLINE;
4868
		rcu_assign_pointer(css->cgroup->subsys[ss->id], css);
4869 4870 4871 4872

		atomic_inc(&css->online_cnt);
		if (css->parent)
			atomic_inc(&css->parent->online_cnt);
4873
	}
T
Tejun Heo 已提交
4874
	return ret;
4875 4876
}

4877
/* if the CSS is online, invoke ->css_offline() on it and mark it offline */
4878
static void offline_css(struct cgroup_subsys_state *css)
4879
{
4880
	struct cgroup_subsys *ss = css->ss;
4881 4882 4883 4884 4885 4886

	lockdep_assert_held(&cgroup_mutex);

	if (!(css->flags & CSS_ONLINE))
		return;

4887
	if (ss->css_offline)
4888
		ss->css_offline(css);
4889

4890
	css->flags &= ~CSS_ONLINE;
4891
	RCU_INIT_POINTER(css->cgroup->subsys[ss->id], NULL);
4892 4893

	wake_up_all(&css->cgroup->offline_waitq);
4894 4895
}

4896
/**
4897
 * css_create - create a cgroup_subsys_state
4898 4899 4900 4901
 * @cgrp: the cgroup new css will be associated with
 * @ss: the subsys of new css
 *
 * Create a new css associated with @cgrp - @ss pair.  On success, the new
4902 4903
 * css is online and installed in @cgrp.  This function doesn't create the
 * interface files.  Returns 0 on success, -errno on failure.
4904
 */
4905 4906
static struct cgroup_subsys_state *css_create(struct cgroup *cgrp,
					      struct cgroup_subsys *ss)
4907
{
T
Tejun Heo 已提交
4908
	struct cgroup *parent = cgroup_parent(cgrp);
4909
	struct cgroup_subsys_state *parent_css = cgroup_css(parent, ss);
4910 4911 4912 4913 4914
	struct cgroup_subsys_state *css;
	int err;

	lockdep_assert_held(&cgroup_mutex);

4915
	css = ss->css_alloc(parent_css);
4916 4917
	if (!css)
		css = ERR_PTR(-ENOMEM);
4918
	if (IS_ERR(css))
4919
		return css;
4920

4921
	init_and_link_css(css, ss, cgrp);
4922

4923
	err = percpu_ref_init(&css->refcnt, css_release, 0, GFP_KERNEL);
4924
	if (err)
4925
		goto err_free_css;
4926

V
Vladimir Davydov 已提交
4927
	err = cgroup_idr_alloc(&ss->css_idr, NULL, 2, 0, GFP_KERNEL);
4928
	if (err < 0)
4929
		goto err_free_css;
4930
	css->id = err;
4931

4932
	/* @css is ready to be brought online now, make it visible */
4933
	list_add_tail_rcu(&css->sibling, &parent_css->children);
4934
	cgroup_idr_replace(&ss->css_idr, css, css->id);
4935 4936 4937

	err = online_css(css);
	if (err)
4938
		goto err_list_del;
4939

4940
	if (ss->broken_hierarchy && !ss->warned_broken_hierarchy &&
T
Tejun Heo 已提交
4941
	    cgroup_parent(parent)) {
4942
		pr_warn("%s (%d) created nested cgroup for controller \"%s\" which has incomplete hierarchy support. Nested cgroups may change behavior in the future.\n",
4943
			current->comm, current->pid, ss->name);
4944
		if (!strcmp(ss->name, "memory"))
4945
			pr_warn("\"memory\" requires setting use_hierarchy to 1 on the root\n");
4946 4947 4948
		ss->warned_broken_hierarchy = true;
	}

4949
	return css;
4950

4951 4952
err_list_del:
	list_del_rcu(&css->sibling);
4953
err_free_css:
4954
	list_del_rcu(&css->rstat_css_node);
4955 4956
	INIT_RCU_WORK(&css->destroy_rwork, css_free_rwork_fn);
	queue_rcu_work(cgroup_destroy_wq, &css->destroy_rwork);
4957
	return ERR_PTR(err);
4958 4959
}

4960 4961 4962 4963 4964
/*
 * The returned cgroup is fully initialized including its control mask, but
 * it isn't associated with its kernfs_node and doesn't have the control
 * mask applied.
 */
4965
static struct cgroup *cgroup_create(struct cgroup *parent)
4966
{
4967 4968 4969
	struct cgroup_root *root = parent->root;
	struct cgroup *cgrp, *tcgrp;
	int level = parent->level + 1;
4970
	int ret;
4971

T
Tejun Heo 已提交
4972
	/* allocate the cgroup and its ID, 0 is reserved for the root */
4973 4974
	cgrp = kzalloc(struct_size(cgrp, ancestor_ids, (level + 1)),
		       GFP_KERNEL);
4975 4976
	if (!cgrp)
		return ERR_PTR(-ENOMEM);
4977

4978
	ret = percpu_ref_init(&cgrp->self.refcnt, css_release, 0, GFP_KERNEL);
4979 4980 4981
	if (ret)
		goto out_free_cgrp;

4982
	if (cgroup_on_dfl(parent)) {
T
Tejun Heo 已提交
4983
		ret = cgroup_rstat_init(cgrp);
4984 4985 4986 4987
		if (ret)
			goto out_cancel_ref;
	}

4988 4989 4990 4991
	/*
	 * Temporarily set the pointer to NULL, so idr_find() won't return
	 * a half-baked cgroup.
	 */
V
Vladimir Davydov 已提交
4992
	cgrp->id = cgroup_idr_alloc(&root->cgroup_idr, NULL, 2, 0, GFP_KERNEL);
4993
	if (cgrp->id < 0) {
T
Tejun Heo 已提交
4994
		ret = -ENOMEM;
4995
		goto out_stat_exit;
4996 4997
	}

4998
	init_cgroup_housekeeping(cgrp);
4999

5000
	cgrp->self.parent = &parent->self;
T
Tejun Heo 已提交
5001
	cgrp->root = root;
5002
	cgrp->level = level;
J
Johannes Weiner 已提交
5003 5004

	ret = psi_cgroup_alloc(cgrp);
5005 5006
	if (ret)
		goto out_idr_free;
5007

J
Johannes Weiner 已提交
5008 5009 5010 5011
	ret = cgroup_bpf_inherit(cgrp);
	if (ret)
		goto out_psi_free;

5012
	spin_lock_irq(&css_set_lock);
5013
	for (tcgrp = cgrp; tcgrp; tcgrp = cgroup_parent(tcgrp)) {
5014
		cgrp->ancestor_ids[tcgrp->level] = tcgrp->id;
5015

5016 5017 5018
		if (tcgrp != cgrp)
			tcgrp->nr_descendants++;
	}
5019
	spin_unlock_irq(&css_set_lock);
5020

5021 5022 5023
	if (notify_on_release(parent))
		set_bit(CGRP_NOTIFY_ON_RELEASE, &cgrp->flags);

5024 5025
	if (test_bit(CGRP_CPUSET_CLONE_CHILDREN, &parent->flags))
		set_bit(CGRP_CPUSET_CLONE_CHILDREN, &cgrp->flags);
5026

5027
	cgrp->self.serial_nr = css_serial_nr_next++;
5028

5029
	/* allocation complete, commit to creation */
5030
	list_add_tail_rcu(&cgrp->self.sibling, &cgroup_parent(cgrp)->self.children);
5031
	atomic_inc(&root->nr_cgrps);
5032
	cgroup_get_live(parent);
5033

5034 5035 5036 5037
	/*
	 * @cgrp is now fully operational.  If something fails after this
	 * point, it'll be released via the normal destruction path.
	 */
5038
	cgroup_idr_replace(&root->cgroup_idr, cgrp, cgrp->id);
5039

5040 5041
	/*
	 * On the default hierarchy, a child doesn't automatically inherit
5042
	 * subtree_control from the parent.  Each is configured manually.
5043
	 */
5044
	if (!cgroup_on_dfl(cgrp))
5045
		cgrp->subtree_control = cgroup_control(cgrp);
5046 5047 5048

	cgroup_propagate_control(cgrp);

5049 5050
	return cgrp;

J
Johannes Weiner 已提交
5051 5052
out_psi_free:
	psi_cgroup_free(cgrp);
5053 5054
out_idr_free:
	cgroup_idr_remove(&root->cgroup_idr, cgrp->id);
5055 5056
out_stat_exit:
	if (cgroup_on_dfl(parent))
T
Tejun Heo 已提交
5057
		cgroup_rstat_exit(cgrp);
5058 5059 5060 5061 5062 5063 5064
out_cancel_ref:
	percpu_ref_exit(&cgrp->self.refcnt);
out_free_cgrp:
	kfree(cgrp);
	return ERR_PTR(ret);
}

5065 5066 5067 5068 5069 5070 5071 5072 5073 5074 5075 5076 5077 5078 5079 5080 5081 5082 5083 5084 5085 5086 5087
static bool cgroup_check_hierarchy_limits(struct cgroup *parent)
{
	struct cgroup *cgroup;
	int ret = false;
	int level = 1;

	lockdep_assert_held(&cgroup_mutex);

	for (cgroup = parent; cgroup; cgroup = cgroup_parent(cgroup)) {
		if (cgroup->nr_descendants >= cgroup->max_descendants)
			goto fail;

		if (level > cgroup->max_depth)
			goto fail;

		level++;
	}

	ret = true;
fail:
	return ret;
}

5088
int cgroup_mkdir(struct kernfs_node *parent_kn, const char *name, umode_t mode)
5089 5090 5091
{
	struct cgroup *parent, *cgrp;
	struct kernfs_node *kn;
5092
	int ret;
5093 5094 5095 5096 5097

	/* do not accept '\n' to prevent making /proc/<pid>/cgroup unparsable */
	if (strchr(name, '\n'))
		return -EINVAL;

5098
	parent = cgroup_kn_lock_live(parent_kn, false);
5099 5100 5101
	if (!parent)
		return -ENODEV;

5102 5103 5104 5105 5106
	if (!cgroup_check_hierarchy_limits(parent)) {
		ret = -EAGAIN;
		goto out_unlock;
	}

5107 5108 5109 5110 5111 5112
	cgrp = cgroup_create(parent);
	if (IS_ERR(cgrp)) {
		ret = PTR_ERR(cgrp);
		goto out_unlock;
	}

5113 5114 5115 5116 5117 5118 5119 5120 5121 5122 5123 5124 5125 5126 5127 5128 5129 5130
	/* create the directory */
	kn = kernfs_create_dir(parent->kn, name, mode, cgrp);
	if (IS_ERR(kn)) {
		ret = PTR_ERR(kn);
		goto out_destroy;
	}
	cgrp->kn = kn;

	/*
	 * This extra ref will be put in cgroup_free_fn() and guarantees
	 * that @cgrp->kn is always accessible.
	 */
	kernfs_get(kn);

	ret = cgroup_kn_set_ugid(kn);
	if (ret)
		goto out_destroy;

5131
	ret = css_populate_dir(&cgrp->self);
5132 5133 5134
	if (ret)
		goto out_destroy;

5135 5136 5137
	ret = cgroup_apply_control_enable(cgrp);
	if (ret)
		goto out_destroy;
5138

5139
	TRACE_CGROUP_PATH(mkdir, cgrp);
5140

5141
	/* let's create and online css's */
T
Tejun Heo 已提交
5142
	kernfs_activate(kn);
5143

T
Tejun Heo 已提交
5144 5145
	ret = 0;
	goto out_unlock;
5146

5147 5148
out_destroy:
	cgroup_destroy_locked(cgrp);
T
Tejun Heo 已提交
5149
out_unlock:
5150
	cgroup_kn_unlock(parent_kn);
T
Tejun Heo 已提交
5151
	return ret;
5152 5153
}

5154 5155
/*
 * This is called when the refcnt of a css is confirmed to be killed.
5156 5157
 * css_tryget_online() is now guaranteed to fail.  Tell the subsystem to
 * initate destruction and put the css ref from kill_css().
5158 5159
 */
static void css_killed_work_fn(struct work_struct *work)
5160
{
5161 5162
	struct cgroup_subsys_state *css =
		container_of(work, struct cgroup_subsys_state, destroy_work);
5163

5164
	mutex_lock(&cgroup_mutex);
5165

5166 5167 5168 5169 5170 5171 5172 5173
	do {
		offline_css(css);
		css_put(css);
		/* @css can't go away while we're holding cgroup_mutex */
		css = css->parent;
	} while (css && atomic_dec_and_test(&css->online_cnt));

	mutex_unlock(&cgroup_mutex);
5174 5175
}

5176 5177
/* css kill confirmation processing requires process context, bounce */
static void css_killed_ref_fn(struct percpu_ref *ref)
5178 5179 5180 5181
{
	struct cgroup_subsys_state *css =
		container_of(ref, struct cgroup_subsys_state, refcnt);

5182 5183 5184 5185
	if (atomic_dec_and_test(&css->online_cnt)) {
		INIT_WORK(&css->destroy_work, css_killed_work_fn);
		queue_work(cgroup_destroy_wq, &css->destroy_work);
	}
5186 5187
}

5188 5189 5190 5191 5192 5193
/**
 * kill_css - destroy a css
 * @css: css to destroy
 *
 * This function initiates destruction of @css by removing cgroup interface
 * files and putting its base reference.  ->css_offline() will be invoked
5194 5195
 * asynchronously once css_tryget_online() is guaranteed to fail and when
 * the reference count reaches zero, @css will be released.
5196 5197
 */
static void kill_css(struct cgroup_subsys_state *css)
T
Tejun Heo 已提交
5198
{
5199
	lockdep_assert_held(&cgroup_mutex);
5200

5201 5202 5203 5204 5205
	if (css->flags & CSS_DYING)
		return;

	css->flags |= CSS_DYING;

T
Tejun Heo 已提交
5206 5207 5208 5209
	/*
	 * This must happen before css is disassociated with its cgroup.
	 * See seq_css() for details.
	 */
5210
	css_clear_dir(css);
5211

T
Tejun Heo 已提交
5212 5213 5214 5215 5216 5217 5218 5219 5220
	/*
	 * Killing would put the base ref, but we need to keep it alive
	 * until after ->css_offline().
	 */
	css_get(css);

	/*
	 * cgroup core guarantees that, by the time ->css_offline() is
	 * invoked, no new css reference will be given out via
5221
	 * css_tryget_online().  We can't simply call percpu_ref_kill() and
T
Tejun Heo 已提交
5222 5223 5224 5225 5226 5227 5228
	 * proceed to offlining css's because percpu_ref_kill() doesn't
	 * guarantee that the ref is seen as killed on all CPUs on return.
	 *
	 * Use percpu_ref_kill_and_confirm() to get notifications as each
	 * css is confirmed to be seen as killed on all CPUs.
	 */
	percpu_ref_kill_and_confirm(&css->refcnt, css_killed_ref_fn);
5229 5230 5231 5232 5233 5234 5235 5236
}

/**
 * cgroup_destroy_locked - the first stage of cgroup destruction
 * @cgrp: cgroup to be destroyed
 *
 * css's make use of percpu refcnts whose killing latency shouldn't be
 * exposed to userland and are RCU protected.  Also, cgroup core needs to
5237 5238 5239
 * guarantee that css_tryget_online() won't succeed by the time
 * ->css_offline() is invoked.  To satisfy all the requirements,
 * destruction is implemented in the following two steps.
5240 5241 5242 5243 5244 5245 5246 5247 5248 5249 5250 5251 5252 5253 5254
 *
 * s1. Verify @cgrp can be destroyed and mark it dying.  Remove all
 *     userland visible parts and start killing the percpu refcnts of
 *     css's.  Set up so that the next stage will be kicked off once all
 *     the percpu refcnts are confirmed to be killed.
 *
 * s2. Invoke ->css_offline(), mark the cgroup dead and proceed with the
 *     rest of destruction.  Once all cgroup references are gone, the
 *     cgroup is RCU-freed.
 *
 * This function implements s1.  After this step, @cgrp is gone as far as
 * the userland is concerned and a new cgroup with the same name may be
 * created.  As cgroup doesn't care about the names internally, this
 * doesn't cause any problem.
 */
5255 5256
static int cgroup_destroy_locked(struct cgroup *cgrp)
	__releases(&cgroup_mutex) __acquires(&cgroup_mutex)
5257
{
5258
	struct cgroup *tcgrp, *parent = cgroup_parent(cgrp);
T
Tejun Heo 已提交
5259
	struct cgroup_subsys_state *css;
5260
	struct cgrp_cset_link *link;
T
Tejun Heo 已提交
5261
	int ssid;
5262

5263 5264
	lockdep_assert_held(&cgroup_mutex);

5265 5266 5267 5268 5269
	/*
	 * Only migration can raise populated from zero and we're already
	 * holding cgroup_mutex.
	 */
	if (cgroup_is_populated(cgrp))
5270
		return -EBUSY;
L
Li Zefan 已提交
5271

5272
	/*
5273 5274 5275
	 * Make sure there's no live children.  We can't test emptiness of
	 * ->self.children as dead children linger on it while being
	 * drained; otherwise, "rmdir parent/child parent" may fail.
5276
	 */
5277
	if (css_has_online_children(&cgrp->self))
5278 5279
		return -EBUSY;

5280
	/*
5281 5282 5283 5284
	 * Mark @cgrp and the associated csets dead.  The former prevents
	 * further task migration and child creation by disabling
	 * cgroup_lock_live_group().  The latter makes the csets ignored by
	 * the migration path.
5285
	 */
5286
	cgrp->self.flags &= ~CSS_ONLINE;
5287

5288
	spin_lock_irq(&css_set_lock);
5289 5290
	list_for_each_entry(link, &cgrp->cset_links, cset_link)
		link->cset->dead = true;
5291
	spin_unlock_irq(&css_set_lock);
5292

5293
	/* initiate massacre of all css's */
T
Tejun Heo 已提交
5294 5295
	for_each_css(css, ssid, cgrp)
		kill_css(css);
5296

5297 5298
	/* clear and remove @cgrp dir, @cgrp has an extra ref on its kn */
	css_clear_dir(&cgrp->self);
5299
	kernfs_remove(cgrp->kn);
5300

5301 5302 5303
	if (parent && cgroup_is_threaded(cgrp))
		parent->nr_threaded_children--;

5304
	spin_lock_irq(&css_set_lock);
5305 5306 5307 5308
	for (tcgrp = cgroup_parent(cgrp); tcgrp; tcgrp = cgroup_parent(tcgrp)) {
		tcgrp->nr_descendants--;
		tcgrp->nr_dying_descendants++;
	}
5309
	spin_unlock_irq(&css_set_lock);
5310

5311
	cgroup1_check_for_release(parent);
T
Tejun Heo 已提交
5312

5313
	/* put the base reference */
5314
	percpu_ref_kill(&cgrp->self.refcnt);
5315

5316 5317 5318
	return 0;
};

5319
int cgroup_rmdir(struct kernfs_node *kn)
5320
{
5321
	struct cgroup *cgrp;
T
Tejun Heo 已提交
5322
	int ret = 0;
5323

5324
	cgrp = cgroup_kn_lock_live(kn, false);
5325 5326
	if (!cgrp)
		return 0;
5327

5328
	ret = cgroup_destroy_locked(cgrp);
5329
	if (!ret)
5330
		TRACE_CGROUP_PATH(rmdir, cgrp);
5331

5332
	cgroup_kn_unlock(kn);
5333
	return ret;
5334 5335
}

T
Tejun Heo 已提交
5336
static struct kernfs_syscall_ops cgroup_kf_syscall_ops = {
5337
	.show_options		= cgroup_show_options,
T
Tejun Heo 已提交
5338 5339 5340
	.remount_fs		= cgroup_remount,
	.mkdir			= cgroup_mkdir,
	.rmdir			= cgroup_rmdir,
5341
	.show_path		= cgroup_show_path,
T
Tejun Heo 已提交
5342 5343
};

5344
static void __init cgroup_init_subsys(struct cgroup_subsys *ss, bool early)
5345 5346
{
	struct cgroup_subsys_state *css;
D
Diego Calleja 已提交
5347

5348
	pr_debug("Initializing cgroup subsys %s\n", ss->name);
5349

5350 5351
	mutex_lock(&cgroup_mutex);

5352
	idr_init(&ss->css_idr);
T
Tejun Heo 已提交
5353
	INIT_LIST_HEAD(&ss->cfts);
5354

5355 5356 5357
	/* Create the root cgroup state for this subsystem */
	ss->root = &cgrp_dfl_root;
	css = ss->css_alloc(cgroup_css(&cgrp_dfl_root.cgrp, ss));
5358 5359
	/* We don't handle early failures gracefully */
	BUG_ON(IS_ERR(css));
5360
	init_and_link_css(css, ss, &cgrp_dfl_root.cgrp);
5361 5362 5363 5364 5365 5366 5367

	/*
	 * Root csses are never destroyed and we can't initialize
	 * percpu_ref during early init.  Disable refcnting.
	 */
	css->flags |= CSS_NO_REF;

5368
	if (early) {
5369
		/* allocation can't be done safely during early init */
5370 5371 5372 5373 5374
		css->id = 1;
	} else {
		css->id = cgroup_idr_alloc(&ss->css_idr, css, 1, 2, GFP_KERNEL);
		BUG_ON(css->id < 0);
	}
5375

L
Li Zefan 已提交
5376
	/* Update the init_css_set to contain a subsys
5377
	 * pointer to this state - since the subsystem is
L
Li Zefan 已提交
5378
	 * newly registered, all tasks and hence the
5379
	 * init_css_set is in the subsystem's root cgroup. */
5380
	init_css_set.subsys[ss->id] = css;
5381

5382 5383
	have_fork_callback |= (bool)ss->fork << ss->id;
	have_exit_callback |= (bool)ss->exit << ss->id;
5384
	have_release_callback |= (bool)ss->release << ss->id;
5385
	have_canfork_callback |= (bool)ss->can_fork << ss->id;
5386

L
Li Zefan 已提交
5387 5388 5389 5390 5391
	/* At system boot, before all subsystems have been
	 * registered, no tasks have been forked, so we don't
	 * need to invoke fork callbacks here. */
	BUG_ON(!list_empty(&init_task.tasks));

5392
	BUG_ON(online_css(css));
5393

B
Ben Blum 已提交
5394 5395 5396
	mutex_unlock(&cgroup_mutex);
}

5397
/**
L
Li Zefan 已提交
5398 5399 5400 5401
 * cgroup_init_early - cgroup initialization at system boot
 *
 * Initialize cgroups at system boot, and initialize any
 * subsystems that request early init.
5402 5403 5404
 */
int __init cgroup_init_early(void)
{
5405
	static struct cgroup_sb_opts __initdata opts;
5406
	struct cgroup_subsys *ss;
5407
	int i;
5408

5409
	init_cgroup_root(&cgrp_dfl_root, &opts);
5410 5411
	cgrp_dfl_root.cgrp.self.flags |= CSS_NO_REF;

5412
	RCU_INIT_POINTER(init_task.cgroups, &init_css_set);
5413

T
Tejun Heo 已提交
5414
	for_each_subsys(ss, i) {
5415
		WARN(!ss->css_alloc || !ss->css_free || ss->name || ss->id,
5416
		     "invalid cgroup_subsys %d:%s css_alloc=%p css_free=%p id:name=%d:%s\n",
5417
		     i, cgroup_subsys_name[i], ss->css_alloc, ss->css_free,
5418
		     ss->id, ss->name);
5419 5420 5421
		WARN(strlen(cgroup_subsys_name[i]) > MAX_CGROUP_TYPE_NAMELEN,
		     "cgroup_subsys_name %s too long\n", cgroup_subsys_name[i]);

5422
		ss->id = i;
5423
		ss->name = cgroup_subsys_name[i];
5424 5425
		if (!ss->legacy_name)
			ss->legacy_name = cgroup_subsys_name[i];
5426 5427

		if (ss->early_init)
5428
			cgroup_init_subsys(ss, true);
5429 5430 5431 5432
	}
	return 0;
}

5433
static u16 cgroup_disable_mask __initdata;
5434

5435
/**
L
Li Zefan 已提交
5436 5437 5438 5439
 * cgroup_init - cgroup initialization
 *
 * Register cgroup filesystem and /proc file, and initialize
 * any subsystems that didn't request early init.
5440 5441 5442
 */
int __init cgroup_init(void)
{
5443
	struct cgroup_subsys *ss;
5444
	int ssid;
5445

5446
	BUILD_BUG_ON(CGROUP_SUBSYS_COUNT > 16);
5447
	BUG_ON(percpu_init_rwsem(&cgroup_threadgroup_rwsem));
5448 5449
	BUG_ON(cgroup_init_cftypes(NULL, cgroup_base_files));
	BUG_ON(cgroup_init_cftypes(NULL, cgroup1_base_files));
5450

T
Tejun Heo 已提交
5451
	cgroup_rstat_boot();
5452

5453 5454 5455 5456 5457 5458
	/*
	 * The latency of the synchronize_sched() is too high for cgroups,
	 * avoid it at the cost of forcing all readers into the slow path.
	 */
	rcu_sync_enter_start(&cgroup_threadgroup_rwsem.rss);

5459 5460
	get_user_ns(init_cgroup_ns.user_ns);

T
Tejun Heo 已提交
5461 5462
	mutex_lock(&cgroup_mutex);

5463 5464 5465 5466 5467 5468
	/*
	 * Add init_css_set to the hash table so that dfl_root can link to
	 * it during init.
	 */
	hash_add(css_set_table, &init_css_set.hlist,
		 css_set_hash(init_css_set.subsys));
5469

5470
	BUG_ON(cgroup_setup_root(&cgrp_dfl_root, 0, 0));
5471

T
Tejun Heo 已提交
5472 5473
	mutex_unlock(&cgroup_mutex);

5474
	for_each_subsys(ss, ssid) {
5475 5476 5477 5478 5479 5480 5481 5482 5483 5484
		if (ss->early_init) {
			struct cgroup_subsys_state *css =
				init_css_set.subsys[ss->id];

			css->id = cgroup_idr_alloc(&ss->css_idr, css, 1, 2,
						   GFP_KERNEL);
			BUG_ON(css->id < 0);
		} else {
			cgroup_init_subsys(ss, false);
		}
5485

T
Tejun Heo 已提交
5486 5487
		list_add_tail(&init_css_set.e_cset_node[ssid],
			      &cgrp_dfl_root.cgrp.e_csets[ssid]);
5488 5489

		/*
5490 5491 5492
		 * Setting dfl_root subsys_mask needs to consider the
		 * disabled flag and cftype registration needs kmalloc,
		 * both of which aren't available during early_init.
5493
		 */
5494 5495 5496 5497
		if (cgroup_disable_mask & (1 << ssid)) {
			static_branch_disable(cgroup_subsys_enabled_key[ssid]);
			printk(KERN_INFO "Disabling %s control group subsystem\n",
			       ss->name);
5498
			continue;
5499
		}
5500

5501
		if (cgroup1_ssid_disabled(ssid))
5502 5503 5504
			printk(KERN_INFO "Disabling %s control group subsystem in v1 mounts\n",
			       ss->name);

5505 5506
		cgrp_dfl_root.subsys_mask |= 1 << ss->id;

5507 5508 5509
		/* implicit controllers must be threaded too */
		WARN_ON(ss->implicit_on_dfl && !ss->threaded);

5510 5511 5512
		if (ss->implicit_on_dfl)
			cgrp_dfl_implicit_ss_mask |= 1 << ss->id;
		else if (!ss->dfl_cftypes)
T
Tejun Heo 已提交
5513
			cgrp_dfl_inhibit_ss_mask |= 1 << ss->id;
5514

5515 5516 5517
		if (ss->threaded)
			cgrp_dfl_threaded_ss_mask |= 1 << ss->id;

5518 5519 5520 5521 5522
		if (ss->dfl_cftypes == ss->legacy_cftypes) {
			WARN_ON(cgroup_add_cftypes(ss, ss->dfl_cftypes));
		} else {
			WARN_ON(cgroup_add_dfl_cftypes(ss, ss->dfl_cftypes));
			WARN_ON(cgroup_add_legacy_cftypes(ss, ss->legacy_cftypes));
5523
		}
5524 5525 5526

		if (ss->bind)
			ss->bind(init_css_set.subsys[ssid]);
5527 5528 5529 5530

		mutex_lock(&cgroup_mutex);
		css_populate_dir(init_css_set.subsys[ssid]);
		mutex_unlock(&cgroup_mutex);
5531 5532
	}

5533 5534 5535 5536 5537
	/* init_css_set.subsys[] has been updated, re-hash */
	hash_del(&init_css_set.hlist);
	hash_add(css_set_table, &init_css_set.hlist,
		 css_set_hash(init_css_set.subsys));

5538 5539
	WARN_ON(sysfs_create_mount_point(fs_kobj, "cgroup"));
	WARN_ON(register_filesystem(&cgroup_fs_type));
5540
	WARN_ON(register_filesystem(&cgroup2_fs_type));
5541
	WARN_ON(!proc_create_single("cgroups", 0, NULL, proc_cgroupstats_show));
5542

T
Tejun Heo 已提交
5543
	return 0;
5544
}
5545

5546 5547 5548 5549 5550
static int __init cgroup_wq_init(void)
{
	/*
	 * There isn't much point in executing destruction path in
	 * parallel.  Good chunk is serialized with cgroup_mutex anyway.
5551
	 * Use 1 for @max_active.
5552 5553 5554 5555
	 *
	 * We would prefer to do this in cgroup_init() above, but that
	 * is called before init_workqueues(): so leave this until after.
	 */
5556
	cgroup_destroy_wq = alloc_workqueue("cgroup_destroy", 0, 1);
5557 5558 5559 5560 5561
	BUG_ON(!cgroup_destroy_wq);
	return 0;
}
core_initcall(cgroup_wq_init);

5562 5563 5564 5565 5566 5567 5568 5569 5570 5571 5572 5573
void cgroup_path_from_kernfs_id(const union kernfs_node_id *id,
					char *buf, size_t buflen)
{
	struct kernfs_node *kn;

	kn = kernfs_get_node_by_id(cgrp_dfl_root.kf_root, id);
	if (!kn)
		return;
	kernfs_path(kn, buf, buflen);
	kernfs_put(kn);
}

5574 5575 5576 5577 5578
/*
 * proc_cgroup_show()
 *  - Print task's cgroup paths into seq_file, one line for each hierarchy
 *  - Used for /proc/<pid>/cgroup.
 */
Z
Zefan Li 已提交
5579 5580
int proc_cgroup_show(struct seq_file *m, struct pid_namespace *ns,
		     struct pid *pid, struct task_struct *tsk)
5581
{
5582
	char *buf;
5583
	int retval;
5584
	struct cgroup_root *root;
5585 5586

	retval = -ENOMEM;
T
Tejun Heo 已提交
5587
	buf = kmalloc(PATH_MAX, GFP_KERNEL);
5588 5589 5590 5591
	if (!buf)
		goto out;

	mutex_lock(&cgroup_mutex);
5592
	spin_lock_irq(&css_set_lock);
5593

5594
	for_each_root(root) {
5595
		struct cgroup_subsys *ss;
5596
		struct cgroup *cgrp;
T
Tejun Heo 已提交
5597
		int ssid, count = 0;
5598

T
Tejun Heo 已提交
5599
		if (root == &cgrp_dfl_root && !cgrp_dfl_visible)
5600 5601
			continue;

5602
		seq_printf(m, "%d:", root->hierarchy_id);
5603 5604 5605 5606
		if (root != &cgrp_dfl_root)
			for_each_subsys(ss, ssid)
				if (root->subsys_mask & (1 << ssid))
					seq_printf(m, "%s%s", count++ ? "," : "",
5607
						   ss->legacy_name);
5608 5609 5610
		if (strlen(root->name))
			seq_printf(m, "%sname=%s", count ? "," : "",
				   root->name);
5611
		seq_putc(m, ':');
5612

5613
		cgrp = task_cgroup_from_root(tsk, root);
5614 5615 5616 5617 5618 5619 5620 5621 5622 5623 5624

		/*
		 * On traditional hierarchies, all zombie tasks show up as
		 * belonging to the root cgroup.  On the default hierarchy,
		 * while a zombie doesn't show up in "cgroup.procs" and
		 * thus can't be migrated, its /proc/PID/cgroup keeps
		 * reporting the cgroup it belonged to before exiting.  If
		 * the cgroup is removed before the zombie is reaped,
		 * " (deleted)" is appended to the cgroup path.
		 */
		if (cgroup_on_dfl(cgrp) || !(tsk->flags & PF_EXITING)) {
5625
			retval = cgroup_path_ns_locked(cgrp, buf, PATH_MAX,
5626
						current->nsproxy->cgroup_ns);
5627
			if (retval >= PATH_MAX)
5628
				retval = -ENAMETOOLONG;
5629
			if (retval < 0)
5630
				goto out_unlock;
5631 5632

			seq_puts(m, buf);
5633
		} else {
5634
			seq_puts(m, "/");
T
Tejun Heo 已提交
5635
		}
5636 5637 5638 5639 5640

		if (cgroup_on_dfl(cgrp) && cgroup_is_dead(cgrp))
			seq_puts(m, " (deleted)\n");
		else
			seq_putc(m, '\n');
5641 5642
	}

Z
Zefan Li 已提交
5643
	retval = 0;
5644
out_unlock:
5645
	spin_unlock_irq(&css_set_lock);
5646 5647 5648 5649 5650 5651
	mutex_unlock(&cgroup_mutex);
	kfree(buf);
out:
	return retval;
}

5652
/**
5653
 * cgroup_fork - initialize cgroup related fields during copy_process()
L
Li Zefan 已提交
5654
 * @child: pointer to task_struct of forking parent process.
5655
 *
5656 5657 5658
 * A task is associated with the init_css_set until cgroup_post_fork()
 * attaches it to the parent's css_set.  Empty cg_list indicates that
 * @child isn't holding reference to its css_set.
5659 5660 5661
 */
void cgroup_fork(struct task_struct *child)
{
5662
	RCU_INIT_POINTER(child->cgroups, &init_css_set);
5663
	INIT_LIST_HEAD(&child->cg_list);
5664 5665
}

5666 5667 5668 5669 5670 5671 5672 5673
/**
 * cgroup_can_fork - called on a new task before the process is exposed
 * @child: the task in question.
 *
 * This calls the subsystem can_fork() callbacks. If the can_fork() callback
 * returns an error, the fork aborts with that error code. This allows for
 * a cgroup subsystem to conditionally allow or deny new forks.
 */
5674
int cgroup_can_fork(struct task_struct *child)
5675 5676 5677 5678
{
	struct cgroup_subsys *ss;
	int i, j, ret;

5679
	do_each_subsys_mask(ss, i, have_canfork_callback) {
5680
		ret = ss->can_fork(child);
5681 5682
		if (ret)
			goto out_revert;
5683
	} while_each_subsys_mask();
5684 5685 5686 5687 5688 5689 5690 5691

	return 0;

out_revert:
	for_each_subsys(ss, j) {
		if (j >= i)
			break;
		if (ss->cancel_fork)
5692
			ss->cancel_fork(child);
5693 5694 5695 5696 5697 5698 5699 5700 5701 5702 5703 5704
	}

	return ret;
}

/**
 * cgroup_cancel_fork - called if a fork failed after cgroup_can_fork()
 * @child: the task in question
 *
 * This calls the cancel_fork() callbacks if a fork failed *after*
 * cgroup_can_fork() succeded.
 */
5705
void cgroup_cancel_fork(struct task_struct *child)
5706 5707 5708 5709 5710 5711
{
	struct cgroup_subsys *ss;
	int i;

	for_each_subsys(ss, i)
		if (ss->cancel_fork)
5712
			ss->cancel_fork(child);
5713 5714
}

5715
/**
L
Li Zefan 已提交
5716 5717 5718
 * cgroup_post_fork - called on a new task after adding it to the task list
 * @child: the task in question
 *
5719 5720 5721
 * Adds the task to the list running through its css_set if necessary and
 * call the subsystem fork() callbacks.  Has to be after the task is
 * visible on the task list in case we race with the first call to
5722
 * cgroup_task_iter_start() - to guarantee that the new task ends up on its
5723
 * list.
L
Li Zefan 已提交
5724
 */
5725
void cgroup_post_fork(struct task_struct *child)
5726
{
5727
	struct cgroup_subsys *ss;
5728 5729
	int i;

5730
	/*
D
Dongsheng Yang 已提交
5731
	 * This may race against cgroup_enable_task_cg_lists().  As that
5732 5733 5734 5735 5736 5737 5738
	 * function sets use_task_css_set_links before grabbing
	 * tasklist_lock and we just went through tasklist_lock to add
	 * @child, it's guaranteed that either we see the set
	 * use_task_css_set_links or cgroup_enable_task_cg_lists() sees
	 * @child during its iteration.
	 *
	 * If we won the race, @child is associated with %current's
5739
	 * css_set.  Grabbing css_set_lock guarantees both that the
5740 5741 5742 5743 5744 5745
	 * association is stable, and, on completion of the parent's
	 * migration, @child is visible in the source of migration or
	 * already in the destination cgroup.  This guarantee is necessary
	 * when implementing operations which need to migrate all tasks of
	 * a cgroup to another.
	 *
D
Dongsheng Yang 已提交
5746
	 * Note that if we lose to cgroup_enable_task_cg_lists(), @child
5747 5748 5749
	 * will remain in init_css_set.  This is safe because all tasks are
	 * in the init_css_set before cg_links is enabled and there's no
	 * operation which transfers all tasks out of init_css_set.
5750
	 */
5751
	if (use_task_css_set_links) {
5752 5753
		struct css_set *cset;

5754
		spin_lock_irq(&css_set_lock);
5755
		cset = task_css_set(current);
5756 5757
		if (list_empty(&child->cg_list)) {
			get_css_set(cset);
5758
			cset->nr_tasks++;
T
Tejun Heo 已提交
5759
			css_set_move_task(child, NULL, cset, false);
5760
		}
5761
		spin_unlock_irq(&css_set_lock);
5762
	}
5763 5764 5765 5766 5767 5768

	/*
	 * Call ss->fork().  This must happen after @child is linked on
	 * css_set; otherwise, @child might change state between ->fork()
	 * and addition to css_set.
	 */
5769
	do_each_subsys_mask(ss, i, have_fork_callback) {
5770
		ss->fork(child);
5771
	} while_each_subsys_mask();
5772
}
5773

5774 5775 5776 5777 5778 5779 5780 5781 5782 5783 5784 5785
/**
 * cgroup_exit - detach cgroup from exiting task
 * @tsk: pointer to task_struct of exiting process
 *
 * Description: Detach cgroup from @tsk and release it.
 *
 * Note that cgroups marked notify_on_release force every task in
 * them to take the global cgroup_mutex mutex when exiting.
 * This could impact scaling on very large systems.  Be reluctant to
 * use notify_on_release cgroups where very high task exit scaling
 * is required on large systems.
 *
5786 5787 5788 5789 5790
 * We set the exiting tasks cgroup to the root cgroup (top_cgroup).  We
 * call cgroup_exit() while the task is still competent to handle
 * notify_on_release(), then leave the task attached to the root cgroup in
 * each hierarchy for the remainder of its exit.  No need to bother with
 * init_css_set refcnting.  init_css_set never goes away and we can't race
5791
 * with migration path - PF_EXITING is visible to migration path.
5792
 */
5793
void cgroup_exit(struct task_struct *tsk)
5794
{
5795
	struct cgroup_subsys *ss;
5796
	struct css_set *cset;
5797
	int i;
5798 5799

	/*
5800
	 * Unlink from @tsk from its css_set.  As migration path can't race
5801
	 * with us, we can check css_set and cg_list without synchronization.
5802
	 */
5803 5804
	cset = task_css_set(tsk);

5805
	if (!list_empty(&tsk->cg_list)) {
5806
		spin_lock_irq(&css_set_lock);
T
Tejun Heo 已提交
5807
		css_set_move_task(tsk, cset, NULL, false);
5808
		cset->nr_tasks--;
5809
		spin_unlock_irq(&css_set_lock);
5810 5811
	} else {
		get_css_set(cset);
5812 5813
	}

5814
	/* see cgroup_post_fork() for details */
5815
	do_each_subsys_mask(ss, i, have_exit_callback) {
5816
		ss->exit(tsk);
5817
	} while_each_subsys_mask();
5818
}
5819

5820
void cgroup_release(struct task_struct *task)
5821
{
5822 5823 5824
	struct cgroup_subsys *ss;
	int ssid;

5825 5826
	do_each_subsys_mask(ss, ssid, have_release_callback) {
		ss->release(task);
5827
	} while_each_subsys_mask();
5828
}
5829

5830 5831 5832
void cgroup_free(struct task_struct *task)
{
	struct css_set *cset = task_css_set(task);
5833
	put_css_set(cset);
5834
}
5835

5836 5837
static int __init cgroup_disable(char *str)
{
5838
	struct cgroup_subsys *ss;
5839
	char *token;
5840
	int i;
5841 5842 5843 5844

	while ((token = strsep(&str, ",")) != NULL) {
		if (!*token)
			continue;
5845

T
Tejun Heo 已提交
5846
		for_each_subsys(ss, i) {
5847 5848 5849
			if (strcmp(token, ss->name) &&
			    strcmp(token, ss->legacy_name))
				continue;
5850
			cgroup_disable_mask |= 1 << i;
5851 5852 5853 5854 5855
		}
	}
	return 1;
}
__setup("cgroup_disable=", cgroup_disable);
K
KAMEZAWA Hiroyuki 已提交
5856

5857
/**
5858
 * css_tryget_online_from_dir - get corresponding css from a cgroup dentry
5859 5860
 * @dentry: directory dentry of interest
 * @ss: subsystem of interest
5861
 *
5862 5863 5864
 * If @dentry is a directory for a cgroup which has @ss enabled on it, try
 * to get the corresponding css and return it.  If such css doesn't exist
 * or can't be pinned, an ERR_PTR value is returned.
S
Stephane Eranian 已提交
5865
 */
5866 5867
struct cgroup_subsys_state *css_tryget_online_from_dir(struct dentry *dentry,
						       struct cgroup_subsys *ss)
S
Stephane Eranian 已提交
5868
{
T
Tejun Heo 已提交
5869
	struct kernfs_node *kn = kernfs_node_from_dentry(dentry);
5870
	struct file_system_type *s_type = dentry->d_sb->s_type;
T
Tejun Heo 已提交
5871
	struct cgroup_subsys_state *css = NULL;
S
Stephane Eranian 已提交
5872 5873
	struct cgroup *cgrp;

5874
	/* is @dentry a cgroup dir? */
5875 5876
	if ((s_type != &cgroup_fs_type && s_type != &cgroup2_fs_type) ||
	    !kn || kernfs_type(kn) != KERNFS_DIR)
S
Stephane Eranian 已提交
5877 5878
		return ERR_PTR(-EBADF);

5879 5880
	rcu_read_lock();

T
Tejun Heo 已提交
5881 5882 5883
	/*
	 * This path doesn't originate from kernfs and @kn could already
	 * have been or be removed at any point.  @kn->priv is RCU
5884
	 * protected for this access.  See css_release_work_fn() for details.
T
Tejun Heo 已提交
5885
	 */
5886
	cgrp = rcu_dereference(*(void __rcu __force **)&kn->priv);
T
Tejun Heo 已提交
5887 5888
	if (cgrp)
		css = cgroup_css(cgrp, ss);
5889

5890
	if (!css || !css_tryget_online(css))
5891 5892 5893 5894
		css = ERR_PTR(-ENOENT);

	rcu_read_unlock();
	return css;
S
Stephane Eranian 已提交
5895 5896
}

5897 5898 5899 5900 5901 5902 5903 5904 5905 5906
/**
 * css_from_id - lookup css by id
 * @id: the cgroup id
 * @ss: cgroup subsys to be looked into
 *
 * Returns the css if there's valid one with @id, otherwise returns NULL.
 * Should be called under rcu_read_lock().
 */
struct cgroup_subsys_state *css_from_id(int id, struct cgroup_subsys *ss)
{
5907
	WARN_ON_ONCE(!rcu_read_lock_held());
5908
	return idr_find(&ss->css_idr, id);
S
Stephane Eranian 已提交
5909 5910
}

5911 5912 5913 5914 5915 5916 5917 5918 5919 5920 5921 5922 5923 5924 5925 5926 5927 5928 5929 5930
/**
 * cgroup_get_from_path - lookup and get a cgroup from its default hierarchy path
 * @path: path on the default hierarchy
 *
 * Find the cgroup at @path on the default hierarchy, increment its
 * reference count and return it.  Returns pointer to the found cgroup on
 * success, ERR_PTR(-ENOENT) if @path doens't exist and ERR_PTR(-ENOTDIR)
 * if @path points to a non-directory.
 */
struct cgroup *cgroup_get_from_path(const char *path)
{
	struct kernfs_node *kn;
	struct cgroup *cgrp;

	mutex_lock(&cgroup_mutex);

	kn = kernfs_walk_and_get(cgrp_dfl_root.cgrp.kn, path);
	if (kn) {
		if (kernfs_type(kn) == KERNFS_DIR) {
			cgrp = kn->priv;
5931
			cgroup_get_live(cgrp);
5932 5933 5934 5935 5936 5937 5938 5939 5940 5941 5942 5943 5944
		} else {
			cgrp = ERR_PTR(-ENOTDIR);
		}
		kernfs_put(kn);
	} else {
		cgrp = ERR_PTR(-ENOENT);
	}

	mutex_unlock(&cgroup_mutex);
	return cgrp;
}
EXPORT_SYMBOL_GPL(cgroup_get_from_path);

5945 5946 5947 5948 5949 5950 5951 5952 5953 5954 5955 5956 5957 5958 5959 5960 5961 5962 5963 5964 5965 5966 5967 5968 5969 5970 5971 5972 5973 5974 5975 5976 5977 5978
/**
 * cgroup_get_from_fd - get a cgroup pointer from a fd
 * @fd: fd obtained by open(cgroup2_dir)
 *
 * Find the cgroup from a fd which should be obtained
 * by opening a cgroup directory.  Returns a pointer to the
 * cgroup on success. ERR_PTR is returned if the cgroup
 * cannot be found.
 */
struct cgroup *cgroup_get_from_fd(int fd)
{
	struct cgroup_subsys_state *css;
	struct cgroup *cgrp;
	struct file *f;

	f = fget_raw(fd);
	if (!f)
		return ERR_PTR(-EBADF);

	css = css_tryget_online_from_dir(f->f_path.dentry, NULL);
	fput(f);
	if (IS_ERR(css))
		return ERR_CAST(css);

	cgrp = css->cgroup;
	if (!cgroup_on_dfl(cgrp)) {
		cgroup_put(cgrp);
		return ERR_PTR(-EBADF);
	}

	return cgrp;
}
EXPORT_SYMBOL_GPL(cgroup_get_from_fd);

T
Tejun Heo 已提交
5979 5980 5981 5982 5983 5984 5985 5986
/*
 * sock->sk_cgrp_data handling.  For more info, see sock_cgroup_data
 * definition in cgroup-defs.h.
 */
#ifdef CONFIG_SOCK_CGROUP_DATA

#if defined(CONFIG_CGROUP_NET_PRIO) || defined(CONFIG_CGROUP_NET_CLASSID)

5987
DEFINE_SPINLOCK(cgroup_sk_update_lock);
T
Tejun Heo 已提交
5988 5989 5990 5991 5992 5993 5994 5995 5996 5997 5998 5999 6000 6001 6002 6003 6004 6005 6006 6007 6008
static bool cgroup_sk_alloc_disabled __read_mostly;

void cgroup_sk_alloc_disable(void)
{
	if (cgroup_sk_alloc_disabled)
		return;
	pr_info("cgroup: disabling cgroup2 socket matching due to net_prio or net_cls activation\n");
	cgroup_sk_alloc_disabled = true;
}

#else

#define cgroup_sk_alloc_disabled	false

#endif

void cgroup_sk_alloc(struct sock_cgroup_data *skcd)
{
	if (cgroup_sk_alloc_disabled)
		return;

6009 6010
	/* Socket clone path */
	if (skcd->val) {
6011 6012 6013 6014 6015
		/*
		 * We might be cloning a socket which is left in an empty
		 * cgroup and the cgroup might have already been rmdir'd.
		 * Don't use cgroup_get_live().
		 */
6016 6017 6018 6019
		cgroup_get(sock_cgroup_ptr(skcd));
		return;
	}

T
Tejun Heo 已提交
6020 6021 6022 6023 6024 6025 6026 6027 6028 6029 6030 6031 6032 6033 6034 6035 6036 6037 6038 6039 6040 6041 6042
	rcu_read_lock();

	while (true) {
		struct css_set *cset;

		cset = task_css_set(current);
		if (likely(cgroup_tryget(cset->dfl_cgrp))) {
			skcd->val = (unsigned long)cset->dfl_cgrp;
			break;
		}
		cpu_relax();
	}

	rcu_read_unlock();
}

void cgroup_sk_free(struct sock_cgroup_data *skcd)
{
	cgroup_put(sock_cgroup_ptr(skcd));
}

#endif	/* CONFIG_SOCK_CGROUP_DATA */

6043
#ifdef CONFIG_CGROUP_BPF
6044 6045 6046 6047 6048 6049 6050 6051 6052 6053 6054 6055
int cgroup_bpf_attach(struct cgroup *cgrp, struct bpf_prog *prog,
		      enum bpf_attach_type type, u32 flags)
{
	int ret;

	mutex_lock(&cgroup_mutex);
	ret = __cgroup_bpf_attach(cgrp, prog, type, flags);
	mutex_unlock(&cgroup_mutex);
	return ret;
}
int cgroup_bpf_detach(struct cgroup *cgrp, struct bpf_prog *prog,
		      enum bpf_attach_type type, u32 flags)
6056
{
6057
	int ret;
6058 6059

	mutex_lock(&cgroup_mutex);
6060
	ret = __cgroup_bpf_detach(cgrp, prog, type, flags);
6061
	mutex_unlock(&cgroup_mutex);
6062
	return ret;
6063
}
6064 6065 6066 6067 6068 6069 6070 6071 6072 6073
int cgroup_bpf_query(struct cgroup *cgrp, const union bpf_attr *attr,
		     union bpf_attr __user *uattr)
{
	int ret;

	mutex_lock(&cgroup_mutex);
	ret = __cgroup_bpf_query(cgrp, attr, uattr);
	mutex_unlock(&cgroup_mutex);
	return ret;
}
6074
#endif /* CONFIG_CGROUP_BPF */
6075 6076 6077 6078 6079 6080 6081 6082 6083 6084 6085 6086 6087 6088 6089 6090 6091 6092 6093 6094 6095 6096 6097 6098 6099 6100 6101 6102 6103 6104 6105 6106 6107 6108 6109 6110 6111 6112 6113 6114 6115 6116 6117 6118 6119

#ifdef CONFIG_SYSFS
static ssize_t show_delegatable_files(struct cftype *files, char *buf,
				      ssize_t size, const char *prefix)
{
	struct cftype *cft;
	ssize_t ret = 0;

	for (cft = files; cft && cft->name[0] != '\0'; cft++) {
		if (!(cft->flags & CFTYPE_NS_DELEGATABLE))
			continue;

		if (prefix)
			ret += snprintf(buf + ret, size - ret, "%s.", prefix);

		ret += snprintf(buf + ret, size - ret, "%s\n", cft->name);

		if (unlikely(ret >= size)) {
			WARN_ON(1);
			break;
		}
	}

	return ret;
}

static ssize_t delegate_show(struct kobject *kobj, struct kobj_attribute *attr,
			      char *buf)
{
	struct cgroup_subsys *ss;
	int ssid;
	ssize_t ret = 0;

	ret = show_delegatable_files(cgroup_base_files, buf, PAGE_SIZE - ret,
				     NULL);

	for_each_subsys(ss, ssid)
		ret += show_delegatable_files(ss->dfl_cftypes, buf + ret,
					      PAGE_SIZE - ret,
					      cgroup_subsys_name[ssid]);

	return ret;
}
static struct kobj_attribute cgroup_delegate_attr = __ATTR_RO(delegate);

6120 6121 6122 6123 6124 6125 6126
static ssize_t features_show(struct kobject *kobj, struct kobj_attribute *attr,
			     char *buf)
{
	return snprintf(buf, PAGE_SIZE, "nsdelegate\n");
}
static struct kobj_attribute cgroup_features_attr = __ATTR_RO(features);

6127 6128
static struct attribute *cgroup_sysfs_attrs[] = {
	&cgroup_delegate_attr.attr,
6129
	&cgroup_features_attr.attr,
6130 6131 6132 6133 6134 6135 6136 6137 6138 6139 6140 6141 6142 6143
	NULL,
};

static const struct attribute_group cgroup_sysfs_attr_group = {
	.attrs = cgroup_sysfs_attrs,
	.name = "cgroup",
};

static int __init cgroup_sysfs_init(void)
{
	return sysfs_create_group(kernel_kobj, &cgroup_sysfs_attr_group);
}
subsys_initcall(cgroup_sysfs_init);
#endif /* CONFIG_SYSFS */