Продолжаю публикацию расширенных транскриптов лекционного курса "PostgreSQL для начинающих", подготовленного мной в рамках "Школы backend-разработчика" в "Тензоре".
В первой части лекции мы узнали, что такое план выполнения запроса, как и зачем его читать (и почему это совсем непросто), и о каких проблемах с производительностью базы он может сигнализировать. В этой - разберем, что такое Seq Scan
, Bitmap Heap Scan
, Index Scan
и почему Index Only Scan
бывает нехорош.
Как обычно, для предпочитающих смотреть и слушать, а не читать - доступна видеозапись (часть 1, часть 2) и слайды:
![Лекция 4: Анализ запросов (видео) Лекция 4: Анализ запросов (видео)](https://habrastorage.org/getpro/habr/upload_files/b1b/960/413/b1b960413da1328d9df24db47abca215.png)
Краткий путеводитель:
Анализ запросов (часть 1)
Индексы
Транзакции
Блокировки
Содержание текущей лекции:
-
"Нематериальные" источники данных
Function Scan (
Filter
,Rows Removed by Filter
)
-
Index Scan [Backward] (
Index Cond
)Index Only Scan [Backward] (
Heap Fetches
,Order By
)
-
Sample Scan (
Sampling
)Foreign Scan (
Remote SQL
,Relations
)
-
Bitmap Index Scan
BitmapAnd / BitmapOr
Bitmap Heap Scan (
Recheck Cond
,Rows Removed by Index Recheck
,Heap Blocks
)
Наконец, мы добрались до "основного блюда" нашей лекции - перечня тех операций, про которые план как раз может нам рассказать:
![Типы узлов в плане Типы узлов в плане](https://habrastorage.org/getpro/habr/upload_files/cf8/401/410/cf8401410182aa1a3ec80b93dc267676.jpg)
И самые важные из них - операции получения данных - основной функционал, ради которого мы с СУБД и работаем. Поэтому их видов больше всего - наверное, даже больше, чем всех остальных вместе взятых.
"Нематериальные" источники данных
Result
Первое, с чего мы начнем - узел Result
, который вы можете увидеть в плане самого простого запроса:
![Result: константа Result: константа](https://habrastorage.org/getpro/habr/upload_files/622/bac/512/622bac51204c0bb91cf8b9803e8c17b0.jpg)
Result
: константаОн появляется, когда вы просто хотите получить в столбце результирующей выборки какое-то константное значение (например, SELECT 1
) или результат вычисления простой функции:
![Result: функция в поле Result: функция в поле](https://habrastorage.org/getpro/habr/upload_files/f96/7a6/6d6/f967a66d6b543eb62884ecf151c1c074.jpg)
Result
: функция в поле"Простой" не в смысле сложности производимых ей операций, конечно, а возвращающей некоторое единичное значение, а не целую SETOF-выборку.
Третий вариант, когда может возникнуть Result
-узел - "однострочная" команда VALUES
, о которой мы говорили на второй лекции:
![Result: однострочный VALUES Result: однострочный VALUES](https://habrastorage.org/getpro/habr/upload_files/d3f/ea3/7d5/d3fea37d54b4da65c6ff8c9979077a97.jpg)
Result
: однострочный VALUES
Values Scan
Тут как раз важно, чтобы строка была единственная. Потому что когда присутствует несколько строк внутри VALUES
, уже возникает узел Values Scan
, в rows
-атрибуте у которого будет как раз количество этих самых строк:
![Values Scan: многострочный VALUES Values Scan: многострочный VALUES](https://habrastorage.org/getpro/habr/upload_files/3a8/312/790/3a83127901bf343bbd449d4458f905a0.jpg)
Values Scan
: многострочный VALUES
В качестве источника данных будет указано имя "*VALUES*"
или какой-то из его "номерных" вариантов типа "*VALUES*_1"
, отличать которые друг от друга можно как раз по количеству возвращаемых ими записей - потому что на момент планирования выполнения запроса база прекрасно знает, сколько конкретно их там будет, поскольку вы их все в тело SQL-запроса переписали, и больше им взяться неоткуда.
Function Scan
Выше мы видели результат обращения к простой функции в поле, а если указать генерирующую выборку функцию и во FROM
-часть запроса, как, например, generate_series
, которую рассматривали в лекции про "сложные SELECT"?.. Тогда мы увидим в плане узел Function Scan
:
![Function Scan: выборка из функции Function Scan: выборка из функции](https://habrastorage.org/getpro/habr/upload_files/96d/616/dda/96d616dda31caa73c31edf080b8a7e1f.jpg)
Function Scan
: выборка из функцииТут, дополнительно к имени самой вызываемой функции, из запроса в узел будет странслирован и указанный для нее алиас, по которым можно сопоставлять узлы с разными точками вызова одних и тех же функций в теле SQL.
Атрибуты фильтрации (Filter / Rows Removed by Filter)
Раз мы дошли до узлов, которые что-то берут из базы (конкретно тут мы ничего еще пока не взяли из таблиц, но уже взяли из функции), то мы можем в запросе наложить некоторое условие. Раз у нас есть FROM
-часть в запросе, то может присутствовать и WHERE
-условие:
![Filter: условие отбора записей Filter: условие отбора записей](https://habrastorage.org/getpro/habr/upload_files/13c/4fb/e0e/13c4fbe0ee732d17e7e717f44b989a38.jpg)
Filter
: условие отбора записейВ этом случае у узла мы получим атрибутную строку Filter
, в которой и будет записано наше условие отбора записей. Точнее, почти оно - в том виде, в который его преобразует PostgreSQL для конкретного узла: например, n IN (2, 3, 5)
будет преобразовано в n = ANY('{2,3,5}'::integer[])
, а сложное условие по нескольким функциям или таблицам может "расползтись" частями на несколько узлов плана.
А раз есть условие отбора, то при фактическом исполнении запроса (или при вызове EXPLAIN ANALYZE
) могут возникнуть и строки, которые этот отбор не прошли - их количество выводится в атрибутной строке Rows Removed by Filter
:
![Rows Removed by Filter: количество отброшенных строк Rows Removed by Filter: количество отброшенных строк](https://habrastorage.org/getpro/habr/upload_files/617/ea2/c45/617ea2c4579b41cb2672eb00574aee7c.jpg)
Rows Removed by Filter
: количество отброшенных строкВ нашем примере, очевидно, условию будет соответствовать только лишь первая строка. Но база об этом ничего не знает, поэтому честно генерирует все 4 строки, 3 отбрасывает (Rows Removed by Filter: 3
), а 1 - возвращает нам (rows=1
).
Фактически, уменьшение значения RRbF
- непроизводительной работы базы, когда записи сначала генерируются/вычитываются, а потом отбрасываются - один из способов оптимизации эффективности выполнения SQL-запросов. В труднодостижимом идеальном состоянии, этой атрибутной строки у вас вообще не должно быть.
ProjectSet
Но если мы обратимся к генерирующей функции в поле, то вместо Function Scan
получим совсем другой узел - ProjectSet
:
![ProjectSet: SETOF-функция в поле ProjectSet: SETOF-функция в поле](https://habrastorage.org/getpro/habr/upload_files/5b1/7fd/b7c/5b17fdb7c61274e23f4d76a601209f23.jpg)
ProjectSet
: SETOF-функция в полеПо сути, в этот момент происходит "запоминание" результата вычисления всего набора результирующих значений.
То есть, в зависимости от того что это за функция (возвращающая единственное значение или целую выборку) и где мы ее вызвали (во FROM
-части запроса или в качестве столбца результирующей выборки), мы можем получить 3 варианта узлов: Result
, Function Scan
и ProjectSet
.
Subquery Scan
Раз мы научились что-то из функций извлекать, давайте попробуем как-то с этим результатом повзаимодействовать. И когда мы начинаем это делать, завернув саму основную выборку во вложенный запрос, в плане возникает узел Subquery Scan
:
![Subquery Scan: вложенная выборка Subquery Scan: вложенная выборка](https://habrastorage.org/getpro/habr/upload_files/02a/0fe/1b8/02a0fe1b8db6337c1453c7b4fe38a3ea.jpg)
Subquery Scan
: вложенная выборкаПричем у нас действительно должно быть взаимодействие со столбцами этой выборки, иначе, например, если мы в этом примере убрать условие, от всего плана останется единственный Result
, поскольку последние версии PostgreSQL достаточно умны для упрощения и запроса, и порожденного им плана, избавляясь от бесполезных "SELECT
-от-SELECT
".
CTE Scan/CTE
А вот если вложенную выборку поместить не в подзапрос, а в WITH
-часть, о которой говорили на третьей лекции, то появится возможность делать обращения к Common Table Expression, "запоминающих" результат выборки:
![CTE Scan: обращение к Common Table Expression CTE Scan: обращение к Common Table Expression](https://habrastorage.org/getpro/habr/upload_files/bb0/17f/1c9/bb017f1c9c9a640359166788fd3fd344.jpg)
CTE Scan
: обращение к Common Table ExpressionДо версии PostgreSQL 12 наличие обращения к CTE однозначно приводило к появлению в плане узлов CTE Scan
, где мы обращаемся к выборке, и узлов CTE
, где эта выборка формируется.
Но, уже начиная с v12, в случае однократного нерекурсивного обращения и неиспользования ключевого слова MATERIALIZED
, узел CTE Scan
в плане будет заменен на ее непосредственное вычисление без генерации CTE.
Recursive Union/WorkTable Scan
Но CTE бывают еще и рекурсивные, мы с их помощью в прошлой лекции вычисляли ряд чисел Фибоначчи. В этом случае в плане мы увидим узлы Recursive Union
, который реализует добавление найденного на текущем шаге к набранному на предыдущих итерациях, и WorkTable Scan
- итеративного обращения к предыдущему сегменту накапливаемых данных:
![Построение рекурсивной выборки Построение рекурсивной выборки](https://habrastorage.org/getpro/habr/upload_files/34f/89d/4aa/34f89d4aa1efc583d4b3a5c33ef1f7b5.jpg)
![Recursive Union/WorkTable Scan: рекурсивный запрос Recursive Union/WorkTable Scan: рекурсивный запрос](https://habrastorage.org/getpro/habr/upload_files/fc2/60b/a3d/fc260ba3db52d9b67a08302042220d3a.jpg)
Recursive Union/WorkTable Scan
: рекурсивный запросInitPlan/SubPlan
Раз мы упомянули такие "ничего не делающие" узлы плана как CTE
, лишь описывающие свое тело, то стоит рассказать еще про два подобных узла (в плане они выводятся "без стрелочек") - InitPlan
и SubPlan
, относящихся к вложенным запросам.
Между ними лишь одно, очень тонкое, отличие. Если вложенный запрос ни от чего "снаружи" не зависит, то у вас будет узел InitPlan
и его однократное выполнение:
![InitPlan: независимый вложенный запрос InitPlan: независимый вложенный запрос](https://habrastorage.org/getpro/habr/upload_files/e1e/fde/850/e1efde8504c0421f7845833f384c6acd.jpg)
InitPlan
: независимый вложенный запросВ этом примере мы для каждой записи последовательности вычислили random()
и умножили на значение. А в этом - умножение на значение мы сделали внутри подзапроса, и получили узел SubPlan
:
![SubPlan: зависящий от внешнего вложенный запрос SubPlan: зависящий от внешнего вложенный запрос](https://habrastorage.org/getpro/habr/upload_files/ca0/6e9/9c2/ca06e99c22b37f4d1191967970cac632.jpg)
SubPlan
: зависящий от внешнего вложенный запросМало того, что мы получаем разные планы - так еще и результаты принципиально различны! В случае с InitPlan
random()
выполняется лишь раз, и все значения пропорциональны первому, то в варианте с SubPlan
, вычисление функции происходит каждый раз:
![InitPlan - лишь раз, SubPlan - каждый раз InitPlan - лишь раз, SubPlan - каждый раз](https://habrastorage.org/getpro/habr/upload_files/4b1/01d/5ba/4b101d5ba9d319082ce940bf72666517.jpg)
InitPlan
- лишь раз, SubPlan
- каждый раз![InitPlan - все значения пропорциональны первому, SubPlan - все независимы InitPlan - все значения пропорциональны первому, SubPlan - все независимы](https://habrastorage.org/getpro/habr/upload_files/729/33a/c85/72933ac8503f4aa70bdd3091c8783f96.jpg)
InitPlan
- все значения пропорциональны первому, SubPlan
- все независимыЭтот момент, безусловно, стоит учитывать, когда вы пишете SQL с вложенным запросом - сколько раз "на самом деле" он у вас выполняется .
Чтение из таблицы
Наконец-то мы закончили с узлами, получающими данные "из воздуха", без обращения к каким-то "физическим" контейнерам, и дальше уже будем смотреть, как PostgreSQL умеет извлекать данные из файлов таблиц/индексов.
Подробно этого вопроса я касался в статье о поиске избыточно занятого места, а если вкратце, то таблица/индекс хранится в одном контейнере, который "физически" делится на файлы-сегменты по 1GB, которые, в свою очередь, на логические страницы данных по 8KB:
![Модель физического хранения данных таблицы Модель физического хранения данных таблицы](https://habrastorage.org/getpro/habr/upload_files/efe/00f/6a9/efe00f6a99bbe60daca18727c4ae46cc.jpg)
Чтение каждой страницы - это и есть "+1" в соответствующее значение buffers
, о которых мы говорили в первой части лекции - в зависимости от того, была ли она уже спроецирована куда-то в память, или нам приходится читать ее с носителя.
На каждой такой странице отдельно лежат указатели на начало каждой из записей и отдельно их двоичные представления:
![Модель хранения записей на странице Модель хранения записей на странице](https://habrastorage.org/getpro/habr/upload_files/5a5/ffb/bd8/5a5ffbbd8c7c5abc477ab188e2771275.jpg)
TID Scan
Поэтому самый быстрый и простой способ обращения к одной конкретной записи - прямая адресация, представленная узлом TID Scan
- буквально, "прочитай со страницы #2 запись #3".
![TID Scan: чтение записи по "физическому" расположению (pageNo, tupleNo) TID Scan: чтение записи по "физическому" расположению (pageNo, tupleNo)](https://habrastorage.org/getpro/habr/upload_files/49b/6e5/3f2/49b6e53f202f9269dab856e34a7462c2.jpg)
TID Scan
: чтение записи по "физическому" расположению (pageNo, tupleNo)
Его можно использовать для такой вещи как идентификация строк в таблице, где уникальные ключи в принципе отсутствуют (типа таблиц логов или значений метрик мониторинга), но поработать с конкретными экземплярами записей хочется - например, чтобы удалить лишние дубли.
![Зачем бывает нужен TID Scan Зачем бывает нужен TID Scan](https://habrastorage.org/getpro/habr/upload_files/ba1/8ec/4e6/ba18ec4e62164459e2033df9a6aefb46.jpg)
TID Scan
Seq Scan
Следующий, самый простой и, наверное, наиболее часто встречающийся узел - Seq Scan
- последовательный просмотр страниц таблицы. То есть "указатель" чтения встает в начало файла таблицы, или может, и в середину - как базе покажется "удобнее" - и начинает читать страницу за страницей:
![Seq Scan: читаем все подряд Seq Scan: читаем все подряд](https://habrastorage.org/getpro/habr/upload_files/9a2/9ef/0d6/9a29ef0d629a31fc6748e4bec175c7ef.jpg)
Seq Scan
: читаем все подрядЭтот способ не только не требует какой-то дополнительной настройки и доступен для любой таблицы всегда, но и наиболее быстр как при чтении с любого носителя, так и при доступе к памяти - поскольку последовательный доступ получает все преимущества упреждающего кэширования.
Если вы читаете из небольшой таблицы, то никакой другой вариант доступа быстрее заведомо не будет. Если у вас в самой таблице 3 страницы, да еще и в индексе те же 3 - какой смысл читать тогда плюсом индекс?..
![Seq Scan: самый быстрый, доступен всегда Seq Scan: самый быстрый, доступен всегда](https://habrastorage.org/getpro/habr/upload_files/dd3/ff9/8f4/dd3ff98f4a32f9f3e445688b01b4f27c.jpg)
Seq Scan
: самый быстрый, доступен всегдаИли если у вас на таблице нет никаких подходящих к условиям запроса индексов - Seq Scan
выручит всегда: надо - пофильтруем, надо - потом отсортируем.
Но если у вас в плане Seq Scan
возвращает или фильтрует много-много записей (rows/RRbF
) - это неудачный план, и такой подход становится объективным злом.
Index Scan [Backward]
Чтобы это зло лишний раз не тревожить, люди придумали индексы.
Ведь понятно, что "самый быстрый" не означает "самый эффективный" - Seq Scan
прочитает быстро-быстро, но все-все записи из всех страниц, которые ему попадутся, и, наверняка, большинство из них отбросит как неподходящие по условиям.
Индекс - это дополнительная, как правило, древовидная логически упорядоченная структура, которая хранится аналогично модели хранения таблицы. В индексе мы всегда знаем, к какой его следующей странице надо двигаться, чтобы дойти до конкретной записи, соответствующей условиям в запросе - за это "движение" как раз и отвечает узел Index Scan
- чтение записей таблицы в порядке, заданном индексом:
![Index Scan: упорядоченный доступ к записям Index Scan: упорядоченный доступ к записям](https://habrastorage.org/getpro/habr/upload_files/e4b/6c4/e9d/e4b6c4e9dee16987bb8e7737d53cead8.jpg)
Index Scan
: упорядоченный доступ к записямОднако, упорядоченным этот доступ может быть только лишь по тем ключам и условиям, которые были заранее заданы при создании индекса. В этом случае в атрибутной строке Index Cond
мы увидим как раз то условие, которое используется для поиска записей.
Если такие условия обратимы с точки зрения линейного порядка ("справа - налево" вместо "слева - направо") следования записей в индексе (например, x > y
и x <= y
), то при "обратном" чтении узел будет Index Scan Backward
.
Но проблема в том, что такие "случайные" переходы "по дереву" между страницами индекса, а потом еще и обращение к разным участкам файла таблицы, не слишком эффективны с точки зрения random read
, поэтому читать лучше как можно меньше записей:
![Index Scan: быстро, если читать немного Index Scan: быстро, если читать немного](https://habrastorage.org/getpro/habr/upload_files/40e/5f2/9ca/40e5f29cae8559b8d1cf6ecfbbb7e45c.jpg)
Index Scan
: быстро, если читать немногоIndex Only Scan [Backward]
Но если запись индекса и так "знает", что "вот там лежит запись со значением ключевого поля N", то саму запись таблицы можно уже и не извлекать, если кроме самого значения ключевого поля возвращать ничего не требуется - в этом случае в плане окажется узел Index Only Scan
.
Тут важно помнить, что использование
SELECT *
в запросе почти всегда сделает использованиеIndex Only Scan
невозможным.
Основное отличие от Index Scan
заключается в необходимости убедиться, что записи на странице, куда указывает индекс, "видны всем" - то есть доступны всем активным транзакциям в одинаковом состоянии. Это делается с помощью проверки всего лишь пары битов Visibility Map, что гораздо "дешевле" извлечения записей таблицы:
![Index Only Scan: пробуем не заглядывать в таблицу Index Only Scan: пробуем не заглядывать в таблицу](https://habrastorage.org/getpro/habr/upload_files/af5/043/d5f/af5043d5fe963d02c8725828b1e077d9.jpg)
Index Only Scan
: пробуем не заглядывать в таблицуПричем, мы можем "дешево" вернуть из записи индекса значения не только ключевых полей, по которым можно искать, но и дополнительно "прицепленных" к ним директивой INCLUDE
:
![Index Only Scan: добавление неключевых полей Index Only Scan: добавление неключевых полей](https://habrastorage.org/getpro/habr/upload_files/c70/67d/138/c7067d138c33b554ee0375b42f4c2324.jpg)
Index Only Scan
: добавление неключевых полейHeap Fetches
Но даже если мы создали подходящий индекс, в запросе написали только подходящие поля, в плане получили Index Only Scan
- это вовсе не гарантия, что наш запрос выполнится быстро.
Если вдруг мы видим ненулевое значение в атрибутной строке Heap Fetches
- значит, где-то VM оказалась в неактуальном состоянии, и нам уже после этой проверки пришлось дополнительно "лезть" в таблицу. В этом случае "эффективный" Index Only Scan
может оказаться не просто "не лучше", а гораздо хуже, чем "обычный" Index Scan
:
![Heap Fetches: отрабатываем "промах" сквозь VM Heap Fetches: отрабатываем "промах" сквозь VM](https://habrastorage.org/getpro/habr/upload_files/bbf/93e/ae7/bbf93eae7a86fd11040b8363e88adcbc.jpg)
Heap Fetches
: отрабатываем "промах" сквозь VMOrder By
Еще одна атрибутная строка, которую можно увидеть у узла Index Only Scan
для некоторых типов индексов, - условие индексного упорядочивания Order By
:
![Order By: доступно для некоторых индексов и операций Order By: доступно для некоторых индексов и операций](https://habrastorage.org/getpro/habr/upload_files/74c/385/c87/74c385c87dce712758aa67f7a4976af6.jpg)
Order By
: доступно для некоторых индексов и операцийКак правило, она возникает при использовании оператора <->
для поиска "ближайших соседей" в различных ГИС-системах:
![Order By: ближайшие 10 точек из миллиона Order By: ближайшие 10 точек из миллиона](https://habrastorage.org/getpro/habr/upload_files/401/46b/2fb/40146b2fb2984d1a50012ee188767642.jpg)
Order By
: ближайшие 10 точек из миллиона"Нетипичное" получение данных
Дальше пойдут гораздо более редко встречающиеся "в дикой природе" варианты получающих данные узлов.
Sample Scan
Если вам надо прочитать из огромной таблицы "хоть что-то", примерно демонстрирующее распределение данных в ней - вам поможет конструкция TABLESAMPLE
, которая порождает узел Sample Scan
, атрибутная строка Sampling
которого как раз и демонстрирует выбранный принцип отбора записей:
![Sample Scan: читаем "кусочек" таблицы Sample Scan: читаем "кусочек" таблицы](https://habrastorage.org/getpro/habr/upload_files/2c2/6eb/38e/2c26eb38e59ddb9bf2ae4de0f7e7cdb9.jpg)
Sample Scan
: читаем "кусочек" таблицыФактически, TABLESAMPLE
- это более эффективный вариант чтения записей по случайному вероятностному условию:
![TABLESAMPLE - замена random() < X TABLESAMPLE - замена random() < X](https://habrastorage.org/getpro/habr/upload_files/200/730/d0c/200730d0c2e938bef7ec4eccb1cab89c.jpg)
TABLESAMPLE
- замена random() < X
Table Function Scan
Вызов вот так нетрадиционно описываемой SQL-стандартом функции XMLTABLE
(и пока вроде только для нее) порождает в плане узел Table Function Scan
:
![Table Function Scan: редкий гость Table Function Scan: редкий гость](https://habrastorage.org/getpro/habr/upload_files/edf/42a/4ce/edf42a4ce70c1bfd9edd7f7779882127.jpg)
Table Function Scan
: редкий гостьForeign Scan
PostgreSQL имеет весьма обширную экосистему, поэтому имеет возможности для работы и со сторонними СУБД - при обращении к таким "внешним" БД в плане появляется узел Foreign Scan
с атрибутной строкой Remote SQL
, в которой можно увидеть реальный запрос, ушедший "наружу":
![Foreign Scan: чтение из "сторонней" БД Foreign Scan: чтение из "сторонней" БД](https://habrastorage.org/getpro/habr/upload_files/332/d4c/ad5/332d4cad58c7a5e6e3eac8beb2405ce1.jpg)
Foreign Scan
: чтение из "сторонней" БДНапример, для распределения нагрузки между физическими серверами мы можем использовать основной просто как "прокси", транслирующий запросы к разным таблицам на независимые узлы.
Чтобы иметь возможность работать с таблицей из "внешней" базы, нам необходимо...
описать реквизиты самой базы (имена сервера и БД, логин-пароль)
![Подключение "внешнего" сервера PostgreSQL Подключение "внешнего" сервера PostgreSQL](https://habrastorage.org/getpro/habr/upload_files/e2b/184/ac8/e2b184ac82ce5537f8833ce45b25fbe0.jpg)
описать отображение внешней таблицы
![Подключение "внешней" таблицы Подключение "внешней" таблицы](https://habrastorage.org/getpro/habr/upload_files/08e/de0/9a2/08ede09a29eb03d4c1dabfa517b74f8f.jpg)
выполнить запрос к локальным отображениям
![Relations: соединение таблиц на внешнем сервере Relations: соединение таблиц на внешнем сервере](https://habrastorage.org/getpro/habr/upload_files/ab2/f2e/7f4/ab2f2e7f41737438e240356d430f8482.jpg)
Relations
: соединение таблиц на внешнем сервереВ случае соединения в запросе сразу нескольких таблиц, находящихся в одной внешней БД, PostgreSQL может передать реализацию соединения самому внешнему серверу - в этом случае в узле Foreign Scan
появится атрибутная строка Relations
, показывающая это.
Async Foregn Scan
Но передать на подчиненные серверы только извлечение или соединение данных - мало. Хочется еще и уметь получать с них данные одновременно - это реализует узел Async Foreign Scan
:
![Async Foreign Scan: одновременное получение "внешних" данных Async Foreign Scan: одновременное получение "внешних" данных](https://habrastorage.org/getpro/habr/upload_files/0d4/ab3/dd7/0d4ab3dd78505ae846ccc778b9b1befc.jpg)
Async Foreign Scan
: одновременное получение "внешних" данныхНо сделать он это сможет, только если при описании сервера указан ключ async_capable:
![Ключ async_capable разрешает асинхронное выполнение Ключ async_capable разрешает асинхронное выполнение](https://habrastorage.org/getpro/habr/upload_files/b1b/69c/92c/b1b69c92cea0dec8966cb674b3981d6e.jpg)
async_capable
разрешает асинхронное выполнение![Async Foreign Scan: проброс запроса Async Foreign Scan: проброс запроса](https://habrastorage.org/getpro/habr/upload_files/f7c/3b1/349/f7c3b1349145b9e84c3b5424af09595c.jpg)
Async Foreign Scan
: проброс запросаNamed Tuplestore Scan
Крайне редкий узел Named Tuplestore Scan
появляется в плане, когда мы внутри STATEMENT
-триггера что-то делаем с NEW/OLD
-проекциями:
![Named Tuplestore Scan: работа с NEW/OLD в триггере Named Tuplestore Scan: работа с NEW/OLD в триггере](https://habrastorage.org/getpro/habr/upload_files/0ee/aec/342/0eeaec3424dcab5e6c6165a2684ad90d.jpg)
Named Tuplestore Scan
: работа с NEW/OLD в триггереВ качестве примера попробуем написать триггер, который просто будет выводить NOTICE
с количеством вставляемых в таблицу записей:
![Считаем количество вставляемых записей Считаем количество вставляемых записей](https://habrastorage.org/getpro/habr/upload_files/6f3/745/b38/6f3745b380ebdfc848f3868c3175c8c0.jpg)
Теперь, если настроить максимально полное протоколирование всех планов в текущей сессии, и выполнить вставку в таблицу...
![Выкручиваем логирование планов "на максимум" Выкручиваем логирование планов "на максимум"](https://habrastorage.org/getpro/habr/upload_files/e15/a74/e1f/e15a74e1f1b07ece3bb140d20d42c234.jpg)
![Выполняем вставку - в логах видим план "изнутри" триггера Выполняем вставку - в логах видим план "изнутри" триггера](https://habrastorage.org/getpro/habr/upload_files/27a/758/e06/27a758e0668fa73150e1ca79f8d1b1c0.jpg)
Custom Scan
Начиная с 11-12 версии PostgreSQL вы можете описать собственные методы доступа к файлам данных, используя стандартное API. Фактически, вы можете хранить и читать данные так, как вам хочется - за это отвечает узел Custom Scan
, в скобочках которого будет как раз конкретный используемый для работы с таблицей метод-провайдер:
![Custom Scan: "читаю как хочу" Custom Scan: "читаю как хочу"](https://habrastorage.org/getpro/habr/upload_files/c06/e8b/d7b/c06e8bd7b774bee48f86fb6a477c9f41.jpg)
Custom Scan
: "читаю как хочу"Такие планы обычно возникают при использовании различных расширений или "форков" - вроде Citus или TimescaleDB, иногда Greenplum. То есть, если вы хороший C-разработчик, то можете сделать и свой метод доступа.
Работа с битовыми картами
Битовые карты позволяют совместить преимущества скорости Seq Scan
и избирательности Index Scan
, но, в отличие от всех предыдущих вариантов получения данных, работа с ними уже требует наличия в плане нескольких узлов.
Bitmap: Index Scan | And/Or | Heap Scan
Сначала в узле Bitmap Index Scan
база "отмечает" те страницы данных, в которых искомые значения могли бы находиться, согласно использованному индексу.
Затем, если использовалось несколько индексов, над полученными из них "картами" производится операция пересечения/объединения BitmapAnd/BitmapOr
в зависимости от операции между условиями.
После этого в узле Bitmap Heap Scan
отмеченные в "карте" страницы прочитываются и на них ищутся записи, подходящие под полную комбинацию условий:
![Bitmap-операции Bitmap-операции](https://habrastorage.org/getpro/habr/upload_files/561/33d/b9b/56133db9bf86ee091b3a906a4cb55483.jpg)
Bitmap
-операцииRecheck Cond
Вся такая комбинация проверяемых условий как раз и выводится в строке Recheck Cond
:
![Recheck Cond: проверка условий Recheck Cond: проверка условий](https://habrastorage.org/getpro/habr/upload_files/d5f/8d8/153/d5f8d8153116309c71c3e7f4e4f11016.jpg)
Recheck Cond
: проверка условийRows Removed by Index Recheck
Поскольку сами карты имеют вероятностный характер, отражая лишь потенциальную возможность наличия подходящих записей, количество всех прочитанных, но не соответствующих полной комбинации условий
, будет выведено в строке Rows Removed by Index Recheck
:
![Rows Removed by Index Recheck: количество отфильтрованных строк Rows Removed by Index Recheck: количество отфильтрованных строк](https://habrastorage.org/getpro/habr/upload_files/f41/5c0/e15/f415c0e1596a6beae5d616449b5b324b.jpg)
Rows Removed by Index Recheck
: количество отфильтрованных строкHeap Blocks
При построении карты PostgreSQL сначала пытается сохранить "координаты" подходящих записей (exact
), но если даже сама "карта" оказывается настолько велика, что не умещается в доступной памяти, то там остаются лишь номера страниц (lossy
):
![Heap Blocks: влезла ли "карта" Heap Blocks: влезла ли "карта"](https://habrastorage.org/getpro/habr/upload_files/7f2/aa8/923/7f2aa89231a211fc16dd0b2aa3b67c42.jpg)
Heap Blocks
: влезла ли "карта"Понятно, что читать все записи со страницы при этом гораздо "дороже", чем проверить только конкретные. Если видите такую ситуацию в строке Heap Blocks
, можете попробовать увеличить значение параметра work_mem.
На этом вторая часть лекции закончена, и дальше будет рассмотрение других видов операций над уже полученными данными.
Напоминаю, что на слайдах есть активные ссылки на документацию и мои статьи по темам.