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

Module name: Concurrent programming
Module code: W4-IN-S2-20-2-PW
Programme code: W4-S2IN19.2020
Semester: winter semester 2021/2022
Language of instruction: Polish
Form of verification: course work
ECTS credits: 2
Description:
The aim of the course is to introduce students to the subject of design and implementation of correct and efficient concurrent algorithms. The practical aspects of the presented issues are emphasized, and examples made using modern programming languages and tools are presented.
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]
Has extended knowledge of the ways in which parallel and concurrent computing are performed on modern computers. [M_001]
 K_W02 [1/5] K_U09 [1/5]
Has knowledge about the safety properties of concurrent programs and is able to 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]
Is able to 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]
Is able to 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]
Students are tested on the knowledge gained during lectures and laboratory classes. The test consists of a number of closed and (optionally) open questions.
 M_001 M_002 M_003 M_004
Test. [W_002]
At least one test assessing the knowledge gained by students during laboratory classes.
 M_001 M_002 M_003
Programming assignment. [W_003]
An optional programming assignment (project) that checks the programming skills acquired 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]
Presentation of the course material in spoken and written forms, supplemented with multimedia content. Emphasizing issues that are more difficult to understand and have deeper theoretical foundations. Engaging listeners by asking questions about the content presented.
 15
Reading recommended books and articles. Analysis and repetition of lecture content. Preparation for the final test.
 15 Final test. [W_001]
laboratory classes [Z_002]
Preparation of students to apply the knowledge in programming practice through the presentation of sample programs and programming tools. Discussion of the methodology by pointing out the key steps required to obtain correct and efficient solutions to typical concurrent programming problems.
 15
Working on assignments. Studying 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)