Commit a2b1693b authored by Tejun Heo's avatar Tejun Heo Committed by Jens Axboe
Browse files

blkcg: implement per-queue policy activation 



All blkcg policies were assumed to be enabled on all request_queues.
Due to various implementation obstacles, during the recent blkcg core
updates, this was temporarily implemented as shooting down all !root
blkgs on elevator switch and policy [de]registration combined with
half-broken in-place root blkg updates.  In addition to being buggy
and racy, this meant losing all blkcg configurations across those
events.

Now that blkcg is cleaned up enough, this patch replaces the temporary
implementation with proper per-queue policy activation.  Each blkcg
policy should call the new blkcg_[de]activate_policy() to enable and
disable the policy on a specific queue.  blkcg_activate_policy()
allocates and installs policy data for the policy for all existing
blkgs.  blkcg_deactivate_policy() does the reverse.  If a policy is
not enabled for a given queue, blkg printing / config functions skip
the respective blkg for the queue.

blkcg_activate_policy() also takes care of root blkg creation, and
cfq_init_queue() and blk_throtl_init() are updated accordingly.

This replaces blkcg_bypass_{start|end}() and update_root_blkg_pd()
unnecessary.  Dropped.

v2: cfq_init_queue() was returning uninitialized @ret on root_group
    alloc failure if !CONFIG_CFQ_GROUP_IOSCHED.  Fixed.

Signed-off-by: default avatarTejun Heo <tj@kernel.org>
Cc: Vivek Goyal <vgoyal@redhat.com>
Signed-off-by: default avatarJens Axboe <axboe@kernel.dk>
parent 03d8e111

block/blk-cgroup.c

+154 −74
Original line number Diff line number Diff line
@@ -54,6 +54,17 @@ struct blkio_cgroup *bio_blkio_cgroup(struct bio *bio) 
}

EXPORT_SYMBOL_GPL(bio_blkio_cgroup);



static bool blkcg_policy_enabled(struct request_queue *q,

				 const struct blkio_policy_type *pol)

{

	return pol && test_bit(pol->plid, q->blkcg_pols);

}



static size_t blkg_pd_size(const struct blkio_policy_type *pol)

{

	return sizeof(struct blkg_policy_data) + pol->pdata_size;

}



