Martin Geier, November 1996
Übungsblätter, Vorlesungsskripte und Aktuelles
zur Vorlesung
Betriebsprogrammierung I (WS 96/97)
Aktuelles
Übungstermine
Folgende Termine wurden festgelegt:
| Tag | Zeit | Raum
|
| Dienstag | 12:15-13:00 | 0.0152
(blaues Hochhaus)
|
| Mittwoch | 12:15-13:00
|
| 13:15-14:00 |
| 14:15-15:00 |
Folien zur Vorlesung
Hier befinden sich die Folien, die in der Vorlesung aufgelegt werden/wurden. Es werden zwei Formate angeboten:
- 4 Folien pro Seite (Hyperlink 4FpS.ps)
- 2 Folien pro Seite (Hyperlink 2FpS.ps)
Eine Kopie der Postscriptdokumente mit jeweils 2 Folien auf einer Seite
befindet sich ebenfalls in der Gruppenbibliothek im BP-1 WS-96/97-Ordner.
- Inhalt der Vorlesung
- Problematik der Kommunikation und Koordinierung in verteilten Systemen
(4FpS / 2FpS)
- Nachrichtenmechanismen
(4FpS / 2FpS)
- updated 12.11.96
- Fernaufruf (Remote Procedure Call)
- Grundbegriffe
(4FpS / 2FpS)
- Algorithmus von Lampson
(4FpS / 2FpS)
- Verwaiste Aufrufe (Orphans)
(4FpS / 2FpS)
- Implementationsbeispiel: SUN-RPC
(4FpS / 2FpS) - updated 2.December
- Gegenseitiger Ausschluß
- Logische Zeit, Algorithmus von Lamport, Algorithmus von Ricart und Agrawala
(4FpS / 2FpS)
- Algorithmus von Maekawa, Algorithmus von Sanders
(4FpS / 2FpS)
- Nachtrag zum Algorithmus von Sanders
(4FpS / 2FpS) - Vorlesung vom 10.12.
- Tokenbasierte Algorithmen: von Suzuki/Kasami, von Singhal, von Raymond
(4FpS / 2FpS)
- Nachtrag zu Algorithmus von Singhal
(4FpS / 2FpS) - Vorlesung vom 16.12
- Einigungsprotokolle
- Grundlagen, Unlösbarkeitsaussagen (4FpS / 2FpS) updated 10.1.97
- Algorithmen: Lamport,Shostak,Pease (oral und beglaubigte Nachrichten), Dolev, Burns und Neiger) (4FpS / 2FpS)
- Uhrensynchronisation
(4FpS / 2FpS) - updated 27.1.97
- Transaktionen
(4FpS / 2FpS)
- Wahlalgorithmen
- Fragestellung, Verfahren auf Bäumen, Verfahren auf Netzen
(4FpS / 2FpS)
- Adoptionsverfahren, Warteverfahren
(4FpS / 2FpS)
- Verteilte Terminierung
(4FpS / 2FpS)
- updated 18.2.97
- Verteilte Verklemmungserkennung
(4FpS / 2FpS)
- Verteilte Zustandssicherung
(4FpS / 2FpS)
Übungsblätter und Lösungsvorschläge
- ARP & Friends (Aufgabenstellung & Lösungsvorschlag)
- A Link Protocol (Aufgabenstellung & Lösungsvorschlag)
- RPC - Grundlagen, Algorithmus von Lamport (Aufgabenstellung & Lösungsvorschlag)
- RPC - verwaiste Aufrufe, SUN-RPC (Aufgabenstellung & Lösungsvorschlag)
- Gegenseitiger Ausschluß in verteilten Systemen - logische Uhren, Lamport und Ricart/Agrawala (Aufgabenstellung & Lösungsvorschlag)
- Gegenseitiger Ausschluß in verteilten Systemen - Kriterienübersicht, Maekawa und Sanders (Aufgabenstellung & Lösungsvorschlag)
- Gegenseitiger Ausschluß in verteilten Systemen - tokenbasierte Lösungsansätze, Einigungsprotokolle - Grundlagen (Aufgabenstellung & Lösungsvorschlag)
- Einigungsprotokolle - OM und SM (Aufgabenstellung & Lösungsvorschlag)
- Einigungsprotokolle - Dolev und Burns/Neiger (Aufgabenstellung & Lösungsvorschlag)
- Uhrensynchronisation - NTP (Aufgabenstellung & Lösungsvorschlag)
- Transaktionen (Aufgabenstellung & Lösungsvorschlag)
- Wahlalgorithmen (Aufgabenstellung & Lösungsvorschlag)
- Verteilte Terminierung (Aufgabenstellung & Lösungsvorschlag)
- Verteilte Zustandssicherung (Aufgabenstellung & Lösungsvorschlag)
Bemerkungen
Diese Seite wird manuell erstellt und gewartet. Falls irgendetwas
hier nicht stimmen sollte, bitte Mail an
Martin Geier (Geier@informatik.uni-erlangen.de)