x !
Archived Curricula Guide 2011–2012
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 Jyrki Nummenmaa
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
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.

Belongs to following study modules

School of Information Sciences
The rest of the compulsory courses should be selected from these (Computer Science)
School of Information Sciences
Master level, Computer Science
2011–2012
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
School of Information Sciences