OHJ-4046 Concurrency, Advanced course (3cp; spring 2007)


Official description
Home page
Grading
Exercises
Lectures
Materials
Exam file
Newsgroup tut.ot.rinnjk
Studies of Software Engineering
Suomeksi
Prior: spring2006
$Log: Eindex.html,v $
Revision 2.4  2007/04/24 06:24:54  mikko
Removed E1 deadline notice.

Revision 2.3  2007/04/04 12:10:04  mikko
E1 deadline Apr 18, not 11!

Revision 2.2  2007/04/03 13:28:41  mikko
More on homework.

Revision 2.1  2007/03/27 06:04:46  mikko
State as course starts.

Revision 2.0  2006/07/10 18:23:49  mikko
Initial version, spring 2007.

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 TC210, Tue, 12noon-2pm, and room TC103 on Wed, Mar 28, 12noon-2pm, all in English.

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

Exercises: Wed 12noon-2pm TC103 (in English); not on Wed, Mar 28, when this is replaced by a lecture. The Mayday (May 1, 2007) lecture will be replaced on Apr 24, 2007, in TC103, 2-4pm.

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 as hand-written, but readable originals, to box nr 210 (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, 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).