Commit 7325b4bb authored by Jia-Ju Bai's avatar Jia-Ju Bai Committed by Jens Axboe

lightnvm: pblk: fix two sleep-in-atomic-context bugs

The driver may sleep with holding a spinlock.

The function call paths (from bottom to top) in Linux-4.16 are:

[FUNC] nvm_dev_dma_alloc(GFP_KERNEL)
drivers/lightnvm/pblk-core.c, 754:
	nvm_dev_dma_alloc in pblk_line_submit_smeta_io
drivers/lightnvm/pblk-core.c, 1048:
	pblk_line_submit_smeta_io in pblk_line_init_bb
drivers/lightnvm/pblk-core.c, 1434:
	pblk_line_init_bb in pblk_line_replace_data
drivers/lightnvm/pblk-recovery.c, 980:
	pblk_line_replace_data in pblk_recov_l2p
drivers/lightnvm/pblk-recovery.c, 976:
	spin_lock in pblk_recov_l2p

[FUNC] bio_map_kern(GFP_KERNEL)
drivers/lightnvm/pblk-core.c, 762:
	bio_map_kern in pblk_line_submit_smeta_io
drivers/lightnvm/pblk-core.c, 1048:
	pblk_line_submit_smeta_io in pblk_line_init_bb
drivers/lightnvm/pblk-core.c, 1434:
	pblk_line_init_bb in pblk_line_replace_data
drivers/lightnvm/pblk-recovery.c, 980:
	pblk_line_replace_data in pblk_recov_l2p
drivers/lightnvm/pblk-recovery.c, 976:
	spin_lock in pblk_recov_l2p

To fix these bugs, the call to pblk_line_replace_data()
is moved out of the spinlock protection.

These bugs are found by my static analysis tool DSAC.
Signed-off-by: default avatarJia-Ju Bai <baijiaju1990@gmail.com>
Reviewed-by: default avatarJavier González <javier@cnexlabs.com>
Signed-off-by: default avatarMatias Bjørling <mb@lightnvm.io>
Signed-off-by: default avatarJens Axboe <axboe@kernel.dk>
parent bf82fa2f
...@@ -966,12 +966,14 @@ struct pblk_line *pblk_recov_l2p(struct pblk *pblk) ...@@ -966,12 +966,14 @@ struct pblk_line *pblk_recov_l2p(struct pblk *pblk)
} }
} }
spin_lock(&l_mg->free_lock);
if (!open_lines) { if (!open_lines) {
spin_lock(&l_mg->free_lock);
WARN_ON_ONCE(!test_and_clear_bit(meta_line, WARN_ON_ONCE(!test_and_clear_bit(meta_line,
&l_mg->meta_bitmap)); &l_mg->meta_bitmap));
spin_unlock(&l_mg->free_lock);
pblk_line_replace_data(pblk); pblk_line_replace_data(pblk);
} else { } else {
spin_lock(&l_mg->free_lock);
/* Allocate next line for preparation */ /* Allocate next line for preparation */
l_mg->data_next = pblk_line_get(pblk); l_mg->data_next = pblk_line_get(pblk);
if (l_mg->data_next) { if (l_mg->data_next) {
...@@ -979,8 +981,8 @@ struct pblk_line *pblk_recov_l2p(struct pblk *pblk) ...@@ -979,8 +981,8 @@ struct pblk_line *pblk_recov_l2p(struct pblk *pblk)
l_mg->data_next->type = PBLK_LINETYPE_DATA; l_mg->data_next->type = PBLK_LINETYPE_DATA;
is_next = 1; is_next = 1;
} }
}
spin_unlock(&l_mg->free_lock); spin_unlock(&l_mg->free_lock);
}
if (is_next) if (is_next)
pblk_line_erase(pblk, l_mg->data_next); pblk_line_erase(pblk, l_mg->data_next);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment