Вопросы по теме 'paxos'

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

Что делать, если лидер выходит из строя в Multi-Paxos для систем master-slave?
Фон: В разделе 3 под названием Реализация конечного автомата статьи Лампорта Paxos Made Simple , описывается Multi-Paxos. Multi-Paxos используется в Google Paxos Made Live . ( Multi-Paxos используется в Apache ZooKeeper ). В Multi-Paxos...
1567 просмотров

Алгоритм paxos - как работает этап предложения?
Я смотрю на псевдокод для этапа PROPOSE алгоритма paxos: https://www.cs.rutgers.edu/%7Epxk/417/notes/paxos.html did I receive PROMISE responses from a majority of acceptors? if yes do any responses contain accepted values (from other...
64 просмотров

Выборы лидера для хранилища реплицированных ключей и значений на основе paxos
Я собираюсь реализовать хранилище ключевых значений с несколькими Paxos. У меня было бы несколько узлов, один из которых является основным узлом. Этот основной узел получает запросы на обновление и реплицирует значения на подчиненные узлы. Мой...
1572 просмотров

Противоречие в простой бумаге Лампорта «Паксос»
Этап 2. (a) Если предлагающий получает ответ на свои запросы подготовки (пронумерованные n) от большинства акцепторов, то он отправляет запрос принятия каждому из этих акцепторов для предложения, пронумерованного n со значением v, где v -...
1209 просмотров

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

Почему paxos в фазе подготовки к переходу репликации группы mysql?
Я вижу такой сегмент кода в offerer_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); }...
228 просмотров

Каково правильное поведение агента Paxos в этом сценарии?
Я изучаю Paxos и не понимаю, как алгоритм должен вести себя в этом надуманном примере. Я надеюсь, что приведенная ниже диаграмма объясняет сценарий. Несколько моментов: Каждый агент действует как предлагающий/принимающий/учащийся...
813 просмотров
schedule 27.08.2022

Связь между Paxos и Snapshot Isolation для управления параллелизмом
Мне было интересно, какова фактическая связь между схемами репликации на основе Paxos и различными моделями параллелизма, такими как изоляция моментальных снимков. Может ли кто-нибудь любезно объяснить эти двое в отношении их отношений и с...
387 просмотров

Можно ли реализовать Paxos с использованием одноадресных (Java) и адресов класса C?
У меня вопрос: « Возможно ли реализовать алгоритм paxos для распределенных отказоустойчивых приложений с использованием адресации класса C без использования многоадресной рассылки на основе Java, которая использует класс D? » На самом деле, где бы...
223 просмотров
schedule 28.12.2022

Объяснение другого преимущества свободного выбора: полностью асинхронные протоколы соглашений
Может ли кто-нибудь пояснить шаг 3 (см. ниже) в " Протокол полностью асинхронного соглашения ": Процесс P: Начальное значение xp. Шаг 0 : установите r := 1 . Шаг 1 . Отправьте сообщение (1, r, xp) всем процессам. Шаг 2 . Дождитесь...
179 просмотров
schedule 26.07.2023

Как получить порядковый номер в paxos
В Paxos каждый предлагающий самостоятельно генерирует порядковый номер для своего предложения. Итак, скажем, предлагающий продолжает генерировать порядковый номер с более высоким номером. Разве этот предлагающий, поскольку он генерирует более...
454 просмотров
schedule 05.09.2023

Paxos: Как отбираются предлагающие, принимающие и учащиеся?
Я хочу выбрать лидера из ряда одинаковых процессов. Во всех объяснениях Paxos говорится, что некоторые процессы являются Proposers, некоторые — Voters, а некоторые — Accepters. Нужно ли назначать эти роли своим процессам при их запуске? Что, если...
45 просмотров
schedule 04.01.2023

Понимание реализации Cassandra Paxos
В документации Datastax говорится, что протокол Paxos состоит из четырех этапов (имеется в виду облегченная транзакция): Подготовить / Обещать Читать / Результаты Предложить / принять Зафиксировать / Подтвердить в то...
1608 просмотров
schedule 03.09.2023

Простые выборы лидера (выборы лидера без гражданства)
Я создаю приложение на голанге, которое должно быть отказоустойчивым. Я посмотрел на различные алгоритмы, такие как RAFT и Paxos, и их реализации в golang (etcd's raft, hashicorp's raft), но мне кажется, что они могут быть излишними для моего...
1218 просмотров
schedule 22.11.2022

Paxos сделал простой выбор, предлагая ценность
В документе говорится: 1. Претендент выбирает новое предложение номер n и отправляет запрос каждому члену некоторого набора акцепторов, прося его ответить: (a) Обещание никогда больше не принимать предложение с номером меньше n, и...
76 просмотров
schedule 19.05.2023

Должны ли номера предложений быть уникальными на Паксосе?
Что может произойти, если два предложения будут выпущены с одним и тем же ProposalId? Это не должно создавать никаких проблем, если они имеют одинаковое значение. Но как насчет разных значений? Я могу разработать сценарий, в котором он рискует...
51 просмотров
schedule 24.02.2023

Язык программирования для реализации алгоритмов распределенной передачи сообщений
В принципе, я хотел бы реализовать следующие алгоритмы и проанализировать, как система, построенная с использованием этих алгоритмов, ведет себя в разных условиях. Протокол сплетен Несколько пакси Согласованное хеширование Меня...
1214 просмотров
schedule 07.05.2024

Облегченные транзакции Cassandra и алгоритм консенсуса Paxos
У меня есть очень конкретный вопрос об алгоритме Paxos, который реализован в облегченных транзакциях Cassandra: Что произойдет, если два узла выдадут одно и то же предложение одновременно? Они оба получают ' [applied]: true '? Например,...
908 просмотров
schedule 13.06.2024