(SCI) - Technologie und Leistungsanalysen.pdf

IF PhaseField = NOTRY
EchoPhaseField := DONE;
ELSIF (PhaseField = DOTRY) OR (PhaseField = Retry_B)
EchoPhaseField := DONE;
ELSE {PhaseField = Retry_A}
EchoPhaseField := BUSY_B; SetError;
state := SERVE_B; {Nachfolgezustand einnehmen}
END IF; {PhaseField = NOTRY}
ELSE {inFifo is FULL}
IF PhaseField = NOTRY
EchoPhaseField := BUSY_D;
ELSIF (PhaseField = DOTRY) OR (PhaseField = Retry_B)
EchoPhaseField := BUSY_B;
ELSE {PhaseField = Retry_A}
EchoPhaseField := BUSY_B; SetError;
END IF; {PhaseField = NOTRY}
state := SERVE_B; {Nachfolgezustand einnehmen}
END IF; {Eingangspuffer ist nicht voll}
ELSE {state = SERVE_B}
IF inFifo = NOT FULL {Eingangspuffer ist nicht voll}
IF PhaseField = NOTRY
EchoPhaseField := BUSY_D;
ELSIF (PhaseField = DOTRY) OR (PhaseField = Retry_A)
EchoPhaseField := BUSY_A;
ELSE {PhaseField = Retry_B}
EchoPhaseField := DONE;
END IF; {PhaseField = NOTRY}
ELSE {inFifo is FULL}
IF PhaseField = NOTRY
EchoPhaseField := BUSY_D;
ELSIF (PhaseField = DOTRY) OR (PhaseField = Retry_A)
EchoPhaseField := BUSY_A;
ELSE {PhaseField = Retry_B}
EchoPhaseField := BUSY_B;
END IF; {PhaseField = NOTRY}
END IF; {Eingangspuffer ist nicht voll}
IF AllRetry_BServed = TRUE {Alle Retry_B akzeptiert?}
state := SERVE_NA; {Nachfolgezustand einnehmen}
END IF; {Alle Retry_B akzeptiert}
END IF; {Zustand = SERVE_NA}
END IF; {Paket da}
Da nur diejenigen Sender, die unmittelbar vorher ein negatives Echo von einem
Empfänger mit vollem Receive-Puffer empfangen haben, über dessen Pufferzustand
Bescheid wissen, jedoch nicht andere Knoten, kann es geschehen, daß
an einen Empfänger normale und Retry Request- und Response-Pakete geschickt
werden. Je nach Zustand des endlichen Automaten und je nach Art des
empfangenen Pakets, sendet dieser Echopakete mit entsprechenden Phase-Feldern
zurück. Ebenso ist es auch möglich, daß vom selben Sender multiple offenstehende
Requests an denselben Empfänger abgeschickt werden, bevor das
erste (negative) Echo eintrifft, so daß vom Empfänger, auch wenn er in ein und
demselben Zustand ist, Echos mit verschiedenen Phase-Feldern erzeugt werden
319