Lectures

Schedule

Lectures and Labs are spread over the week, on Monday, Wednesday, Thursday, and Friday. As for what time they will be given, see below for a more precise schedule. See also the official schedule on TimeEdit.


Slides for the Textbooks

Slides by the textbook authors can be found at:

  1. Herlihy, Shavit: The Art of Multiprocessor Programming
  2. Ben-Ari: Principles of Concurrent and Distributed Programming

These slides are frequently used during our lectures. They also help link the lectures to the textbooks, which we strongly recommend you study.

Slides from previous terms

They can be found here.

Lecture schedule and slides: ** UNDER CONSTRUCTION – changes expected **

We will try to make the slides/lecture notes available online on this page the day before each class. A new version of the slides may be uploaded after class according to what has actually been presented. We encourage you to take notes independent of the slides material available before class.

If you want to get an idea of the material covered in the course ahead of time, the lectures slides from previous course instances are available here

NOTE. This is a tentative schedule, subject to change!

Class # Date Topic Slides Reading material
1 Wed, Aug 31 Introduction to concurrent programming general course info slides examples Ben-Ari 1, 2.1-2.3.
2 Wed, Aug 31 Races locks and semaphores slides examples Ben-Ari 2.4-2.7, 2.12, 6.1-6.5, 6.9.
3 Thu, Sep 1 Models of concurrency and synchronization algorithms slides examples Ben-Ari 3.1-3.9, Herlihy & Shavit 2.3-2.4, 7.1-7.2
3 Fri, Sep 2 Models of concurrency and synchronization algorithms slides examples Ben-Ari 3.1-3.9, Herlihy & Shavit 2.3-2.4, 7.1-7.2
4 Mon, Sep 5 Java Tutorial java tutorial
5 Thu, Sep 8 Synchronization problems with semaphores slides examples Ben-Ari 6.5-6.9
5 Fri, Sep 9 Synchronization problems with semaphores slides examples Ben-Ari 6.5-6.9
6 Mon, Sep 12 Monitors slides examples Ben-Ari 7.1-7.3, 7.5.
7 Wed, Sep 14 Intro to FP in Erlang slides
8 Mon, Sep 19 Message-passing concurrency in Erlang slides examples
9 Thu, Sep 22 Sync problems with message-passing slides examples
9 Fri, Sep 23 Sync problems with message-passing slides examples erlang-tutorial
10 Mon, Sep 26 Parallelizing computations slides examples Herlihy & Shavit 16.1, 16.4
11 Fri, Sep 30 Parallel linked lists slides examples Herlihy & Shavit 9
13 Mon, Oct 3 Parallel Queues and Lock-free programming (STM) slides examples Herlihy & Shavit 10.1, 10.2, 10.5, 10.6, 18.1, 18.2
15 Fri, Oct 14 Concurrency in Weak Memory Models slides test code
14 Mon, Oct 17 Verification of Concurrent Programming slides Ben-Ari 4
17 Fri, Oct 21 Revision

Lecture material from previous editions

If you want to get an idea of the material covered in the course ahead of time, here are the lecture notes used in previous editions of the course.

Menu