diff options
author | Tomoki Sekiyama <tomoki.sekiyama@hds.com> | 2013-10-15 18:42:16 -0400 |
---|---|---|
committer | Jens Axboe <axboe@kernel.dk> | 2013-11-08 11:00:08 -0500 |
commit | eb1c160b22655fd4ec44be732d6594fd1b1e44f4 (patch) | |
tree | fcd0b1f6acfea2bf24e498fa4efded802b2336f6 | |
parent | 170d800af83f3ab2b5ced0e370a861e023dee22a (diff) |
elevator: Fix a race in elevator switching and md device initialization
The soft lockup below happens at the boot time of the system using dm
multipath and the udev rules to switch scheduler.
[ 356.127001] BUG: soft lockup - CPU#3 stuck for 22s! [sh:483]
[ 356.127001] RIP: 0010:[<ffffffff81072a7d>] [<ffffffff81072a7d>] lock_timer_base.isra.35+0x1d/0x50
...
[ 356.127001] Call Trace:
[ 356.127001] [<ffffffff81073810>] try_to_del_timer_sync+0x20/0x70
[ 356.127001] [<ffffffff8118b08a>] ? kmem_cache_alloc_node_trace+0x20a/0x230
[ 356.127001] [<ffffffff810738b2>] del_timer_sync+0x52/0x60
[ 356.127001] [<ffffffff812ece22>] cfq_exit_queue+0x32/0xf0
[ 356.127001] [<ffffffff812c98df>] elevator_exit+0x2f/0x50
[ 356.127001] [<ffffffff812c9f21>] elevator_change+0xf1/0x1c0
[ 356.127001] [<ffffffff812caa50>] elv_iosched_store+0x20/0x50
[ 356.127001] [<ffffffff812d1d09>] queue_attr_store+0x59/0xb0
[ 356.127001] [<ffffffff812143f6>] sysfs_write_file+0xc6/0x140
[ 356.127001] [<ffffffff811a326d>] vfs_write+0xbd/0x1e0
[ 356.127001] [<ffffffff811a3ca9>] SyS_write+0x49/0xa0
[ 356.127001] [<ffffffff8164e899>] system_call_fastpath+0x16/0x1b
This is caused by a race between md device initialization by multipathd and
shell script to switch the scheduler using sysfs.
- multipathd:
SyS_ioctl -> do_vfs_ioctl -> dm_ctl_ioctl -> ctl_ioctl -> table_load
-> dm_setup_md_queue -> blk_init_allocated_queue -> elevator_init
q->elevator = elevator_alloc(q, e); // not yet initialized
- sh -c 'echo deadline > /sys/$DEVPATH/queue/scheduler':
elevator_switch (in the call trace above)
struct elevator_queue *old = q->elevator;
q->elevator = elevator_alloc(q, new_e);
elevator_exit(old); // lockup! (*)
- multipathd: (cont.)
err = e->ops.elevator_init_fn(q); // init fails; q->elevator is modified
(*) When del_timer_sync() is called, lock_timer_base() will loop infinitely
while timer->base == NULL. In this case, as timer will never initialized,
it results in lockup.
This patch introduces acquisition of q->sysfs_lock around elevator_init()
into blk_init_allocated_queue(), to provide mutual exclusion between
initialization of the q->scheduler and switching of the scheduler.
This should fix this bugzilla:
https://bugzilla.redhat.com/show_bug.cgi?id=902012
Signed-off-by: Tomoki Sekiyama <tomoki.sekiyama@hds.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
-rw-r--r-- | block/blk-core.c | 10 | ||||
-rw-r--r-- | block/elevator.c | 6 |
2 files changed, 15 insertions, 1 deletions
diff --git a/block/blk-core.c b/block/blk-core.c index 0c611d89d748..fce4b9387f36 100644 --- a/block/blk-core.c +++ b/block/blk-core.c | |||
@@ -741,9 +741,17 @@ blk_init_allocated_queue(struct request_queue *q, request_fn_proc *rfn, | |||
741 | 741 | ||
742 | q->sg_reserved_size = INT_MAX; | 742 | q->sg_reserved_size = INT_MAX; |
743 | 743 | ||
744 | /* Protect q->elevator from elevator_change */ | ||
745 | mutex_lock(&q->sysfs_lock); | ||
746 | |||
744 | /* init elevator */ | 747 | /* init elevator */ |
745 | if (elevator_init(q, NULL)) | 748 | if (elevator_init(q, NULL)) { |
749 | mutex_unlock(&q->sysfs_lock); | ||
746 | return NULL; | 750 | return NULL; |
751 | } | ||
752 | |||
753 | mutex_unlock(&q->sysfs_lock); | ||
754 | |||
747 | return q; | 755 | return q; |
748 | } | 756 | } |
749 | EXPORT_SYMBOL(blk_init_allocated_queue); | 757 | EXPORT_SYMBOL(blk_init_allocated_queue); |
diff --git a/block/elevator.c b/block/elevator.c index 2bcbd8cc14d4..249cc5e10906 100644 --- a/block/elevator.c +++ b/block/elevator.c | |||
@@ -186,6 +186,12 @@ int elevator_init(struct request_queue *q, char *name) | |||
186 | struct elevator_type *e = NULL; | 186 | struct elevator_type *e = NULL; |
187 | int err; | 187 | int err; |
188 | 188 | ||
189 | /* | ||
190 | * q->sysfs_lock must be held to provide mutual exclusion between | ||
191 | * elevator_switch() and here. | ||
192 | */ | ||
193 | lockdep_assert_held(&q->sysfs_lock); | ||
194 | |||
189 | if (unlikely(q->elevator)) | 195 | if (unlikely(q->elevator)) |
190 | return 0; | 196 | return 0; |
191 | 197 | ||