Lehrstuhl
Institut
Universität
Entwurf und Implementierung paralleler Programme (WS 04/05)
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 Programme besprochen. 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 wird UML verwendet.
- Hörerkreis:
- Studierende mit Haupt- und Nebenfach Informatik.
- Voraussetzungen:
- Java (ohne Thread-Konzept) und UML.
- Literaturhinweise:
- Jeff Magee, Jeff Kramer: Concurrency: State Models and Jave Programs, Wiley, 1999.
- Doug Lea: Concurrent Programming in Java: Design Principles and Patterns, Addison Wesley, 1997.
- Nützliche Links:
zurück zum Inhaltsverzeichnis dieser Seite
Vorlesungsfolien
Die folgenden Vorlesungsfolien unterliegen dem Copyright ©.
Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet.
Alle anderen Rechte sind vorbehalten.
(The following notes are copyright ©.
Participants of the lecture may use these notes for personal studies. All other rights are reserved.)
Unvollständige Folien werden in der Vorlesung ergänzt.
Die Folien umfassen den Stoff bis einschließlich der 14. Vorlesung am 07.02.05.
Letzte Aktualisierung am 04.02.05:
Kapitel 9 ab S.11 aktualisiert und vervollständigt,
Inhaltsverzeichnis der Vorlesung bereitgestellt.
zurück zum Inhaltsverzeichnis dieser Seite
Übungsblätter
zurück zum Inhaltsverzeichnis dieser Seite
Klausur
| Zeit: |
| Freitag, 11.2.2005, 8:30 - 10:30 |
| Ort: |
| HS 201, Uni-Hauptgebäude |
Zur Klausurteilnahme ist eine Anmeldung erforderlich!
Die Anmeldung kann ab sofort hier erfolgen und muss bis spätestens Montag, 24.01.05, 12:00 Uhr geschehen.
Schriftliche oder elektronische Hilfsmittel sind bei der Klausur nicht zugelassen.
Bringen Sie bitte zur Klausur einen ausreichend frankierten, aber nicht
adressierten Briefumschlag, sowie Studentenausweis und
Personalausweis mit! Scheinformulare sind nicht beizulegen.
zurück zum Inhaltsverzeichnis dieser Seite
Personen
Die Vorlesung wird gehalten von:
Prof. Dr. Rolf Hennicker
| Adresse:
| Raum E 0.11, Oettingenstr. 67
|
| Telefon:
| 2180-9184
|
| Email Adresse:
|
hennicker*at*ifi.lmu.de
|
| Sprechstunde:
| Montag, 14-15 |
Die Übungen werden betreut von:
Dr. Matthias Hölzl
zurück zum Inhaltsverzeichnis dieser Seite
Termine
Vorlesung:
3-stündig
| Zeit:
| Montag 8-11 Uhr |
| Ort:
| Hörsaal E51, Theresienstr. 39 |
| Beginn:
| 18.10.04 |
Übung:
2-stündig
| Zeit:
| Freitag 10-12 Uhr |
| Ort:
| Hörsaal E51, Theresienstr. 39 |
| Beginn:
| 29.10.04 |
Klausur:
| Zeit: |
| Freitag, 11.2.2005, 8:30 - 10:30 |
| Ort: |
| HS 201, Uni-Hauptgebäude |
Für die Teilnahme an der Klausur ist eine Anmeldung erforderlich, die bis spätestens Montag,
24.01.05, 12:00 erfolgt sein muss.
Die Einzelheiten werden
hier
bekannt gegeben.
zurück zum Inhaltsverzeichnis dieser Seite
Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an
wwwmaster"at"pst.ifi.lmu.de
Rolf Hennicker,
9.8.2004