Parallel Programming WS 2014/2015 - Slide 26
Objectives:
Understand monitor invariants
In the lecture:
Explain
- An invariant is a property to be guaranteed.
- MI for the example.
Suggested reading:
Andrews: 6.1, 6.2
Questions:
- Why can MI be assumed at the begin of entry procedures and after calls of wait?
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014