Rinnakkaisohjelmointi : Luennot/Lectures

Lectures are designed with the intent that students have in advance familiarized to the lecture material by reading the given chapters from the text book.

Lectures are in Finnish. Slides are in English. Summary lectures are in English.

 

Date Topic Nr Slides pdf Chapters [BenA06]
17.1.2011 Admin
Concurrency

00
01

 co1, bw6, bw2
co1, bw6, bw2
--
Ch 1
20.1.2011 Concurrency at Programming Language Level  02  co1, bw6, bw2  Ch 2.1-12
21.1.2011 Summary lecture in English (C222)
  0-2  slides above chapters above
24.1.2011 Critical section problem
  03  co1, bw6, bw2  Ch 3
Ch 5.1-2 [Stal 08]
27.1.2011 Verifying concurrent programs
General solution for the turn-ticket problem		  04  co1, bw6, bw2  Ch 4.1-3, App B
Ch 5, no proofs
28.1.2011 Summary lecture in English (C220)
  3-4  slides above chapters above
31.1.2011 Deadlock: avoidance, breaking up, prevention  05  co1, bw6, bw2  Ch 6.1-6 [Stal 08]
3.2.2011 OS support for concurrency: semaphores  06  co1, bw6, bw2  Ch 6.1-14
4.2.2011 Summary lecture in English (C220)
  5-6  slides above chapters above
 7.2.2011 Semaphore use in concurrency control  07  co1, bw6, bw2  Ch 6.1-14
(Ch 5.3 [Stal 08])
11.2.2011 Summary lecture in English (C220)
  7-8  slides above and below chapters above and below
 14.2.2011 Programming lang. support for concurrency: monitor  08  co1, bw6, bw2  Ch 7.1-6, 7.8-11
(Ch 5.4 [Stal 08])
 14.3.2011 Concurrency control in distributed environment  09  co1, bw6, bw2  Ch 8.1-4, 8.6-7
(Ch 5.4 [Stal 08])
 21.3.2011 Mutual exclusion problem in distr. envir.  10  co1, bw6, bw2  Ch 10.1-3, 10.6-7
25.3.2011 Summary lecture in English (C220)
  9-10  slides above chapters above
 28.3.2011 Practical Examples  11  co1, bw6, bw2  
 4.4.2011 Multicore Challenge
Summary		  12  co1, bw6, bw2  
8.4.2011 Summary lecture in English (C220)
  11-12  slides above chapters above
Printer-friendly versionPrinter-friendly version