Vorlesung: Parallelität in funktionalen Sprachen

VL: Parallelität in funktionalen Sprachen

12 113 11553

Parallelität in funktionalen Sprachen

Dienstags, 16.15 - 18.00 Uhr, HS IV (Lahnberge)

Beginn: 19. Oktober 2010

Übungen

Mittwochs, 14 - 16 Uhr, HS IV (Lahnberge) bzw. Rechnerraum auf D5 (05D08) (Achtung neuer Termin!)
Beginn: 20. Oktober 2010 im Rechnerraum auf D5 (05D08)
Achtung: Die Übungen am Mittwoch, dem 2. Februar 2011 fallen aus!

Fachgebiet	Klassifikation	Semester	Leistungspunkte (ECTS)	Skript
Informatik	Hauptstudium, Vertiefungsmodul, Theoretische Informatik	>=3	6	teilweise

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung

Querverbindungen: -

Scheinkriterien: Erfolgreiche Bearbeitung von 50% der Übungsaufgaben und Kolloquium
Durch das Vorrechnen von Übungsaufgaben im Tutorium können Bonuspunkte erworben werden.

Vorlesungsunterlagen:

Folien: Charakteristika funktionaler Sprachen (Druckversion)
Folien zum Exkurs: Vollständige Halbordnungen, Stetige Funktionen, Fixpunktsatz von Tarski
Beispielprogramme zu Multicore Haskell/GpH:

... mit Original-Strategien: strategies.hs, examplePar.hs, queens0.hs
... mit monadischen Strategien: exampleParNeu.hs, queens.hs

Folien zu Eden: Teil 1, Teil 2
Eden-Beispielprogramme:

Beispielprogramme zu Concurrent Haskell: testConcHaskell.hs, LockHierarchy.hs
Beispielprogramme zu Software Transactional Memory (STM): testSTM.hs, philosophers.hs

Links:	Alles über Haskell
	GHC - Glasgow Haskell Compiler
	Glasgow Parallel Haskell
	Multicore Haskell, Analysewerkzeug: Threadscope
	Eden
	Concurrent Haskell, Originalarbeit
	Haskell plus MPI
	Data Parallel Haskell
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. Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa K. Aswad, and Phil Trinder: Seq no more: Better Strategies for Parallel Haskell, Haskell Symposium 2010. Simon Peyton Jones and Satnam Singh: A Tutorial on Parallel and Concurrent Programming in Haskell, Advanced Functional Progamming Summer School, Nijmegen, May 2008

Inhalt/Buchkapitel:

Titelseite und Vorwort zum Buch

Grundbegriffe und Klassifikation paralleler funktionaler Sprachen
Hauptmerkmale und Eigenschaften funktionaler Sprachen
Implizite Kontrollparallelität
Die Kernsprache Mini-Haskell
Striktheitsanalyse
Kontrollierte Parallelität
Prozeßkontrollsprachen, Algorithmische Skelette, Kostenmodelle
Explizite Parallelität
Datenparallelität

Zuletzt geändert:

Voraussetzungen:	Grundkenntnisse in funktionaler Programmierung
Querverbindungen:	-
Scheinkriterien:	Erfolgreiche Bearbeitung von 50% der Übungsaufgaben und Kolloquium Durch das Vorrechnen von Übungsaufgaben im Tutorium können Bonuspunkte erworben werden.