6602 lines · 171.8 KB · C
RawDownload
/* *  Generic process-grouping system. * *  Based originally on the cpuset system, extracted by Paul Menage *  Copyright (C) 2006 Google, Inc * *  Notifications support *  Copyright (C) 2009 Nokia Corporation *  Author: Kirill A. Shutemov * *  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. */ #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt #include "cgroup-internal.h" #include <linux/cred.h>#include <linux/errno.h>#include <linux/init_task.h>#include <linux/kernel.h>#include <linux/magic.h>#include <linux/mutex.h>#include <linux/mount.h>#include <linux/pagemap.h>#include <linux/proc_fs.h>#include <linux/rcupdate.h>#include <linux/sched.h>#include <linux/sched/task.h>#include <linux/slab.h>#include <linux/spinlock.h>#include <linux/percpu-rwsem.h>#include <linux/string.h>#include <linux/hashtable.h>#include <linux/idr.h>#include <linux/kthread.h>#include <linux/atomic.h>#include <linux/cpuset.h>#include <linux/proc_ns.h>#include <linux/nsproxy.h>#include <linux/file.h>#include <linux/fs_parser.h>#include <linux/sched/cputime.h>#include <linux/psi.h>#include <net/sock.h> #define CREATE_TRACE_POINTS#include <trace/events/cgroup.h> #define CGROUP_FILE_NAME_MAX		(MAX_CGROUP_TYPE_NAMELEN +	\					 MAX_CFTYPE_NAME + 2)/* let's not notify more than 100 times per second */#define CGROUP_FILE_NOTIFY_MIN_INTV	DIV_ROUND_UP(HZ, 100) /* * cgroup_mutex is the master lock.  Any modification to cgroup or its * hierarchy must be performed while holding it. * * css_set_lock protects task->cgroups pointer, the list of css_set * objects, and the chain of tasks off each css_set. * * These locks are exported if CONFIG_PROVE_RCU so that accessors in * cgroup.h can use them for lockdep annotations. */DEFINE_MUTEX(cgroup_mutex);DEFINE_SPINLOCK(css_set_lock); #ifdef CONFIG_PROVE_RCUEXPORT_SYMBOL_GPL(cgroup_mutex);EXPORT_SYMBOL_GPL(css_set_lock);#endif DEFINE_SPINLOCK(trace_cgroup_path_lock);char trace_cgroup_path[TRACE_CGROUP_PATH_LEN];bool cgroup_debug __read_mostly; /* * Protects cgroup_idr and css_idr so that IDs can be released without * grabbing cgroup_mutex. */static DEFINE_SPINLOCK(cgroup_idr_lock); /* * 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); DEFINE_PERCPU_RWSEM(cgroup_threadgroup_rwsem); #define cgroup_assert_mutex_or_rcu_locked()				\	RCU_LOCKDEP_WARN(!rcu_read_lock_held() &&			\			   !lockdep_is_held(&cgroup_mutex),		\			   "cgroup_mutex or RCU read lock required"); /* * 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; /* generate an array of cgroup subsystem pointers */#define SUBSYS(_x) [_x ## _cgrp_id] = &_x ## _cgrp_subsys,struct cgroup_subsys *cgroup_subsys[] = {#include <linux/cgroup_subsys.h>};#undef SUBSYS /* array of cgroup subsystem names */#define SUBSYS(_x) [_x ## _cgrp_id] = #_x,static const char *cgroup_subsys_name[] = {#include <linux/cgroup_subsys.h>};#undef SUBSYS /* 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 static DEFINE_PER_CPU(struct cgroup_rstat_cpu, cgrp_dfl_root_rstat_cpu); /* the default hierarchy */struct cgroup_root cgrp_dfl_root = { .cgrp.rstat_cpu = &cgrp_dfl_root_rstat_cpu };EXPORT_SYMBOL_GPL(cgrp_dfl_root); /* * The default hierarchy always exists but is hidden until mounted for the * first time.  This is for backward compatibility. */static bool cgrp_dfl_visible; /* some controllers are not supported in the default hierarchy */static u16 cgrp_dfl_inhibit_ss_mask; /* some controllers are implicitly enabled on the default hierarchy */static u16 cgrp_dfl_implicit_ss_mask; /* some controllers can be threaded on the default hierarchy */static u16 cgrp_dfl_threaded_ss_mask; /* The list of hierarchy roots */LIST_HEAD(cgroup_roots);static int cgroup_root_count; /* hierarchy ID allocation and mapping, protected by cgroup_mutex */static DEFINE_IDR(cgroup_hierarchy_idr); /* * 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. */static u64 css_serial_nr_next = 1; /* * These bitmasks identify subsystems with specific features to avoid * having to do iterative checks repeatedly. */static u16 have_fork_callback __read_mostly;static u16 have_exit_callback __read_mostly;static u16 have_release_callback __read_mostly;static u16 have_canfork_callback __read_mostly; /* cgroup namespace for init task */struct cgroup_namespace init_cgroup_ns = {	.count		= REFCOUNT_INIT(2),	.user_ns	= &init_user_ns,	.ns.ops		= &cgroupns_operations,	.ns.inum	= PROC_CGROUP_INIT_INO,	.root_cset	= &init_css_set,}; static struct file_system_type cgroup2_fs_type;static struct cftype cgroup_base_files[]; static int cgroup_apply_control(struct cgroup *cgrp);static void cgroup_finalize_control(struct cgroup *cgrp, int ret);static void css_task_iter_skip(struct css_task_iter *it,			       struct task_struct *task);static int cgroup_destroy_locked(struct cgroup *cgrp);static struct cgroup_subsys_state *css_create(struct cgroup *cgrp,					      struct cgroup_subsys *ss);static void css_release(struct percpu_ref *ref);static void kill_css(struct cgroup_subsys_state *css);static int cgroup_addrm_files(struct cgroup_subsys_state *css,			      struct cgroup *cgrp, struct cftype cfts[],			      bool is_add); /** * 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. */bool cgroup_ssid_enabled(int ssid){	if (CGROUP_SUBSYS_COUNT == 0)		return false; 	return static_key_enabled(cgroup_subsys_enabled_key[ssid]);} /** * 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. * * 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. */bool cgroup_on_dfl(const struct cgroup *cgrp){	return cgrp->root == &cgrp_dfl_root;} /* 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);	spin_lock_bh(&cgroup_idr_lock);	ret = idr_alloc(idr, ptr, start, end, gfp_mask & ~__GFP_DIRECT_RECLAIM);	spin_unlock_bh(&cgroup_idr_lock);	idr_preload_end();	return ret;} static void *cgroup_idr_replace(struct idr *idr, void *ptr, int id){	void *ret; 	spin_lock_bh(&cgroup_idr_lock);	ret = idr_replace(idr, ptr, id);	spin_unlock_bh(&cgroup_idr_lock);	return ret;} static void cgroup_idr_remove(struct idr *idr, int id){	spin_lock_bh(&cgroup_idr_lock);	idr_remove(idr, id);	spin_unlock_bh(&cgroup_idr_lock);} static bool cgroup_has_tasks(struct cgroup *cgrp){	return cgrp->nr_populated_csets;} bool cgroup_is_threaded(struct cgroup *cgrp){	return cgrp->dom_cgrp != cgrp;} /* 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? */bool cgroup_is_thread_root(struct cgroup *cgrp){	/* 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;} /* 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; 	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;	} 	if (cgroup_on_dfl(cgrp))		root_ss_mask &= ~(cgrp_dfl_inhibit_ss_mask |				  cgrp_dfl_implicit_ss_mask);	return root_ss_mask;} /* subsystems enabled on a cgroup */static u16 cgroup_ss_mask(struct cgroup *cgrp){	struct cgroup *parent = cgroup_parent(cgrp); 	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;	} 	return cgrp->root->subsys_mask;} /** * cgroup_css - obtain a cgroup's css for the specified subsystem * @cgrp: the cgroup of interest * @ss: the subsystem of interest (%NULL returns @cgrp->self) * * 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. */static struct cgroup_subsys_state *cgroup_css(struct cgroup *cgrp,					      struct cgroup_subsys *ss){	if (ss)		return rcu_dereference_check(cgrp->subsys[ss->id],					lockdep_is_held(&cgroup_mutex));	else		return &cgrp->self;} /** * 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;} /** * cgroup_e_css_by_mask - obtain a cgroup's effective css for the specified ss * @cgrp: the cgroup of interest * @ss: the subsystem of interest (%NULL returns @cgrp->self) * * Similar to cgroup_css() but returns the effective css, which is defined * 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. */

Lines 1–500 of 6602.