On Thu, Feb 13, 2020 at 11:21 AM Salman Qazi <sqazi@xxxxxxxxxx> wrote:
>
> On Thu, Feb 13, 2020 at 9:48 AM Bart Van Assche <bvanassche@xxxxxxx> wrote:
> >
> > On 2/13/20 12:26 AM, Ming Lei wrote:
> > > The approach used in blk_execute_rq() can be borrowed for workaround the
> > > issue, such as:
> > >
> > > diff --git a/block/bio.c b/block/bio.c
> > > index 94d697217887..c9ce19a86de7 100644
> > > --- a/block/bio.c
> > > +++ b/block/bio.c
> > > @@ -17,6 +17,7 @@
> > > #include <linux/cgroup.h>
> > > #include <linux/blk-cgroup.h>
> > > #include <linux/highmem.h>
> > > +#include <linux/sched/sysctl.h>
> > >
> > > #include <trace/events/block.h>
> > > #include "blk.h"
> > > @@ -1019,12 +1020,19 @@ static void submit_bio_wait_endio(struct bio *bio)
> > > int submit_bio_wait(struct bio *bio)
> > > {
> > > DECLARE_COMPLETION_ONSTACK_MAP(done, bio->bi_disk->lockdep_map);
> > > + unsigned long hang_check;
> > >
> > > bio->bi_private = &done;
> > > bio->bi_end_io = submit_bio_wait_endio;
> > > bio->bi_opf |= REQ_SYNC;
> > > submit_bio(bio);
> > > - wait_for_completion_io(&done);
> > > +
> > > + /* Prevent hang_check timer from firing at us during very long I/O */
> > > + hang_check = sysctl_hung_task_timeout_secs;
> > > + if (hang_check)
> > > + while (!wait_for_completion_io_timeout(&done, hang_check * (HZ/2)));
> > > + else
> > > + wait_for_completion_io(&done);
> > >
> > > return blk_status_to_errno(bio->bi_status);
> > > }
> >
> > Instead of suppressing the hung task complaints, has it been considered
> > to use the bio splitting mechanism to make discard bios smaller? Block
> > drivers may set a limit by calling blk_queue_max_discard_segments().
> > From block/blk-settings.c:
> >
> > /**
> > * blk_queue_max_discard_segments - set max segments for discard
> > * requests
> > * @q: the request queue for the device
> > * @max_segments: max number of segments
> > *
> > * Description:
> > * Enables a low level driver to set an upper limit on the number of
> > * segments in a discard request.
> > **/
> > void blk_queue_max_discard_segments(struct request_queue *q,
> > unsigned short max_segments)
> > {
> > q->limits.max_discard_segments = max_segments;
> > }
> > EXPORT_SYMBOL_GPL(blk_queue_max_discard_segments);
> >
>
> AFAICT, This is not actually sufficient, because the issuer of the bio
> is waiting for the entire bio, regardless of how it is split later.
> But, also there isn't a good mapping between the size of the secure
> discard and how long it will take. If given the geometry of a flash
> device, it is not hard to construct a scenario where a relatively
> small secure discard (few thousand sectors) will take a very long time
> (multiple seconds).
>
> Having said that, I don't like neutering the hung task timer either.
In fact, it's worse than that. Today, I was able to construct a case
of a 4K discard on a particular device that took 100 seconds. I did
this
by arranging to write a single copy of page 0 for every erase unit of
the device, and wrote random LBAs to the rest of the erase unit. I
suspect the
slow speed comes from the need to copy almost the entire device to
erase all the stale copies of page 0.
#define _GNU_SOURCE
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/ioctl.h>
#include <fcntl.h>
#include <assert.h>
#include <unistd.h>
#include <linux/fs.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
char page[8192];
int main(int argc, char **argv)
{
unsigned long start;
int fd;
int i;
char *page_aligned = (char *)(((unsigned long)page + 4095) & ~4095UL);
unsigned long range[2];
fd = open(argv[1], O_RDWR | O_DIRECT);
assert(fd >= 0);
range[0] = 0;
assert(ioctl(fd, BLKGETSIZE64, &range[1]) >= 0);
for (i = 0; i < range[1]; i += 4096) {
/* paranoia: incase there is any deduping */
page_aligned[0] = i;
/*
* Almost always write randomly
*/
if (i % (4*1024*1024) != 0)
assert(pwrite(fd, page_aligned, 4096,
(lrand48() % range[1]) & ~4095UL) == 4096);
else
/* except, once per erase block, write page 0 */
assert(pwrite(fd, page_aligned, 4096, 0) == 4096);
}
start = time(NULL);
/* discard exactly one page */
range[1] = 4096;
printf("Starting discard %lu!\n", start);
assert(ioctl(fd, BLKSECDISCARD, &range) >= 0);
printf("Finished discard. Took %lu!\n", time(NULL) - start);
close(fd);
}
>
> > Thanks,
> >
> > Bart.
