x !
Archived Curricula Guide 2010–2011
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.
Corresponding course units in the curriculum
Department of Computer Sciences
Curricula 2008 – 2010

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

Department of Computer Sciences
The rest of the compulsory courses should be selected from these (Computer Science)
2010–2011
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Department of Computer Sciences