[CALU] Re: Blockdiagram

  • From: Benedikt Huber <benedikt@xxxxxxxxxxxxxxxxxx>
  • To: calu-ss2010-tuwien@xxxxxxxxxxxxx
  • Date: Tue, 27 Apr 2010 19:49:02 +0200


On 27.04.2010, at 19:27, Günther Wimpassinger wrote:

Zitat von Benedikt Huber <benedikt@xxxxxxxxxxxxxxxxxx>:


- Wir brauchen einen Speicherbereich auf den wir dummy-Stores ausfuehren koennen wg. konstanter Ausfuehrungszeit.

Ich bin mir nicht sicher ob ich das richtig Verstehe. Es geht darum,
nicht benötigte Ergebnisse irgendwo hin zu speichern, weil das
predicate-bit nicht gesetzt war?

Fuer Constant-Execution Time / Constant Memory Consumption waere das wohl notwendig.

Das verstehe ich nicht. Kannst du das anhand eines Bsp erklären?
Warum beeinflusst ein nicht verwendetes Ergebnis die Exec-Time oder den Speicherverbrauch?
Nein, eh nicht, aber ein nicht durchgefuehrter Memory-Store beeinflusst die Exec-Time.
ah und, s/Constant Memory Consumption/Constant Energy Consumption/



- Sollten wir vielleicht nur den ALU-Operationen predicates erlauben? Wenn wir predicated Loads haben, muessen wir beispielsweise die ganze pipeline stallen, bis die durch sind.

Ich würde gerne die grundsätzliche Struktur der ISA nicht mehr ändern. Das muss überall berücksichtigt werden. Ich hätte die predicated instructions alle ganz normal ausgeführt und in der MEM (bei Store) bzw. WB (bei allen anderen Instr) Stufe wird entschieden, ob das Ergebnis übernommen wird, oder nicht. Branches/ Calls nicht berücksichtigt.
Prinzipiell ja.
Weiters muessen wir Predicates auch beim Forwarding beruecksichtigen, falls wir das implementieren, und zwar in zweierlei Hinsicht: Zum einen beim Forwarden von ALU / MEM Ergebniss fuer die naechste und uebernaechste Instruktion, zum anderen die Modifikationen durch PREDSET (ja, eigentlich wirken die sich erst in der WB Stufe aus, aber mit Forwarding auch schon frueher).
z.B.:
XOR x,x,x
PREDSET x=0, p1  // Needs forwarded result of ALU operation (x ^ x)
ADD y,x,x (p1) // Needs forwarded result of ALU operation (x=0)
Mmh, dass wird wohl nicht ganz so einfach

Das ist genau so kompliziert wie Registerforwarding/ALU Result Forwarding, oder übersehe ich da etwas?
Es ist in dem Sinne schwieriger, dass (a) Forwarding vom Predicate beeinflusst und (b) auch Predicates geforwarded werden muessen.
Also etwas komplizierter, wenn du willst.
Noch ein Beispiel:
POPPREDS (p0)
PREDSET x=0, p1 (p0) // Needs forwarding from MEM stage; the forwarding needs to take the old value of p0 into account XOR x,x,x (p0) // Needs forwarding from ALU (x=0); the forwarding needs to take the value of p0 from the stack into account
lg, benedikt

Other related posts: