Entwurf und Implementierung paralleler Programme
Aktuelles
- Klausureinsicht: 24. August, 14-16 Uhr, Raum E0.3, Oettingenstr. 67
Informationen
- Materialien
- Termine
- Übungen
- Personen
Inhalt
In komplexen Systemen werden typischerweise eine Vielzahl von Prozessen gleichzeitig (bzw. quasi-gleichzeitig) ausgeführt. In dieser Vorlesung werden Methoden und Techniken zur Entwicklung paralleler Programmebesprochen.
Für die Spezifikation und den Entwurf paralleler Programme wird die auf endlichen Zustandsmaschinen beruhende Sprache FSP von Magee und Kramer verwendet. Damit können typische Phänomene und Eigenschaften, die bei der Programmierung paraller Programme auftreten, wie z.B. Prozess-Synchronisation, Sicherheits- und Lebendigkeits-Eigenschaften und Deadlocks, erfasst und analysiert werden. Zur Analyse werden Methoden des Model-Checking
eingesetzt.
Für die Implementierung paralleler Programme wird das Thread-Konzept von Java verwendet. Es werden methodische Richtlinien für die Überführung von Prozessmodellen in Java-Programme besprochen. Zur Modellierung der Implementierung paralleler Systeme wird die Unified Modeling Language UML verwendet.
Hörerkreis
Studierende mit Haupt- und Nebenfach Informatik
(nicht für den Bachelorstudiengang Informatik).Benötigte Vorkenntnisse
Java (ohne Thread-Konzept) und UML.
Forum
Siehe www.die-informatiker.net.
Literatur
- Jeff Magee, Jeff Kramer: Concurrency: State Models and Java Programs, Wiley & Sons; Auflage: 2nd ed. (21. April 2006)
- Doug Lea: Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley Longman, Amsterdam; Auflage: 2 (7. Dezember 1999)
Nützliche Links