Verteilte Algorithmen, die ausfallsicher sind, können entweder deterministisch oder probabilistisch sein. Nehmen wir zum Beispiel das Konsensproblem.
Paxos ist deterministisch in dem Sinne, dass es unter der Annahme, die es macht, immer funktioniert.
Im Gegensatz dazu funktioniert der randomisierte Konsens mit einer bestimmten Wahrscheinlichkeit.
Was ist der Vorteil beim Entwerfen und Verwenden eines deterministischen Algorithmus?
Die Annahmen, auf die sich deterministische Algorithmen stützen, haben auch eine Wahrscheinlichkeit, in der Realität zu bleiben (was als ihre Annahmenabdeckung bezeichnet wird ). Daher besteht immer die Wahrscheinlichkeit, dass ein deterministischer Algorithmus in der Realität nicht funktioniert.