Gibt es allgemeine Algorithmen für die Erzielung von Konsistenz in verteilten Systemen?

Question

Gibt es Algorithmen, die häufig verwendet werden, um in verteilten Systemen eine Konsistenz zu erreichen?

Es gibt Algorithmen, die für ACID-Transaktionen in verteilten Systemen entwickelt wurden, insbesondere Paxos, aber gibt es eine ähnliche Theorie, die für BASE Szenarien entwickelt wurde, mit schwächerer Konsistenz garantiert?

Bearbeiten: Dies scheint ein Bereich der akademischen Forschung, die erst begonnen wird, zu entwickeln. Mcdowellas Antwort zeigt, dass es in diesem Bereich zumindest einige Arbeiten gibt.

Answer 1

Wenn „Anti-Entropie-Protokolle , die durch den Vergleich von Replikaten arbeiten und Unterschiede in Einklang zu bringen. " passt Ihre Definition Blick auf http://en.wikipedia.org/wiki/Gossip_protocol

Answer 2

BASE und schwächere Konsistenz läuft auf die Konvergenz der Kopien in einem Replikationsszenario hinaus. Es gibt eine große Literatur über die Replikation in verteilten System mit eitern eifrig oder faul Replikation mit Gruppe oder Master Kopie usw.

Consensus ist ein Problem, das genau formuliert werden kann. Mehrere Lösungen/Algorithmen können vorgeschlagen werden. Lazy Replikation mit Konvergenz der Kopien ist nicht. Ich denke, es ist eher ein architektonisches Problem. Aber wie ich gerade sagte, gibt es eine Menge Arbeit über Replikation oder verteilten Speicher, was genau das ist, wonach Sie suchen.

Hier sind doch ein paar Links, die ich interessant fand:

für die Reparatur von replizierten Daten
• Comparision of some modern distributed storage system
• Scalaris
• The danger or replication
• ACID vs. BASE