Echte Datenabhängigkeit (flow dependence)

Eine Anweisung S2 ist von S1 flow dependent (${\displaystyle S1\ \delta ^{f}\ S2}$), genau dann wenn S1 eine Ressource verändert, die von S2 gelesen wird und S1 vor S2 ausgeführt wird. Nachfolgend ein Beispiel für Flow dependence (RAW: Read After Write):

S1       x := 10
S2       y := x + c

Gegenabhängigkeit (antidependence)

Eine Anweisung S2 ist von S1 antidependent (${\displaystyle S1\ \delta ^{a}\ S2}$), genau dann wenn S2 eine Ressource verändert, die von S1 gelesen wird und S1 vor S2 ausgeführt wird. Nachfolgend ein Beispiel für Antidependence (WAR: Write After Read):

S1       x := y + c
S2       y := 10

Hierbei schreibt S2 einen Wert in y, aber S1 liest einen vorherigen Wert von y.

Ausgabeabhängigkeit (output dependence)

Eine Anweisung S2 ist von S1 output dependent (${\displaystyle S1\ \delta ^{o}\ S2}$), genau dann wenn S1 und S2 dieselbe Ressource verändern und S1 vor S2 ausgeführt wird. Nachfolgend ein Beispiel für Output dependence (WAW: Write After Write):

S1       x := 10
S2       x := 20

Hierbei schreibt sowohl S1 als auch S2 die Variable x.

Eingabeabhängigkeit (input "dependence")

Eine Anweisung S2 ist von S1 input dependent (${\displaystyle S1\ \delta ^{i}\ S2}$), genau dann wenn S1 und S2 dieselbe Ressource lesen und S1 vor S2 ausgeführt wird. Nachfolgend ein Beispiel für Input dependence:

S1       y := x + 3
S2       z := x + 5

Hier lesen S1 und S2 die Variable x. Dies ist keine Abhängigkeit im Sinne der anderen, dass eine Änderung der Anweisungsreihenfolge verhindert wird. Einige Compiler jedoch können mit Hilfe dieser Definition Optimierungen finden.