Evaluation

• Klausur, 60min, ohne Hilfsmittel

• Bonuspunkte (10% extra) bei Bearbeitung Online Tests

  • Lineare Bonuspunkte Verteilung (100% Online Tests = 10% extra, 50% Online Tests = 5% extra)
  • Pro Test zwei Versuche jeweils 90min
  • Durchführungstermine beachten

Vorlesungsunterlagen

• Overview
• Concurrency in Go
  • Go multi-threading, Kanal-basierte Kommunikation
  • Synchrone versus Asynchrone Kommunikation
  • Kanäle von Kanälen
  • Nichtdeterministische Auswahl (“select”)
  • Weitere Aufgaben und Zusammenfassung
• Fehlerszenarien und Programmspuren
• Dynamic versus static analysis methods
• Dynamic data race prediction
  • Overview
  • Happens-before Methode
  • TSan and examples
  • Lockset Methode
  • Summary
• Deadlock Analyse
• Go Analysis Scenarios
• Concurrency models
  • Design of EDSLs (by making use of generics, higher-order functions, …)
  • Focus on concurrent EDSLs:
    • mutex
    • fork/join
    • barrier
    • wait/notify
    • actors
    • futures und Zusammenfassung
    • Mehr zu futures und promises
• Weitere Beispiele
• Go - kurz und knapp

Semesterablauf

• Vorlesung, E302, Donnerstags 09:50-11:20 und auf zoom

• Tutorium, E302, Donnerstags 11:30-13:00

Wöchentlicher Ablauf (siehe auch ilias Forum)

• W1, 27.03-23.03
  • Intro
  • Go multi-threading, Kanal-basierte Kommunikation
  • Diese Woche kein Tutorium
• W2, 24.03-30.03
  • Go multi-threading, Kanal-basierte Kommunikation
• W3, 31.03-06.04
  • select
  • channels of channels
• W4, 07.04-13.04
  • Fehlerszenarien und Programmspuren
• W5, 14.04-20.04 (Karfreitag)
  • Keine Vorlesung
• W6, 21.04-27.04 (Ostermontag + Dienstag Vorlesungsfrei)
  • Dynamic versus static analysis methods
  • Fehlerszenarien und Programmspuren (speisende Philosophen)
• W7, 28.04-04.05 (Donnerstag Feiertag)
  • Keine Vorlesung
• W8, 05.05-11.05
  • Dynamic data race prediction
• W9, 12.05-18.05
  • Dynamic data race prediction
• W10, 19.05-25.05
  • Dynamic data race prediction
• W11, 26.05-01.06 (Donnerstag Feiertag)
  • Keine Vorlesung
• W12, 02.06-08.06
  • Deadlock Analyse
• 09.06-15.06 (Vorlesungsfreie Woche)
• W13, 16.06-22.06 (Donnerstag Feiertag)
  • Keine Vorlesung
• W14, 23.06-29.06
  • Concurrency models
• W15, 30.06-06.07
  • Concurrency models