Compiti ed esercitazioni VERIFICATO
dimostrazione TBS d0 per corso prof: Gatti Nicola
14 visualizzazioni
5 download
Nessun voto ancora
Di cosa parla
- Si dimostra che l'uso della deadline del processo \(j_i-1\) generata dall'algoritmo iterativo all'ultima iterazione invece della deadline di TBS non garantisce la schedulabilità dei processi periodici.
- Dalla formula \(d_0^k = \max\{a_k, d_0^{k-1}\} + \left\lceil \frac{c_k}{U_s} \right\rceil\) si ottiene che \(c_k \leq (d_0^k - \max\{a_k, d_0^{k-1}\}) U_s\).
- Se si sostituisce \(d_f^{k-1}\) (la deadline finale di \(j_i-1\)) a \(d_0^{k-1}\), la disuguaglianza \(c_k \leq (d_f^{k-1} + \left\lceil \frac{c_k}{U_s} \right\rceil - d_0^{k-1}) U_s\) non può più essere garantita, violando la condizione necessaria e sufficiente di schedulabilità \(U_s + U_p \leq 1\).