18.08.2013 Views

Schedulazione task aperiodici priorita` statiche - Robotica

Schedulazione task aperiodici priorita` statiche - Robotica

Schedulazione task aperiodici priorita` statiche - Robotica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Sporadic Server: funzionamento<br />

il funzionamento dello Sporadic Server é definito come segue:<br />

• il server é detto attivo all’istante t quando Pexe ≥ Ps e<br />

C(t) > 0<br />

• il server é detto idle all’istante t quando Pexe < Ps oppure<br />

C(t) = 0<br />

• inizialmente il server é idle e C(0) = Cs<br />

• quando il server diviene attivo all’istante t1 viene fissato<br />

l’istante di ricarica pari a tr = (t1 +Ts)<br />

• quando il server diviene idle all’instante t2 > t1 la quantità di<br />

ricarica viene fissata pari alla capacità Cr consumata<br />

nell’intervallo [t1,t2)<br />

• all’istante tr la capacità viene ricaricata della quantità Cr<br />

Tullio Facchinetti Corso di Sistemi Real-time <strong>Schedulazione</strong> di <strong>task</strong> <strong>aperiodici</strong> a pri

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!