Mappe Concettuali Real Time System

Mappe Concettuali Marcello

prof Cinque

.

Accursio Fabio

1

Slide Sistemi in

Reale

Tempo di Murphy

Legge

g- di Green

Costante

•

E > RTOS Differenza

Tempo DE con

• 5.0 classici

.

Reale in

• AIA ;

1- ↓

deadline '

caratteristiche

LA Gestione delle

desiderabili dei interruzioni e

Hard Soft sistemi de'

realtime bsehed.in

vs ,

,

, A

' i

←

sistemi ! 5

L

Saftyy Critical ' 4

- 3

FB 2

Prevedibilità Efficienza

vs

Interesse a ILM §

medie

prestazioni ,

prestazioni Monitorato

alle /

Non più e

IN Flass

' /

b

individuali e

, ,

TG

Time / Tollerante

iness ai

sovraccarichi

9

Prevedibile

Slide 2 Prevedibilità

Gi

Definizione

prevedibilità •

di

Fonti non

determinismo •

a Software

Hardware

MMUIDMA Interruzioni scheduling call

system

, ,

,

semafori concorrenza

,

*

RTOS •

☆ g I

System

scheduling ≤

Comunicazione Concorrenza

"

la

:

tra cpu paginazione

e

/

sp.si/u

d. scheduling

Scheduling '

I 0 I

'

vs pntos

sistemi Interruzioni

✓

classici tote

Contea /

Abl

oriented " " "

user e "

• t

"

' ↳

switch Semafori

'

oriented

system →

→

Condition di

• ce Page

• priorità

µ Fault

RTTOS

adottati negli :

Protocolli Pessimistiche

Assunzioni

D

Inheritance hard

Stealing RT

out

Priority Per

swap

Non paginazione

/ e

Cye usare

1

l ☐

• p.ss.by

i ☐ ,

Soluzioni fisici

indirizzi

Ceiling Usare

Priority ☐

2.

method

/

DNA Policy

Stack

Times Resource

3

d ce

' .

/

I ◦

programmato Cache

☐

!

( )

pdhng / ÷

interrupt

/

I 0 TCM

• Dpolhng livello

Modelli applicativo

simulati

•

1yd a

v1

" "

" cache colonna

• contesto

• probabilistico Soluzione di

Podling sistema

☐

Definizione Interruzione RTOS

• Differenza tra Interruzioni

Interruzioni Hardware Software

• e Driver minimale gestore

☐ processo

l' ) e

( )

asincrone sincrone

Slide 3 Scheduling Maggiore di

potenza

BBB contesto garantisce

schedulazione ?

?

!

No

Mort Ji

.gg OH / ità

-1m Definizione

Differenza ma

,

Definizione Aperiodica

Processo Task

-9 Schedulazione

e

sporadici

Task

e

Descrittori 1 preemption

Si

,◦n

•

ho ☐ Precedenza

"

No

stati vinco

di Fattibile g- f.

,

un caz

gamp ,

processo : :

:

:

è :

confutate :

t poi

concetto

- § 8in

→ futuro /

a ,

( ) Preemptive

Periodici

Vincoli Driven

Time tutti

periodici apenodiei

tutti o

5

V5

i Event (

Driven Aperiodica) deadline

T della

T terminano

Task

D prima

n

risorse

su

Temporali rispettato

precedenza

di

vincoli

☐

precedenza

di ns.rseeonduseaeeedtenmomen

☐ esclusivo

mutuamente

4

Slide Scheduling di Task in

Linux

RT

Sistemi NON

criteri Non distingue Processo

Thread e

• -

real-Time convenzionali

- vs

- statica

priorità dinamica

vs

•

t

had ( )

CFS convenzionali «

per EDOTHER

"

•

System oriented

User realtime ?

: :o)

Oriented È

FIFOIRR

- per

- •

Definizione

Thread

Ed

A- Ogni Multi / evel

✓ ha

coda g.

FCFS ,

SJF un suo Feedback

Effetto § >

a algoritmo

& starvaton

Convoglio 1

Online

• dinamico

• possibile

Non preemptive preemptive .

Non

• -

" starvationda

online Quanto

• ottimo

pypy gestire

a

Statico .

• , Livelli

↳ Scheduling

tempo

g risposta È ^^

di

Priorità

minima priorità

a 1

preemptive /

statico Dinamico

• •

Online preemptive

•

• statico

-

5

Slide Scheduling Algoritmo di

Aperiodica

Task Brantley

-

Algoritmo di Algoritmo di albero

ad

struttura

Jackson ricerca una

in

•

Horn )

Ohn !

( •

)

EDD offline

( complessità

) A dell elevata usa

si

EDF causa

•

⇐

" ✗

" Earl

" Due L'

Date utilizzo funzione

online prevede

• euristica

una

.es/-Deag,,naf,rg+

ottimo Lmax

→ Eon

minimizza di

ottimo

• sequenza

Lmax *

→ ←→

minimizza

( ) ità

/

ottima

• EDD

Task devono Vincoli

sincroni di

essere

• line

on

• -

preermption di

task

non se sincroni

necessaria

•

• precedenza

m

.

)

Olnlogn

• dinamico

• Otri )

• Ipotesi

esemplificative →

⇐ Attivazioni

Preemption

di preemptive è

'

dell' assenza non

in

/ ità

ottima

prova Simultanee

esserlo

ottimo

più per

,

dovrebbe chiaroveggente

essere da

EDF •

con

test di garanzia Algoritmo di

ottimi

( vincoli

test di garanzia )

prime Lawler

i

fi ti

di )

i (

≤

Erik

LDF

CK

= ti

di ←

test

≤

4- Deadline

Cult

)

+

-1 di

vincoli precedenza

•

" '

= ↑ ↓

a ed temporali

"

tempi " )

01,2

'

calcolo •

di del

fondo DAG

dal

lista

dei tasti

residui Se costruisce

insieme

• • lontana

deadline +

foglie

scegliendo con

modificati *

d- abile

scheda /

è ordine inverso

in

eseguo

e poi

lo anche

è J ottimo ottimo

→ EDF

• non

poiche sei !<di

ed

> ai condizioni

queste

in

?⃝ 6

Slide scheduling di

periodici

Task

Timeline "

÷

:*

" (

scheduling periodo

Deadline #

•

)

(

dinamica

priorità differenza di RM

"

( te Estensione

" •

" "

Priority

offline di

a

driven RM

•

era - alta

• priorità

+ statica

priorità

.

statico •

•

Cycle

Minor Cycle Mayor

• e Ottimo

preemptive rivela lana

•

• >

00

Molto Ambito

prevedibile È

{

'

* /

satty

• )

- online ¥ -1

≤ n

' •

flessibile .

poco

• £ i =L

1

4%

( ≤

nel schedulato

ottimo della pessimiste

/

ità

fragile molto

molto senso

sovraccarichi .

•

nei µ

• latere

della

non » 1

task &