Re: Re: Optimize crash recovery

2020-03-13 Thread Thomas Munro
On Sat, Mar 14, 2020 at 5:31 AM Alvaro Herrera wrote: > On 2020-Mar-14, Thunder wrote: > > For example, if page lsn in storage is 0x9 and start to replay from > > 0x1. > > If 0x1 is full-page xlog record, then we can ignore to replay xlog > > between 0x1~0x9 for this page. >

Re: Re: Optimize crash recovery

2020-03-13 Thread Alvaro Herrera
On 2020-Mar-14, Thunder wrote: > For example, if page lsn in storage is 0x9 and start to replay from > 0x1. > If 0x1 is full-page xlog record, then we can ignore to replay xlog > between 0x1~0x9 for this page. > > > Is there any correct issue if the page exists in the buffe

Re:Re: Optimize crash recovery

2020-03-13 Thread Thunder
For example, if page lsn in storage is 0x9 and start to replay from 0x1. If 0x1 is full-page xlog record, then we can ignore to replay xlog between 0x1~0x9 for this page. Is there any correct issue if the page exists in the buffer pool and ignore to replay for full-page or i

Re: Optimize crash recovery

2020-03-13 Thread Alvaro Herrera
On 2020-Mar-13, Thunder wrote: > Hello hackers: > > > During crash recovery, we compare most of the lsn of xlog record with page > lsn to determine if the record has already been replayed. > The exceptions are full-page and init-page xlog records. > It's restored if the xlog record includes a f

Optimize crash recovery

2020-03-13 Thread Thunder
Hello hackers: During crash recovery, we compare most of the lsn of xlog record with page lsn to determine if the record has already been replayed. The exceptions are full-page and init-page xlog records. It's restored if the xlog record includes a full-page image of the page. And it initializes