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

Übungsblätter: ...erscheinen dienstags.
Die Aufgaben sind am darauffolgenden Dienstag vor der Vorlesung abzugeben. Programmieraufgaben senden Sie zusätzlich an dieterle[at]mathematik.uni-marburg.de
Blatt 1, 21.04.2009   (Programm)
Blatt 2, 28.04.2009  
Blatt 3, 05.05.2009   (Programm)
Blatt 4, 12.05.2009  
Blatt 5, 19.05.2009  
Blatt 6, 26.05.2009  
Blatt 7, 02.06.2009  
Blatt 8, 09.06.2009  
Blatt 9, 16.06.2009   (Programm)
Blatt 10, 23.06.2009   (Programm)
Eden Modul Eden.hs - importiert: ParPrim.hs
Map Skelette für Eden: EdenMapSkels.lhs
Umgebungsvariablen: bashrcextension, tcshrcextension
Fachbereichsrechner: pvmhosts
Blatt 11, 30.06.2009  
Blatt 12, 07.07.2009   (Programm)

Software für Übungen: Wir arbeiten aussschließlich unter Linux.
Die verwendete Software ist am Fachbereich unter /app/lang/functional/bin bzw. /app/lang/functional/bin64zu finden.
Zur Konfiguration siehe Blatt 1
Konfigurations- oder Bedienungsprobleme? Bitte im Tutorium ansprechen oder an Mischa Dieterle wenden!
Nützliches zu Haskell: Haskell Hierarchical Libraries
Haskell Reference
hoogle - Haskell Suche
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: Tuesday, 14-Jul-2009 19:27:09 CEST