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:05 am (UTC)(link)
Можно. Так иногда и делается. Например в TimesTen. Там пишется при изменении данных лог изменений. И он просто проигрывается на втором узле

[identity profile] plumqqz.livejournal.com 2016-01-25 08:22 am (UTC)(link)
можно ли с помощью очереди, гарантирующей доставку "один раз или больше" реплицировать одну таблицу в БД, если у нее есть естественный ключ?
Для начала надо определиться что такое "реплицировать". Если под этим подразумевается "иметь на слейве что-то подобное тому, что было некогда на мастере", то да, если иметь на слейве точную копию мастера на какой-то более ранний момент времени, то нет - сообщения в очереди не упорядочены.

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

Я бы на себя взял наглость посоветовать подумать об отказе от репликации вообще в силу ее концептуальной мутности.

[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)
Я бы хотел напомнить, что последовательность и упорядочивание - две разные вещи.

[identity profile] vissarion.livejournal.com 2016-01-25 08:25 am (UTC)(link)
Концепция event sourcing write-ahead log
по сути во многих бд так и происходит
в оракле по-крайней мере именно так
первым делом в журнал пишется действие еще до начала операции, журнал же реплицируется на вторую бд
(проигрыванием журнала можно однозначно восстановить состояние бд на любой момент)
а потом уже идёт собственно само действие в бд

[identity profile] juan-gandhi.livejournal.com 2016-01-25 08:32 am (UTC)(link)
А я что-то вообще на коленке с нуля раз навалял, ну очереди мессаг (вроде WAL), с трассировкой, кто что видел, идет оно по сетке, как законфигурируешь раутинг.

Собственно, речь шла об hbase, так что идеология уже присутствовала.
Edited 2016-01-25 08:33 (UTC)

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

[identity profile] metaclass.livejournal.com 2016-01-25 08:58 am (UTC)(link)
Да, сейчас такое у меня работает.

[identity profile] hshhhhh.livejournal.com 2016-01-25 11:54 am (UTC)(link)
У вас немного закат солнца вручную :)

[identity profile] nealar.livejournal.com 2016-01-25 01:15 pm (UTC)(link)
У них огнептица.

[identity profile] madeveloper.livejournal.com 2016-01-25 01:10 pm (UTC)(link)
CRDT подразумевает наличие что-то типа SCN в Oracle (System Change Number).
"Монотонно увеличивающегося состояния" в понимании CRDT.
Если ввести в таблицу поле аналогичное SCN, то можно легко выгребать записи изменившиеся с момента последней репликации, и так же легко отсеивать ранее учтенные обновления.
В свое время делал на подобном принципе систему синхронизации данных по накопительным картам в сети заправок.

[identity profile] plumqqz.livejournal.com 2016-01-26 05:36 am (UTC)(link)
У вас будут проблемы с удалением. Правда, и это решаемо, но получается чуток сложнее.