VL: Parallelität in funktionalen Sprachen
12 113 11553 Parallelität in funktionalen Sprachen
Prof. Dr. R. Loogen
Dienstags, 12.25 - 13.55 Uhr, HS V (Raum 04A23, Lahnberge)
Beginn: 16. April 2014, 12.15 - 13.45, SR XV (Raum 04C37)
Übungen Mischa Dieterle
Mittwochs, 12.15 - 14.00 Uhr, HS IV (Raum 04A30, Lahnberge)
Beginn: 23. Oktober 2014
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Vertiefungsmodul, Theoretische Informatik >=3 6 teilweise

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung
Querverbindungen: -
Kriterien für die Leistungspunktevergabe:
  1. aktive Teilnahme an den Übungen
  2. erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben, Abgabe in Zweiergruppen ist erlaubt.
  3. Vorbereitung und mündliche Präsentation von mindestens zwei Übungsaufgaben
  4. Bestehen der Abschlussprüfung (mündliche Prüfung oder (bei mehr als 15 Teilnehmer/innen) Klausur)
Termine:
  • Prüfungsanmeldung: Eine Anmeldung zur Abschlussprüfung ist bis zum 20. Juni 2014 möglich.
  • Prüfungen: 22./23. Juli 2014
Unterlagen zur Vorlesung Übungsblätter, Folien und weitere Unterlagen werden über das ILIAS-System bereitgestellt.

Inhalt:
  1. Grundbegriffe und Klassifikation paralleler funktionaler Sprachen
  2. Die Kernsprache Mini-Haskell
  3. Striktheitsanalyse
  4. Kontrollierte Parallelität: Kombinatoren par/pseq, Strategien, Threaded RTS
  5. Prozesskontrollsprachen: Eden, Par-Monade
  6. Nebenläufigkeit: Concurrent Haskell
  7. Explizite Parallelität: Haskell_MPI
  8. Datenparallelität: Repa

Zuletzt geändert: Wednesday, 14-May-2014 13:11:23 CEST