Proposition - Erkennen von Inkonsistenzen in verteilten Systemen

• Involvierte Definitionen:
  • Vector Clock
  • siehe auch Erkennen veralteter Datenstände in verteilten Systemen
• Veranstaltung: DEDS
• Referenz: @storl2024 (KE6, NoSQL: Datenmodelle und Techniken; Teil 2.5)

⠀

Proposition: Erkennen von Inkonsistenzen in verteilten Systemen

Seien Knoten mit jeweiligen Vector Clocks und gegeben.

Wir können erkennen, ob und welche Nodes einen inkonsistenten Zustand haben, indem wir nach zwei Knoten suchen, für die gilt:

Wir suchen also nach zwei Knoten, die einerseits in ihrer eigenen Lamport-Clock den höchsten Wert haben, die andererseits aber den höchsten Wert des jeweils anderen Knotens nicht enthalten.

Anmerkung

Beispiel: