SWIM – протокол построения кластера

Шпилевой Владислав

План доклада

Failure Detection
Gossip-протоколы
Протокол SWIM
Схема работы SWIM
Реализация SWIM в Тарантуле
Расширения SWIM
Примеры применения
Производительность
Планы

Source: https://slides.com/gerold103/swim-highload2019

Горизонтальное

масштабирование

VShard: https://slides.com/gerold103/vshard-highload

Failure detection

Принятие решений

Ping

Вывод нерабочих узлов из кластера

Починка отказов

Ping – проверять лидера/мастера/...

Heartbeat – узел сам делает рассылку

Failure detection

узлов

сообщений в сети

O(N^2)

"Все со всеми" не работает

Gossip

узлов

сообщений в сети

O(N)

Протоколы "слухов", "инфекций"

Gossip

Распространяют событие все, а не один узел

Алгоритмы рандомизированы:

нет синхронизации;
нагрузка равномерна

Gossip. Обнаружение отказов

Прямой ping

Непрямой ping

Сеть сломана

Ping

Ack

PingRequest

Ping

Ack

Свой ping

Сеть сломана

... или Я?

Gossip. Гранулярность отказов

Непрерывное состояние

Жив

Мертв

Дискретное состояние

Критерии:

Количество неотвеченных ACK
Задержка
Прямая или непрямая доступность

...

Gossip. Направление слухов

Push

Событие

Pull

Запрос

Событие

Push-Pull

Распространение:

O(log(N))

Обнаружение:

O(1)

Нагрузка на сеть:

O(N)

Нагрузка на узел:

O(1)

Gossip. Применения

Lifeguard

SWIM

Scalable

O(1)

Weakly-Consistent

O(log(N))

Infection-Style Process

Group Membership

A, B, C, D, E, F, G, H

SWIM

Обнаружение отказов

Распространение событий

Ping Request

Ack

Подозрение отказа

Ping

События

UDP-пакет

Ping +

Каждое событие посылается раз

Подозрение не подтвердилось

log(N)

SWIM

Инкарнация

B жив

B мертв

Предполагай худшее

Но как B очистит свое имя?

Вводится понятие "инкарнация" для опровержения слухов

B 1

Знаешь? Как бы сказать ... ты мертв

B 2

Предполагай худшее, но больше инкарнация – новее информация

B 2

Опровержение ложных слухов
Защита от проблем UDP
Если равны – предполагай худшее

Tarantool SWIM

Раунды

Адресация

UUID

URI1

URI2

URI3

Адрес можно менять

Heartbeat Rate

Модуль

Можно создавать много узлов

Конфигурируется почти все

Есть ручное управление таблицей узлов кластера

Можно обращаться к узлам

Асинхронная подписка на события

Аккуратный вывод из кластера с уведомлением всех

Случайное перемешивание

swim = require('swim')

s = swim.new([cfg])

s:quit()

s:cfg({heartbeat_rate = ..., ack_timeout = ...,
       gc_mode = ..., uri = ..., uuid = ...})

s:probe_member(uri)

s:add_member({uuid = ..., uri = ...})

s:remove_member(uuid)

s:broadcast([port])

s:size()

s:member_by_uuid(uuid)

s:pairs()

s:on_member_event(new_trigger[, old_trigger])

SWIM – Пример

На двух Тарантулах запущены два SWIM-узла

Первый отправляет Ping-запрос второму

Теперь узлы друг друга знают, пингуют, делятся информацией

При помощи триггеров можно узнавать момент и детали обновления таблицы

Если долго нет ответа от кого-либо, то он будет помечен мертвым спустя несколько пингов

swim = require('swim')

s = swim.new({uri = 3333, uuid = uuid1,
              ack_timeout = 0.1})

local event
s:on_member_event(function(m, ev, ctx)
    event = {m, ev, ctx}
end)

swim = require('swim')

s = swim.new({uri = 3334, uuid = uuid2,
              ack_timeout = 0.1})

s:probe_member(3334)

tarantool> s:size()
--
- 2
...

tarantool> event
---
- - uri: 127.0.0.1:3334
    status: alive
    incarnation: 0
    uuid: 00000000-0000-1000-8000-000000000002
  - is_new: true
