Fogo-Epochen hielten, selbst wenn das lokale Quorum nicht bestand
Beim Modellieren von verteilten Systemen gehe ich normalerweise davon aus, dass lokale Koordinationsschichten den Fortschritt verzögern können. Wenn ein regionales Quorum ausfällt, wird die Kontinuität der Epochen oft unsicher, und dieses Risiko muss irgendwo in der Anwendungslogik absorbiert werden.
Bei Fogo habe ich das nicht gesehen.
Selbst als eine Konsenszone es nicht schaffte, innerhalb ihres Zeitrahmens ein Quorum zu erreichen, brach der Fortschritt der Epochen nicht zusammen. Das System fiel einfach auf den globalen Konsens für diese Epoche zurück, und die Kontinuität der Ausführung blieb genau wie erwartet erhalten.
Aus der Perspektive eines Entwicklers ändern sich die Annahmen.
Ich benötigte keine Notfallwege für den Ausfall von Zonen, und ich behandelte das lokale Quorum nicht als Voraussetzung für die Gültigkeit der Epoche. Zonen verhielten sich wie eine Optimierungsschicht und nicht wie eine Abhängigkeitsschicht, sodass das Epochenmodell deterministisch blieb.
Fogo-Epochen hielten, selbst wenn das lokale Quorum nicht bestand, und diese Trennung zwischen lokaler Koordination und globaler Sicherheit erleichterte das Verständnis des Konsensverhaltens erheblich.
