Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Parallel Programming WS 2014/2015 - Slide 15f

Next Slide Previous Slide Next Slide

Objectives:
Learn to find WPs

In the lecture:
The topics of the slide are explained:

  1. The formula.
  2. If i ≤ 0, then the execution of i:=i+1 terminates with i ≤ 1, while if i > 0 the execution of S cannot make i ≤ 1.
  3. Execution of S always sets z to max (x, y).
  4. Execution of S beginning with y ≥ x; sets z to y and execution of S beginning with y < x sets z to x, which is ≠ y.
  5. There is no start state for S such that it can set z less than y.
  6. Only if x = y+1 holds when execution of S begins, it will set z to y+1.
  7. Clear.

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014