VL: Parallelität in funktionalen Sprachen
VL 12065 Parallelität in funktionalen Sprachen
Prof. Dr. R. Loogen
Dienstags, 9-12 Uhr, HS I (Lahnberge)
Beginn: 22.10.2002
UE 12066 Jost Berthold
Freitags, 8:30 - 10:00 Uhr, HS I (geändert!)
Beginn: 25. 10. 2002
Fachgebiet Klassifikation Semester Fortsetzung Skript
Informatik Hauptstudium, Theoretische Informatik >=3 Seminar/FoPra SS 2003 nein

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung
Querverbindungen: -
Scheinkriterien: Erfolgreiche Bearbeitung von 50% der Übungsaufgaben und Kolloquium
Links: Alles über Haskell
Haskell-Einführung (1.Übung)
GHC - Glasgow Haskell Compiler
GPH - Glasgow Parallel Haskell
GranSim-Anleitung (ps.gz, pdf)
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.
Übungsblätter: Blatt 1 (Postscript, PDF), wortsuche-.hs
Blatt 2 (Postscript, PDF), Springerproblem.hs
Blatt 3 (Postscript, PDF), Springerproblem_LSG.hs
Beispiel für ein GpH-Programm (vgl. Vorlesung): binomialkoeff.hs
Blatt 4 (Postscript, PDF)
Blatt 5 (Postscript, PDF)
Blatt 6 (Postscript, PDF), fft.hs
Blatt 7 (Postscript, PDF)
Blatt 8 (Postscript, PDF), mandelbrot.hs
Blatt 9 (Postscript, PDF), EdenSkel.lhs
Aufgabe 9.3 wird zurückgestellt.
Blatt 10 (Postscript, PDF)
Blatt 11 (Postscript, PDF)
Blatt 12 (letztes Blatt) (Postscript, PDF)


Inhalt:
  1. Klassifikation paralleler funktionaler Sprachen
  2. Automatische Parallelisierung
  3. Annotationsbasierte Ansätze
  4. Kontrollbasierte Ansätze
  5. Prozeßkontrollsprachen
  6. Explizite Parallelität
  7. Datenparallelität
  8. Algorithmische Skelette
  9. Kostenmodelle


Zuletzt geändert: Monday, 20-Jan-2003 15:43:50 CET