Processi periodici. Capitolo Modello Simboli Grafico dei processi. {τ 1,...,τ n } processi periodici

Transcript

1 3 Capolo 2 Process perodc 2. Modello 2.. Smbol {,...,τ n } process perodc τ,k sanza k-esma del processo φ fase d un processo (prmo empo d avazone) T perodo del processo r,k = φ +(k ) T k-esma avazone D = d,k a,k deadlne relava d un processo C empo d compuazone d un processo U = U = C T faore d ulzzazone 2..2 Grafco de process T D φ C d,k r,k+ τ

2 CAPITOLO 2. POCESSI PEIODICI 2..3 sula noevol d schedulablà Se U> l ssema non è schedulable ndpendenemene dall algormo ulzzao. ae monoonc Lyu Layland (condzone suffcene) ( ) n U h = n 2 U U h l ssema è schedulable dove n èlnumerodeprocess U h <U non c s può esprmere sulla schedulablà del ssema Bn Buazzo (condzone suffcene) (U +) 2 l ssema è schedulable (U +)> 2 non c s può esprmere sulla schedulablà del ssema esponse me analyss (condzone necessara e suffcene compuazonalmenepesane) D, l ssema è schedulable = C (2.) I k = k c j (2.2) T j j T j <T k = C + I (k ) (2.3) Noa. La verfcaa schedulazone con Lyu Layland mplca la verfcaa schedulazone con Bn Buazzo. Deadlne monoonc esponse me analyss (condzone suffcene compuazonalmene pesane) Early deadlne frs U l ssema è schedulable 2.2 M (Saco, D = T ) ae monoonc. Le prorà sono fsssae all sane =enonpossonocambareduranela schedulazone de process: pù pccolo è l perodo, pù ala la prorà.

3 2.2. M (STATICO, D I = T I ) 5 Eserczo 2. Schedulare seguen process. φ C 2 2 T Eserczo 2.2 Dre se l seguene ssema è schedulable con M. τ 3 τ φ 2 2 C 2 T Lyu Layland es. U = =, 75 ( ) U h = 2 =, 758 U<U h schedulable con M Noa. Essendo U< l ssema rsula schedulable anche con EDF.

4 CAPITOLO 2. POCESSI PEIODICI τ 3 τ Eserczo 2.3 Dre se l seguene ssema è schedulable con M. τ 3 τ φ 2 3 C T Lyu Layland es. U = =, 95 ( ) U h = 2 =, 757 U>U h non ho garanza d schedulablà Bn Buazzo es. (U +)= ( ) ( ) ( ) ( ) = 2, 3 (U +)> 2 non ho garanza d schedulablà TA es. Ordno n modo crescene process per T : τ 3,,, τ. 3 = C 3 = I3 = 3 = C 3 + I3 ==3 3 <D 3 = τ 3 èschedulable

5 2.2. M (STATICO, D I = T I ) 7 = C =2 I = C 3 = = = C + I =2+=3 I = C 3 3 = = 2 = C + I =2+=3= <D = èschedulable 2 = C 2 =2 I2 = C 2 + C = C 2 + I2 =2+3=5 2 I2 = C 2 + C = C 2 + I2 =2+= 2 I2 2 2 = C C =3 5 = = 3 2 = C 2 + I 2 2 =2+==2 2 <D 2 = èschedulable = C =2 I = C 2 + C + C 3 = C + I =2+5=7 I = C 2 + C + C 3 2 = C + I =2+8= I 2 2 = C C 2 + C 3 3 = C + I 2 =2+9= 2 I 3 3 = C C 3 + C 3 = C + I 3 =2+=3 >D = T τ non è schedulable =5 7 =8 =9 =

6 8 CAPITOLO 2. POCESSI PEIODICI Eserczo 2. Trovare valore d C ale che:. sa massmo ma schedulable con Lyu Layland, 2. sa massmo ma schedulable con Bn Buazzo, 3. sa massmo ma schedulable n sezone crca. τ 3 τ φ C 2 3? T Lyu Layland es. ( ) U h = 2 =, 757 Hp : C = U = =, 75 2 U<U h τ èschedulable Hp : C =2 U = =, 8 U>U h non ho garanza d schedulablà C =. 2. Bn Buazzo es. Hp : C = Hp : C =2 (U +)= ( ) ( ) ( ) ( ) =, 98 (U +)> 2 τ èschedulable (U +)= ( ) ( ) ( ) ( ) = 2, 25 (U +)> 2 non ho garanza d schedulablà C =.

7 2.3. DM (STATICO, D I <T I ) 9 3. Sezone crca es. C =. τ 3 τ Noa. NelcasoC =cosa c drebbero es Lyu Layland e Bn Buazzo? Lyu Layland U = =, 9 U>U h non ho garanza d schedulablà Bn Buazzo (U +)= ( ) ( ) ( ) ( ) =3 (U +)> 2 non ho garanza d schedulablà Noa. Con EDF sarebbe schedulable?essendo U< la rsposa è affermava. 2.3 DM (Saco, D <T ) Deadlne monoonc. Leproràsonofsssaeall sane =enonpossonocambareduranela schedulazone de process: pù pccola è la deadlne, pù ala la prorà. Eserczo 2.5 Dre se l seguene ssema è schedulable. φ 3 C 2 2 T D 3 3

8 2 CAPITOLO 2. POCESSI PEIODICI 2 = C 2 =2 I2 = 2 = C 2 + I2 ==2 2 <D 2 èschedulable = C =2 I = C 2 =2 = C + I =2+2=>D non è schedulable Fgura 2.: Sezone crca Fgura 2.2: DM Noa. L eserczo è una dmosrazone che TA è una condzone suffcene e non necessara per la schedulablà d un ssema con DM. 2. EDF (Dnamco, D = T ) Early deadlne frs. Leproràcambanodnamcamenealvararedeglsan d empo: deadlne pù srngene, prorà pù ala. Eserczo 2. Schedulare seguen process. τ 3 τ φ C T U = =, 95 2 U< l ssema è schedulable

9 2.. EDF (DINAMICO, D I = T I ) 2 τ 3 τ Noa. Nell Eserczo 2. l ssema rsulava schedulable con algormo M e al pù C = (anals TA); con C =5l ssema rsula schedulable ulzzando EDF, ma non con M.