Aktuelles

• Die Noten der Nachholprüfung werden nicht (noch zusätzlich) in UniWorX veröffentlicht.
  
• Anstatt der geplanten Nachholklausur werden mündliche Prüfungen stattfinden. Den angemeldeten Studenten wurden heute (Montag, 14.11.) die jeweiligen Prüfungstermine per Email (an CIP-Adresse laut UniWorX) mitgeteilt. Falls Prüfungstermine nicht wahrgenommen werden können, bitte eine Email an Sebastian Bauer. Bitte melden Sie sich, falls Sie keine Einladungsmail mit der genauen Zeit Ihrer Prüfung bekommen haben.
  Die Prüfungen werden in 2- bzw. 3-er Gruppen stattfinden, und dauern 30 bzw. 45 Minuten.
  

• Die Anmeldung zur Nachholklausur ist nun über das neue UniWorX ( https://uniworx.ifi.lmu.de/ ) freigeschaltet. Die Veranstaltung heißt "Nachholklausur Parallele Programme SoSe 2011", und dann innerhalb der Veranstaltung auch für die Klausur anmelden. Die Anmeldung endet am 23.11., 23:59 Uhr.
  
• Die Klausurergebnisse sind nun über UniWorx veröffentlicht. Klausureinsicht findet am Donnerstag, 29.09.2011, um 15-16 Uhr im Raum F007, Oettingenstr. 67, statt.
  
• Sobald die Klausur korrigiert ist, werden die Noten wie üblich über UniWorx veröffentlicht. In der Zwischenzeit können Sie an der Online-Evaluation zur Vorlesung teilnehmen, die Informationen dazu kamen per Email.
• Der Termin der Nachholklausur steht fest: siehe weiter unten.
  
• Am Donnerstag, 28. Juli, findet die letzte Vorlesung statt. Die Übungen am 29. Juli finden nicht mehr statt.
  
• Jede/r, der an der Klausur am 29. Juli teilnehmen möchte, bitte bis 28. Juli, 12:00 Uhr, über UniWorx anmelden.
  Bringen Sie zur Klausur Ihren aktuellen Studentenausweis sowie einen Lichtbildausweis mit. Hilfsmittel sind nicht zugelassen.
  
• Ab Fr, 20. Mai, findet die ursprünglich für 14-16 angesetzte Übungsgruppe von 10-12 Uhr statt im Raum S 230, Schellingstr. 3.
  
• Bitte melden Sie sich über UniWorx zur Vorlesung an.
• Die Folien zur ersten Vorlesung werden spätestens bis Di, 3. Mai, unter Materialien bereit gestellt und sollen ausgedruckt zur Vorlesung mitgebracht werden.
  
• Die erste Vorlesung findet am 5. Mai statt. Die Vorlesung beginnt immer um 11:45 Uhr (nach der Vorlesung Datenbanksysteme II) und endet um 14:15 (3-stdg.).
  
• Die ersten Übungen finden am 13. Mai statt.

Inhalte

In komplexen Systemen werden häufig eine Vielzahl von Prozessen gleichzeitig (bzw. quasi-gleichzeitig) ausgeführt. In dieser Vorlesung werden Methoden und Techniken zur Entwicklung von Softwaresystemen auf der Grundlage paralleler Programme besprochen.

Für die Spezifikation und den Entwurf paralleler Programme wird die auf endlichen Zustandsmaschinen beruhende Sprache FSP (Finite State Processes) 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.

Termine

Vorlesung

• Donnerstag 11:45-14:15 Uhr (3-stdg.), Schellingstr. 3, Hörsaal 002
  

Übung

• Freitag 10-12 Uhr, Schellingstr. 3, Raum S 230
  
• Freitag 12-14 Uhr, Geschwister-Scholl-Platz 1, D Z001

Klausur

Nachholklausur

• Freitag, 25. November 2011, 15:30  - 17:30
  Hörsaal A 140, Hauptgebäude, Geschwister-Scholl-Platz 1
  

Personen

Dozent

• Prof. Dr. Rolf Hennicker

Übungsleiter

• Dipl.-Math. Sebastian Bauer

Materialien

Vorlesung

Die folgenden Vorlesungsfolien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.

Die Folien werden jeweils bis spätestens Dienstag vor der nächsten Vorlesung hier bereitgestellt und sollen ausgedruckt zur Vorlesung mitgebracht werden.

Die Vorlesungsfolien enthalten Lücken, die in der Vorlesung ausgefüllt werden.

• Kapitel 1 (vollständig)
• Kapitel 2 (vollständig)
• Kapitel 3 (vollständig)
• Kapitel 4 (vollständig)
• Kapitel 5 (vollständig)
• Kapitel 6 (vollständig)
• Kapitel 7 (vollständig)
• Kapitel 8 (vollständig)
• Inhaltsverzeichnis der Vorlesung
  

Letzte Aktualisierung am 14. Juli 2011.
Kapitel 8 und Inhaltsverzeichnis hinzugefügt.
Damit sind alle Folien bis zur letzten Vorlesung des SS 2011 verfügbar.

Diplomstudiengänge in Informatik, Master Informatik, Bachelor Informatik (Vertiefende Themen), Nebenfach Informatik zu Diplom-Mathematik oder Diplom-Physik

Benötigte Vorkenntnisse

Sequentielles Java sowie Grundkenntnisse der Unified Modeling Language UML

Literatur

• Jeff Magee, Jeff Kramer: Concurrency: State Models and Java Programs, Wiley & Sons; Auflage: 2nd ed. (21. April 2006).
  Weitere Inhalte (z.B. Folien zum Buch) hier verfügbar:
  http://www.doc.ic.ac.uk/~jnm/book/

Tool

• LTSA - Labelled Transition System Analyser
  http://www.doc.ic.ac.uk/ltsa/