Re: [Lsf] Postgresql performance problems with IO latency, especially during fsync()

From: Andy Lutomirski
Date: Wed Mar 26 2014 - 17:42:02 EST


On Wed, Mar 26, 2014 at 12:11 PM, Andres Freund <andres@xxxxxxxxxxx> wrote:
> Hi,
>
> At LSF/MM there was a slot about postgres' problems with the kernel. Our
> top#1 concern is frequent slow read()s that happen while another process
> calls fsync(), even though we'd be perfectly fine if that fsync() took
> ages.
> The "conclusion" of that part was that it'd be very useful to have a
> demonstration of the problem without needing a full blown postgres
> setup. I've quickly hacked something together, that seems to show the
> problem nicely.
>
> For a bit of context: lwn.net/SubscriberLink/591723/940134eb57fcc0b8/
> and the "IO Scheduling" bit in
> http://archives.postgresql.org/message-id/20140310101537.GC10663%40suse.de
>

For your amusement: running this program in KVM on a 2GB disk image
failed, but it caused the *host* to go out to lunch for several
seconds while failing. In fact, it seems to have caused the host to
fall over so badly that the guest decided that the disk controller was
timing out. The host is btrfs, and I think that btrfs is *really* bad
at this kind of workload.

Even using ext4 is no good. I think that dm-crypt is dying under the
load. So I won't test your program for real :/


[...]

> Possible solutions:
> * Add a fadvise(UNDIRTY), that doesn't stall on a full IO queue like
> sync_file_range() does.
> * Make IO triggered by writeback regard IO priorities and add it to
> schedulers other than CFQ
> * Add a tunable that allows limiting the amount of dirty memory before
> writeback on a per process basis.
> * ...?

I thought the problem wasn't so much that priorities weren't respected
but that the fsync call fills up the queue, so everything starts
contending for the right to enqueue a new request.

Since fsync blocks until all of its IO finishes anyway, what if it
could just limit itself to a much smaller number of outstanding
requests?

I'm not sure I understand the request queue stuff, but here's an idea.
The block core contains this little bit of code:

/*
* Only allow batching queuers to allocate up to 50% over the defined
* limit of requests, otherwise we could have thousands of requests
* allocated with any setting of ->nr_requests
*/
if (rl->count[is_sync] >= (3 * q->nr_requests / 2))
return NULL;

What if this changed to:

/*
* Only allow batching queuers to allocate up to 50% of the defined
* limit of requests, so that non-batching queuers can get into the queue
* and thus be scheduled properly.
*/
if (rl->count[is_sync] >= (q->nr_requests + 3) / 4))
return NULL;

I suspect that doing this right would take a bit more care than that,
but I wonder if this approach is any good.

--Andy
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/