metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2016-01-25 11:00 am

Репликация таблицы БД с помощью очередей

Я тут, как обычно, подумываю, как бы заменить прямое обращение к БД из сервисов на хождение мессаг по очередям и посетила меня такая мысль: можно ли с помощью очереди, гарантирующей доставку "один раз или больше" реплицировать одну таблицу в БД, если у нее есть естественный ключ?

Мне что-то мерещится, что такая таблица является вариантом CRDT (если я воще правильно понимаю, что это такое) и можно гарантировать, что изменения с одной стороны, попавшие в очередь, дойдут до второй стороны и содержимое таблиц в конце-концов сойдется.

В случае гибели одной из БД и восстановления ее из резервной копии на какой-то момент времени, состояние рассинхронизируется и придется из второй БД принудительно передавать все данные, чтобы дозаполнить первую, или же хранить в БД полный лог изменений (заполняемый триггерами, например) и передавать изменения, начиная с момента логического времени, который видела умершая БД на момент своего резервного копирования.

Для случая нескольких таблиц со связями/FK уже так просто не получается - нужно чтобы таблицы, между которыми есть связи, реплицировались в правильном порядке - невозможно создать запись, в которой есть ссылки на другие, раньше их и удалить запись, на которую есть ссылки из других, до них невозможно.

Обычно я делаю распределенную транзакцию с двухфазной фиксацией с двумя БД и передаю данные лога транзакций и изменений между БД, пока оно работает как положено, за исключением того, что это прибивает гвоздями решение к протоколу Firebird, в котором эти распределенные транзакции предусмотрены и, например, убрать прямое обращение к БД и гонять данные по http(s) между сервисами не получается. Было бы интересно, опять же, рассмотреть вариант репликации данных между разными СУБД.

[identity profile] vromanov.livejournal.com 2016-01-25 08:27 am (UTC)(link)
"сообщения в очереди не упорядочены" - это тогда не очередь

[identity profile] plumqqz.livejournal.com 2016-01-25 08:30 am (UTC)(link)
Я так понимаю, у вас какие-то свои определения. Ну, ради бога, пусть не очередь.

[identity profile] vromanov.livejournal.com 2016-01-25 08:33 am (UTC)(link)
Акроним FIFO вам ничего не говорит? Отличия очереди от стека не проходили? Кстати, какой вуз вы закончили и как давно?

[identity profile] plumqqz.livejournal.com 2016-01-25 08:37 am (UTC)(link)
Вы, кажется, вообще не понимаете о чем речь.

[identity profile] vromanov.livejournal.com 2016-01-25 08:40 am (UTC)(link)
Да, я не понимаю почему очередь не может быть использована для построения такого механизма репликации

[identity profile] plumqqz.livejournal.com 2016-01-25 08:48 am (UTC)(link)
Потому что из очереди (да и из топика) у вас консумеры могут получать сообщения одновременно, и как там обработчики при обработке отшедулятся - бог весть (это еще не учитывая случаи redelivery), для репликации же требуется получать правильно упорядоченные изменения, причем не по времени собственно изменения, а по времени коммита транзакции, которая сделала эти изменения, что тоже может быть нетривиальным занятием, и не надо забывать случай группового коммита - когда несколько транзакций коммитятся пачкой и идут с одним таймстампом. Ну и, разумеется, нельзя не заметить, что на слейве необходимо повторять все транзакции в чистом виде, с begin/commit, чтобы в случае чего можно было восстановиться.
Не могу не обратить внимание на то, что нельзя забывать, что на слейве можно увидеть базу в таком состоянии, в каком ее нельзя увидеть на мастере (хотя к собственно очередям это отношения не имеет).

[identity profile] metaclass.livejournal.com 2016-01-25 09:01 am (UTC)(link)
Да, похоже копия таблицы во второй БД сможет попасть в состояние, которого в мастере не было.
Для нескольких связанных таблиц можно даже не пытаться, бесполезно.

Кстати, а разве при групповом коммите ставится одинаковый логический таймстамп? Я думал, он там монотонно возрастающий.

[identity profile] plumqqz.livejournal.com 2016-01-25 09:03 am (UTC)(link)
Ну за всех не поручусь, но по-хорошему надо одинаковый - если транзакции подошли к коммиту вместе, то, стало быть, они не пересеклись и их можно выполнять параллельно.

[identity profile] nivanych.livejournal.com 2016-01-25 10:41 am (UTC)(link)
> если транзакции подошли к коммиту вместе, то, стало быть, они не пересеклись

В случае группового коммита ж это совсем не обязательно так!
Скажем, они выполнились последовательно, но записались одной транзакцией.
Чиста для технической экономии и оптимизации на этом.

[identity profile] plumqqz.livejournal.com 2016-01-25 10:48 am (UTC)(link)
Скажем, они выполнились последовательно, но записались одной транзакцией.
Чиста для технической экономии и оптимизации на этом.

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

[identity profile] nivanych.livejournal.com 2016-01-25 12:58 pm (UTC)(link)
Да, я несколько стормозил, спасибо.

[identity profile] slonopotamus.livejournal.com 2016-01-25 05:17 pm (UTC)(link)
ВНЕЗАПНО, порядок важен для читающих транзакций, которые выполнялись одновременно с этими пишущими.

[identity profile] plumqqz.livejournal.com 2016-01-25 05:44 pm (UTC)(link)
Ссылаться на себя как-то не тово, но все-таки перечитайте тред с начала.

[identity profile] berezovsky.livejournal.com 2016-01-25 05:41 pm (UTC)(link)
а в приложении нельзя доступ к базе сериализовать?

типа в каждой транзакции берём скрипт для выполнения и кладём его в таблицу аудита

а второе приложение эту таблицу читает и выполняет скрипты на другой базе
Edited 2016-01-25 17:42 (UTC)

[identity profile] plumqqz.livejournal.com 2016-01-25 07:17 pm (UTC)(link)
Да ради бога, только осортируйте в порядке коммитов.

[identity profile] berezovsky.livejournal.com 2016-01-25 07:59 pm (UTC)(link)
так я про это и спрашиваю, если в приложении каждую операцию записи в бд обернуть в lock/WaitForSingleObject/wtf на глобальный хэндл, разве коммиты не пойдут в хронологическом порядке

[identity profile] plumqqz.livejournal.com 2016-01-25 08:32 pm (UTC)(link)
Ну сами себе прострелите ногу - будете выполнять все строго последовательно. В принципе работать должно, конечно, но зачем?

[identity profile] metaclass.livejournal.com 2016-01-25 09:01 pm (UTC)(link)
Пойдут, но работать будет невозможно

[identity profile] vromanov.livejournal.com 2016-01-25 09:31 am (UTC)(link)
Это работает и для связных таблиц. Естественно транзакции на мастере должны быть такими же транзакциями на слейве.

[identity profile] vromanov.livejournal.com 2016-01-25 09:30 am (UTC)(link)
Консумер делается один. Для ускорения можно завести несколько очередей, куда транзакции раскладываются по принципу независимости.
Это не моя фантазия. Это именно пример работающей системы построенной на базе очереди

[identity profile] plumqqz.livejournal.com 2016-01-25 09:44 am (UTC)(link)
Ну молодцы, молодцы.

[identity profile] juan-gandhi.livejournal.com 2016-01-25 08:33 am (UTC)(link)
Я бы хотел напомнить, что последовательность и упорядочивание - две разные вещи.