sched4-13-RMS.pdf
sched4-13-RMS.pdf
sched4-13-RMS.pdf
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
und wegen<br />
l<br />
folgt<br />
l<br />
t<br />
t<br />
t<br />
2<br />
1<br />
1<br />
<br />
t<br />
2 1<br />
<br />
<br />
t<br />
t<br />
2<br />
1<br />
und damit ist (a) monoton fallend in c 1 .<br />
Fall b):<br />
Bei<br />
c 1 t 2 – kt 1<br />
lastet T den Prozessor genau dann voll aus, wenn<br />
so daß<br />
c 2 = k(t 1 – c 1 ),<br />
c<br />
U k <br />
t 1<br />
t<br />
1<br />
c<br />
t<br />
1 1<br />
2<br />
<br />
<br />
k t 1<br />
1 k<br />
c1<br />
. (b)<br />
t t t <br />
2<br />
1 2<br />
Dabei ist wegen x<br />
x der Faktor von c 1 nichtnegativ und somit U<br />
monoton steigend in c 1 .<br />
Also:<br />
U g tritt bei c 1 = t 2 – kt 1 auf, und dann gilt<br />
t<br />
U<br />
g<br />
<br />
t<br />
1<br />
1<br />
2<br />
<br />
l <br />
<br />
t<br />
t<br />
2<br />
1<br />
<br />
t<br />
<br />
<br />
t<br />
2<br />
1<br />
<br />
k<br />
.<br />
<br />
Schedulingtheorie 20<strong>13</strong> Ratenmonotones Scheduling 4-11 Hamann, TU Dresden