blkcg: implement REQ_CGROUP_PUNT

When a shared kthread needs to issue a bio for a cgroup, doing so
synchronously can lead to priority inversions as the kthread can be
trapped waiting for that cgroup.  This patch implements
REQ_CGROUP_PUNT flag which makes submit_bio() punt the actual issuing
to a dedicated per-blkcg work item to avoid such priority inversions.

This will be used to fix priority inversions in btrfs compression and
should be generally useful as we grow filesystem support for
comprehensive IO control.

Cc: Chris Mason <clm@fb.com>
Reviewed-by: Josef Bacik <josef@toxicpanda.com>
Reviewed-by: Jan Kara <jack@suse.cz>
Signed-off-by: Tejun Heo <tj@kernel.org>
Signed-off-by: Jens Axboe <axboe@kernel.dk>

1 files changed, 53 insertions, 0 deletions

diff --git a/block/blk-cgroup.c b/block/blk-cgroup.c
index ad7a91dec934..24ed26957367 100644
--- a/block/blk-cgroup.c
+++ b/block/blk-cgroup.c
@@ -55,6 +55,7 @@ static struct blkcg_policy *blkcg_policy[BLKCG_MAX_POLS];
 static LIST_HEAD(all_blkcgs);           /* protected by blkcg_pol_mutex */
 
 static bool blkcg_debug_stats = false;
+static struct workqueue_struct *blkcg_punt_bio_wq;
 
 static bool blkcg_policy_enabled(struct request_queue *q,
                                  const struct blkcg_policy *pol)
@@ -89,6 +90,8 @@ static void __blkg_release(struct rcu_head *rcu)
 {
         struct blkcg_gq *blkg = container_of(rcu, struct blkcg_gq, rcu_head);
 
+        WARN_ON(!bio_list_empty(&blkg->async_bios));
+
         /* release the blkcg and parent blkg refs this blkg has been holding */
         css_put(&blkg->blkcg->css);
         if (blkg->parent)
@@ -114,6 +117,23 @@ static void blkg_release(struct percpu_ref *ref)
         call_rcu(&blkg->rcu_head, __blkg_release);
 }
 
+static void blkg_async_bio_workfn(struct work_struct *work)
+{
+        struct blkcg_gq *blkg = container_of(work, struct blkcg_gq,
+                                             async_bio_work);
+        struct bio_list bios = BIO_EMPTY_LIST;
+        struct bio *bio;
+
+        /* as long as there are pending bios, @blkg can't go away */
+        spin_lock_bh(&blkg->async_bio_lock);
+        bio_list_merge(&bios, &blkg->async_bios);
+        bio_list_init(&blkg->async_bios);
+        spin_unlock_bh(&blkg->async_bio_lock);
+
+        while ((bio = bio_list_pop(&bios)))
+                submit_bio(bio);
+}
+
 /**
  * blkg_alloc - allocate a blkg
  * @blkcg: block cgroup the new blkg is associated with
@@ -142,6 +162,9 @@ static struct blkcg_gq *blkg_alloc(struct blkcg *blkcg, struct request_queue *q,
 
         blkg->q = q;
         INIT_LIST_HEAD(&blkg->q_node);
+        spin_lock_init(&blkg->async_bio_lock);
+        bio_list_init(&blkg->async_bios);
+        INIT_WORK(&blkg->async_bio_work, blkg_async_bio_workfn);
         blkg->blkcg = blkcg;
 
         for (i = 0; i < BLKCG_MAX_POLS; i++) {
@@ -1528,6 +1551,25 @@ out_unlock:
 }
 EXPORT_SYMBOL_GPL(blkcg_policy_unregister);
 
+bool __blkcg_punt_bio_submit(struct bio *bio)
+{
+        struct blkcg_gq *blkg = bio->bi_blkg;
+
+        /* consume the flag first */
+        bio->bi_opf &= ~REQ_CGROUP_PUNT;
+
+        /* never bounce for the root cgroup */
+        if (!blkg->parent)
+                return false;
+
+        spin_lock_bh(&blkg->async_bio_lock);
+        bio_list_add(&blkg->async_bios, bio);
+        spin_unlock_bh(&blkg->async_bio_lock);
+
+        queue_work(blkcg_punt_bio_wq, &blkg->async_bio_work);
+        return true;
+}
+
 /*
  * Scale the accumulated delay based on how long it has been since we updated
  * the delay.  We only call this when we are adding delay, in case it's been a
@@ -1729,5 +1771,16 @@ void blkcg_add_delay(struct blkcg_gq *blkg, u64 now, u64 delta)
         atomic64_add(delta, &blkg->delay_nsec);
 }
 
+static int __init blkcg_init(void)
+{
+        blkcg_punt_bio_wq = alloc_workqueue("blkcg_punt_bio",
+                                            WQ_MEM_RECLAIM | WQ_FREEZABLE |
+                                            WQ_UNBOUND | WQ_SYSFS, 0);
+        if (!blkcg_punt_bio_wq)
+                return -ENOMEM;
+        return 0;
+}
+subsys_initcall(blkcg_init);
+
 module_param(blkcg_debug_stats, bool, 0644);
 MODULE_PARM_DESC(blkcg_debug_stats, "True if you want debug stats, false if not");