NDAK14009U Parallel Functional Programming (PFP)
Data-parallel programming models express parallelism declaratively (explicitly) by means of higher-order language constructs, whose rich semantics allow high-level reasoning for exploring the large space of strategies for efficiently mapping application's parallelism to hardware.
The aim of the course is to introduce the principles and practice of parallel programming (i.e., programming using multiple hardware cores or processors in order to gain speed) in a declarative programming setting. The course covers both multi-core parallel programming (for MIMD CPU programming) and many-core parallel programming (as for SIMD GPGPU programming).
The course includes current research on these topics, and relies heavily on scientific papers as its source materials. The course will demonstrate the presented parallelization strategies on applications from the machine-learning, image-processing and finance domains.
The lectures will provide an overview of approaches to parallel programming and give practical instructions to writing, testing, and optimising data-parallel programs. The topics covered in the lecture will be exercised in lab assignments, consisting of programming and analysis of programs as well as questions for theoretical discussion.
- the difference between the concepts of concurrency and parallelism, and between data parallelism and task parallelism
- well-known parallelisation strategies, programming patterns, and program skeletons
- different approaches to parallelism taken in
various languages, with particular focus on how high-level
description of parallelism may be mapped in a principled way to
- express a parallel computation in data-parallel paradigms
- write, modify, and test data-parallel programs, in different programming environments, targeting different architectures such as multi-core CPUs and GPGPUs
- identify opportunities for using data-parallel programming to parallelise algorithms
- select a suitable programming language/dialect to implement a parallel algorithm on a given hardware platform
The course does not use a single textbook, but instead provides tutorials and scientific papers available from the course pages.
Academic qualifications equivalent to a BSc degree is recommended.
PhD’s can register for MSc-course by following the same procedure as credit-students, see link above.
- 7,5 ECTS
- Type of assessment
- Continuous assessmentContinuous evaluation based on 3-4 individual assignments and a group mini-project with individual oral defense (20-25 min.). The part-examinations must be individually approved. The final grade is based on an overall assessment.
- All aids allowed
- Marking scale
- 7-point grading scale
- Censorship form
- No external censorship
Several internal examiners
Resubmission of assignments and mini-project + 30 min oral examination without preparation in full course syllabus.
The part-examinations must be individually approved. The final grade is based on an overall assessment.
Criteria for exam assesment
See Learning Outcome.
- Exam Preparation
- Project work