VL: Parallelität in funktionalen Sprachen
12 113 11553 Parallelität in funktionalen Sprachen
Prof. Dr. R. Loogen
Dienstags, 16.15 - 18.00 Uhr, HS IV (Lahnberge)
Beginn: 14. April 2009
Übungen Mischa Dieterle
Mittwochs, 14 - 16 Uhr, SR V, Raum 05D09 (Lahnberge)
Beginn: 22. April 2009
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Hauptstudium, Vertiefungsmodul, Theoretische Informatik >=3 6 ???

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung
Querverbindungen: -
Scheinkriterien: Erfolgreiche Bearbeitung von 50% der Übungsaufgaben und Kolloquium

Vorlesungsunterlagen: Folien: Charakteristika funktionaler Sprachen (Druckversion)
Beispielprogramm zu Multicore Haskell: binom.hs, Visualisierung einer Ausführung auf 7 Kernen
Folien zum Exkurs: Vollständige Halbordnungen, Stetige Funktionen, Fixpunktsatz von Tarski
Folien zu Eden: Teil 1, Teil 2
Beispielprogramm zu Concurrent Haskell: testConcHaskell.hs
Links: Alles über Haskell
GHC - Glasgow Haskell Compiler
Multicore Haskell, geplantes Analysewerkzeug: Threadscope
Concurrent Haskell, Originalarbeit
Eden
Literatur:
  • K. Hammond, G. Michaelson (eds.): Research Directions in Parallel Functional Programming, Springer-Verlag 1999
    (Siehe Semesterapparat Prof. Loogen in der Fachbereichsbibliothek!)
    Buchbeschreibung
  • John Hughes: Why Functional Programming Matters (pdf)
    Computer Journal 32(2), 1989, pp 98-107
  • Phil Wadler: Functional Programming: Why no one uses functional languages (ps)
    SIGPLAN Notices 33(8):23-27, August 1998
  • Chris Clack and Simon L Peyton-Jones: Strictness analysis - a practical approach (ps), Proceedings IFIP International Conference on Functional Programming Languages and Computer Architecture (FPCA), Nancy (France), Springer-Verlag LNCS 201, pp 35-49, September 1985.
  • Phil W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon Peyton Jones: Algorithm + Strategy = Parallelism (ps), Journal of Functional Programming 8(1):23--60, January 1998.
  • Ulrike Klusik, Rita Loogen, Steffen Priebe: Controlling Parallelism and Data Distribution in Eden (ps), 2nd Scottish Functional Programming Workshop, St. Andrews 2000, Intellect, 2001.

Inhalt/Buchkapitel: Titelseite und Vorwort zum Buch
  1. Grundbegriffe und Klassifikation paralleler funktionaler Sprachen
  2. Hauptmerkmale und Eigenschaften funktionaler Sprachen
  3. Implizite Kontrollparallelität
  4. Die Kernsprache Mini-Haskell
  5. Striktheitsanalyse
  6. Kontrollierte Parallelität
  7. Prozeßkontrollsprachen, Algorithmische Skelette, Kostenmodelle
  8. Explizite Parallelität
  9. Datenparallelität

Zuletzt geändert: