Exercise

Concurrency

Name in diploma supplementConcurrency
Organisational Unit Juniorprofessur für Sichere Software Systeme (https://www.syssec.wiwi.uni-due.de/)
LecturersJun.-Prof. Dr. Lucas Davi
SPW2LanguageGerman
Cyclesummer semesterParticipants at mostno limit

Preliminary knowledge

elementare Java-Programmierung

Contents

  • Grundkonzepte der Nebenläufigkeit
  • Modellierung von Nebenläufigkeit mit gekoppelten Automaten
  • Synchrone und asynchrone Kopplung, zeitbehaftete Automaten
  • Verhaltensspezifikation und Model Checking mit Computational Tree Logic
  • Modellierung durch Ablaufmodelle
  • Identifikation von Schreib- und Lesekonflikten sowie Datenabhängigkeiten
  • Modellierung von Kommunikations- und Synchronisationsmustern
  • Erweiterung der Programmierfähigkeit von sequentiellen auf nebenläufige Programme anhand des Thread-Konzepts von Java und dem mit synchronized-Methoden verbundenen Monitorkonzept
  • darauf aufbauend: Implementierung von höheren Konzepten der Kommunikation und Synchronisation (wie sie teilweise in Java schon vordefiniert sind, z. B. Locking)
  • Abschließend wird ein Programmrahmen für eine allgemeine Synchronisationsmethode erstellt

Literature

siehe Vorlesung

Participants

  • AI-SE Bachelor 2017>Kernstudium >Pflichtbereich II: Informatik >Modul "Concurrency"2nd-3rd Semester, Compulsory
  • LA Info GyGe Master 2014>Wahlpflichtbereich Informatik >Modul "Concurrency"1st-3rd Semester, Elective
  • Mathe Bachelor 2013>Informatik >Liste 1 >Modul "Concurrency"1st-6th Semester, Elective
  • TechMathe Bachelor 2013>Wahlpflichtbereich >Profil "Software Systems Engineering" >Modul "Concurrency"1st-6th Semester, Elective
WIWI‑C0373 - Exercise: Concurrency