Method for logging update queries

1. A method of logging update queries in a computer media, comprising:

evaluating queries that have been queued since a prior cycle;

responsive to any pages needed for evaluation not in a buffer pool, reading a page defined by a PAGE_ID to which is appended a largest epoch sub-key;

executing the queued queries;

responsive to any of the queries executed over a horizontal partition involving writes or other updates to that partition, setting a Boolean dirty flag in a MANYCORE device's memory for each column that was updated;

after executing all outstanding queries for a particular epoch, recording in a log file all queries that are updates that were executed in that epoch;

replacing any variables that are evaluated at runtime, with actual values they had at time of execution;

writing “COMMIT” to the log file and flushing the log file to stable storage, signifying a commit of those queries;

at any time during the epoch, when a page of memory flagged as dirty is determined to require flushing to stable storage, writing a shadow copy of that page alongside a stable copy without overwriting an existing stable page of memory on disk, by writing the shadow copy using a filename comprising a value of PAGE_ID appended with the epoch sub-key of epoch+1;

at any time during a cycle after all queries are evaluated for that cycle at periodic or occasional checkpoints, executing the following steps in sequential order:

(i) all dirty pages in the buffer pool are flushed to disk in the shadow copy approach outlined above;

(ii) an epoch counter is then incremented by 1; and

(iii) “CHECKPOINT” and the value of the epoch counter are flushed to stable storage; and identifying a beginning of a new epoch.