The redo pointer
A checkpoint records where crash recovery would start, the redo pointer. It is never after the checkpoint record.
task
Run CHECKPOINT, then return redo_lsn <= checkpoint_lsn from pg_control_checkpoint().
Run a query to see rows here.
Run EXPLAIN on the statement under the cursor: Plan tab, button Explain.
No tables yet.
A checkpoint records where crash recovery would start, the redo pointer. It is never after the checkpoint record.
Run CHECKPOINT, then return redo_lsn <= checkpoint_lsn from pg_control_checkpoint().