Lehrstuhl
Institut
Universität
Entwurf und Implementierung paralleler Programme (WS 06/07)
Aktuelles
Scheine werden am Samstag, 24.2.07, verschickt.
Die Klausurergebnisse sind nach Erhalt einer diesbezüglichen EMail über UniWorx
einsehbar.
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 Java Programs, 2nd Edition, Wiley, 2006.
- 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 einschliesslich der 15. Vorlesung am 05.02.07.
Letzte Aktualisierung am 31.01.07: Inhaltsverzeichnis hinzugefügt
zurück zum Inhaltsverzeichnis dieser Seite
Übungsblätter
zurück zum Inhaltsverzeichnis dieser Seite
Klausur
| Zeit: Freitag, 9.2.2007, 8:00-10:00 |
| |
| Ort: Hörsaal M 218, Uni Hauptgebäude |
| |
Zur Klausurteilnahme ist eine Anmeldung erforderlich!
Die Anmeldung kann ab sofort über UniWorX erfolgen und muss bis spätestens Freitag, 26.01.07, 18:00 Uhr geschehen.
Dazu sind folgende Schritte notwendig:
- Registrierung bei UniWorX (falls noch nicht geschehen)
- Anmelden zur Vorlesung "Entwurf und Implementierung paralleler Programme".
- Anmelden zur Klausur.
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, 17-18 |
Termine
Vorlesung:
3-stündig
| Zeit:
| Montag 8-11 Uhr |
| Ort:
| E02, Schellingstr. 3 |
| Beginn:
| 16.10.06 |
Übung:
2-stündig
| Zeit:
| Freitag 10-12 Uhr |
| Ort:
| HGB A 214, Geschwister-Scholl-Platz 1 |
| Beginn:
| 27.10.06 |
zurück zum Inhaltsverzeichnis dieser Seite
Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an
wwwmaster"at"pst.ifi.lmu.de