Curricula Guides 2008–2009
x !
Archived Curricula Guide 2008–2010
Curricula Guide is archieved. Please refer to current Curricula Guides
TKOPS121 Design and Implementation of Concurrency 6–10 ECTS
Organised by
Computer Science
Person in charge
Professor of software development.
Preceding studies
Bachelor level computing studies. Java programming skills.

Learning outcomes

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 28 h 0 h

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 cr/3 cu) or a large coursework (totaling 10 ECTS cr/5 cu).

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.
2008–2009
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Department of Computer Sciences