TU Wien:Distributed Algorithms VU (Schmid)/SS13 Quiz 2

1. Wahr/Falsch: a)b) zwei Reihenfolgen von Events waren gegeben, zb. del()del()comp() und del()comp()del()comp() und ob das Ergebniss übereinstimmt.
2. Wahr/Falsch: a)b)
3. Wahr/Falsch: a) Ist es möglich dass in einem LE Algorithmus zu haben wo es temporär mehrere Leader gibt? b) Ein LE Algorithmus arbeitet immer falsch wenn nicht m Nachrichten gesendet werden.
4. Kurz: Was ist Order Equivalence?
5. Kurz:
6. Kurz: Wie ist eine Norm Funktion definiert?
7. Welche 3 Eigenschaften besitzt ein Synchrones System(ohne Lockstep Rounds)?
8. Invariante beweisen, für einen Ring, wo p0 mit Id0 das max hatte und nur größere Werte nach links weiter gegeben werden. Es galt die Invariante zu beweisen dass der outbuf von p0 nie eine andere id als id0 enthält.
9. Eine Äquivalenzrelation war zu beweisen, er wollte damit Prüfen ob man Irreflexivität,Transitivität und Antisymmetrie beherrscht.