Nichtsequentielle Programmierung

Organisationseinheit
Freie Universität Berlin/Mathematik und Informatik

Zugangsvoraussetzungen

Keine

Qualifikationsziele

Die Studentinnen und Studenten verstehen die Grundbegriffe der nichtsequentiellen Programmierung mit gemeinsamem Speicher. Sie können nichtsequentielle Programme mit Prozessen, Threads und aktiven Objekten geeignet strukturieren und durch geeignete Synchronisationsverfahren unerwünschte nichtdeterministische Effekte sowie Verklemmungen vermeiden. Sie kennen und verstehen Sicherheitsrisiken, die in nichtsequentiellen Programmen entstehen können und können Methoden einsetzen, diese zu vermeiden. Sie können Eigenschaften von Prozessen und Threads formal spezifizieren und diese exemplarisch verifizieren.

Inhalte

Programmieren und Synchronisieren von gleichzeitig laufenden Prozessen, die auf gemeinsamen Speicher zugreifen.

Nichtsequentielle Programme und Prozesse in ihren verschiedenen Ausprägungen
Nichtdeterminismus, Determinierung
Synchronisationsmechanismen: Sperren, Monitore, Wachen, Ereignisse, Semaphore
Nichtsequentielle Programmausführung und Objektorientierung Ablaufsteuerung, Auswahlstrategien, Prioritäten, Umgang mit und Vermeidung von Verklemmung
Koroutinen, Implementierung, Mehrprozessorsysteme

Lehr- und Lernformen

Aktive Teilnahme

Vorlesung
2 SWS
Teilnahme empfohlen

schriftliche Bearbeitung der Übungsblätter
mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung

Übung
1 SWS
verpflichtete Teilnahme

schriftliche Bearbeitung der Übungsblätter
mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung

Aufwand

Präsenzzeit V	30 Stunden
Vor- und Nachbereitung V	60 Stunden
Präsenzzeit Ü	15 Stunden
Vor- und Nachbereitung Ü	60 Stunden
Prüfungsvorbereitung und Prüfung	45 Stunden

Modulprüfung
Klausur (90 Minuten); die Klausur kann auch in Form einer elektronischen Prüfungsleistung durchgeführt werden.

Differenzierte Bewertung
differenzierte Bewertung

Modulsprache
Deutsch

Arbeitsaufwand (Stunden)
210

Leistungspunkte (LP)
7

Dauer des Moduls
Ein Semester

Häufigkeit des Angebots
Jedes Sommersemester

Verwendbarkeit

30-LP-Modulangebot Informatik