VL: Parallelität in funktionalen Sprachen
VL 12065 Parallelität in funktionalen Sprachen
Prof. Dr. R. Loogen
Mittwochs, 12-13 Uhr, HS IV (Lahnberge), Donnerstags, 9-11 Uhr, HS IV (Lahnberge)
Achtung: Am Mittwoch, dem 31. Mai, fällt die Vorlesung aus. Ein Ersatztermin wird am Donnerstag, dem 1. Juni, festgelegt.
Beginn: 19. April 2006
UE 12066 Jost Berthold
Montags, 11 - 13 Uhr, HS I
Beginn: 24. April 2006
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Hauptstudium, Theoretische Informatik >=3 7 nein

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

>
Vorlesungsunterlagen: Folien: Charakteristika funktionaler Sprachen
Links: Alles über Haskell
Haskell-Einführung
GHC - Glasgow Haskell Compiler
GPH - Glasgow Parallel Haskell
GranSim - ein Simulator für GpH
Eden
Concurrent Haskell
Erlang -
  • In der Vorlesung wurden Kapitel 3 und 4 des Erlang Tutorials behandelt.
  • Lokaler Aufruf des Systems: /app/lang/functional/bin/erl; Verlassen mit: halt().
  • Demonstrationsprogramm: demo.erl
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:
  1. Klassifikation paralleler funktionaler Sprachen
  2. Implizite Kontrollparallelität
  3. Die Kernsprache Mini-Haskell
  4. Striktheitsanalyse
  5. Kontrollierte Parallelität
  6. Prozeßkontrollsprachen, Algorithmische Skelette, Kostenmodelle
  7. Explizite Parallelität
  8. Datenparallelität (Nicht behandelt!)

Zuletzt geändert: