Week 8

Lecture Monday (18.02.2013)

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

1) Until next week, read Chapters 7 and 8 from the book. Discuss the impact of models on the reliability of concurrent systems.

2) Do Exercises 5.1 and 5.5.

3) Do the implementation part of Exercises 5.4 and 5.6.

4) Do Exercise 6.3.

Exercises

1) Do Exercises 5.2 and 5.3.

2) Do the non-implementation part of Exercises 5.4 and 5.6.

3) Write the full FSP model for Exercise 6.1.

4) Do Exercises 6.2 and 6.4.