Описание тега paxos

Paxos - это семейство протоколов для сети ненадежных процессоров для согласования результата.
4 ответа

Что делать, если лидер терпит неудачу в Multi-Paxos для систем master-slave?

Backgound: В разделе 3, озаглавленном "Реализация конечного автомата", из бумаги Лампорта " Paxos Made Simple, Multi-Paxos". Multi-Paxos используется в Google Paxos Made Live. (Multi- Paxos используется в Apache ZooKeeper ). В Multi-Paxos могут появ…
1 ответ

Выполнить чтение из распределенного кластера на основе Paxos

Может ли кто-нибудь помочь представить, как читать содержимое распределенного кластера? Я имею в виду, что существует распределенный кластер, согласованность которого гарантируется алгоритмом Paxos. В реальном приложении, как клиент читает содержимо…
23 окт '14 в 07:39
1 ответ

Почему Chubby lockserver не является мультимастерным?

Как я понимаю, Chubby в любой момент времени есть 5 пухлых серверов. Один из них является ведущим и управляет координацией записи в кворум, а остальные 4 сервера доступны только для чтения и пересылают записи в ведущее устройство. Пишет использовать…
29 мар '13 в 04:11
2 ответа

Что такое "ценность предложения с наибольшим номером" в алгоритме Паксоса?

В " Паксосе" простой Лэмпорт описывает Фазу 2 (а) алгоритма следующим образом: Если заявитель получает ответ на свои запросы на подготовку (пронумерованные n) от большинства акцепторов, то он отправляет запрос на прием каждому из этих акцепторов для…
07 ноя '13 в 13:33
2 ответа

Несколько вопросов о Паксосе

Я смущен значением, выбранным предложителем. используйте пример, чтобы объяснить. Если теперь заявитель хочет заблокировать файл, то он отправит, что l1 - это номер_процессора, а v1 - значение "заблокировать файл", и акцепторы принимают его. чем зап…
05 мар '13 в 03:55
1 ответ

Почему Paxos Acceptor должен отправить обратно любое значение, которое они уже приняли

Я учусь в классе MIT 6.824, и у меня есть вопрос о paxos. Когда proposer отправит подготовителю акцептор, акцептор вернет prepare_ok с n и v, которые видят самые высокие акцепты. Интересно, почему акцептор нужно вернуть n и v?
14 сен '15 в 03:36
0 ответов

Как eureka peers гарантируют, что регистрационная информация непротиворечива при сбое действия синхронизации

PeerAwareInstanceRegistryImpl будет синхронизироваться с другими одноранговыми узлами при изменении регистрации, код выглядит следующим образом: private void replicateInstanceActionsToPeers(Action action, String appName, String id, InstanceInfo inf…
28 ноя '16 в 16:09
1 ответ

Как кластер из 3 зоопарка остается активным, когда 1 узел не работает?

Документация здесь говорит, что: Ансамбль из 3 серверов позволяет одному серверу выйти из строя, и служба все равно будет доступна. Однако для установления кворума необходимо ceil(n/2)+1 узлы В случае 3 узлов это:ceil(3/2)+1 = ceil(1.5)+1 = 3 Таким …
19 мар '15 в 19:48
1 ответ

Хорошие книги по распределенным системам

Есть ли действительно хорошая книга, в которой подробно рассматриваются: двухфазная фиксация, paxos, а также ограничения в достижении согласованности, доступности, терпимости к разделам. Просматривая Amazon, удивительно видеть количество книг по рас…
14 июн '12 в 07:56
0 ответов

Двухфазный коммит против Paxos

Я совершенно запутался с этими двумя технологиями. Есть ли связь между этими двумя технологиями Существует ли какое-либо популярное программное обеспечение с открытым исходным кодом, реализующее эти технологии? Я знаю, что zookeeper реализует Paxos,…
2 ответа

Различия между OT и CRDT

Может кто-нибудь объяснить мне просто основные различия между операционным преобразованием и CRDT? Насколько я понимаю, оба являются алгоритмами, которые позволяют данным сходиться без конфликта на разных узлах распределенной системы. В каком случае…
1 ответ

Почему paxos в прыжке репликации группы mysql готовят фазу?

Я вижу такой сегмент кода в proposer_task(xcom_base.c) if(threephase || ep->p->force_delivery){ push_msg_3p(ep->site, ep->p, ep->prepare_msg, ep->msgno, normal); }else{ push_msg_2p(ep->site, ep->p); } threepahse является int …
2 ответа

Пример реального мира Паксос

Может кто-нибудь дать мне реальный пример того, как алгоритм Paxos используется в распределенной базе данных? Я прочитал много работ на Paxos, которые объясняют алгоритм, но ни одна из них не объясняет на реальном примере. Простым примером может слу…
08 май '12 в 19:08
2 ответа

Паксос и Дискавери

Предположим, я добавляю несколько машин в эластичный кластер и хочу запустить в них какой-то согласованный алгоритм (скажем, Paxos). Предположим, они знают начальный размер сети, скажем, 8 машин. Таким образом, они запустят согласованный алгоритм, и…
22 дек '15 в 19:12
2 ответа

Условия гонки на параллельных экземплярах Paxos

Я запутался в использовании алгоритма Паксоса. Кажется, что Paxos может быть использован для такого сценария: несколько серверов (кластер, я предполагаю, что каждый сервер имеет все 3 роли, proposer, acceptor, leaner) должны поддерживать одинаковые …
17 окт '14 в 04:10
4 ответа

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

По сути, я хотел бы реализовать следующие алгоритмы и проанализировать, как система, построенная с использованием этих алгоритмов, ведет себя в различных условиях. Протокол сплетни Несколько паксо Последовательное хеширование Мой интерес здесь к эти…
21 авг '11 в 18:09
2 ответа

Смущает процесс проверки P2b на бумаге.

Я читаю газету Paxos, сделанную простой, но застрявшую на части для P2b. Содержание правила P2b: Если выбрано предложение со значением v, то каждое предложение с более высоким номером, выданное любым заявителем, имеет значение v. И это доказательная…
03 июн '17 в 07:10
2 ответа

Практично ли ведение журнала сообщений в службе групповой связи или paxos?

В случае сбоя сетевого раздела или узла большинству распределенных атомарных широковещательных протоколов (например, Extended Virtual Synchrony или Paxos) требуются работающие узлы для ведения журнала сообщений до тех пор, пока неисправный или разде…
18 окт '16 в 04:14
2 ответа

Выбор лидера для хранилища значений ключей на основе paxos

Я собираюсь реализовать хранилище значений ключей с несколькими Paxos. У меня было бы несколько узлов, один из которых является основным узлом. Этот первичный узел получает запросы на обновление и реплицирует значения на подчиненные узлы. У меня воп…
25 мар '14 в 02:50
1 ответ

Проверка модели Paxos

Я реализовал согласованный алгоритм (на основе Paxos). Я добавил несколько случайных тестовых случаев, и, кажется, все в порядке. Но хотите провести тестирование с помощью проверки модели? Не могу найти правильную статью для этого. Пожалуйста, подел…