INF4140 - Autumn 2010

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
01.09.2010	Joakim?	3A?	Introduction/await-programming. Read: Chaper 1, in particular Section 1.9, and Chapter 2, in particular 2.4 through 2.6.?	Lecture notes Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15. ?
08.09.2010	Joakim?	3B?	Locks. Read Section 3.1 - 3.4.?	Lecture notes 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?
15.09.2010	Joakim?	3B?	Semaphores. Read Section 4.1 - 4.5?	Lecture notes Exercises??
22.09.2010	Johan?	3B?	Monitors. Read Section 5.1 - 5.4?	Lecture notes Exercises?
29.09.2010	Johan?	3B?	Hoare Logic. Section 2.6 and 2.7?	Lecture notes Exercises Inference rules?
06.10.2010	Johan?	3B?	Hoare Logic II?	Lecture notes Exercises Compulsory assignment 2?
13.10.2010	No lecture this week?	?	?	?
20.10.2010	Joakim?	3B?	Concurrent programming in Java?	Lecture notes Exercises for next week: Solve problem 1 of the 2008 exam?
27.10.2010	Joakim?	3B?	Introduction to Distributed Systems. Message passing and Channels?	Lecture notes Exercises for next week: 7.2a, 7.6, 7.8 and 7.10?
03.11.2010	Joakim?	3B?	RPC and rendezvous ?	Lecture notes Exercises for next week: 8.1, 8.5, 8.8a, 8.8b Compulsory assignment 3?
10.11.2010	Johan?	3B?	Semantics of asynchronous communication I?	Lecture notes ?Exercises??
17.11.2010	Johan?	3B?	Semantics of asynchronous communication II?	Lecture notes Exercises?
24.11.2010	Johan?	3B?	Active objects?	Lecture notes Exercises Exam09?

Published Aug. 30, 2010 1:03 PM - Last modified Nov. 19, 2012 3:55 PM