Concurrent programming Field of study: Computer Science
Programme code: W4-S2INA19.2020

Module name: Concurrent programming
Module code: W4-INA-S2-20-2-PW
Programme code: W4-S2INA19.2020
Semester: winter semester 2021/2022
Language of instruction: English
Form of verification: course work
ECTS credits: 2
Description:
The course aims at introducing the students to the subject of design and implementation of correct and efficient concurrent algorithms. The course emphasises practical aspects of the presented issues and presents the examples of modern programming languages and tools in use.
Prerequisites:
(no information given)
Key reading:
Ben-Ari, Mordechai, and Môtî Ben-Arî. Principles of concurrent and distributed programming. Pearson Education, 2006. Herlihy, Maurice, and Nir Shavit. The art of multiprocessor programming. Morgan Kaufmann, 2011. Czech, Zbigniew J. Introduction to parallel computing. Cambridge University Press, 2016. Goetz, Brian, et al. Java concurrency in practice. Pearson Education, 2006.
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
The student has extended knowledge of how parallel and concurrent computing work on modern computers. [M_001]
 K_W02 [1/5] K_U09 [1/5]
The student knows the safety properties of concurrent programs and can verify that the given concurrent algorithm is correct. [M_002]
 K_W02 [1/5] K_W04 [1/5] K_W05 [1/5] K_U05 [1/5] K_U09 [1/5]
The student can identify and solve typical problems of concurrent computations. [M_003]
 K_W02 [1/5] K_W04 [1/5] K_W05 [1/5] K_U05 [1/5] K_U09 [1/5] K_K04 [1/5]
The student can assess the effectiveness of a parallel algorithm. [M_004]
 K_W02 [1/5] K_W04 [1/5] K_U05 [1/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Final test. [W_001]
The test checks the knowledge gained during lectures and laboratory classes. It comprises several closed and (optionally) open-ended questions.
 M_001 M_002 M_003 M_004
Test. [W_002]
There is at least one mid-term test assessing the knowledge gained by students during laboratory classes.
 M_001 M_002 M_003
Programming assignment. [W_003]
There is an optional programming assignment checking the programming skills gained during the course.
 M_001 M_002 M_003 M_004
Form of teaching Student's own work Assessment of the learning outcomes
Type Description (including teaching methods) Number of hours Description Number of hours
lecture [Z_001]
The course comprises material presented in verbal and written forms supplemented with multimedia content. It is mainly focused on more deeply rooted in theory and more complicated issues. The students are encouraged by asking them questions about the content presented during the lectures.
 15
The student reads the recommended books and articles, analyse and revise the lecture content and prepares for the final test.
 15 Final test. [W_001]
laboratory classes [Z_002]
The students prepare to apply the knowledge in programming practice through sample programmes and programming tools. There is a discussion on the method by pointing out the critical operations required to get correct and efficient solutions to typical concurrent programming problems.
 15
The student works on assignments and studies the recommended literature.
 15 Test. [W_002] Programming assignment. [W_003]
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)