Concurrent Systems (CS) in WS 2015/16
Important: Please subscribe in the
Waffel system!
Contact me if you cannot log in: drescher@cs.fau.de
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
The exercises shown here are blackboard exercises, they will take place in 0.031. On all other dates on monday and friday there will be computer exercises in 00.156.| CW | Mo | Tu | We | Th | Fr |
|---|---|---|---|---|---|
| 42 | 12.10 | 13.10 | 14.10 | 15.10 | 16.10 |
| Lecture 1 | |||||
| 43 | 19.10 | 20.10 | 21.10 | 22.10 | 23.10 |
| Exercise 1 | Lecture 2 | Exercise 1 | |||
| 44 | 26.10 | 27.10 | 28.10 | 29.10 | 30.10 |
| Lecture 3 | |||||
| 45 | 2.11 | 3.11 | 4.11 | 5.11 | 6.11 |
| Exercise 2 | Lecture 4 | Exercise 2 | |||
| 46 | 9.11 | 10.11 | 11.11 | 12.11 | 13.11 |
| Lecture 5 | |||||
| 47 | 16.11 | 17.11 | 18.11 | 19.11 | 20.11 |
| Exercise 3 | Lecture 6 | Exercise 3 | |||
| 48 | 23.11 | 24.11 | 25.11 | 26.11 | 27.11 |
| Lecture 7 | Comp. ex. canceled |
||||
| 49 | 30.11 | 1.12 | 2.12 | 3.12 | 4.12 |
| Lecture 8 | |||||
| 50 | 7.12 | 8.12 | 9.12 | 10.12 | 11.12 |
| Lecture 9 | Comp. ex. canceled |
||||
| 51 | 14.12 | 15.12 | 16.12 | 17.12 | 18.12 |
| Exercise 4 | Lecture 10 | Exercise 4 | |||
| 52 | 21.12 | 22.12 | 23.12 | 24.12 | 25.12 |
| 53 | 28.12 | 29.12 | 30.12 | 31.12 | 1.1 |
| semester break | |||||
| 1 | 4.1 | 5.1 | 6.1 | 7.1 | 8.1 |
| 2 | 11.1 | 12.1 | 13.1 | 14.1 | 15.1 |
| Lecture 11 | |||||
| 3 | 18.1 | 19.1 | 20.1 | 21.1 | 22.1 |
| Lecture 12 | |||||
| 4 | 25.1 | 26.1 | 27.1 | 28.1 | 29.1 |
| Comp. ex. canceled |
Lecture 13 | Comp. ex. canceled |
|||
| 5 | 1.2 | 2.2 | 3.2 | 4.2 | 5.2 |
| Comp. ex. canceled |
Lecture 14 | Comp. ex. canceled |
|||
The exercises shown here are blackboard exercises, they will take place in 0.031. On all other dates on monday and friday there will be computer exercises in 00.156.
