Korrekte Protokolle

Deadlock

Frage:

Was ist ein Deadlock?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Bedingungen für einen Deadlock

Frage:

Nenne die Bedingungen für einen Deadlock!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Livelock

Frage:

Was ist ein Livelock?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Fairness

Frage:

Was versteht man unter Fairness?

Nennen sie die Annahmen für Fairness!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

lokale Fairness

Frage:

Was ist lokale Fairness? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

globale Fairness

Frage:

Was ist globale Fairness? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

globale vs lokale Fairness

Frage:

Erkläre den Unterschied zwischen globaler und lokaler Fairness! 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Alternating Bit Protokoll

Frage:

Beschreibe die Funktionsweise des Alternating Bit Protokolls! 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Alternating Bit Protokoll Probleme

Frage:

Welches Problem hat das Alternating Bit Protokoll? Wie kann man es lösen? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Entwicklung korrektes Protokoll

Frage:

Warum ist es schwierig, ein korrektes Protokoll zu entwickeln? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Sicherheitseigenschaften eines Protokolls

Frage:

Was sind Sicherheitseigenschaften eines Protokolls? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Lebendigkeitseigenschaften eines Protokolls

Frage:

Was sind Lebendigkeitseigenschaften eines Protokolls? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Sicherheitseigenschaften vs Lebendigkeitseigenschaften

Frage:

Warum trennt man bei der Analyse von Protokoll Korrektheit gerne in Sicherheitseigenschaften
und Lebendigkeitseigenschaften auf?  

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Nicht- Determinismus

Frage:

Was bedeutet der Begriff Nicht‐Determinismus? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.