Objectives
Understanding a formal theory of multi-threading, and being able to apply this theory in (relatively) simple examples.
Contents
Study of an algebraic theory of threads and multi-threads, based on strategic interleaving. Several plausible interleaving strategies are considered. A small case study is part of the course.
Registration at
Registration for courses is mandatory, but will be done by the Education Service Centre for the 1st year MSc students for courses of the first semester. See also
http://www.student.uva.nl and choose your master and then 'New procedure 'Registration for courses Faculty of Science'.
Format
Lectures and lab sessions.
Study materials
Online material, course notes, scientific papers.
Assessment
Written exam and judgement of submitted work.
Remarks
This course will not be taught in the academic year 2011-2012. If this course is part of your obligatory master program please contact the master coordinator (Alban Ponse).
|