Hardware Reference
In-Depth Information
35
FMUL
yk,xk,yk
36
temp2,#4000
2
,
0 (Gleitkommawert!)
SETH
× y
k
Diese Art der Abhangigkeit nennt sich
Write-After-Read-Abhangigkeit
,kurz
WAR. Weil keine Daten von einem Befehl zum nachsten weiter gegeben
werden mussen, spricht man auch oft von einer
Antidependence
1
,sieheet-
wa [17, 19], gelegentlich auch von einer
falschen Abhangigkeit
(
False Depen-
dence
)[33].
37
yk,yk,temp2
2
FMUL
Programmfragment 4
37
FMUL yk,yk,xk
38
FADD yk,yk,q
Abgesehen von der hier vorliegenden RAW-Abhangigkeit, darf die Reihen-
folge nicht vertauscht werden, da sonst ein falsches Ergebnis im Register
yk
abgelegt wurde. Die beiden Zeilen berechnen
yk=yk*xk+q
. Im Falle
des Vertauschens ware die Semantik
yk=(yk+q)*xk
. Hier spricht man
von einer
Write-After-Write-Abhangigkeit
, kurz WAW, gelegentlich auch von
einer
Output Dependence
.
WAR u n d WAW- Ab hangigkeiten ergeben sich oft dann, wenn sehr sparsam
mit Registern umgegangen wird. In solchen Fallen lasst sich die Abhangigkeit
vermeiden, wenn andere Register verwendet werden. Man spricht deshalb
auch oft von
Namensabhangigkeiten
(
Name Dependence
).
Eine Zusammenfassung der Abhangigkeiten enthalt Tabelle 4.1.
Die hier genannten Abhangigkeiten mussen beim Versuch, sukzessive Befeh-
le parallel auszufuhren, berucksichtigt werden. Muss die Ausfuhrung eines
Befehls aufgrund einer Abhangigkeit verzogert werden, so spricht man von
einem
Konflikt
.
Die Abhangigkeiten zwischen den Befehlen werden oft als gerichteter Graph,
der
Abhangigkeitsgraph
, dargestellt. Die einzelnen Befehle bilden dessen Kno-
ten. Ein Pfeil (gerichtete Kante) zeigt von einer Instruktion
a
zu einer zweiten
Instrukltion
b
,wennzwischen
b
und
a
eine Abhangigkeit besteht. Fur die Zei-
len 30 bis 45 des Programms
mandelbrot.mms
ist der Abhangigkeitsgraph in
Abbildung 4.4 gezeichnet. In Abhangigkeitsgraphen werden ublicherweise kei-
ne transitiven Kanten angegeben. Das bedeutet, wenn
b
von
a
abhangt und
c
von
b
, so wird die Abhangigkeit
c
von
a
nicht dargestellt.
1
Der deutsche Begriff Gegenabhangigkeit ist ungebrauchlich.
