Prerequisites
Requirements
Literature
Lectures
Assignments
Exams
Teachers and responsibilities
Main page
T-106.420 Concurrent Programming (3 cr) P
Fall 2005
Schedule
Changes and additions to the schedule are possible and will be announced| 20.9. |
Lecture |
Course organization,
Introduction to concurrency |
| 27.9. |
Lecture | Shared state, atomic
actions, traces |
| 4.10. |
Lecture | Corretness proofs, global
invariance, crirical sections, synchronization, scheduling policies |
| 11.10. |
Lecture | Locks |
| 18.10. |
Lecture | Semaphores Introduction to programming exercise #1 |
| 25.10. |
Lecture | Classical synchronization
problems |
| 1.11. |
Lecture | Monitors |
| 8.11. |
Lecture | Java's concurrency features |
| 15.11. |
Lecture | Message passing, Linda |
| 22.11. |
Lecture | Remote procedure calls,
distributed Systems |
| 29.11. |
Lecture | Pardigms for distribution,
Distributed algorithms |
| 7.12. 16-20 |
Wrap up |
Course summary, How to
prepare yourself for the exam. In hall T1. |
| 14.12. |
Examination |
16:00-19:00 Halls B,C,
Main building |
| 11.1. |
Examination |
9:00-12:00 Hall T1,
CS building |