Hi
This idea is due to Robert Haas, who complained that he feared that
the streaming I/O API already worked like this. It doesn't, but it
could! Here is a concept patch to try it out.
Normally, read_stream_next_buffer() spits out buffers in the order
that the user's callback generated block num
On Tue, Apr 9, 2024 at 12:19 AM Thomas Munro wrote:
> This idea is due to Robert Haas, who complained that he feared that
> the streaming I/O API already worked like this. It doesn't, but it
> could! Here is a concept patch to try it out.
Oh, no, it's all my fault!
My favorite part of this pat
