Week 8

Project

The description of the exam project is available from the course home page. Please keep in mind that the first deadline is March 14, 23:59.

Lecture Monday (17.02.2014)

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

Lecture Friday (21.02.2014)

The fifth lecture will introduce the deadlock problem, conditions for when this problem occurs, and discuss ways of detecting and solving the problem.

Reading

Chapter 6

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.

Lab

1) Do Exercises 4.1 - 4.2.

2) Present and compare models for Exercise 4.3.