Skip to content

Commit a6ad83f

Browse files
majianpenggregkh
authored andcommitted
elevator: Fix a race in elevator switching
commit d50235b7bc3ee0a0427984d763ea7534149531b4 upstream. There's a race between elevator switching and normal io operation. Because the allocation of struct elevator_queue and struct elevator_data don't in a atomic operation.So there are have chance to use NULL ->elevator_data. For example: Thread A: Thread B blk_queu_bio elevator_switch spin_lock_irq(q->queue_block) elevator_alloc elv_merge elevator_init_fn Because call elevator_alloc, it can't hold queue_lock and the ->elevator_data is NULL.So at the same time, threadA call elv_merge and nedd some info of elevator_data.So the crash happened. Move the elevator_alloc into func elevator_init_fn, it make the operations in a atomic operation. Using the follow method can easy reproduce this bug 1:dd if=/dev/sdb of=/dev/null 2:while true;do echo noop > scheduler;echo deadline > scheduler;done The test method also use this method. Signed-off-by: Jianpeng Ma <[email protected]> Signed-off-by: Jens Axboe <[email protected]> Cc: Jonghwan Choi <[email protected]> Signed-off-by: Greg Kroah-Hartman <[email protected]>
1 parent dead45b commit a6ad83f

File tree

5 files changed

+51
-30
lines changed

5 files changed

+51
-30
lines changed

block/cfq-iosched.c

+14-3
Original file line numberDiff line numberDiff line change
@@ -4347,18 +4347,28 @@ static void cfq_exit_queue(struct elevator_queue *e)
43474347
kfree(cfqd);
43484348
}
43494349

4350-
static int cfq_init_queue(struct request_queue *q)
4350+
static int cfq_init_queue(struct request_queue *q, struct elevator_type *e)
43514351
{
43524352
struct cfq_data *cfqd;
43534353
struct blkcg_gq *blkg __maybe_unused;
43544354
int i, ret;
4355+
struct elevator_queue *eq;
4356+
4357+
eq = elevator_alloc(q, e);
4358+
if (!eq)
4359+
return -ENOMEM;
43554360

43564361
cfqd = kmalloc_node(sizeof(*cfqd), GFP_KERNEL | __GFP_ZERO, q->node);
4357-
if (!cfqd)
4362+
if (!cfqd) {
4363+
kobject_put(&eq->kobj);
43584364
return -ENOMEM;
4365+
}
4366+
eq->elevator_data = cfqd;
43594367

43604368
cfqd->queue = q;
4361-
q->elevator->elevator_data = cfqd;
4369+
spin_lock_irq(q->queue_lock);
4370+
q->elevator = eq;
4371+
spin_unlock_irq(q->queue_lock);
43624372

43634373
/* Init root service tree */
43644374
cfqd->grp_service_tree = CFQ_RB_ROOT;
@@ -4433,6 +4443,7 @@ static int cfq_init_queue(struct request_queue *q)
44334443

44344444
out_free:
44354445
kfree(cfqd);
4446+
kobject_put(&eq->kobj);
44364447
return ret;
44374448
}
44384449

block/deadline-iosched.c

+13-3
Original file line numberDiff line numberDiff line change
@@ -337,13 +337,21 @@ static void deadline_exit_queue(struct elevator_queue *e)
337337
/*
338338
* initialize elevator private data (deadline_data).
339339
*/
340-
static int deadline_init_queue(struct request_queue *q)
340+
static int deadline_init_queue(struct request_queue *q, struct elevator_type *e)
341341
{
342342
struct deadline_data *dd;
343+
struct elevator_queue *eq;
344+
345+
eq = elevator_alloc(q, e);
346+
if (!eq)
347+
return -ENOMEM;
343348

344349
dd = kmalloc_node(sizeof(*dd), GFP_KERNEL | __GFP_ZERO, q->node);
345-
if (!dd)
350+
if (!dd) {
351+
kobject_put(&eq->kobj);
346352
return -ENOMEM;
353+
}
354+
eq->elevator_data = dd;
347355

348356
INIT_LIST_HEAD(&dd->fifo_list[READ]);
349357
INIT_LIST_HEAD(&dd->fifo_list[WRITE]);
@@ -355,7 +363,9 @@ static int deadline_init_queue(struct request_queue *q)
355363
dd->front_merges = 1;
356364
dd->fifo_batch = fifo_batch;
357365

358-
q->elevator->elevator_data = dd;
366+
spin_lock_irq(q->queue_lock);
367+
q->elevator = eq;
368+
spin_unlock_irq(q->queue_lock);
359369
return 0;
360370
}
361371

