Paxos vs two phase commit

Staram się zrozumieć różnicę między Paxos a dwufazowym commitem jako sposobem osiągnięcia konsensusu między wieloma maszynami. Commit dwufazowy i trójfazowy jest bardzo łatwy do zrozumienia. Wydaje się również, że 3PC rozwiązuje problem awarii, która blokuje w 2PC. Więc nie bardzo rozumiem, co Paxos rozwiązuje. Czy ktoś może mi wyjaśnić, jaki problem dokładnie rozwiązuje Paxos?

Author: Keeto, 2014-12-05

2 answers

2PC blokuje, jeśli Menedżer transakcji zawiedzie, wymagając interwencji człowieka w celu ponownego uruchomienia. Algorytmy 3PC (jest kilka takich algorytmów) próbują naprawić 2PC wybierając nowego menedżera transakcji, gdy oryginalny menedżer nie powiedzie się.

Paxos nie blokuje tak długo, jak większość procesów (menedżerów) jest poprawna. Paxos faktycznie rozwiązuje bardziej ogólny problem konsensusu, stąd może być również używany do implementacji commit transakcji. W porównaniu do 2PC wymaga więcej wiadomości, ale jest odporny na awarie menedżerów. W porównaniu do większości algorytmów 3PC, Paxos renderuje prostszy, bardziej wydajny algorytm( minimalne opóźnienie wiadomości) i okazał się poprawny.

Gray i Lamport porównują 2PC i Paxos w doskonałym papierze zatytułowanym "Consensus on Transaction Commit".

(w odpowiedzi Piotr chyba miesza 2szt z 2PL (blokowanie dwufazowe).)

 27
Author: danyhow,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2014-12-05 09:27:34

2-PC jest najbardziej tradycyjnym protokołem zatwierdzania transakcji i stanowi rdzeń atomiczności transakcji. Ale to ma charakter blokujący, tzn. jeśli Menedżer transakcji / koordynator zawiedzie pomiędzy, spowoduje to blokowanie protokołu i żaden proces nie będzie tego świadomy. Wymaga ręcznej interwencji w celu naprawy koordynatora.

Podczas Gdy Paxos jako protokół konsensusu rozproszonego ma wielu takich koordynatorów i jeśli większość koordynatorów zgodzi się na zakończenie transakcji, staje się udaną transakcją atomową.

Powinieneś przeczytać https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-2003-96.pdf aby zrozumieć, w jaki sposób te dwa protokoły są zróżnicowane w bardziej szczegółowy sposób. W tym samym artykule Lesley i Lamport wprowadzają również protokół, tj. połączenie Paxos i 2-PC dla szybszej wydajności.

 0
Author: Kamal Chaturvedi,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2018-05-27 16:01:51