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