Die Belegarbeit
In verteilten Systemen mit asynchroner Kommunikation ist es erwiesenermaßen
nicht möglich, Probleme wie
Consensus
oder
Leader Election
zu lösen, ohne dass man gewisse Annahmen treffen muss.
Mit Hilfe des
FAR-Modells
erreicht man, dass diese Annahmen sehr schwach sein können.
Eine solche Umgebung lässt sich mit
Stubborn Channels
realisieren, und wurde im Rahmen der Belegarbeit praktisch umgesetzt.
Mit Hilfe sowohl lokaler als auch internet-basierter Experimente und deren Messungen sind auch die Eigenschaften einer solchen Implementierung für reale Aufgaben gezeigt worden.
Download Belegarbeit
Download Folien zur Verteidigung (erstellt mit Pyntor)
