Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
78 Prozessorverwaltung<br />
Ausfuhrung der Berechnung<br />
P1<br />
P2<br />
Queue<br />
Prozessor<br />
Dispatcher<br />
Timer<br />
h Ok(Step 1 ) i<br />
.<br />
h Step 1 i<br />
h Step 2 i<br />
.<br />
.<br />
h Ok(Step 2 ) i<br />
.<br />
Ausfuhrung Step3 <strong>von</strong> P1<br />
p<br />
Ausfuhrung <strong>von</strong> P2 nach terminiertem P1<br />
P1<br />
P2<br />
Queue Prozessor<br />
h Step 1 i .<br />
Dispatcher<br />
Timer<br />
h Ok(Step 1 ) i<br />
.<br />
h Ok(Step 2 ) Suspend i<br />
.<br />
h P 1 !DtoP 1 i.<br />
h Step 2 i<br />
Ports<br />
. h Timeouti<br />
h Suspend i .<br />
.<br />
.<br />
Ports .<br />
p<br />
p<br />
Ausfuhrung Step1 <strong>von</strong> P2<br />
p<br />
p<br />
p<br />
Fur die Abarbeitung der Berechnungen <strong>von</strong> P 1 und P 2 durch den Prozessor ergeben sich<br />
die in der folgenden Baumstruktur dargestellten Alternativen, die durch Bezeichner charakterisiert<br />
sind. Die Kasten markieren Boxen, die innerhalb der EETs auftreten, und die<br />
Kanten veranschaulichen die moglichen Alternativen innerhalb der Systemablaufe.<br />
P1: Step1, Step2 ausgefuhrt<br />
.<br />
P1: Step3 ausgefuhrt<br />
P1 Terminiert<br />
Ausf. P2 nach term. P1<br />
Next P2<br />
.<br />
P1 suspendiert<br />
Next P2<br />
Ausf. Step1 <strong>von</strong> P2<br />
P2: Step1 ausgefuhrt<br />
P2: Step2 ausgefuhrt<br />
P2 terminiert<br />
.<br />
P2 suspendiert<br />
Next P2<br />
P2: Step2 ausgefuhrt<br />
P2 terminiert<br />
P2: Step1 ausgefuhrt<br />
.<br />
P2: Step2 ausgefuhrt<br />
P2 terminiert<br />
Next P1<br />
P1: Step3 ausgefuhrt<br />
P1 terminiert<br />
.<br />
P2 suspendiert<br />
.<br />
Next P2<br />
P2: Step2 ausgefuhrt<br />
P2 terminiert<br />
Next P1<br />
Step3/P1 oder Step2/P2<br />
.<br />
Next P1<br />
P1: Step3 ausgefuhrt<br />
P1 terminiert<br />
Next P2<br />
P1: Step3 ausgefuhrt<br />
P1 terminiert<br />
P2: Step2 ausgefuhrt<br />
P2 terminiert
Change language