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
  • Language-based static verification (coming up)
• Dynamic data race prediction
  • Overview
  • Happens-before Methode
  • TSan and examples
  • Lockset Methode
  • Summary
• Deadlock Analyse
• Go Analysis Scenarios
  • Examples and tools available (coming up)
• 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, E301, Donnerstags 11:30-13:00 und auf zoom

Wöchentlicher Ablauf (siehe auch ilias Forum)

• W1, 29.09-05.10
  • Intro
  • Go multi-threading, Kanal-basierte Kommunikation
• W2, 06.10-12.10
• W3, 13.10-19.10
• W4, 20.10-26.10
• W5, 27.10-02.11
• W6, 03.11-09.11
• W7, 10.11-16.11
• W8, 17.11-23.11
• W9, 24.11-30.11
• W10, 01.12-07.12
• W11, 08.12-14.12
• W12, 15.12-21.12
  • Christmas break
• W13, 05.01-11.01 (Tuesday public holiday)
• W14, 12.01-18.01
• W15, 19.01-25.01