UB,
BS
-
25.
Feb.
2000
Übungsblätter, Vorlesungsskripte und Aktuelles
zur Vorlesung Betriebsprogrammierung I (WS 99/00)
Aktuelles
Zur Anmeldung für die Scheinprüfung können Sie
sich in der letzten Übung (24./25.02.00) in eine Liste
eintragen. Danach liegt die Liste bis zum Semesterende in
unserem Büro aus (Zi. 0.036).
Übungstermine
Die Übungen zur Vorlesung finden an folgenden Terminen statt:
Termin
| Raum
| Übungsleiter
|
Do.
| 09:05 - 09:50
| 0.031
| Hans Reiser
|
Do.
| 12:00 - 12:45
| H10
| Hans Reiser
|
Do.
| 13:00 - 13:45
| H10
| Hans Reiser
|
Fr.
| 11:15 - 12:00
| 2.038
| Hans Reiser
|
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) und 2 Folien pro Seite (Hyperlink 2FpS.ps)
- Inhalt der Vorlesung
(2FpS, 4FpS)
- Problematik der Kommunikation und Koordinierung in verteilten Systemem
(2FpS, 4FpS)
- Nachrichtenmechanismen
(2FpS, 4FpS)
Korrektur der Folien 26 - 28
(2FpS, 4FpS)
am 16.11.99
- Fernaufruf
Korrektur der Folien 12
(2FpS, 4FpS)
und 16/17
(2FpS, 4FpS)
am 02.12.99
Korrektur der Folie 66
(2FpS, 4FpS)
am 10.12.99
- Gegenseitiger Ausschluss
(2FpS, 4 FpS)
- Uhrensynchronisation
(2FpS, 4 FpS)
Korrektur der Folie 23
(2FpS, 4FpS)
und der Folie 30
(2FpS, 4FpS)
am 12.01.00
Ergänzung der Folie 31
(2FpS, 4FpS)
am 14.01.00
- Transaktionen
(2FpS, 4FpS)
Korrektur der Folien 7 und 9
(2FpS, 4FpS)
am 12.01.00
- Wahlalgorithmen
(2FpS, 4FpS)
- Verteilte Terminierung
(2FpS, 4FpS)
Kleine Änderungen an den Folien 15 und 26 am 31.01.00
- Verteilte Verklemmungserkennung
(2FpS, 4FpS)
- Zustandssicherung / Rücksetzen
(2FpS, 4FpS)
- Einigungsprotokolle
Korrektur der Folie 15
(2FpS, 4FpS)
und 41-52
(2FpS, 4FpS)
am 22.02.00
Übungsblätter und Lösungsvorschläge
- Netzwerkgrundlagen (Übung vom 11./12.11.1999)
- A Link Protocol (ALP) (Übung vom 18./19.11.1999)
- RPC Grundlagen, Algorithmus von Lampson
(Übung vom 25./26.11.1999)
- RPC - verwaiste Fernaufrufe, SUN-RPC
(Übung vom 02./03.12.1999)
- RPC - Entwurfskriterien für RPC-Systeme
(Übung vom 09./10.12.1999)
Beachten Sie für diese Übung auch den Hinweis unter
"Bemerkungen".
- Gegenseitiger Ausschluß - Lamport, Ricart-Agrawala
(Übung vom 16./17.12.1999)
- Gegenseitiger Ausschluß - Maekawa,
Tokenbasierte Algorithmen, Vergleichskriterien (Übung vom 23.12.1999)
- Uhrensynchronisation - NTP
(Übung vom 13./14.01.2000)
- Transaktionen
(Übung vom 20./21.01.2000)
- Wahlalgorithmen
(Übung vom 27./28.01.2000)
Blätter zum Mitschreiben/-malen in den Übungen gibts
hier
- Verteilte Terminierung
(Übung vom 03./04.02.2000)
- Globale Sicherungspunkte
(Übung vom 10./11.02.2000)
- Einigungsprotokolle
(Übung vom 17./18.02.2000)
- Einigungsprotokolle - Dolev und Burns/Neiger
(Übung vom 24./25.02.2000)
Bemerkungen
- Die Vorlesungen beginnen montags c.t., dienstags s.t.
- Bei inhaltlich relevanten Änderungen von Folien stellen wir ein
Update bereit, welches nur diese Folien umfasst. Zudem bringen wir
auch den gesamten Foliensatz des entsprechenden Kapitels auf den
neuesten Stand.
- Aufgabe 5 (RPC - Entwurfskriterien für RPC-Systeme) ist
lediglich ein Gerüst für eine Diskussion innerhalb der
Übungen. Folglich kann hierfür kein ausgearbeiteter
Lösungsvorschlag existieren.
- Am Fr. 24.12.99 finden keine Übungen statt.
- Falls sich jemand für eine Simulation des
RPC-Algorithmus interessiert, steht das von Prof. Dr. F.
Hofmann verwendete Tool als Java-Quellcode unter
/proj/i4bp/public/WS99-00/RPC-JAVA zur Verfügung. Es
handelt sich um ein selbstgeschriebenes, für den
Eigengebrauch gedachtes und daher undokumentiertes Programm,
das aufgrund einiger Nachfragen nun bereitgestellt
wird. Fragen zum Programm können per Mail an die
Übungsleiter
oder besser direkt an
Prof. Dr. F. Hofmann
gerichtet werden.
Diese Seite wird manuell erstellt und gewartet. Falls irgendetwas
hier nicht stimmen sollte, bitte
Mail an die Übungsleiter