installing.md

Autonome Systeme - Winter Semester 23/24

Martin Sulzmann

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”)
  • Was alles schief gehen kann
  • Weitere Aufgaben und Zusammenfassung
• Dynamic data race prediction
  • Happens-before Methode
  • Lockset Methode
• Deadlock Analyse
• Concurrency models
  • 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

• Tutorium, E301, Donnerstags 13:00-14:00

Ungefährer Ablauf siehe unten. Details siehe Forum

• W1, 25.09-01.10
  • Intro
  • Go multi-threading, Kanal-basierte Kommunikation
• W2, 02.10-08.10 (03.10 public holiday)
  • Kanal-basierte Kommunikation
• W3, 09.10-15.10
  • Kanäle von Kanälen
  • Nichtdeterministische Auswahl (“select”)
• W4, 16.10-22.10
  • Was alles schief gehen kann
• W5, 23.10-29.10
  • Deadlock, Starvation, Livelock
  • Problem der speisenden Philosophen
• W6, 30.10-05.11 (01.11 public holiday)
  • Keine Vorlesung
• W7, 06.11-12.11
  • Dynamische Data Race Erkennung
• W8, 13.11-19.11
  • Dynamische Data Race Erkennung
• W9, 20.11-26.11
  • Dynamische Data Race Erkennung
• W10, 27.11-03.12
  • Deadlock Analyse
• W11, 04.12-10.12
  • Concurrency models
• W12, 11.12-17.12
  • Concurrency models
• W13, 28.12-24.12
  • Concurrency models
• Winter break
• W14, 08.01-14.01
  • TBA
• W15, 15.01-21.01
  • Klausurvorbereitung