Übungsblatt 03, Aufgabe 2a

Wir hoffen, dass uns jemand helfen kann.

Kleines Beispiel ...

A1: lade wert a in R1
A2: verändere wert in R1
A3: verändere wert in R1

Wenn wir dieses Programm von oben durchgehen, entdecken wir folgende abhängigkeiten. (Fachbegriffe ausgelassen) ...

A2 ist von A1 abhängig
A3 ist von A2 abhängig

Wir sind nun unsicher, ob A3 auch noch von A1 abhängig ist, oder ob sich das dur die Änderung von R1 in A2 erledigt hat.


Über einen Hinweis würden wir uns sehr freuen.

Es kommt darauf an, was "verändere Wert in R1" bedeutet. Wird R1 einfach überschrieben? Wird auf den bisherigen Wert etwas addiert/subtrahiert etc.?

Die Frage ist leider etwas ungenau. Deshalb hier eine präziesere Variante:

A1: R1 := 100
A2: R1 := R1 + 1
A3: R1 := R1 + 1


Dann gibt es laut Definition in Aufgabe 2 True Dependencies zwischen (A1,A2), (A1,A3) und (A2,A3).
Es gibt eine Anti Dependency zwischen (A2,A3) und es gibt Output Dependencies zwischen (A1,A2), (A1,A3) und (A2,A3).
Ich hoffe, dass ich jetzt auf die Schnelle nichts übersehen habe.

Bitte haltet Euch bei der Lösung der Aufgabe STRENG an die Definition!

Grüße
Stefan

Stefan Disch
Lehrstuhl für Betriebssysteme
Geb. 051 / Raum 02-031