Concurrent Systems (CS) in WS 2020/21
The chat room for CS participants is #faui4cs on the fsi rocket chat.
Important:The course will take place via synchronous web conferences this semester. More information will follow.
Important: Please subscribe in the Waffel system!
Lecture content
- Introduction
- Overview and organisation
- Fundamentals
- Concurrency
- causality (interdependencies, dimensions)
- resource sharing (principles, competition, synchronisation)
- Processes
- sequential, non-sequential (concurrent, simultaneous, interacting)
- physical (kernel/user thread) and logical (scheduling states) characteristics
- Critical sections
- race condition, race management (sequential/concurrent control)
- patterns of data/control-flow races
- Elementary operations
- Pessimistic methods
- Locks
- Semaphore
- Monitor and condition variable
- Deadlock and livelock
- Optimistic methods
- Interrupt-transparent synchronisation
- Non-blocking synchronisation
- Transactional memory
- Progress guarantees
- Conclusion
- Rummage table
- Wrap-up
Note that the above-listed lecture topics are still under construction and subject to change.
Further information on the lecture, including schedule and printing stock, can be found here.
Exercise content
Blackboard exercises will deepen and complement the lectures contents. Additional programming tasks facilitate practical experience on concurrent systems.
More information about the exercise...
Lecturer and Tutors
UnivIS Schedule
Detailed Schedule
45 | 2.11 | 3.11 | 4.11 | 5.11 | 6.11 |
Lecture 01 | |||||
46 | 9.11 | 10.11 | 11.11 | 12.11 | 13.11 |
Lecture 02 | |||||
Exercise 01 | |||||
47 | 16.11 | 17.11 | 18.11 | 19.11 | 20.11 |
Lecture 03 | |||||
Computer Ex. | |||||
48 | 23.11 | 24.11 | 25.11 | 26.11 | 27.11 |
Lecture 04 | |||||
Exercise 02 | |||||
49 | 30.11 | 1.12 | 2.12 | 3.12 | 4.12 |
Lecture 05 | |||||
Computer Ex. | |||||
50 | 7.12 | 8.12 | 9.12 | 10.12 | 11.12 |
Lecture 06 | |||||
Exercise 03 | |||||
51 | 14.12 | 15.12 | 16.12 | 17.12 | 18.12 |
Lecture 07 | |||||
Computer Ex. | |||||
52 | 21.12 | 22.12 | 23.12 | 24.12 | 25.12 |
53 | 28.12 | 29.12 | 30.12 | 31.12 | 1.1 |
1 | 4.1 | 5.1 | 6.1 | 7.1 | 8.1 |
Lecture 08 | |||||
Exercise 04 | |||||
2 | 11.1 | 12.1 | 13.1 | 14.1 | 15.1 |
Lecture 09 | |||||
Computer Ex. | |||||
3 | 18.1 | 19.1 | 20.1 | 21.1 | 22.1 |
Lecture 10 | |||||
Exercise 05 | |||||
4 | 25.1 | 26.1 | 27.1 | 28.1 | 29.1 |
Lecture 11 | |||||
Computer Ex. | |||||
5 | 1.2 | 2.2 | 3.2 | 4.2 | 5.2 |
Lecture 12 | |||||
Computer Ex. | |||||
6 | 8.2 | 9.2 | 10.2 | 11.2 | 12.2 |
Lecture 13 | |||||
Exercise 06 |