Перейти к содержанию

PICO_RAFT_LEADER_ID

Скалярная функция pico_raft_leader_id позволяет узнать идентификатор лидера raft-группы (значение поля raft_id из таблицы _pico_peer_address). Поскольку распространение изменений по кластеру занимает время, в случае смены лидера функция может возвращать разные значения при подключении к разным узлам.

Разрешено использовать только в проекциях.

Синтаксис

PICO_RAFT_LEADER_ID ( )

Примеры

SELECT pico_raft_leader_id();

Следующий запрос выведет имя узла, являющегося лидером:

SELECT name FROM _pico_instance WHERE raft_id IN (SELECT pico_raft_leader_id());