Week 7

Lecture Monday (11.02.2013)

The third lecture will introduce the idea of mutual exclusion. On the modelling side, we will use shared objects to model mutual exclusion. Finally, in Java the use of synchronized methods and objects will be introduced.

Reading

Chapter 4

Lecture Thursday (14.02.2013)

The fourth lecture will introduce monitors and show how to model them. On the Java side, we learn about the wait-notify mechanism.

Reading

Chapter 5

Study Groups

We will use Exercises 4.3 and 4.4 as a test run for the project. Like in the project, you will first come up with a model, then get feedback on it, and finally implement it. Here, the interaction between study group and exercise sessions is important.

1) Before the exercise session, prepare Exercise 4.3.

2) After the exercise session, do Exercise 4.4.

Exercises

1) Do Exercises 4.1 - 4.2.

2) Present and compare models for Exercise 4.3.