Mappe Concettuali Real Time System

Mappe concettuali Marcelloprof Cinque.Accursio Fabio1

Slide sistemi inRealeTempo

Sistemi inRealeTempo di MurphyLeggeg- di GreenCostante•E > RTOS DifferenzaTempo DE con• 5.0 classici.Reale in• AIA ;1- ↓deadline 'caratteristicheLa Gestione delledesiderabili dei interruzioni eHard Soft sistemi de'realtime bsehed.invs ,,, A' i←sistemi ! 5LSaftyy Critical ' 4- 3FB 2Prevedibilità EfficienzavsInteresse a ILM §medieprestazioni ,prestazioni Monitoratoalle /Non più eIN Flass' /bindividuali e, ,TGTime / Tolleranteiness aisovraccarichi9Prevedibile

Slide 2 prevedibilità

Slide 2 PrevedibilitàGiDefinizioneprevedibilità •diFonti nondeterminismo •a SoftwareHardwareMMUIDMA Interruzioni scheduling callsystem, ,,semafori concorrenza,*RTOS •☆ g ISystemscheduling ≤Comunicazione Concorrenza"la:tra cpu paginazionee/sp.si/ud. schedulingScheduling 'I 0 I'vs pntossistemi Interruzioni✓classici toteContea /Abloriented " " "user e "• t"' ↳switch Semafori'orientedsystem →→Condition di• ce Page• prioritൠFaultRTTOSadottati negli :Protocolli PessimisticheAssunzioniDInheritance hardStealing RToutPriority PerswapNon paginazione/ eCye usare1l ☐• p.ss.byi ☐ ,Soluzioni fisiciindirizziCeiling UsarePriority ☐2.method/DNA PolicyStackTimes Resource3d ce' ./I ◦programmato Cache☐!( )pdhng / ÷interrupt/I 0 TCM• Dpolhng livelloModelli applicativosimulati•1yd av1" "" cache colonna• contesto• probabilistico Soluzione diPodling sistema☐Definizione Interruzione RTOS• Differenza tra InterruzioniInterruzioni Hardware Software• e Driver minimale gestore☐ processol' ) e( )asincrone sincrone

Slide 3 scheduling

Slide 3 Scheduling Maggiore dipotenzaBBB contesto garantisceschedulazione ??!NoMort Ji.gg OH / ità-1m DefinizioneDifferenza ma,Definizione AperiodicaProcesso Task-9 SchedulazioneesporadiciTaskeDescrittori 1 preemptionSi,◦n•ho ☐ Precedenza"Nostati vincodi Fattibile g- f.,un cazgamp ,processo : :::è :confutate :t poiconcetto- § 8in→ futuro /a ,( ) PreemptivePeriodiciVincoli DrivenTime tuttiperiodici apenodieitutti o5V5i Event (Driven Aperiodica) deadlineT dellaT terminanoTaskD primanrisorsesuTemporali rispettatoprecedenzadivincoli☐precedenzadi ns.rseeonduseaeeedtenmomen☐ esclusivomutuamente

Slide 4 scheduling di Task in LinuxRT

4Slide Scheduling di Task inLinuxRTSistemi Noncriteri Non distingue ProcessoThread e• -real-Time convenzionali- vs- staticapriorità dinamicavs•thad ( )CFS convenzionali «per EDOTHER"•System orientedUser 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-5

Slide scheduling algoritmo di AperiodicaTask

Slide Scheduling Algoritmo diAperiodicaTask Brantley-Algoritmo di Algoritmo di alberoadstrutturaJackson ricerca unain•Horn )Ohn !( •)EDD offline( complessità) A dell elevata usasiEDF causa•⇐" ✗" Earl" Due L'Date utilizzo funzioneonline prevede• euristicauna.es/-Deag,,naf,rg+ottimo Lmax→ Eonminimizza diottimo• sequenzaLmax *→ ←→minimizza( ) ità/ottima• EDDTask devono Vincolisincroni diessere• lineon• -preermption ditasknon se sincroninecessaria•• precedenzam.)Olnlogn• dinamico• Otri )• Ipotesiesemplificative →⇐ AttivazioniPreemptiondi preemptive è'dell' assenza nonin/ itàottimaprova Simultaneeesserloottimopiù per,dovrebbe chiaroveggenteessere daEDF •contest di garanzia Algoritmo diottimi( vincolitest di garanzia )prime Lawlerifi tidi )i (≤ErikLDFCK= tidi ←test≤4- DeadlineCult)+-1 divincoli precedenza•" '= ↑ ↓a ed temporali"tempi " )01,2'calcolo •di delfondo DAGdallistadei tastiresidui Se costruisceinsieme• • lontanadeadline +fogliescegliendo conmodificati *d- abilescheda /è ordine inversoineseguoe poilo ancheè J ottimo ottimo→ EDF• nonpoiche sei !<died> ai condizioniquestein?⃝ 6

Slide scheduling diperiodiciTask

Slide scheduling diperiodiciTaskTimeline "÷:*" (scheduling periodoDeadline #•)(dinamicapriorità differenza di RM"( te Estensione" •" "Priorityoffline diadriven RM•era - alta• priorità+ staticapriorità.statico ••CycleMinor Cycle Mayor• e Ottimopreemptive rivela lana•• >00Molto Ambitoprevedibile È{'* /satty• )- online ¥ -1≤ n' •flessibile .poco• £ i =L14%( ≤nel schedulatoottimo della pessimiste/itàfragile moltomolto sensosovraccarichi .•nei µ• lateredellanon » 1task &