 |
Vorlesung Parallele und Verteilte Systeme
Donnerstag, 13:30 - 15:00 Uhr, Hörsaal A, Marienstr. 13
Übung: Dienstag, 13:30 - 15:00 Uhr, Hörsaal A, Marienstr. 13 (14-täglich, ungerade Woche)
Inhalt:
Die Vorlesung gibt eine Einführung zu Gegenstand, Anwendungsgebieten und Grundbegriffen der Parallelverarbeitung, stellt Parallelrechnerarchitekturen im Überblick vor und diskutiert einzelne parallele Algorithmen, Entwurfsmuster sowie allgemeine Anforderungen an den Entwurf effizienter Programme. Ein besonderer Augenmerk liegt auf dem Nachweis der Korrektheit paralleler Programme.
Gliederung der Vorlesung:
• Abstraktionen der Parallelverarbeitung
• Technik von Parallelrechnern und verteilten Systemen
• parallele und verteilte Programmierung
• Verifikation von parallelen Programmen
• Petri-Netze
• Konzepte verteilter Systeme
• Arbeiten in verteilten Umgebungen
Materialien:
Petri-Netze (Beispiele für Hpsim)
Grundlagen der Betriebssysteme
Parallelprogrammierung Teil1 Teil2 Teil3