Skip to content

Commit

Permalink
block: move discard checks into the ioctl handler
Browse files Browse the repository at this point in the history
Most bio operations get basic sanity checking in submit_bio and anything
more complicated than that is done in the callers.  Discards are a bit
different from that in that a lot of checking is done in
__blkdev_issue_discard, and the specific errnos for that are returned
to userspace.  Move the checks that require specific errnos to the ioctl
handler instead, and just leave the basic sanity checking in submit_bio
for the other handlers.  This introduces two changes in behavior:

 1) the logical block size alignment check of the start and len is lost
    for non-ioctl callers.
    This matches what is done for other operations including reads and
    writes.  We should probably verify this for all bios, but for now
    make discards match the normal flow.
 2) for non-ioctl callers all errors are reported on I/O completion now
    instead of synchronously.  Callers in general mostly ignore or log
    errors so this will actually simplify the code once cleaned up

Signed-off-by: Christoph Hellwig <hch@lst.de>
Link: https://lore.kernel.org/r/20240506042027.2289826-3-hch@lst.de
Signed-off-by: Jens Axboe <axboe@kernel.dk>
  • Loading branch information
Christoph Hellwig authored and Jens Axboe committed May 7, 2024
1 parent 0942592 commit 30f1e72
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 15 deletions.
13 changes: 0 additions & 13 deletions block/blk-lib.c
Original file line number Diff line number Diff line change
Expand Up @@ -39,19 +39,6 @@ int __blkdev_issue_discard(struct block_device *bdev, sector_t sector,
sector_t nr_sects, gfp_t gfp_mask, struct bio **biop)
{
struct bio *bio = *biop;
sector_t bs_mask;

if (bdev_read_only(bdev))
return -EPERM;
if (!bdev_max_discard_sectors(bdev))
return -EOPNOTSUPP;

bs_mask = (bdev_logical_block_size(bdev) >> 9) - 1;
if ((sector | nr_sects) & bs_mask)
return -EINVAL;

if (!nr_sects)
return -EINVAL;

while (nr_sects) {
sector_t req_sects =
Expand Down
7 changes: 5 additions & 2 deletions block/ioctl.c
Original file line number Diff line number Diff line change
Expand Up @@ -95,6 +95,7 @@ static int compat_blkpg_ioctl(struct block_device *bdev,
static int blk_ioctl_discard(struct block_device *bdev, blk_mode_t mode,
unsigned long arg)
{
unsigned int bs_mask = bdev_logical_block_size(bdev) - 1;
uint64_t range[2];
uint64_t start, len;
struct inode *inode = bdev->bd_inode;
Expand All @@ -105,16 +106,18 @@ static int blk_ioctl_discard(struct block_device *bdev, blk_mode_t mode,

if (!bdev_max_discard_sectors(bdev))
return -EOPNOTSUPP;
if (bdev_read_only(bdev))
return -EPERM;

if (copy_from_user(range, (void __user *)arg, sizeof(range)))
return -EFAULT;

start = range[0];
len = range[1];

if (start & 511)
if (!len)
return -EINVAL;
if (len & 511)
if ((start | len) & bs_mask)
return -EINVAL;

if (start + len > bdev_nr_bytes(bdev))
Expand Down

0 comments on commit 30f1e72

Please sign in to comment.