You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Multi-threaded Server<br />
Rdy i : Time → {0, 1}<br />
Runi : Time → {0, 1}<br />
Only ready processes are running ⌈Runi ⌉ ⇒ ⌈Rdy i ⌉<br />
At most one process is running ⌈Runi ⌉ ⇒ <br />
∧ ⌈Runi ⌉<br />
∧ ♦r ⌈¬Runi ∧ Rdy i ⌉<br />
i=j ⌈¬Runj ⌉<br />
Round-Robin Scheduling with time slice τ<br />
⎛<br />
⎜<br />
⎝<br />
♦l ⌈¬Runi ⌉<br />
⎞<br />
⎟<br />
⎠ ⇒ ℓ = τ<br />
Hansen Zhou Ravn Rischel 92<br />
Yuhua Zhou 94<br />
Chan Dang 95<br />
Tallinn, November 17- 21, Michael R. Hansen – p.27/29