UB, BS - 7. Feb. 2001

Übungsblätter, Vorlesungsskripte und Aktuelles
zur Vorlesung Betriebsprogrammierung I (WS 2000/2001)

Aktuelles

NEW! Das in der Vorlesung erwähnte Simulations-Tool kann hier (Bracha bzw. Dolev) heruntergeladen werden.
Gestarted wird die Simulation (am besten jdk 1.3) mit

java BrachaDeadlock

bzw.

java DolevMain

Falls Interesse besteht, kann Prof. Dr. Hofmann Auskunft zum Programmaufbau geben.

Übungstermine

Der Termin der ersten Übung ist der 26./27. Oktober 2000.

Termin Raum Übungsleiter

Do. 9:00 - 10:00 0.031 Rüdiger Kapitza

Do. 13:00 - 14:00 H10 Rüdiger Kapitza

Do. 14:00 - 15:00 H10 Hans-Jörg Höxer

Fr. 11:00 - 12:00 2.038 Hans-Jörg Höxer

Termin	Raum	Übungsleiter
Do. 9:00 - 10:00	0.031	Rüdiger Kapitza
Do. 13:00 - 14:00	H10	Rüdiger Kapitza
Do. 14:00 - 15:00	H10	Hans-Jörg Höxer
Fr. 11:00 - 12:00	2.038	Hans-Jörg Höxer

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)
Fernaufruf (2FpS, 4FpS)
Gegenseitiger Ausschluss (2FpS, 4 FpS)
Update am 4.12.2000, Änderungen sind mit einem schwarzen Balken markiert
Uhrensynchronisation (2FpS, 4 FpS)
Transaktionen (2FpS, 4FpS)
Wahlalgorithmen (2FpS, 4FpS)
Update am 22.12.2000
Verteilte Terminierung (2FpS, 4FpS)
Update am 09.01.2001
Zustandssicherung / Rücksetzen (2FpS, 4FpS)
Verteilte Verklemmungserkennung (2FpS, 4FpS)
Einigungsprotokolle (2FpS, 4 FpS)

Übungsblätter und Lösungsvorschläge

Netzwerkgrundlagen (Übung vom 26./27.10.2000)
A Link Protocol (ALP) (Übung vom 02./03.11.2000)
RPC Grundlagen, Algorithmus von Lampson (Übung vom 09./10.11.2000)
RPC - verwaiste Fernaufrufe, SUN-RPC (Übung vom 16./17.11.2000)
Gegenseitiger Ausschluß - Lamport, Ricart-Agrawala (Übung vom 23./24.11.2000)
Gegenseitiger Ausschluß - Maekawa, Tokenbasierte Algorithmen, Vergleichskriterien (Übung vom 29.11.2000/1.12.2000)
Uhrensynchronisation - NTP (Übung vom 07./08.12.2000)
Transaktionen (Übung vom 14./15.12.2000)
Wahlalgorithmen (Übung vom 21./22.12.2000)
Blätter zum Mitschreiben/-malen in den Übungen gibts hier
Verteilte Terminierung (Übung vom 11./12.01.2001)
Globale Sicherungspunkte (Übung vom 18./19.01.2001)
Verteilte Verklemmungserkennung (Übung vom 25./26.01.2001)
Einigungsprotokolle (Übung vom 01./02.02.2001)
Einigungsprotokolle - Dolev und Burns/Neiger (Übung vom 08./09.02.2001)

Bemerkungen

Die Anmeldung zur Scheinprüfung erfolgt am 23.01.01 in der Vorlesung oder am 25./26.01.01 in den Übungen. Danach liegt die Anmeldeliste bis zum 31.01.01 bei uns (Uli Becker, Bernd Schnitzer) im Büro Zi. 0.036 aus.

Die Vorlesung beginnt dienstags um 16:00 s.t.

Ab sofort findet die Vorlesung Montags und Dienstags im Raum 0.031 statt!