Entwurf und Implementierung paralleler Programme (SS 01)

Priv.-Doz. Dr. Rolf Hennicker

Inhaltsverzeichnis dieser Seite

• Inhalt
• Übungsblätter
• Personen
• Termine

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, Safety- und Liveness-Eigenschaften und Deadlocks, erfasst und analysisert werden. Zur Analyse werden Methoden des "Model-Checking" eingesetzt.

Für die Implementierung paralleler Programme wird die objektorientierte Sprache Java und das Thread Konzept 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:
  Grundkenntnisse von UML und von Java.

• 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.

• Übungsblatt 1
• Übungsblatt 2
• Übungsblatt 3
• Übungsblatt 4
• Übungsblatt 5
• Lösung zu Aufgabe 2
• Übungsblatt 6
• Lösung zu Aufgabe 2
• Producer/Consumer zum Download
• Übungsblatt 7
• Übungsblatt 8
• Übungsblatt 9
• Übungsblatt 10

Die Vorlesung wird gehalten von:

Priv.-Doz. Dr. Rolf Hennicker

Adresse:	Raum E 0.11, Oettingenstr. 67
Telefon:	2178-2184
Email Adresse:	hennicke@informatik.uni-muenchen.de
Sprechstunde:	Montag, 14-15

Die Übungen werden betreut von:

Rolf Hennicker

• Vorlesung:

  3-stündig

  Zeit:	Montag 9-12 Uhr
  Ort:	Hörsaal 1.31, Oettingenstr. 67
  Beginn:	23.04.01

• Übung:

  2-stündig

  Zeit:	Freitag 11-13 Uhr
  Ort:	Hörsaal 17, Oettingenstr. 67
  Beginn:	4.5.01

• Klausur:

  Zeit:	Montag, 30.Juli 01, 11.00-13.00 Uhr
  Ort:	Hörsaal 138, Theresienstr. 39

zurück zum Inhaltsverzeichnis dieser Seite