Modul VSR_04
Vorlesung Protokolle Verteilter Systeme (WS 2011/2012)
Prüfung
Ab sofort ist die Terminwahl für die mündliche Prüfung möglich
Dozent
Ansprechpartner
Durchführung
SWS (V/Ü/S/P): 2/2/0/0
Inhalt
Qualifikationsziele
- Grundlegendes Verständnis über Protokollmechanismen Verteilter Systeme im Internet und World Wide Web
- Vertiefte Kenntnisse von Ansätzen und Technologien im Bereich SOA und Web Services
Vorkenntnisse (empfohlen)
Semesterempfehlung
5.
Diplom Informatik
(auslaufender Studiengang)
5.
Diplom Angewandte Informatik
(auslaufender Studiengang)
1.
Master Informatik bei Studienbeginn im Wintersemester
2.
Master Informatik bei Studienbeginn im Sommersemester
1.
Master Data & Web Engineering
1.
Master Parallele und Verteilte Systeme bei Studienbeginn im Wintersemester
2.
Master Parallele und Verteilte Systeme bei Studienbeginn im Sommersemester
1.
Master Automotive Software Engineering bei Studienbeginn im Wintersemester
2.
Master Automotive Software Engineering bei Studienbeginn im Sommersemester
1.
Master Intelligente Medien und Virtuelle Realität bei Studienbeginn im Wintersemester
2.
Master Intelligente Medien und Virtuelle Realität bei Studienbeginn im Sommersemester
Termine
Termine im iCal-Format zum Import in eigene Terminverwaltung
Materialien
- Teil 1 (12.10.2011)
- Teil 2 (18.10.2011)
- Teil 3 (25.10.2011)
- Teil 4 (01.11.2011)
- Teil 5 (08.11.2011)
Frage aus der Vorlesung: Worin unterscheiden sich die beiden RPC-Semantiken At-most-once und Exactly-once?-
At-most-once: Es wird garantiert, dass die Funktion nur einmal ausgeführt wird. Durch den Client wird nur ein
Aufruf geschickt. Der Server merkt sich das Ergebnis einer Anfrage mittels der vom Client mitgesendeten ID. Sollte ein Client wiederholt mit
der derselben ID eine Anfrage senden, so wird die Funktion nicht erneut ausgeführt, sondern nur das gespeicherte Ergebnis zurück geschickt.
Der Client bestätigt den Erhalt des Ergebnisses, worauf der Server sein gespeichertes Ergebnis löscht. Damit ist garantiert, dass die Funktion nur ein einziges Mal ausgeführt wird.
- Exactly-once: Umfasst die Eigenschaften von at-most-once und maskiert auch Ausfälle von Client und Server. Nach einem Fehlerfall werden beide Systeme in einen konsistenten Zustand zurückgesetzt und der gesamte Ablauf wiederholt. Die Realisierung eines solchen Verhaltens erfolgt mit verteilten Transaktionen. In verteilten Systemen ist dies nicht einfach zu realisieren.
-
At-most-once: Es wird garantiert, dass die Funktion nur einmal ausgeführt wird. Durch den Client wird nur ein
Aufruf geschickt. Der Server merkt sich das Ergebnis einer Anfrage mittels der vom Client mitgesendeten ID. Sollte ein Client wiederholt mit
der derselben ID eine Anfrage senden, so wird die Funktion nicht erneut ausgeführt, sondern nur das gespeicherte Ergebnis zurück geschickt.
Der Client bestätigt den Erhalt des Ergebnisses, worauf der Server sein gespeichertes Ergebnis löscht. Damit ist garantiert, dass die Funktion nur ein einziges Mal ausgeführt wird.
- Teil 6 (15.11.2011)
- Teil 7 (22.11.2011)
- Teil 8 (29.11.2011)
- Teil 9 (15.12.2011)
- Teil 10 (20.12.2011)
Mindmap von PVS-Jeopardy - Teil 11 (11.01.2012)
- Teil 12 (17.01.2012)
- Teil 13 (24.01.2012)
- Teil 14 (01.02.2012)
Übungsmaterialien
- 1. Übung (25.10.2011)
- 2. Übung (01.11.2011)
- 3. Übung (08.11.2011)
- 4. Übung (15.11.2011)
- 5. Übung (22.11.2011)
- 6. Übung (29.11.2011)
- 7. Übung (06.12.2011)
- 8. Übung (13.12.2011)
- 9. Übung (01.01.2012)
- 10. Übung (17.01.2012)
- 11. Übung (24.01.2012)
- 12. Übung (01.02.2012)
Links
Literatur