vuoi
o PayPal
tutte le volte che vuoi
RTSistemi - Criteri di Scheduling
RTSistemi non distingue tra Processo e Thread:
- Real-Time convenzionali vs statica
- Priorità dinamica vs statica
- Thad ( )CFS convenzionali "per EDOTHER"
- System oriented vs User realtime ?: :o)
Oriented è FIFOIRR- per DefinizioneThreadEdA- Ogni Multi / evel✓ hacoda g.FCFS ,SJF un suo FeedbackEffetto § >a algoritmo& starvatonConvoglio 1Online dinamico possibileNon preemptive preemptive .Non- "starvationdaonline Quanto ottimopypy gestireaStatico ., Livelli↳ Schedulingtempog risposta è ^^diPrioritàminima prioritàa 1preemptive /statico Dinamico Online preemptive statico-5Slide Scheduling Algoritmo diAperiodicaTask Brantley-Algoritmo di Algoritmo di alberoadstrutturaJackson ricerca unainHorn )Ohn !( )EDD offline( complessità) A dell elevata usasiEDF causa⇐" ✗" Earl Due L'Date utilizzo funzioneonline
misteancora ,RM Analysis:rispettoEDF Timedell' ottima / •ità a pponceprova iscontesto { }PÈcambi Cmeno Ii "- sehedulabi.sitest= , RiediUiub Uguale D1- a -1eRi-ci-E.NET c "richiededefinizionecalcolo del temposupporto-e esplicito gestionelaperUiub RMper delle deadlineÈ rifà )-1≤ Dittise-1i - Sufficiente ↓ calcolodidomanda DiTi /<" =/ +le -dimostrazioni✗ 9194 ciN ci= , ti Dimostrazione ProeessDT2 FTICi <1 -→Caso Demand◦ Criterion↳ ( ) -14ci Tz≤Ftl Rivedere-12Caso 2 ≥ FTCi→◦ - ,\ FC' FTI-14 ≤,7Slide Accesso acondiviserisorse1Priority InversioniNon PreemptiveProtocol• possibilealzatapriorità al max• Stackquando task nella entra• sez . .darPuò Priorityl' Resourcebloccaggi• °o° a Priorityinutili Policy( /prioritàdopo riportata al e ^5' ' (Inheritance SRP )• valore (nominale )PC EDF")(PI RMpre iHigh est diammette
- Ceiling: introdotto il blocking dinamico
- Eker
- Algoritmi dinamici: Applicabile a evitare deadlock della priorità e Priority()
- HLP Code: bloccaggio del stock condiviso
Uso: Un task che usa sezione critica eredita un alto livello di preemption. Stato job bloccato può essere di priorità più alta rispetto ai processi al di sotto. Alzata priorità al massimo per valore Ceiling. Bloccati concetto di sistema di critica. Sezione del processo che è prioritaria rispetto alle altre. Utilizza sezione critica che blocca nessun livello al di sotto oppure alza di nessun livello al di sopra. Dopo riportata al livello precedente dei blocchi che cenno delle sezioni che sia tra livelli Preempt. Bloccaggio Indiretto, m' Diretto.
" motore✓ "" i•m' e° pcdimostrazionevs " deipreemptnn chedi taskanticipatoBloccaggio "• deadlockNon 'di -BloccaggioCatene quellopreviene - di• e unità- richiedonoPiù bloccaggi semafori piùdirispetto garanzia• esta di +garanziatest rispetto disparialle unitàrisorsaIIÈÈ PE ) .IIÉ È[ ≤ -1 -+PE )È ≤ -1+ .. =L☒ I= .es/-livelbpreeFnpy,n n°È di garanziatestP ✓s'Analysis →TimeResponseAnd" 's ÈTime )È (Response IsPÈ IT BÈ>Jc ≤È 1Bi "Ci +PÈ +Ri +cBi "Ci =+Mi + v. .== K I= E9deiCalcolo Bi anticipatobloccaggiodeiCalcolo Bi • Molto invasivo• ProeessPotrei treanche DemandCriterion SRPcon?⃝ 8Slide ServerA- periodiciserverè unnonschedulazione definizione serverBackgroundin AperiodicaI eseguitiTask periodicia• Spadedie Slackquando Deferrableeri Pollino
server' ( )Server SS)(ritardati ServerperiodiciTask Ds• )• ( PS StealerfinoraVISXTest garanzia• validi irestano digestore capacitàcapacitàla •conserva• dellagestoreanche quandole-1s temporichieste migliora tempo rispostaserve delogni server risorsa• e ••pendentirichiestenon sonoci degrada Uiubpendentiperiodiche non• tempi dimigliora dirispostataskNon •è come• un Cs ricaricata dopo Ts•percheperiodico unla' sua .In richieste periodichedi richiesteassenza• del chevalorepotrebbe presenzascaricato in•essere èesecuzione sivisto)(deferred che diritardata task periodici hardpende al task# 4nssospende Equivalente periodicos' •quandosolo arriva aeseguepericoloprossimo richiesta PSditestquindiuna tempo di taskdi• esecutore| aperiodica darubato taskvienefinoperiodici ad massimountest disponibileSlackNbconcetti timedi Pantest•garanzia Per operisticheAttività aldi.gg più garanzia • softtipo,È stato RA Calcolo runtimealtimestackRT •essendoUiublntl considerabileonlineUp )Us non≤ È'+ puòperiodico gravosoessere≠ ps