| Message ID | 20210609004556.46928-3-ming.lei@redhat.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | block: discard merge fix & improvement | expand |
> 2021年06月09日 08:45，Ming Lei <ming.lei@redhat.com> 写道： > > So far multi-range discard treats each bio as one segment(range) of single > discard request. This way becomes not efficient if lots of small sized > discard bios are submitted, and one example is raid456. > > Support bio merge for multi-range discard for improving lots of small > sized discard bios. > > Turns out it is easy to support it: > > 1) always try to merge bio first > > 2) run into multi-range discard only if bio merge can't be done > > 3) add rq_for_each_discard_range() for retrieving each range(segment) > of discard request > > Reported-by: Wang Shanker <shankerwangmiao@gmail.com> > Signed-off-by: Ming Lei <ming.lei@redhat.com> > --- > block/blk-merge.c | 12 ++++----- > drivers/block/virtio_blk.c | 9 ++++--- > drivers/nvme/host/core.c | 8 +++--- > include/linux/blkdev.h | 51 ++++++++++++++++++++++++++++++++++++++ > 4 files changed, 66 insertions(+), 14 deletions(-) > > diff --git a/block/blk-merge.c b/block/blk-merge.c > index bcdff1879c34..65210e9a8efa 100644 > --- a/block/blk-merge.c > +++ b/block/blk-merge.c > @@ -724,10 +724,10 @@ static inline bool blk_discard_mergable(struct request *req) > static enum elv_merge blk_try_req_merge(struct request *req, > struct request *next) > { > - if (blk_discard_mergable(req)) > - return ELEVATOR_DISCARD_MERGE; > - else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) > + if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) > return ELEVATOR_BACK_MERGE; > + else if (blk_discard_mergable(req)) Shall we adjust how req->nr_phys_segments is calculated in bio_attempt_discard_merge() so that multiple contiguous bio's can be seen as one segment? > + return ELEVATOR_DISCARD_MERGE; > > return ELEVATOR_NO_MERGE; > } > @@ -908,12 +908,12 @@ bool blk_rq_merge_ok(struct request *rq, struct bio *bio) > > enum elv_merge blk_try_merge(struct request *rq, struct bio *bio) > { > - if (blk_discard_mergable(rq)) > - return ELEVATOR_DISCARD_MERGE; > - else if (blk_rq_pos(rq) + blk_rq_sectors(rq) == bio->bi_iter.bi_sector) > + if (blk_rq_pos(rq) + blk_rq_sectors(rq) == bio->bi_iter.bi_sector) > return ELEVATOR_BACK_MERGE; > else if (blk_rq_pos(rq) - bio_sectors(bio) == bio->bi_iter.bi_sector) > return ELEVATOR_FRONT_MERGE; > + else if (blk_discard_mergable(rq)) > + return ELEVATOR_DISCARD_MERGE; > return ELEVATOR_NO_MERGE; > } > > diff --git a/drivers/block/virtio_blk.c b/drivers/block/virtio_blk.c > index b9fa3ef5b57c..970cb0d8acaa 100644 > --- a/drivers/block/virtio_blk.c > +++ b/drivers/block/virtio_blk.c > @@ -116,7 +116,6 @@ static int virtblk_setup_discard_write_zeroes(struct request *req, bool unmap) > unsigned short segments = blk_rq_nr_discard_segments(req); > unsigned short n = 0; > struct virtio_blk_discard_write_zeroes *range; > - struct bio *bio; > u32 flags = 0; > > if (unmap) > @@ -138,9 +137,11 @@ static int virtblk_setup_discard_write_zeroes(struct request *req, bool unmap) > range[0].sector = cpu_to_le64(blk_rq_pos(req)); > n = 1; > } else { > - __rq_for_each_bio(bio, req) { > - u64 sector = bio->bi_iter.bi_sector; > - u32 num_sectors = bio->bi_iter.bi_size >> SECTOR_SHIFT; > + struct req_discard_range r; > + > + rq_for_each_discard_range(r, req) { > + u64 sector = r.sector; > + u32 num_sectors = r.size >> SECTOR_SHIFT; > > range[n].flags = cpu_to_le32(flags); > range[n].num_sectors = cpu_to_le32(num_sectors); > diff --git a/drivers/nvme/host/core.c b/drivers/nvme/host/core.c > index 24bcae88587a..4b0a39360ce9 100644 > --- a/drivers/nvme/host/core.c > +++ b/drivers/nvme/host/core.c > @@ -813,7 +813,7 @@ static blk_status_t nvme_setup_discard(struct nvme_ns *ns, struct request *req, > { > unsigned short segments = blk_rq_nr_discard_segments(req), n = 0; > struct nvme_dsm_range *range; > - struct bio *bio; > + struct req_discard_range r; > > /* > * Some devices do not consider the DSM 'Number of Ranges' field when > @@ -835,9 +835,9 @@ static blk_status_t nvme_setup_discard(struct nvme_ns *ns, struct request *req, > range = page_address(ns->ctrl->discard_page); > } > > - __rq_for_each_bio(bio, req) { > - u64 slba = nvme_sect_to_lba(ns, bio->bi_iter.bi_sector); > - u32 nlb = bio->bi_iter.bi_size >> ns->lba_shift; > + rq_for_each_discard_range(r, req) { > + u64 slba = nvme_sect_to_lba(ns, r.sector); > + u32 nlb = r.size >> ns->lba_shift; > > if (n < segments) { > range[n].cattr = cpu_to_le32(0); > diff --git a/include/linux/blkdev.h b/include/linux/blkdev.h > index d66d0da72529..bd9d22269a7b 100644 > --- a/include/linux/blkdev.h > +++ b/include/linux/blkdev.h > @@ -1007,6 +1007,57 @@ static inline unsigned int blk_rq_stats_sectors(const struct request *rq) > return rq->stats_sectors; > } > > +struct req_discard_range { > + sector_t sector; > + unsigned int size; > + > + /* > + * internal field: driver don't use it, and it always points to > + * next bio to be processed > + */ > + struct bio *__bio; > +}; > + > +static inline void req_init_discard_range_iter(const struct request *rq, > + struct req_discard_range *range) > +{ > + range->__bio = rq->bio; > +} > + > +/* return true if @range stores one valid discard range */ > +static inline bool req_get_discard_range(struct req_discard_range *range) > +{ > + struct bio *bio; > + > + if (!range->__bio) > + return false; > + > + bio = range->__bio; > + range->sector = bio->bi_iter.bi_sector; > + range->size = bio->bi_iter.bi_size; > + range->__bio = bio->bi_next; > + > + while (range->__bio) { > + struct bio *bio = range->__bio; > + > + if (range->sector + (range->size >> SECTOR_SHIFT) != > + bio->bi_iter.bi_sector) > + break; > + > + /* > + * ->size won't overflow because req->__data_len is defined > + * as 'unsigned int' > + */ > + range->size += bio->bi_iter.bi_size; > + range->__bio = bio->bi_next; > + } > + return true; > +} > + > +#define rq_for_each_discard_range(range, rq) \ > + for (req_init_discard_range_iter((rq), &range); \ > + req_get_discard_range(&range);) > + > #ifdef CONFIG_BLK_DEV_ZONED > > /* Helper to convert BLK_ZONE_ZONE_XXX to its string format XXX */ > -- > 2.31.1 >
On Wed, Jun 09, 2021 at 11:05:59AM +0800, Wang Shanker wrote: > > > > 2021年06月09日 08:45，Ming Lei <ming.lei@redhat.com> 写道： > > > > So far multi-range discard treats each bio as one segment(range) of single > > discard request. This way becomes not efficient if lots of small sized > > discard bios are submitted, and one example is raid456. > > > > Support bio merge for multi-range discard for improving lots of small > > sized discard bios. > > > > Turns out it is easy to support it: > > > > 1) always try to merge bio first > > > > 2) run into multi-range discard only if bio merge can't be done > > > > 3) add rq_for_each_discard_range() for retrieving each range(segment) > > of discard request > > > > Reported-by: Wang Shanker <shankerwangmiao@gmail.com> > > Signed-off-by: Ming Lei <ming.lei@redhat.com> > > --- > > block/blk-merge.c | 12 ++++----- > > drivers/block/virtio_blk.c | 9 ++++--- > > drivers/nvme/host/core.c | 8 +++--- > > include/linux/blkdev.h | 51 ++++++++++++++++++++++++++++++++++++++ > > 4 files changed, 66 insertions(+), 14 deletions(-) > > > > diff --git a/block/blk-merge.c b/block/blk-merge.c > > index bcdff1879c34..65210e9a8efa 100644 > > --- a/block/blk-merge.c > > +++ b/block/blk-merge.c > > @@ -724,10 +724,10 @@ static inline bool blk_discard_mergable(struct request *req) > > static enum elv_merge blk_try_req_merge(struct request *req, > > struct request *next) > > { > > - if (blk_discard_mergable(req)) > > - return ELEVATOR_DISCARD_MERGE; > > - else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) > > + if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) > > return ELEVATOR_BACK_MERGE; > > + else if (blk_discard_mergable(req)) > > Shall we adjust how req->nr_phys_segments is calculated in > bio_attempt_discard_merge() so that multiple contiguous bio's can > be seen as one segment? I think it isn't necessary, because we try to merge discard IOs first just like plain IO. So when bio_attempt_discard_merge() is reached, it means that IOs can't be merged, so req->nr_phys_segments should be increased by 1. Thanks, Ming
> 2021年06月09日 14:12，Ming Lei <ming.lei@redhat.com> 写道： > > On Wed, Jun 09, 2021 at 11:05:59AM +0800, Wang Shanker wrote: >> >> >>> 2021年06月09日 08:45，Ming Lei <ming.lei@redhat.com> 写道： >>> >>> So far multi-range discard treats each bio as one segment(range) of single >>> discard request. This way becomes not efficient if lots of small sized >>> discard bios are submitted, and one example is raid456. >>> >>> Support bio merge for multi-range discard for improving lots of small >>> sized discard bios. >>> >>> Turns out it is easy to support it: >>> >>> 1) always try to merge bio first >>> >>> 2) run into multi-range discard only if bio merge can't be done >>> >>> 3) add rq_for_each_discard_range() for retrieving each range(segment) >>> of discard request >>> >>> Reported-by: Wang Shanker <shankerwangmiao@gmail.com> >>> Signed-off-by: Ming Lei <ming.lei@redhat.com> >>> --- >>> block/blk-merge.c | 12 ++++----- >>> drivers/block/virtio_blk.c | 9 ++++--- >>> drivers/nvme/host/core.c | 8 +++--- >>> include/linux/blkdev.h | 51 ++++++++++++++++++++++++++++++++++++++ >>> 4 files changed, 66 insertions(+), 14 deletions(-) >>> >>> diff --git a/block/blk-merge.c b/block/blk-merge.c >>> index bcdff1879c34..65210e9a8efa 100644 >>> --- a/block/blk-merge.c >>> +++ b/block/blk-merge.c >>> @@ -724,10 +724,10 @@ static inline bool blk_discard_mergable(struct request *req) >>> static enum elv_merge blk_try_req_merge(struct request *req, >>> struct request *next) >>> { >>> - if (blk_discard_mergable(req)) >>> - return ELEVATOR_DISCARD_MERGE; >>> - else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) >>> + if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) >>> return ELEVATOR_BACK_MERGE; >>> + else if (blk_discard_mergable(req)) >> >> Shall we adjust how req->nr_phys_segments is calculated in >> bio_attempt_discard_merge() so that multiple contiguous bio's can >> be seen as one segment? > > I think it isn't necessary, because we try to merge discard IOs first > just like plain IO. So when bio_attempt_discard_merge() is reached, it > means that IOs can't be merged, so req->nr_phys_segments should be > increased by 1. You are right. And by applying the series, I can confirm contiguous bio's are getting merged into ~20M requests. It's much better than before. I guess it might be the scheduler that prevents further merging. So it seems that the root solution for raid456 is required since bio merging cannot solve all the problem. Thanks again for your work. Cheers, Miao Wang
On Wed, Jun 09, 2021 at 08:45:56AM +0800, Ming Lei wrote: > diff --git a/block/blk-merge.c b/block/blk-merge.c > index bcdff1879c34..65210e9a8efa 100644 > --- a/block/blk-merge.c > +++ b/block/blk-merge.c > @@ -724,10 +724,10 @@ static inline bool blk_discard_mergable(struct request *req) > static enum elv_merge blk_try_req_merge(struct request *req, > struct request *next) > { > - if (blk_discard_mergable(req)) > - return ELEVATOR_DISCARD_MERGE; > - else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) > + if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) > return ELEVATOR_BACK_MERGE; Oh well, this breaks my previous suggestions. > + struct req_discard_range r; > + > + rq_for_each_discard_range(r, req) { ... and I can't say I like this rather complex iterator. What is the problem of just fixing the raid code to not submit stupidly small discard requests instead?
> 2021年06月22日 14:55，Christoph Hellwig <hch@lst.de> 写道： > > On Wed, Jun 09, 2021 at 08:45:56AM +0800, Ming Lei wrote: >> diff --git a/block/blk-merge.c b/block/blk-merge.c >> index bcdff1879c34..65210e9a8efa 100644 >> --- a/block/blk-merge.c >> +++ b/block/blk-merge.c >> @@ -724,10 +724,10 @@ static inline bool blk_discard_mergable(struct request *req) >> static enum elv_merge blk_try_req_merge(struct request *req, >> struct request *next) >> { >> - if (blk_discard_mergable(req)) >> - return ELEVATOR_DISCARD_MERGE; >> - else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) >> + if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) >> return ELEVATOR_BACK_MERGE; > > Oh well, this breaks my previous suggestions. > >> + struct req_discard_range r; >> + >> + rq_for_each_discard_range(r, req) { > > ... and I can't say I like this rather complex iterator. > > What is the problem of just fixing the raid code to not submit stupidly > small discard requests instead? Yes, raid code should indeed be fixed. However, the way discard requests are getting merged is not correct. I understand your concern about complex iterator. I believe it is because the difference between discard requests and normal read/write requests. Discard requests are without data and allowed to be non-contiguous, while normal requests, which blk-merge was originally dealing with, are with data buffers and should be contiguous. Actually, correct me if wrong, the current request struct lacks the ability to express non-contiguous bio's. Ming's patch, by introducing the rq_for_each_discard_range iterator, partially enables the request struct to express non-contiguous bio's. Cheers, Miao Wang
diff --git a/block/blk-merge.c b/block/blk-merge.c index bcdff1879c34..65210e9a8efa 100644 --- a/block/blk-merge.c +++ b/block/blk-merge.c @@ -724,10 +724,10 @@ static inline bool blk_discard_mergable(struct request *req) static enum elv_merge blk_try_req_merge(struct request *req, struct request *next) { - if (blk_discard_mergable(req)) - return ELEVATOR_DISCARD_MERGE; - else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) + if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) return ELEVATOR_BACK_MERGE; + else if (blk_discard_mergable(req)) + return ELEVATOR_DISCARD_MERGE; return ELEVATOR_NO_MERGE; } @@ -908,12 +908,12 @@ bool blk_rq_merge_ok(struct request *rq, struct bio *bio) enum elv_merge blk_try_merge(struct request *rq, struct bio *bio) { - if (blk_discard_mergable(rq)) - return ELEVATOR_DISCARD_MERGE; - else if (blk_rq_pos(rq) + blk_rq_sectors(rq) == bio->bi_iter.bi_sector) + if (blk_rq_pos(rq) + blk_rq_sectors(rq) == bio->bi_iter.bi_sector) return ELEVATOR_BACK_MERGE; else if (blk_rq_pos(rq) - bio_sectors(bio) == bio->bi_iter.bi_sector) return ELEVATOR_FRONT_MERGE; + else if (blk_discard_mergable(rq)) + return ELEVATOR_DISCARD_MERGE; return ELEVATOR_NO_MERGE; } diff --git a/drivers/block/virtio_blk.c b/drivers/block/virtio_blk.c index b9fa3ef5b57c..970cb0d8acaa 100644 --- a/drivers/block/virtio_blk.c +++ b/drivers/block/virtio_blk.c @@ -116,7 +116,6 @@ static int virtblk_setup_discard_write_zeroes(struct request *req, bool unmap) unsigned short segments = blk_rq_nr_discard_segments(req); unsigned short n = 0; struct virtio_blk_discard_write_zeroes *range; - struct bio *bio; u32 flags = 0; if (unmap) @@ -138,9 +137,11 @@ static int virtblk_setup_discard_write_zeroes(struct request *req, bool unmap) range[0].sector = cpu_to_le64(blk_rq_pos(req)); n = 1; } else { - __rq_for_each_bio(bio, req) { - u64 sector = bio->bi_iter.bi_sector; - u32 num_sectors = bio->bi_iter.bi_size >> SECTOR_SHIFT; + struct req_discard_range r; + + rq_for_each_discard_range(r, req) { + u64 sector = r.sector; + u32 num_sectors = r.size >> SECTOR_SHIFT; range[n].flags = cpu_to_le32(flags); range[n].num_sectors = cpu_to_le32(num_sectors); diff --git a/drivers/nvme/host/core.c b/drivers/nvme/host/core.c index 24bcae88587a..4b0a39360ce9 100644 --- a/drivers/nvme/host/core.c +++ b/drivers/nvme/host/core.c @@ -813,7 +813,7 @@ static blk_status_t nvme_setup_discard(struct nvme_ns *ns, struct request *req, { unsigned short segments = blk_rq_nr_discard_segments(req), n = 0; struct nvme_dsm_range *range; - struct bio *bio; + struct req_discard_range r; /* * Some devices do not consider the DSM 'Number of Ranges' field when @@ -835,9 +835,9 @@ static blk_status_t nvme_setup_discard(struct nvme_ns *ns, struct request *req, range = page_address(ns->ctrl->discard_page); } - __rq_for_each_bio(bio, req) { - u64 slba = nvme_sect_to_lba(ns, bio->bi_iter.bi_sector); - u32 nlb = bio->bi_iter.bi_size >> ns->lba_shift; + rq_for_each_discard_range(r, req) { + u64 slba = nvme_sect_to_lba(ns, r.sector); + u32 nlb = r.size >> ns->lba_shift; if (n < segments) { range[n].cattr = cpu_to_le32(0); diff --git a/include/linux/blkdev.h b/include/linux/blkdev.h index d66d0da72529..bd9d22269a7b 100644 --- a/include/linux/blkdev.h +++ b/include/linux/blkdev.h @@ -1007,6 +1007,57 @@ static inline unsigned int blk_rq_stats_sectors(const struct request *rq) return rq->stats_sectors; } +struct req_discard_range { + sector_t sector; + unsigned int size; + + /* + * internal field: driver don't use it, and it always points to + * next bio to be processed + */ + struct bio *__bio; +}; + +static inline void req_init_discard_range_iter(const struct request *rq, + struct req_discard_range *range) +{ + range->__bio = rq->bio; +} + +/* return true if @range stores one valid discard range */ +static inline bool req_get_discard_range(struct req_discard_range *range) +{ + struct bio *bio; + + if (!range->__bio) + return false; + + bio = range->__bio; + range->sector = bio->bi_iter.bi_sector; + range->size = bio->bi_iter.bi_size; + range->__bio = bio->bi_next; + + while (range->__bio) { + struct bio *bio = range->__bio; + + if (range->sector + (range->size >> SECTOR_SHIFT) != + bio->bi_iter.bi_sector) + break; + + /* + * ->size won't overflow because req->__data_len is defined + * as 'unsigned int' + */ + range->size += bio->bi_iter.bi_size; + range->__bio = bio->bi_next; + } + return true; +} + +#define rq_for_each_discard_range(range, rq) \ + for (req_init_discard_range_iter((rq), &range); \ + req_get_discard_range(&range);) + #ifdef CONFIG_BLK_DEV_ZONED /* Helper to convert BLK_ZONE_ZONE_XXX to its string format XXX */
So far multi-range discard treats each bio as one segment(range) of single discard request. This way becomes not efficient if lots of small sized discard bios are submitted, and one example is raid456. Support bio merge for multi-range discard for improving lots of small sized discard bios. Turns out it is easy to support it: 1) always try to merge bio first 2) run into multi-range discard only if bio merge can't be done 3) add rq_for_each_discard_range() for retrieving each range(segment) of discard request Reported-by: Wang Shanker <shankerwangmiao@gmail.com> Signed-off-by: Ming Lei <ming.lei@redhat.com> --- block/blk-merge.c | 12 ++++----- drivers/block/virtio_blk.c | 9 ++++--- drivers/nvme/host/core.c | 8 +++--- include/linux/blkdev.h | 51 ++++++++++++++++++++++++++++++++++++++ 4 files changed, 66 insertions(+), 14 deletions(-)