Re: [PATCH] xlogreader: do not read a file block twice

On 12.02.2019 20:47, Andrey Lepikhov wrote:
> I looked at the history of the code changes:
> 
> ---------------------------------------------------------------
> 7fcbf6a405f (Alvaro Herrera 2013-01-16 16:12:53 -0300 539) reqLen < 
> state->readLen)
> 
> 1bb2558046c (Heikki Linnakangas 2010-01-27 15:27:51 +0000 9349)        
> targetPageOff == readOff && targetRecOff < readLen)
> 
> eaef111396e (Tom Lane 2006-04-03 23:35:05 +0000 3842)
> len = XLOG_BLCKSZ - RecPtr->xrecoff % XLOG_BLCKSZ;
> 4d14fe0048c (Tom Lane 2001-03-13 01:17:06 +0000 3843)
> if (total_len > len) 
> ---------------------------------------------------------------
> 
> In the original code of Tom Lane, condition (total_len > len) caused a 
> page reread from disk. As I understand it, this is equivalent to your 
> proposal.
> Th code line in commit 1bb2558046c seems tantamount to the corresponding 
> line in commit 7fcbf6a405f but have another semantics: the targetPageOff 
> value can't be more or equal XLOG_BLCKSZ, but the reqLen value can be. 
> It may be a reason of appearance of possible mistake, introduced by 
> commit 7fcbf6a405f.

Thank you for your research. Indeed, it makes sense now.

In my case after reading a page both `reqLen` and `state->readLen` equal 
to XLOG_BLCKSZ. This leads to a page reread, since `pageptr` is the same 
as the previous read. But `targetRecOff` is different in the second case 
because we want to read next record, which probably doesn't fit into the 
page wholly (that's why `reqLen` is equal to XLOG_BLCKSZ).

-- 
Arthur Zakirov
Postgres Professional: http://www.postgrespro.com
Russian Postgres Company