/**

 * blkg_free - free a blkg

 * @blkg: blkg to free
@@ -111,12 +122,11 @@ static struct blkio_group *blkg_alloc(struct blkio_cgroup *blkcg, 
		struct blkio_policy_type *pol = blkio_policy[i];

		struct blkg_policy_data *pd;



		if (!pol)

		if (!blkcg_policy_enabled(q, pol))

			continue;



		/* alloc per-policy data and attach it to blkg */

		pd = kzalloc_node(sizeof(*pd) + pol->pdata_size, GFP_ATOMIC,

				  q->node);

		pd = kzalloc_node(blkg_pd_size(pol), GFP_ATOMIC, q->node);

		if (!pd) {

			blkg_free(blkg);

			return NULL;
@@ -130,7 +140,7 @@ static struct blkio_group *blkg_alloc(struct blkio_cgroup *blkcg, 
	for (i = 0; i < BLKCG_MAX_POLS; i++) {

		struct blkio_policy_type *pol = blkio_policy[i];



		if (pol)

		if (blkcg_policy_enabled(blkg->q, pol))

			pol->ops.blkio_init_group_fn(blkg);

	}
@@ -236,36 +246,6 @@ static void blkg_destroy(struct blkio_group *blkg) 
	blkg_put(blkg);

}



/*

 * XXX: This updates blkg policy data in-place for root blkg, which is

 * necessary across elevator switch and policy registration as root blkgs

 * aren't shot down.  This broken and racy implementation is temporary.

 * Eventually, blkg shoot down will be replaced by proper in-place update.

 */

void update_root_blkg_pd(struct request_queue *q,

			 const struct blkio_policy_type *pol)

{

	struct blkio_group *blkg = blkg_lookup(&blkio_root_cgroup, q);

	struct blkg_policy_data *pd;



	if (!blkg)

		return;



	kfree(blkg->pd[pol->plid]);

	blkg->pd[pol->plid] = NULL;



	if (!pol)

		return;



	pd = kzalloc(sizeof(*pd) + pol->pdata_size, GFP_KERNEL);

	WARN_ON_ONCE(!pd);



	blkg->pd[pol->plid] = pd;

	pd->blkg = blkg;

	pol->ops.blkio_init_group_fn(blkg);

}

EXPORT_SYMBOL_GPL(update_root_blkg_pd);



/**

 * blkg_destroy_all - destroy all blkgs associated with a request_queue

 * @q: request_queue of interest
@@ -339,7 +319,8 @@ blkiocg_reset_stats(struct cgroup *cgroup, struct cftype *cftype, u64 val) 
		for (i = 0; i < BLKCG_MAX_POLS; i++) {

			struct blkio_policy_type *pol = blkio_policy[i];



			if (pol && pol->ops.blkio_reset_group_stats_fn)

			if (blkcg_policy_enabled(blkg->q, pol) &&

			    pol->ops.blkio_reset_group_stats_fn)

				pol->ops.blkio_reset_group_stats_fn(blkg);

		}

	}
@@ -385,7 +366,7 @@ void blkcg_print_blkgs(struct seq_file *sf, struct blkio_cgroup *blkcg, 


	spin_lock_irq(&blkcg->lock);

	hlist_for_each_entry(blkg, n, &blkcg->blkg_list, blkcg_node)

		if (blkg->pd[pol->plid])

		if (blkcg_policy_enabled(blkg->q, pol))

			total += prfill(sf, blkg->pd[pol->plid]->pdata, data);

	spin_unlock_irq(&blkcg->lock);
@@ -510,7 +491,10 @@ int blkg_conf_prep(struct blkio_cgroup *blkcg, 
	rcu_read_lock();

	spin_lock_irq(disk->queue->queue_lock);



	if (blkcg_policy_enabled(disk->queue, pol))

		blkg = blkg_lookup_create(blkcg, disk->queue, false);

	else

		blkg = ERR_PTR(-EINVAL);



	if (IS_ERR(blkg)) {

		ret = PTR_ERR(blkg);
@@ -712,41 +696,150 @@ static int blkiocg_can_attach(struct cgroup *cgrp, struct cgroup_taskset *tset) 
	return ret;

}



static void blkcg_bypass_start(void)

	__acquires(&all_q_mutex)

struct cgroup_subsys blkio_subsys = {

	.name = "blkio",

	.create = blkiocg_create,

	.can_attach = blkiocg_can_attach,

	.pre_destroy = blkiocg_pre_destroy,

	.destroy = blkiocg_destroy,

	.subsys_id = blkio_subsys_id,

	.base_cftypes = blkio_files,

	.module = THIS_MODULE,

};

EXPORT_SYMBOL_GPL(blkio_subsys);



/**

 * blkcg_activate_policy - activate a blkcg policy on a request_queue

 * @q: request_queue of interest

 * @pol: blkcg policy to activate

 *

 * Activate @pol on @q.  Requires %GFP_KERNEL context.  @q goes through

 * bypass mode to populate its blkgs with policy_data for @pol.

 *

 * Activation happens with @q bypassed, so nobody would be accessing blkgs

 * from IO path.  Update of each blkg is protected by both queue and blkcg

 * locks so that holding either lock and testing blkcg_policy_enabled() is

 * always enough for dereferencing policy data.

 *

 * The caller is responsible for synchronizing [de]activations and policy

 * [un]registerations.  Returns 0 on success, -errno on failure.

 */

int blkcg_activate_policy(struct request_queue *q,

			  const struct blkio_policy_type *pol)

{

	struct request_queue *q;

	LIST_HEAD(pds);

	struct blkio_group *blkg;

	struct blkg_policy_data *pd, *n;

	int cnt = 0, ret;



	mutex_lock(&all_q_mutex);

	if (blkcg_policy_enabled(q, pol))

		return 0;



	list_for_each_entry(q, &all_q_list, all_q_node) {

	blk_queue_bypass_start(q);

		blkg_destroy_all(q, false);



	/* make sure the root blkg exists and count the existing blkgs */

	spin_lock_irq(q->queue_lock);



	rcu_read_lock();

	blkg = blkg_lookup_create(&blkio_root_cgroup, q, true);

	rcu_read_unlock();



	if (IS_ERR(blkg)) {

		ret = PTR_ERR(blkg);

		goto out_unlock;

	}

	q->root_blkg = blkg;



	list_for_each_entry(blkg, &q->blkg_list, q_node)

		cnt++;



	spin_unlock_irq(q->queue_lock);



	/* allocate policy_data for all existing blkgs */

	while (cnt--) {

		pd = kzalloc_node(blkg_pd_size(pol), GFP_KERNEL, q->node);

		if (!pd) {

			ret = -ENOMEM;

			goto out_free;

		}

		list_add_tail(&pd->alloc_node, &pds);

	}



static void blkcg_bypass_end(void)

	__releases(&all_q_mutex)

{

	struct request_queue *q;

	/*

	 * Install the allocated pds.  With @q bypassing, no new blkg

	 * should have been created while the queue lock was dropped.

	 */

	spin_lock_irq(q->queue_lock);



	list_for_each_entry(blkg, &q->blkg_list, q_node) {

		if (WARN_ON(list_empty(&pds))) {

			/* umm... this shouldn't happen, just abort */

			ret = -ENOMEM;

			goto out_unlock;

		}

		pd = list_first_entry(&pds, struct blkg_policy_data, alloc_node);

		list_del_init(&pd->alloc_node);



		/* grab blkcg lock too while installing @pd on @blkg */

		spin_lock(&blkg->blkcg->lock);



		blkg->pd[pol->plid] = pd;

		pd->blkg = blkg;

		pol->ops.blkio_init_group_fn(blkg);



	list_for_each_entry(q, &all_q_list, all_q_node)

		spin_unlock(&blkg->blkcg->lock);

	}



	__set_bit(pol->plid, q->blkcg_pols);

	ret = 0;

out_unlock:

	spin_unlock_irq(q->queue_lock);

out_free:

	blk_queue_bypass_end(q);

	list_for_each_entry_safe(pd, n, &pds, alloc_node)

		kfree(pd);

	return ret;

}

EXPORT_SYMBOL_GPL(blkcg_activate_policy);



	mutex_unlock(&all_q_mutex);

/**

 * blkcg_deactivate_policy - deactivate a blkcg policy on a request_queue

 * @q: request_queue of interest

 * @pol: blkcg policy to deactivate

 *

 * Deactivate @pol on @q.  Follows the same synchronization rules as

 * blkcg_activate_policy().

 */

void blkcg_deactivate_policy(struct request_queue *q,

			     const struct blkio_policy_type *pol)

{

	struct blkio_group *blkg;



	if (!blkcg_policy_enabled(q, pol))

		return;



	blk_queue_bypass_start(q);

	spin_lock_irq(q->queue_lock);



	__clear_bit(pol->plid, q->blkcg_pols);



	list_for_each_entry(blkg, &q->blkg_list, q_node) {

		/* grab blkcg lock too while removing @pd from @blkg */

		spin_lock(&blkg->blkcg->lock);



		if (pol->ops.blkio_exit_group_fn)

			pol->ops.blkio_exit_group_fn(blkg);



		kfree(blkg->pd[pol->plid]);

		blkg->pd[pol->plid] = NULL;



		spin_unlock(&blkg->blkcg->lock);

	}



struct cgroup_subsys blkio_subsys = {

	.name = "blkio",

	.create = blkiocg_create,

	.can_attach = blkiocg_can_attach,

	.pre_destroy = blkiocg_pre_destroy,

	.destroy = blkiocg_destroy,

	.subsys_id = blkio_subsys_id,

	.base_cftypes = blkio_files,

	.module = THIS_MODULE,

};

EXPORT_SYMBOL_GPL(blkio_subsys);

	spin_unlock_irq(q->queue_lock);

	blk_queue_bypass_end(q);

}

EXPORT_SYMBOL_GPL(blkcg_deactivate_policy);



/**

 * blkio_policy_register - register a blkcg policy
@@ -758,7 +851,6 @@ EXPORT_SYMBOL_GPL(blkio_subsys); 
 */

int blkio_policy_register(struct blkio_policy_type *blkiop)

{

	struct request_queue *q;

	int i, ret;



	mutex_lock(&blkcg_pol_mutex);
@@ -775,11 +867,6 @@ int blkio_policy_register(struct blkio_policy_type *blkiop) 
	blkiop->plid = i;

	blkio_policy[i] = blkiop;



	blkcg_bypass_start();

	list_for_each_entry(q, &all_q_list, all_q_node)

		update_root_blkg_pd(q, blkiop);

	blkcg_bypass_end();



	/* everything is in place, add intf files for the new policy */

	if (blkiop->cftypes)

		WARN_ON(cgroup_add_cftypes(&blkio_subsys, blkiop->cftypes));
@@ -798,8 +885,6 @@ EXPORT_SYMBOL_GPL(blkio_policy_register); 
 */

void blkio_policy_unregister(struct blkio_policy_type *blkiop)

{

	struct request_queue *q;



	mutex_lock(&blkcg_pol_mutex);



	if (WARN_ON(blkio_policy[blkiop->plid] != blkiop))
@@ -811,11 +896,6 @@ void blkio_policy_unregister(struct blkio_policy_type *blkiop) 


	/* unregister and update blkgs */

	blkio_policy[blkiop->plid] = NULL;



	blkcg_bypass_start();

	list_for_each_entry(q, &all_q_list, all_q_node)

		update_root_blkg_pd(q, blkiop);

	blkcg_bypass_end();

out_unlock:

	mutex_unlock(&blkcg_pol_mutex);

}

block/blk-cgroup.h

+11 −4
Original line number Diff line number Diff line
@@ -64,6 +64,9 @@ struct blkg_policy_data { 
	/* the blkg this per-policy data belongs to */

	struct blkio_group *blkg;



	/* used during policy activation */

	struct list_head alloc_node;



	/* pol->pdata_size bytes of private data used by policy impl */

	char pdata[] __aligned(__alignof__(unsigned long long));

};
@@ -108,9 +111,11 @@ extern void blkcg_exit_queue(struct request_queue *q); 
/* Blkio controller policy registration */

extern int blkio_policy_register(struct blkio_policy_type *);

extern void blkio_policy_unregister(struct blkio_policy_type *);

extern void blkg_destroy_all(struct request_queue *q, bool destroy_root);

extern void update_root_blkg_pd(struct request_queue *q,

extern int blkcg_activate_policy(struct request_queue *q,

				 const struct blkio_policy_type *pol);

extern void blkcg_deactivate_policy(struct request_queue *q,

				    const struct blkio_policy_type *pol);

extern void blkg_destroy_all(struct request_queue *q, bool destroy_root);



void blkcg_print_blkgs(struct seq_file *sf, struct blkio_cgroup *blkcg,

		       u64 (*prfill)(struct seq_file *, void *, int),
@@ -325,10 +330,12 @@ static inline void blkcg_drain_queue(struct request_queue *q) { } 
static inline void blkcg_exit_queue(struct request_queue *q) { }

static inline int blkio_policy_register(struct blkio_policy_type *blkiop) { return 0; }

static inline void blkio_policy_unregister(struct blkio_policy_type *blkiop) { }

static inline int blkcg_activate_policy(struct request_queue *q,

					const struct blkio_policy_type *pol) { return 0; }

static inline void blkcg_deactivate_policy(struct request_queue *q,

					   const struct blkio_policy_type *pol) { }

static inline void blkg_destroy_all(struct request_queue *q,

				    bool destory_root) { }

static inline void update_root_blkg_pd(struct request_queue *q,

				       const struct blkio_policy_type *pol) { }



static inline void *blkg_to_pdata(struct blkio_group *blkg,

				struct blkio_policy_type *pol) { return NULL; }

block/blk-throttle.c

+19 −33
Original line number Diff line number Diff line
@@ -995,16 +995,15 @@ static int tg_set_conf(struct cgroup *cgrp, struct cftype *cft, const char *buf, 
	struct blkio_cgroup *blkcg = cgroup_to_blkio_cgroup(cgrp);

	struct blkg_conf_ctx ctx;

	struct throtl_grp *tg;

	struct throtl_data *td;

	int ret;



	ret = blkg_conf_prep(blkcg, &blkio_policy_throtl, buf, &ctx);

	if (ret)

		return ret;



	ret = -EINVAL;

	tg = blkg_to_tg(ctx.blkg);

	if (tg) {

		struct throtl_data *td = ctx.blkg->q->td;

	td = ctx.blkg->q->td;



	if (!ctx.v)

		ctx.v = -1;
@@ -1019,11 +1018,8 @@ static int tg_set_conf(struct cgroup *cgrp, struct cftype *cft, const char *buf, 
	xchg(&td->limits_changed, true);

	throtl_schedule_delayed_work(td, 0);



		ret = 0;

	}



	blkg_conf_finish(&ctx);

	return ret;

	return 0;

}



static int tg_set_conf_u64(struct cgroup *cgrp, struct cftype *cft,
@@ -1230,7 +1226,7 @@ void blk_throtl_drain(struct request_queue *q) 
int blk_throtl_init(struct request_queue *q)

{

	struct throtl_data *td;

	struct blkio_group *blkg;

	int ret;



	td = kzalloc_node(sizeof(*td), GFP_KERNEL, q->node);

	if (!td)
@@ -1243,28 +1239,18 @@ int blk_throtl_init(struct request_queue *q) 
	q->td = td;

	td->queue = q;



	/* alloc and init root group. */

	rcu_read_lock();

	spin_lock_irq(q->queue_lock);



	blkg = blkg_lookup_create(&blkio_root_cgroup, q, true);

	if (!IS_ERR(blkg))

		q->root_blkg = blkg;



	spin_unlock_irq(q->queue_lock);

	rcu_read_unlock();



	if (!q->root_blkg) {

	/* activate policy */

	ret = blkcg_activate_policy(q, &blkio_policy_throtl);

	if (ret)

		kfree(td);

		return -ENOMEM;

	}

	return 0;

	return ret;

}



void blk_throtl_exit(struct request_queue *q)

{

	BUG_ON(!q->td);

	throtl_shutdown_wq(q);

	blkcg_deactivate_policy(q, &blkio_policy_throtl);

	kfree(q->td);

}

block/cfq-iosched.c

+16 −21
Original line number Diff line number Diff line
@@ -1406,8 +1406,7 @@ static int cfqg_set_weight_device(struct cgroup *cgrp, struct cftype *cft, 


	ret = -EINVAL;

	cfqg = blkg_to_cfqg(ctx.blkg);

	if (cfqg && (!ctx.v || (ctx.v >= CFQ_WEIGHT_MIN &&

				ctx.v <= CFQ_WEIGHT_MAX))) {

	if (!ctx.v || (ctx.v >= CFQ_WEIGHT_MIN && ctx.v <= CFQ_WEIGHT_MAX)) {

		cfqg->dev_weight = ctx.v;

		cfqg->new_weight = cfqg->dev_weight ?: blkcg->cfq_weight;

		ret = 0;
@@ -3938,7 +3937,7 @@ static void cfq_exit_queue(struct elevator_queue *e) 
#ifndef CONFIG_CFQ_GROUP_IOSCHED

	kfree(cfqd->root_group);

#endif

	update_root_blkg_pd(q, &blkio_policy_cfq);

	blkcg_deactivate_policy(q, &blkio_policy_cfq);

	kfree(cfqd);

}
@@ -3946,7 +3945,7 @@ static int cfq_init_queue(struct request_queue *q) 
{

	struct cfq_data *cfqd;

	struct blkio_group *blkg __maybe_unused;

	int i;

	int i, ret;



	cfqd = kmalloc_node(sizeof(*cfqd), GFP_KERNEL | __GFP_ZERO, q->node);

	if (!cfqd)
@@ -3960,28 +3959,20 @@ static int cfq_init_queue(struct request_queue *q) 


	/* Init root group and prefer root group over other groups by default */

#ifdef CONFIG_CFQ_GROUP_IOSCHED

	rcu_read_lock();

	spin_lock_irq(q->queue_lock);



	blkg = blkg_lookup_create(&blkio_root_cgroup, q, true);

	if (!IS_ERR(blkg)) {

		q->root_blkg = blkg;

		cfqd->root_group = blkg_to_cfqg(blkg);

	}

	ret = blkcg_activate_policy(q, &blkio_policy_cfq);

	if (ret)

		goto out_free;



	spin_unlock_irq(q->queue_lock);

	rcu_read_unlock();

	cfqd->root_group = blkg_to_cfqg(q->root_blkg);

#else

	ret = -ENOMEM;

	cfqd->root_group = kzalloc_node(sizeof(*cfqd->root_group),

					GFP_KERNEL, cfqd->queue->node);

	if (cfqd->root_group)

	if (!cfqd->root_group)

		goto out_free;



	cfq_init_cfqg_base(cfqd->root_group);

#endif

	if (!cfqd->root_group) {

		kfree(cfqd);

		return -ENOMEM;

	}



	cfqd->root_group->weight = 2 * CFQ_WEIGHT_DEFAULT;



	/*
@@ -4031,6 +4022,10 @@ static int cfq_init_queue(struct request_queue *q) 
	 */

	cfqd->last_delayed_sync = jiffies - HZ;

	return 0;



out_free:

	kfree(cfqd);

	return ret;

}



/*

block/elevator.c

+0 −2
Original line number Diff line number Diff line
@@ -896,8 +896,6 @@ static int elevator_switch(struct request_queue *q, struct elevator_type *new_e) 
	ioc_clear_queue(q);

	spin_unlock_irq(q->queue_lock);



	blkg_destroy_all(q, false);



	/* allocate, init and register new elevator */

	err = -ENOMEM;

	q->elevator = elevator_alloc(q, new_e);

CRA Git | Maintained and supported by SUSTech CRA and CCSE