Найди redo point и посмотри, что проиграло бы восстановление

Шаги

1. 01

   psql-a: прочитай redo point

   sqlcopy

   SELECT redo_lsn, checkpoint_lsn FROM pg_control_checkpoint();

   redo_lsn - место в журнале, с которого crash recovery начал бы проигрывание. Всё до него уже надёжно в файлах данных.

   ✓ redo point найден — отсюда стартовало бы восстановление.

2. 02

   psql-a: нагенерируй журнал после контрольной точки

   sqlcopy

   CREATE TABLE recov_demo (tag text);

   INSERT INTO recov_demo

     SELECT 'committed' FROM generate_series(1, 500);

   SELECT pg_current_wal_lsn() > (SELECT redo_lsn FROM pg_control_checkpoint())

     AS lsn_ahead_of_redo;

   Текущая позиция ушла вперёд от redo point. Промежуток между ними - и есть то, что восстановление пришлось бы доиграть.

   ✓ Между redo point и текущим LSN накопилась работа для redo.

3. 03

   psql-a: контрольная точка подтягивает redo point

   sqlcopy

   CHECKPOINT;

   SELECT pg_current_wal_lsn() - redo_lsn AS gap_bytes

   FROM pg_control_checkpoint();

   Контрольная точка записала грязные буферы и сдвинула redo point к текущей позиции. Предскажи: промежуток gap_bytes станет большим или маленьким?

   подсказка

   После контрольной точки восстанавливать почти нечего — redo point близко к текущему LSN.

   ✓ redo point подтянулся к текущей позиции — восстановление стало бы коротким.

4. 04

   psql-a: посмотри записи, которые проиграло бы восстановление

   sqlcopy

   UPDATE recov_demo SET tag = 'changed' WHERE ctid IN

     (SELECT ctid FROM recov_demo LIMIT 100);

   SELECT count(*) AS records_to_replay

   FROM pg_get_wal_records_info(

     (SELECT redo_lsn FROM pg_control_checkpoint()),

     pg_current_wal_lsn());

   Это ровно те журнальные записи, которые redo накатил бы от redo point до конца журнала, случись сбой прямо сейчас.

   ✓ Ты увидел содержимое будущего redo своими глазами.

5. 05

   psql-a: открой незакоммиченную транзакцию

   Теперь покажем, почему redo не «оживляет» незакоммиченное. Во вкладке psql-a вставь строку, но не коммить:

   sqlcopy

   BEGIN;

   INSERT INTO recov_demo VALUES ('ghost');

   -- COMMIT не делаем!

   Redo при восстановлении накатил бы эту строку физически - но её транзакция не отмечена в clog как зафиксированная, поэтому по правилам видимости её не видно. Проверим из соседней сессии.

   ✓ Из psql-b «призрака» не видно — незакоммиченное фактически откачено.