The students learn to specify and analyze models of concurrent execution, to design concurrent system using a systematic approach and to implement their design.
Contents
Concurrent execution. Modeling concurrency using a state model transition model. Shared objects and mutual exclusion. Monitors and condition synchronization. Deadlock, safety and liveness. Design principles. Possibly further topics.
Teaching methods
Teaching method
Contact
Online
Lectures
Exercises
Ca. 28 hours, mainly lectures but some exercise sessions also.
Teaching language
English
Modes of study
Exam and either a small coursework (totaling 6 ECTS) or a large coursework (totaling 10 ECTS).
Evaluation
Numeric 1-5.
Recommended year of study
Advanced level. The course is not lectured every year.
Study materials
Jeff Magee & Jeff Kramer: Concurrency - State Models & Java Programs. Wiley.