INF3140 - H?st 2006

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
29.08.2006Olaf? ? Introduction. await-programming.? Notes

Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15 (from the book/copy as handed out)?

05.09.2006Johan? ? Locks? Slides

Exercises for next week: 2.17, 2.18, 2.33, 3.1, 3.6, 3.8, 3.3, 3.7, (3.9a). Please remember to check the list of misprints before doing the execises.

?Compulsory assignment 1 . Please read the Departmental guidelines for written assignments: Norwegian English?

12.09.2006Johan? ? Semaphores? Chap. 3.4, 4.1-4.3 Slides . Exercises for next week

Some example programs?

19.09.2006Johan? ? Semaphores/Hoare Logic? Chap. 4.4-4.5, 2.6 Slides . Exercises for next week?
26.09.2006Johan? ? Hoare Logic ? Chap. 2.6-2.7. Slides . Exercises for next week.?
03.10.2006Johan? ? Monitors? Chap. 5.1-5.3 Slides?
10.10.2006? No lecture this week? ? Exercises for next week?
17.10.2006Bjarte M. ?stvold, Norsk Regnesentral? ? Concurrent programming in Java ? Chap. 5.4, Java concurrency support

Slides and monitor example

Exercises for next week?

24.10.2006Bjarte? ? Message passing? Chap. 7.1-7.3, 7.5. Slides

Exercises for next week?

31.10.2006Bjarte? ? RPC and rendezvous? Chap. 7.4, 8.1-8.4. Slides

Exercises for next week: 8.1, 8.5, 8.8a, 8.8b?

07.11.2006Olaf? ? Semantics of asynchronous communication ? Slides (updated). Oppgaver?
14.11.2006Olaf? ? Semantics of asynchronous communication ? Slides (updated)?Oppgaver??
21.11.2006Marcel Kyas? ? ? Slides?
28.11.2006Marcel? ? ? Slides. Solutions. Background material: Janssen Gallager (These papers are not part of the syllabus.)?
Publisert 21. aug. 2006 18:25 - Sist endret 7. des. 2006 12:35
Del p? e-post