OHJ-4040 Concurrency, Advanced course (3cr; spring 2006)

Official description
Home page
Newsgroup tut.ot.rinnjk
Studies of Software Engineering
$Log: Eindex.html,v $
Revision 1.2  2006/03/30 08:43:07  mikko
Lecture hall changed.

Revision 1.1  2006/03/07 17:29:21  mikko
Initial revision

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 room TB219 on Wed, Mar 29, 12noon-2pm, (in Finnish).

Please, attend the first lecture, since the lecture notes will be ordered and the practical matters discussed then.

Exercises: Wed 12noon-2pm TB219 (in English); not on Wed, Mar 29.

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 personally and the solutions are to be submitted to be graded as hand-written, but readable, to box nr 211 (on TC2XX corridor, near F wing of the SS Institute). A preliminary estimate is that 50% of homework points are required to pass the course.

Materials: English lecture notes, ordered during the lectures of first week. These can be found during the course in PostScript and PDF forms, here. Save a tree, order the lecture notes!

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

The lecture notes have been 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 recommended mainly, if you wish to get a more thorough treatment of the subject than can be obtained from the lecture notes.

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