Мост к исходникам (advanced)

Исходники PostgreSQL - это аккуратный C с обильными комментариями, часто объясняющими не «что», а «почему». Многие файлы открываются длинным комментарием-преамбулой, который пересказывает механизм человеческим языком - ровно то, что мы разбирали в книге.

Барьер не в языке. Барьер в том, чтобы знать, какой файл открыть под какой вопрос, и не утонуть в незнакомых вызовах. Поэтому вход в код идёт от механизма: ты не читаешь подряд, ты идёшь к конкретной функции, потому что уже понимаешь, что она должна делать.

Несколько опорных точек. Каждая - механизм, который мы вскрывали, и место в дереве исходников, где он живёт:

• Видимость версий строк (xmin/xmax, правила снимка) - heapam_visibility.c. Здесь решается, видна ли версия строки данному снимку, - сердце MVCC.
• Стоимостная модель планировщика - costsize.c. Функции вида cost_seqscan, cost_index считают те самые числа cost, которые мы воспроизводили руками.
• Очистка - модуль vacuum в access/heap: prune, removable cutoff, заморозка.
• Журнал предзаписи - xlog.c и соседи: запись WAL, контрольные точки, recovery.
• B-tree - каталог access/nbtree: спуск по дереву, split, дедупликация.

Это не полный список, а несколько якорей. От любого из них видны соседние файлы по #include и по вызовам.

Рабочий приём - не «открыть и читать сверху», а идти от наблюдаемого к коду:

1. Возьми механизм, который понимаешь по книге (скажем, стоимость seq scan).
2. Найди функцию по имени, отражающему механизм (cost_seqscan).
3. Прочитай её преамбулу-комментарий - она часто пересказывает ровно ту формулу, что ты считал руками.
4. Сверь: совпадает ли код с твоей моделью? Где модель была упрощением?

Этот последний шаг - самый ценный. Книга давала рабочую модель; код показывает, где модель огрублена ради ясности, а где совпадает буквально. Так модель становится точной, а не приблизительной.

Книга заканчивается, но изнанка PostgreSQL - нет. Дальше каждый механизм можно углублять: побайтовый формат WAL-записей, внутренности GIN и RUM, предикатные блокировки SSI, планировщик соединений. Везде работает один и тот же подход, которым мы пользовались всю книгу: найти инструмент-линзу, предсказать вывод, проверить, и только потом обобщить в правило.

Ты уносишь не список фактов, а способ смотреть: «покажи на странице» вместо «поверь на слово». С ним любой новый механизм PostgreSQL - не магия, а структура данных, которую можно вскрыть и понять.