Parallel Programming WS 2014/2015 - Slide 17e
Objectives:
Understand interference checks
In the lecture:
The topics on the slide are explained using
the example:
- Assertions are proven within their process and checked for non-interference;
- NI definition;
- 3 examples for interference check.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014