Eliding memory page writes upon eviction after page modification

A system, comprising:

• a log pipeline back end comprising an active log and a prefix-consistent page log;
• a database and log pipeline front end operating in a memory, comprising a page buffer to store active pages and a log buffer that serves as a pipeline for log entries to be made durable in the active log, where log entries describe modifications made to the active pages resident in a memory prior to updating the memory;
• a page recovery logic to, in response to receiving a page fetch instruction associated with a page, construct a constructed page from an image of the page in the page log and log entries associated with the page in the active log, and store the constructed page in the page buffer;
• a logging logic to make log entries from the log buffer durable in the active log, and to confirm when log entries are made durable to the front end;
• and
• an eviction logic to evict the constructed page from the page buffer when the constructed page is replaced in the page buffer, eliding a page write associated with the eviction, wherein the eviction of the constructed page occurs prior to writing the modifications made to the active pages to the memory.

A method, comprising:

• fetching a page from a database back end to a database front end by applying single page recovery to a page image retrieved from a page log in the database back end and log entries associated with the page image retrieved from an active log in the database back end to create a current version of the page image stored in a memory associated with the database front end;
• making modifications to the page image stored in the memory associated with the database front end durable in the active log without writing the modifications to the memory;
• and
• evicting the page image stored in the memory associated with from the database front end when the page is replaced in the database front end, eliding a page write associated with the eviction, wherein the eviction of the page occurs prior to writing the modifications to the memory.