Существуют ли общие алгоритмы для достижения конечной согласованности в распределенных системах?

Существуют ли алгоритмы, которые обычно используются для достижения конечной согласованности в распределенных системах?Существуют ли общие алгоритмы для достижения конечной согласованности в распределенных системах?

Существуют алгоритмы, которые были разработаны для транзакций ACID в распределенных системах, в частности, Paxos, но существует ли аналогичная теория, разработанная для сценариев BASE, с более слабыми гарантиями последовательности?

Редактировать: Это, как представляется, область научных исследований, которая только начинает развиваться. Ответ Макдоуэллы показывает, что в этой области была хоть какая-то работа.

источник

2010-01-10 Rob Lachlan

Если «антиэнтропия протоколы для ремонта реплицируется данных , которые работают путем сравнения реплик и примирения различий ». подходит для вашего определения на http://en.wikipedia.org/wiki/Gossip_protocol

источник

2010-01-11 05:40:15 mcdowella

+1. Это очень хорошо. –

BASE и более слабая консистенция сводятся к конвергенции копий в сценарии репликации. Существует большая литература по репликации в распределенной системе, с Eiter нетерпеливый или ленивым репликации, с группой или мастер копии и т.д.

Consensus является одна проблема, которая может быть четко сформулированы. Можно предложить несколько решений/алгоритмов. Ленивой репликации с конвергенцией копий нет. Я чувствую, что это более архитектурная проблема. Но, как я только что сказал, есть большой объем работы по репликации или распределенному хранилищу, что может быть тем, что вы ищете.

Здесь все же несколько ссылок, которые я нашел интересным:

источник

2010-01-10 20:05:49 ewernli

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

Возможно, вы правы. В ближайшие годы, вероятно, будут предложены модели, объясняющие эластичность, возможную согласованность и т. Д. Будут ли они называться теориями, будет другой вопрос. Но я бы с удовольствием это увидел! – ewernli

Существуют ли общие алгоритмы для достижения конечной согласованности в распределенных системах?

ответ

Смежные вопросы