[PATCH -next 4/4] block/rq_qos: fail rq_qos_add() after rq_qos_exit()

From: Yu Kuai
Date: Wed Jan 04 2023 - 03:29:34 EST


From: Yu Kuai <yukuai3@xxxxxxxxxx>

rq_qos_add() can still succeed after rq_qos_exit() is done, which will
cause memory leak because such rq_qos will never be removed.

t1 t2
// configure iocost
blk_iocost_init
//remove device
del_gendisk
rq_qos_exit
// done nothing because rq_qos doesn't exist
rq_qos_add
// will succeed, and rq_qos won't be removed

Fix the problem by setting q->rq_qos to a special value in
rq_qos_exit(), and check the value in rq_qos_add().

Signed-off-by: Yu Kuai <yukuai3@xxxxxxxxxx>
---
block/blk-rq-qos.c | 20 +++++++++++++++++---
1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/block/blk-rq-qos.c b/block/blk-rq-qos.c
index 5f7ccc249c11..cfd8024ff6e8 100644
--- a/block/blk-rq-qos.c
+++ b/block/blk-rq-qos.c
@@ -290,6 +290,10 @@ void rq_qos_wait(struct rq_wait *rqw, void *private_data,

static int __rq_qos_add(struct request_queue *q, struct rq_qos *rqos)
{
+ /* See details in rq_qos_exit() for this specail value. */
+ if (IS_ERR(q->rq_qos))
+ return PTR_ERR(q->rq_qos);
+
/*
* No IO can be in-flight when adding rqos, so freeze queue, which
* is fine since we only support rq_qos for blk-mq queue.
@@ -356,12 +360,22 @@ void rq_qos_del(struct request_queue *q, struct rq_qos *rqos)

void rq_qos_exit(struct request_queue *q)
{
+ struct rq_qos *rqos;
+
mutex_lock(&rq_qos_lock);
- while (q->rq_qos) {
- struct rq_qos *rqos = q->rq_qos;
- q->rq_qos = rqos->next;
+ rqos = q->rq_qos;
+
+ /*
+ * Set q->rq_qos to a special value to make sure rq_qos_add() will fail
+ * after rq_qos_exit().
+ */
+ q->rq_qos = ERR_PTR(-ENODEV);
+
+ while (rqos) {
rqos->ops->exit(rqos);
+ rqos = rqos->next;
}
+
mutex_unlock(&rq_qos_lock);
}

--
2.31.1