...

tarantool> member = event[1]
---
...

tarantool> member:status()
---
- dead
...

tarantool> s:size()
--
- 2
...

s:delete()

Ping + UUID + IP:Port

Расширения – Антиэнтропия

A, B

Узлы A и B знают друг про друга

Появляется третий, знающий B. Как он узнает про А?

B, C

B разошлет событие "новый узел", но оно теряется

Нужна синхронизация таблиц. Каждое сообщение несет в себе случайную часть таблицы отправителя.

Ping

События

UDP-пакет

Антиэнтропия

A, B, C

Новый узел С!

Моя таблица – A, B, C

Рано или поздно A и C узнают друг про друга – антиэнтропия шлется всегда

Расширения – Payload

Как, подключившись к узлу, понять, куда подключаться по TCP?

swim = require('swim')

s = swim.new({uri = 3333, uuid = uuid1})

swim = require('swim')

s = swim.new({uri = 3335, uuid = uuid2})
box.cfg{listen = 3336}

s:set_payload({tport = 3336,
               any_other_data = value})

Метод set_payload позволяет распространить произвольную информацию

s:broadcast(3335)

Достаточно любым образом соединить узлы SWIM

p = s:member_by_uuid(uuid2):payload()

tarantool> p
---
- {'tport': 3336, 'any_other_data': value}
...

На всех узлах payload будет доступен

tarantool> require('net.box').connect(p.tport)
---
- peer_uuid: 1262ec51-46f4-488e-8925-853f55367e61
  schema_version: 73
  protocol: Binary
  state: active
  peer_version_id: 131584
  port: '3336'
...

Можно подключаться!

tarantool> s:size()
--
- 2
...

Расширения – Шифрование

SWIM может быть использован в открытой сети

Сеть подвержена атакам

В Tarantool SWIM есть встроенное шифрование

swim = require('swim')

s = swim.new()

s:set_codec({algo = 'aes192', mode = 'cbc', key = private_key})

Алгоритмы:

DES, AES128/192/256

Режимы:

ECB, CBC, CFB, OFB

Расширения – Выход из кластера

Узел A хочет выйти из кластера

swim_a:delete()

Плохой способ – удалить узел

Дождаться, пока кто-то отправит Ping A
Дождаться неответов на 5 Ping'ов
Дождаться распространения смерти A – логарифм размера кластера

Ping

Очень долго и неотличимо от смерти

Расширения – Выход из кластера

Узел A хочет выйти из кластера

swim_a:quit()

Хороший способ – уведомить всех

A сам разошлет всем уведомление

swim = require('swim')

s = swim.new({uri = 3333, uuid = uuid1})

swim = require('swim')

s = swim.new({uri = 3334, uuid = uuid2})

s:probe_member(3334)

tarantool> s:member_by_uuid(uuid2):status()
---
- left
...

s:quit()

Быстро, можно реагировать не как на смерть

Расширения – Детектор перезагрузки

Инкарнации не всегда достаточно

A 1

Payload:

Два узла. B видит инкарнацию A = 1 и пейлоад "синий кружок".

A 1

Payload:

A 1

Payload:

A перезапущен, инкарнация снова 1, пейлоад другой.

Хей, у меня новый пейлоад с инкарнацией 1!

A1 vs A1? – Ничего нового. Пейлоад не изменился.

A сообщает B, что у него новый пейлоад, но инкарнация та же – B еще помнит A до перезапуска.

А выключен.

Расширения – Детектор перезагрузки

swim = require('swim')
s = swim.new({generation = 1})

swim = require('swim')
s = swim.new()
saved_e = nil
s:on_member_event(function(m, e)
    saved_e = e
end)
s:cfg({uri = 3334, uuid = uuid2})

s:probe_member(3333)

s:cfg({uri = 3333, uuid = uuid1})

Перезапуск

swim = require('swim')

s = swim.new({generation = 2})

s:cfg({uri = 3333, uuid = uuid1})

tarantool> saved_e
---
- is_new_version: true
  is_new_generation: true
  is_update: true
  is_new_incarnation: true
...

В Тарантуле инкарнация состоит из двух частей, одна из которых возрастает всегда

