Autonome Systeme - Sommer Semester 26

Martin Sulzmann

Evaluation

Background: Sets, multisets, lists, logic, ordering relations, …
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
Understanding the meaning of programs via operational semantics
- Preliminaries (sets, multisets, lists and tuples,…)
- A simple imperative language
- For fun: Various semantics for expressions with and and or
- Multi-threading
- Locks
- Programm traces (coming up)
- MiniGo (coming up)
Dynamic versus static analysis methods
- Language-based static verification (coming up)
Dynamic data race prediction
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

Exercises:

Wöchentlicher Ablauf (siehe auch ilias Forum)