Dienstags: 10:15-12:00, GB V, Raum 113
Beginn: 12.04.2011
Kerninformatiker, Ingenieurinformatiker, Lehramt im Masterstudium
Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen, die Vorlesung Verteilte Algorithmen I ist nicht unbedingt vorausgesetzt
Die Spezialvorlesung Verteilte Algorithmen II setzt Verteilte Algorithmen I fort. Die dort eingeführte leicht verständliche und praktikable Beschreibungstechnik wird zu Beginn noch einmal aber nun aus sehr pragmatischer Sicht vorgestellt werden, so dass es sich zwar nicht um eine Wiederholung handelt, dass aber auch ein Einsteigen in Verteilte Algorithmen II, ohne Verteilte Algorithmen I gehört zu haben, möglich ist.
Im weiteren werden verteilte Algorithmen behandelt mit dem Ziel, die Algorithmen an sich vorzustellen, d.h. ihre konkrete Funktionsweise und die mit ihnen verteilt lösbaren Aufgaben (z.B. Erzeugung konsistenter Sichten, Synchronisation verteilter Partner, eindeutige Aufgaben-Zuteilung, faire Zuordnung, global atomare Aktionen) zu erläutern. Es werden wichtige Algorithmenvertreter aus den für den Entwurf praktischer Ortsverbund-Anwendungen wesentlichen Anwendungsfeldern der Kontrolle verteilter Systeme, der Verteilten Datenhaltung, der Erkundung verteilter Systeme und der zuverlässigen Kommunikation in verteilten Systemen erläutert. Die Algorithmen werden hauptsächlich in fortgeschrittenen Peer-to-Peer-Systemen und in verteilten Agentensystemen als Basisalgorithmen eingesetzt.
Die Studierenden sollen einerseits ein praktikables Verfahren zur Spezifikation verteilter Algorithmen kennen lernen, das sie in die Lage versetzt, konkrete verteilte Algorithmen präzise zu beschreiben sowie effizient aus bekannten Bausteinen neue Algorithmen zu entwickeln und zu definieren. Weiterhin sollen sie die wichtigsten verteilten Algorithmen kennen gelernt haben, so dass sie beim Entwurf verteilter Anwendungen in der Lage sind, passende Basisalgorithmen zu identifizieren, anzupassen und einzusetzen.
Literaturhinweise werden im Verlauf der Vorlesung gegeben.
Die Folien zur Vorlesung werden zum Download im WWW bereit gestellt.
Es finden Übungen statt!