При создании можно указать generation – это число будет частью инкарнации. По умолчанию – текущее время

Указать надо до или во время первой конфигурации

Запускается второй узел. Они связываются.

Первый перезапускается

После старта указывается новый generation

Второй сразу об этом узнает, через событие

Практика – Построение кластера

Дата-центр

Задача:

Создать N реплика-сетов по 2 реплики каждый, сгруппированных по дата-центрам.

Практика – Построение кластера – Код

datacenter = arg[1]
swim_uri = arg[2]
box_uri = arg[3]
uuid = arg[4]

Характеристики одного узла

fiber = require('fiber')
fiber.create(function()
    while true do
        for port in pairs(swim_ports) do
            swim:broadcast(port)
        end
	fiber.sleep(60)
    end
end)

swim = require('swim').new()
nodes = {}
function on_event(m, e)
    if e:is_drop() then
        nodes[m:uuid()] = nil
    elseif e:is_new_payload() and
           m:payload() then
        local dc = m:payload().dc
        if dc == datacenter then
            nodes[m:uuid()] = m
        end
    end
end
swim:on_member_event(on_event)

swim:cfg({uri = swim_uri, uuid = swim_uuid})
swim:set_payload({dc = datacenter,
                  box = box_uri})

while map_size(nodes) ~= 2 do
    fiber.sleep(5)
end

local rep = {}
for uuid, n in pairs(nodes) do
    table.insert(rep, n:payload().box)
end

box.cfg{
    listen = box_uri,
    replication = rep,
    instance_uuid = uuid,
}

Один SWIM на узел

Таблица с узлами дата-центра

Обновляется автоматически

Рассказать всем свои ДЦ и порт

Периодически искать новые узлы

Для сборки репликасета надо найти 2 узла

Сборка и запуск репликации готовы!

Практика – Прочие применения

Среди нескольких Тарантулов выбрать одного для принятия решений о конфигурации, о смене мастера

Выборы лидера

Мониторинг

Находить отказавшие узлы, уведомлять администратора, перенаправлять нагрузку, начинать смену мастера

Производительность

При рассылке сообщений раз в секунду

Размер кластера

Время распространения события, секунды

800

200

100

150

300

250

500

– реализация SWIM

– настоящий

log_2(x)

Итоги

SWIM

Обнаружение
Распространение
Простота
Доступность

Планы – Интеграция с репликацией

Raft для автосмены лидера кластера
Автосборка кластера из коробки
Обнаружение топологии кластера

Highload 2019: SWIM - протокол построения кластера

By Vladislav Shpilevoy

Highload 2019: SWIM - протокол построения кластера

SWIM - это протокол обнаружения и мониторинга узлов кластера, распространения событий и данных между ними. Протокол особенен своей легковесностью, децентрализованностью и независимостью скорости работы от размера кластера. В докладе рассказывается о том, как устроен протокол SWIM, как и с какими расширениями он реализован в Тарантуле.

1,368

Vladislav Shpilevoy PRO

Database C developer at Tarantool. Backend C++ developer at VirtualMinds.

linkedin.com/in/gerold103

SWIM – протокол построения кластера

План доклада

Failure detection

Failure detection

Gossip

Gossip

Gossip. Обнаружение отказов

Прямой ping

Непрямой ping

Свой ping

Gossip. Гранулярность отказов

Непрерывное состояние

Дискретное состояние

Gossip. Направление слухов

Push

Pull

Push-Pull

Gossip. Применения

SWIM

SWIM

SWIM

Обнаружение отказов

Распространение событий

SWIM

Инкарнация

Tarantool SWIM

Раунды

Адресация

SWIM – Пример

Расширения – Антиэнтропия

Расширения – Payload

Расширения – Шифрование

Расширения – Выход из кластера

Расширения – Выход из кластера

Расширения – Детектор перезагрузки

Расширения – Детектор перезагрузки

Практика – Построение кластера

Практика – Построение кластера – Код

Практика – Прочие применения

Выборы лидера

Мониторинг

Производительность

Итоги

Планы – Интеграция с репликацией

Highload 2019: SWIM - протокол построения кластера

More from Vladislav Shpilevoy