block/elevator.c

+5-20
Original file line numberDiff line numberDiff line change
@@ -150,7 +150,7 @@ void __init load_default_elevator_module(void)
150150

151151
static struct kobj_type elv_ktype;
152152

153-
static struct elevator_queue *elevator_alloc(struct request_queue *q,
153+
struct elevator_queue *elevator_alloc(struct request_queue *q,
154154
struct elevator_type *e)
155155
{
156156
struct elevator_queue *eq;
@@ -170,6 +170,7 @@ static struct elevator_queue *elevator_alloc(struct request_queue *q,
170170
elevator_put(e);
171171
return NULL;
172172
}
173+
EXPORT_SYMBOL(elevator_alloc);
173174

174175
static void elevator_release(struct kobject *kobj)
175176
{
@@ -221,16 +222,7 @@ int elevator_init(struct request_queue *q, char *name)
221222
}
222223
}
223224

224-
q->elevator = elevator_alloc(q, e);
225-
if (!q->elevator)
226-
return -ENOMEM;
227-
228-
err = e->ops.elevator_init_fn(q);
229-
if (err) {
230-
kobject_put(&q->elevator->kobj);
231-
return err;
232-
}
233-
225+
err = e->ops.elevator_init_fn(q, e);
234226
return 0;
235227
}
236228
EXPORT_SYMBOL(elevator_init);
@@ -935,16 +927,9 @@ static int elevator_switch(struct request_queue *q, struct elevator_type *new_e)
935927
spin_unlock_irq(q->queue_lock);
936928

937929
/* allocate, init and register new elevator */
938-
err = -ENOMEM;
939-
q->elevator = elevator_alloc(q, new_e);
940-
if (!q->elevator)
941-
goto fail_init;
942-
943-
err = new_e->ops.elevator_init_fn(q);
944-
if (err) {
945-
kobject_put(&q->elevator->kobj);
930+
err = new_e->ops.elevator_init_fn(q, new_e);
931+
if (err)
946932
goto fail_init;
947-
}
948933

949934
if (registered) {
950935
err = elv_register_queue(q);

block/noop-iosched.c

+14-3
Original file line numberDiff line numberDiff line change
@@ -59,16 +59,27 @@ noop_latter_request(struct request_queue *q, struct request *rq)
5959
return list_entry(rq->queuelist.next, struct request, queuelist);
6060
}
6161

62-
static int noop_init_queue(struct request_queue *q)
62+
static int noop_init_queue(struct request_queue *q, struct elevator_type *e)
6363
{
6464
struct noop_data *nd;
65+
struct elevator_queue *eq;
66+
67+
eq = elevator_alloc(q, e);
68+
if (!eq)
69+
return -ENOMEM;
6570

6671
nd = kmalloc_node(sizeof(*nd), GFP_KERNEL, q->node);
67-
if (!nd)
72+
if (!nd) {
73+
kobject_put(&eq->kobj);
6874
return -ENOMEM;
75+
}
76+
eq->elevator_data = nd;
6977

7078
INIT_LIST_HEAD(&nd->queue);
71-
q->elevator->elevator_data = nd;
79+
80+
spin_lock_irq(q->queue_lock);
81+
q->elevator = eq;
82+
spin_unlock_irq(q->queue_lock);
7283
return 0;
7384
}
7485

include/linux/elevator.h

+5-1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
#ifdef CONFIG_BLOCK
88

99
struct io_cq;
10+
struct elevator_type;
1011

1112
typedef int (elevator_merge_fn) (struct request_queue *, struct request **,
1213
struct bio *);
@@ -35,7 +36,8 @@ typedef void (elevator_put_req_fn) (struct request *);
3536
typedef void (elevator_activate_req_fn) (struct request_queue *, struct request *);
3637
typedef void (elevator_deactivate_req_fn) (struct request_queue *, struct request *);
3738

38-
typedef int (elevator_init_fn) (struct request_queue *);
39+
typedef int (elevator_init_fn) (struct request_queue *,
40+
struct elevator_type *e);
3941
typedef void (elevator_exit_fn) (struct elevator_queue *);
4042

4143
struct elevator_ops
@@ -155,6 +157,8 @@ extern int elevator_init(struct request_queue *, char *);
155157
extern void elevator_exit(struct elevator_queue *);
156158
extern int elevator_change(struct request_queue *, const char *);
157159
extern bool elv_rq_merge_ok(struct request *, struct bio *);
160+
extern struct elevator_queue *elevator_alloc(struct request_queue *,
161+
struct elevator_type *);
158162

159163
/*
160164
* Helper functions.

0 commit comments

Comments
 (0)