Многоверсионность
Страницы и версии строк
13
Авторские права
© Postgres Professional, 2016–2022.
Авторы: Егор Рогов, Павел Лузанов, Илья Баштанов
Использование материалов курса
Некоммерческое использование материалов курса (презентации,
демонстрации) разрешается без ограничений. Коммерческое
использование возможно только с письменного разрешения компании
Postgres Professional. Запрещается внесение изменений в материалы
курса.
Обратная связь
Отзывы, замечания и предложения направляйте по адресу:
Отказ от ответственности
Компания Postgres Professional не несет никакой ответственности за
любые повреждения и убытки, включая потерю дохода, нанесенные
прямым или непрямым, специальным или случайным использованием
материалов курса. Компания Postgres Professional не предоставляет
каких-либо гарантий на материалы курса. Материалы курса
предоставляются на основе принципа «как есть» и компания Postgres
Professional не обязана предоставлять сопровождение, поддержку,
обновления, расширения и изменения.
2
Темы
Структура страниц и версий строк
Как работают операции над данными
Вложенные транзакции
3
Структура страниц
заголовок
страницы
указатели на
версии строк
заголовок
версии строки
специальная
область
версия
строки
табличная страница страница индекса
– 4 байта
Размер страницы составляет 8 килобайт. Это значение можно
увеличить (вплоть до 32 килобайт), но только при сборке.
И таблицы, и индексы, и большинство других объектов, которые
в PostgreSQL обозначаются по-английски термином relation, используют
одинаковую структуру страниц, чтобы пользоваться общим буферным
кешем. В начале страницы идет заголовок (24 байта), содержащий
общие сведения и размер следующих областей: указателей, свободного
пространства, версий строк и специальной области.
«Версия строки» называется по-английски tuple; если это не нарушает
однозначности, мы будем сокращать название до «строка».
Указатели имеют фиксированный размер (4 байта) и составляют
массив, позиция в котором определяет идентификатор строки (tuple id,
tid). Указатели ссылаются на собственно версии строк (tuple), которые
расположены в конце блока. Такая косвенная адресация удобна тем,
что во-первых, позволяет найти строку, не перебирая все содержимое
блока (строки имеют разную длину), а во-вторых, позволяет
перемещать строку внутри блока, не ломая ссылки из индексов.
Версия строки, в свою очередь, имеет заголовок и данные.
Между указателями и версиями строк находится свободное место.
В конце блока может находиться специальная область, которая
используется в некоторых индексных страницах.
4
Формат данных
Страницы читаются в оперативную память «как есть»
данные не переносимы между разными платформами
между полями данных возможны пропуски из-за выравнивания
Формат данных на диске полностью совпадает с представлением
данных в оперативной памяти. Страница читается в буферный кеш
«как есть», без преобразований.
Поэтому файлы данных с одной платформы (разрядность, порядок
байтов и т. п.) не могут быть перенесены на другие платформы.
Кроме того, многие архитектуры предусматривают выравнивание
данных по границам машинных слов. Например, на 32-битной системе
x86 целые числа (тип integer, занимает 4 байта) выравниваются по
границе 4-байтных слов, как и числа с плавающей точкой двойной
точности (тип double precision, 8 байт). А на 64-битной системе
значения double precision будут выровнены по границе 8-байтных слов.
Из-за этого размер табличной строки зависит от порядка расположения
полей. Обычно этот эффект не сильно заметен, но в некоторых случаях
он может привести к существенному увеличению размера. Например,
если располагать поля типов char(1) и integer вперемешку, между ними,
как правило, будет пропадать 3 байта.
6
Указатели на версии строк
версия строкистатус
указатель
на версию строки
и ее длина
статус
версии
строки
Страница содержит массив указателей на версии строк.
Каждый указатель (занимающий 4 байта) содержит:
- ссылку на версию строки;
- длину этой версии строки (для удобства);
- несколько бит, определяющих статус версии строки.
7
ctidxmin xmax данные
xmin committed
xmin aborted
xmax committed
xmax aborted
heap hot upd
heap only tuple
Версии строк в таблице
(0,2)
статус
(0,2)
номер транзакции,
создавшей версию
номер транзакции,
удалившей версию
infomask — различные
информационные биты
следующая версия
той же строки
значения полей
табличной строки
Версии строк (tuples) в табличных страницах (heap pages) кроме
собственно данных имеют также заголовок. Заголовок, помимо прочего,
содержит следующие важные поля:
- xmin и xmax определяют видимость данной версии строки в терминах
начального и конечного номеров транзакций.
- infomask содержит ряд битов, определяющих свойства данной
версии. На рисунке показаны основные из них, но далеко не все. Часть
показанных битов будет рассмотрена в этой теме, часть — в других
темах этого модуля.
- ctid является ссылкой на следующую, более новую, версию той же
строки. У самой новой, актуальной, версии строки ctid ссылается на
саму эту версию. Такие ссылки используются не всегда, мы рассмотрим
их в теме «HOT-обновления».
Заголовок версии строки на табличной странице составляет 23 байта
(или больше: в него включается битовая карта неопределенных
значений).
Напомним, что каждая версия строки всегда целиком помещается
внутрь одной страницы. Если версия строки имеет большой размер,
PostgreSQL попробует сжать часть полей или вынести часть полей
во внешнее TOAST-хранилище (это рассматривается в модуле
«Физическая организация данных» курса DBA1).
8
ctid ключ
Индексные записи
ctidxmin xmax данные
xmin committed
xmin aborted
xmax committed
xmax aborted
heap hot upd
heap only tuple
(0,2)
(0,1)
статус
(0,2)(0,2)
(0,1)
(0,2)
указатель на версию
строки в таблице
значения ключей
индексирования
Информация в индексной странице сильно зависит от типа индекса.
И даже у одного типа индекса бывают разные виды страниц. Например,
у B-дерева есть страница с метаданными и «обычные» страницы.
Тем не менее, обычно в странице имеется массив указателей и строки
(так же, как и в табличной странице). Во избежание путаницы мы будем
называть индексные строки записями. Кроме того, в конце индексной
страницы отводится место под специальные данные.
Индексные записи тоже могут иметь очень разную структуру
в зависимости от типа индекса. Например, для B-дерева записи,
относящиеся к листовым страницам, содержат значение ключа
индексирования и ссылку (ctid) на соответствующую строку таблицы
(подробно структура B-дерева разбирается в учебном курсе QPT
«Оптимизация запросов»).
В общем случае индекс может быть устроен совсем другим образом,
но как правило он все равно будет содержать ссылки на версии строк.
Номера ctid имеют вид (x,y): здесь x — номер страницы, y —
порядковый номер указателя в массиве. Для удобства мы будем
показывать номера слева от указателей на табличные версии строк.
Важный момент состоит в том, что никакой индекс не содержит
информацию о версионности (нет полей xmin и xmax). Прочитав
индексную запись, невозможно определить видимость строки, на
которую она ссылается, не заглянув в табличную страницу. Для
оптимизации этой проверки служит карта видимости.
На рисунке показаны записи обычного индекса-B-дерева. Для простоты
указатели на эти записи опущены.
9
Вставка
xmin xmax данные
100 0 t 42,FOO
ctid ключ
100
committed
aborted
(0,1)
статус
normal
(0,1) FOO
xmin committed
xmin aborted
xmax committed
xmax aborted
CLOG
Рассмотрим, как выполняются операции со строками на низком уровне,
и начнем со вставки.
В нашем примере предполагается таблица с двумя столбцами
(числовой и текстовый); по текстовому полю создан индекс B-дерево.
При вставке строки в табличной странице появится указатель
с номером 1, ссылающийся на первую и единственную версию строки.
В версии строки поле xmin заполнено номером текущей транзакции
(100 в нашем примере). Поскольку изменения еще не фиксировались
и транзакция активна, то в журнале статуса транзакций (CLOG)
соответствующая запись заполнена нулями. CLOG можно представить
себе как массив, в котором для каждой транзакции (начиная
с некоторой) отводится ровно два бита. Эти данных хранятся в каталоге
PGDATA/pg_xact, а несколько наиболее актуальных страниц
кешируются в разделяемой памяти сервера.
В индексной странице также создается указатель с номером 1, который
ссылается на индексную запись, которая, в свою очередь, ссылается на
первую версию строки в табличной странице. Чтобы не загромождать
рисунок, указатель и индексная запись объединены.
Поле xmax заполнено фиктивным номером 0, поскольку данная версия
строки не удалена и является актуальной. Транзакции не будут
обращать внимание на этот номер, поскольку установлен бит xmax
aborted.
11
xmin committed
xmin aborted
xmax committed
xmax aborted
Фиксация изменений
xmin xmax данные
100 0 t 42,FOO
ctid ключ
100
committed
aborted
(0,1)
статус
normal
(0,1) FOO
t
при первом
обращении к строке
другой транзакцией
t
При фиксации изменений в CLOG для данной транзакции выставляется
признак committed. Это, по сути, единственная операция (не считая
журнала упреждающей записи), которая необходима.
Когда какая-либо другая транзакция обратится к этой табличной
странице, ей придется ответить на вопросы:
1) завершилась ли транзакция 100 (надо проверить список активных
процессов и их транзакций; такая структура в общей памяти имеет
название ProcArray),
2) а если завершилась, то фиксацией или отменой (свериться с CLOG).
Поскольку выполнять проверку по CLOG каждый раз накладно,
выясненный однажды статус транзакции записывается в биты-
подсказки xmin committed и xmin aborted. Если один из этих битов
установлен, то состояние транзакции xmin считается известным и
следующей транзакции уже не придется обращаться к CLOG.
Почему эти биты не устанавливаются той транзакцией, которая
выполняла вставку? В момент, когда транзакция фиксируется или
отменяется, уже непонятно, какие именно строки в каких именно
страницах транзакция успела поменять. Кроме того, часть этих страниц
может быть вытеснена из буферного кеша на диск; читать их заново,
чтобы изменить биты, означало бы существенно замедлить фиксацию.
Обратная сторона состоит в том, что любая транзакция (даже
выполняющая простое чтение — SELECT) может загрязнить данные
в буферном кеше и породить новые журнальные записи.
13
xmin committed
xmin aborted
xmax committed
xmax aborted
t
Удаление
xmin xmax данные
100 42,FOO
ctid ключ
100
committed
aborted
(0,1)
статус
normal
(0,1) FOO
t
101
101
выступает
как блокировка
строки
При удалении строки в поле xmax текущей версии записывается номер
текущей удаляющей транзакции, а бит xmax aborted сбрасывается.
Больше ничего не происходит.
Заметим, что установленное значение xmax, соответствующее
активной транзакции (что определяется другими транзакциями по
ProcArray), выступает в качестве блокировки. Если другая транзакция
намерена обновить или удалить эту строку, она будет вынуждена
дождаться завершения транзакции xmax.
Подробнее блокировки рассматриваются в одноименном модуле. Пока
отметим только, что число блокировок строк ничем не ограничено. Они
не занимают место в оперативной памяти, производительность
системы не страдает от их количества (разумеется, за исключением
того, что первый процесс, обратившийся к странице, должен будет
проставить биты-подсказки).
15
xmin committed
xmin aborted
xmax committed
xmax aborted
Отмена изменений
t
xmin данные
100 42,FOO
ctid ключ
100
committed
aborted
(0,1)
статус
normal
(0,1) FOO
t
101
101 t
t
при первом
обращении
к строке
остается
номер отмененной
транзакции
xmax
Отмена изменений работает аналогично фиксации, только в CLOG для
транзакции выставляется бит aborted. Отмена выполняется так же
быстро, как и фиксация — не требуется выполнять откат выполненных
действий.
Номер прерванной транзакции остается в поле xmax — его можно было
бы стереть, но в этом нет смысла. При обращении к странице будет
проверен статус и в версию строки будет установлен бит подсказки
xmax aborted. Это будет означать, что на поле xmax смотреть не нужно.