Concurrency - Theory and Practise
General Information
Lectures:
| Lecturer: | Prof. Dr. Peter Thiemann | |
| Time and Place: |
Wed 16 - 18, Geb. 51, SR 00-031 | |
Tutorials:
| Organization: | Dr. Bas van den Heuvel | |
| Exercise Sessions: | Fri 12 - 14, Geb. 106, R 04-007 (occasionally online) | |
For up-to-date information, use the webpage here.
Literature (non-exhaustive)
- The Art of Multiprocessor Programming by Maurice Herlihy and Nir Shavit; and
- Java Concurrency in Practice by Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes and Doug Lea.
Topics
This course covers the topics from the following (non-exhaustive) selection:
- Basics of Mutual exclusion
- Formal Models of Concurrent Computations
- Correctness of Concurrent Computations
- Memory Models
- Concurrent data structures
- Scheduling and Work Distribution in Practise
- Message Passing Concurrency
- Session Types