OHJ-4040/6 Concurrency, Adv.course (3cp; spr2009)

Homework results out: see newsgroup!
Exam on May 22!

Official description
Home page
Exam file
Newsgroup tut.ot.rinnjk
Studies of Software Engineering
Prior: 2006 2007 2008
$Id: Eindex.html 1782 2008-08-12 08:15:31Z mikko$
Spring 2009, initial version.

$Id: index.html 2133 2009-03-22 15:18:13Z mikko$
Room TB224; small changes.

$Id: index.html 2138 2009-03-23 14:01:18Z mikko$
Box 224.

$Id: index.html 2147 2009-03-24 15:33:23Z mikko$
Fixed date problems on 1st page of lecture notes.

Lecturer: Professor Mikko Tiusanen, mikko.tiusanen@tut.fi. Office hours are posted on the home page.

When sending E-mail, start the field "Subject:" with the string "RinnJK: ", if you want the message to be treated as non-junk. (:-)

Lectures: Room TB224, Tue, 12noon-2pm, and Wed, Mar 25, 2009, 12noon-2pm. These are in English.

Exercises: Room TB224, Wed, 12noon-2pm,
not on Wed, Mar 25, 2009, when exercise session is replaced by a lecture. These are in English. Goal and contents: The course considers the correctness of concurrent programs. In particular, we shall consider one way of constructing programs so that these are provably correct.

The course can be included in post-MSc graduate studies.

Grading: Weekly, graded homework that can replace exam. The exam can raise the grade based on homework. The homework is to be done individually and personally; the solutions are to be submitted to be graded on paper, stapled together, and as hand-written but readable originals, to box nr 224 (on TC2XX corridor, near F wing of the Institute of Software Systems). A preliminary estimate is that 50% of homework points are required to pass the course.

Materials: English lecture notes, distributed through TiTe-guild. These can be found during the course in PostScript and PDF forms, here. Save a tree, order the lecture notes! (Or, copy one of the files.) Lecture in TB224 on Wed, Mar 25 12noon-2pm, though the lecture notes claimed else! (Fixed now.)

The important errors found in the lecture notes are posted here. These have already been fixed in the lecture notes above.

The lecture notes have been long ago based on the book:

Gregory Andrews: Concurrent Programming: Principles and Practice, Benjaming/Cummings 1991,

though this will not be covered or followed slavishly. It is recommended as extra reading, if you can find a copy. Purchasing the book is not necessary and recommended mainly, if you wish to get a more thorough treatment of the subject than can be obtained from the lecture notes.

Prerequisites: OHJ-2500 Program Verification (recommended), OHJ-4100 Operating systems (recommended), 8104000 Operating systems (compulsory) or OHJ-4010 Concurrency (compulsory).