(SCI) - Technologie und Leistungsanalysen.pdf

Ausgabe eines neg.
Echos mit BUSY_D
oder BUSY_A und
voller Puffer.
Initialisierung
SERVE_NA
SERVE_A
Alle Retry_B-
Pakete wurden
akzeptiert
Alle Retry_A-
Pakete wurden
akzeptiert
SERVE_B
SERVE_NB
Ausgabe eines neg.
Echos mit BUSY_D
oder BUSY_B und
voller Puffer.
Bild 2.5.1: Zustandsübergänge des endlichen Automaten im SCI-Receive-Puffer.
seiner Ausgaben ist in Tabelle 2.5.1 angegeben. Die Zustände, Übergänge und
Ausgaben des Automaten lassen sich auch algorithmisch mit Hilfe des folgenden
Pseudokodes beschreiben:
IF RequestOrResponseOrRetryArrived = TRUE {Ist ein Paket da?}
IF state = SERVE_NA {Ist der Zustand = SERVE_NA?}
IF inFifo = NOT FULL {Eingangspuffer ist nicht voll}
IF PhaseField = NOTRY
EchoPhaseField := DONE;
ELSIF (PhaseField = DOTRY) OR (PhaseField = Retry_A)
EchoPhaseField := DONE;
ELSE {PhaseField = Retry_B}
EchoPhaseField := BUSY_A; SetError;
state := SERVE_A; {Nachfolgezustand einnehmen}
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_A; SetError;
END IF; {PhaseField = NOTRY}
state := SERVE_A; {Nachfolgezustand einnehmen}
END IF; {Eingangspuffer ist nicht voll}
ELSIF state = SERVE_A
IF inFifo = NOT FULL {Eingangspuffer ist nicht voll}
IF PhaseField = NOTRY
EchoPhaseField := BUSY_D;
ELSIF (PhaseField = DOTRY) OR (PhaseField = Retry_A)
EchoPhaseField := BUSY_B;
ELSE {PhaseField = Retry_A}
EchoPhaseField := DONE;
END IF; {PhaseField = NOTRY}
ELSE {inFifo is FULL}
317