Politecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME. 11 febbraio 2008 RIGA COLONNA MATRICOLA

Transcript

1 Politecnico i Milno Fcoltà i Ingegneri ell Automzione INFORMATICA INDUSTRIALE Appello COGNOME E NOME ebbrio 2008 RIGA COLONNA MATRICOLA Il presente plico pinzto, composto i quttro ogli (ronte/retro)eve essere ebitmente compilto con cognome, nome, numero i mtricol, posizione urnte lo scritto, e eve essere irmto. I compiti non compilti, non irmti o con ogli mncnti non srnno consierti vlii e quini non srnno corretti. Srà vlutto solo qunto scritto su questi ogli. Non è consentito consultre testi né ppunti. Sul tvolo non evono essere presenti teleoni cellulri, né stucci, né custoie i ltro tipo. Le risposte evono essere scritte negli ppositi riquri, qulsisi testo esterno tli riquri non verrà preso in consierzione. Se lo spzio per l soluzione egli esercizi non osse suiciente, si può scrivere sull ultimo oglio. FIRMA

2 Esercizio (0 punti). Si vuole speciicre trmite il ormlismo egli Sttechrts, e senz l utilizzo i vribili, il unzionmento i un mcchin istributrice i merenine. L mcchin contiene ue tipi i merenine: merenin e merenin2. Per ogni tipo i merenin l mcchin contiene l mssimo 2 merenine. Il numero i merenine scene ogni volt che un merenin viene comprt (si ve sotto per le conizioni consierre) e ritorn l mssimo ogni volt che viene ricrict (evento ricric). Inizilmente si suppone che il numero i merenine si pri l mssimo. Ogni utente è munito i un chive mgnetic contenente il proprio creito. L chive può essere inserit (stto inserit) o non inserit (stto non_inserit) nell mcchin istributrice. Nell chive è presente il creito. Questo può essere l mssimo i 5 euro e scene ogni qul volt si compr un merenin el costo ell merenin comprt (si ve sotto per le conizioni consierre) e sle i un euro ogni qulvolt l chive è inserit e si veriic l evento euro. L mcchin istributrice può essere in tre soli stti: ttes, merenin, merenin2. In ttes ttene che l utente scelg l merenin comprre. In merenin l mcchin prenere ll utente un merenin. L trnsizione ttes merenin è possibile se: l chive è inserit, l utente h premuto il pulsnte (evento pulsnte), esiste lmeno un merenin nell mcchin e nell chive è presente un creito suiciente per cquistre l merenin. L merenin h un costo pri 2 euro. L trnsizione merenin ttes vviene in utomtico. In moo nlogo vengono gestite le trnsizioni tr ttes e merenin2, in questo cso però il costo i un merenin2 è i euro. merenin merenin2 2 in(stto.merenin) ricric 2 in(stto.merenin2) ricric ricric in(stto.merenin) ricric in(stto.merenin2) 0 0 creito in(stto.merenin) in(stto.merenin) in(stto.merenin2) Con in(stto.merenin2) in(stto.merenin2) Con Con in(stto.merenin) in(stto.merenin2) in(stto.merenin2) 2 0 Con Con in(stto.merenin) chive stto non_inserit inserisci ritir inserit Con2 merenin ttes Con3 merenin2 Con := euro in(chive.inserit) Con2 := pulsnte in(chive.inserit) in(merenin.0) in(creito.) in(creito.0) Con3 := pulsnte2 in(chive.inserit) in(merenin2.0) in(creito.0)

3 Esercizio 2. (3 punti). Sino ti i seguenti processi perioici J -J 5 riportti in tbell J J 2 J 3 J 4 J 5 i C i i e soggetti i seguenti vincoli i preceenz: Si pplichino le trsormzioni prescritte ll lgoritmo EDF* per il clcolo ei vlori i * e *. Si consieri poi il seguente problem i scheulzione perioic. τ τ 2 τ 3 τ 4 φ i C i 2 2 T i Si ic se è scheulbile trmite EDF giustiicno l rispost e se ne riporti l scheulzione. Si ic, giustiicno l rispost, se tle problem è scheulbile nche con RM. Si consieri inine il problem i scheulzione mist e lo si scheuli con EDF ( prità i eline si preeriscno i processi perioici). Si ic se ll interno ell scheulzione proott tutte le eline sono rispettte. In cso negtivo segnlre i processi le cui eline sono violte. Applico EDF* l problem vincolto otteneno i seguenti vlori i * i e * i: J J 2 J 3 J 4 J 5 * i * i Consiero il problem i scheulzione perioic. Il problem è scheulbile in qunto il ttore i utilizzzione è ineriore uno, precismente è: U = /5 + /7 + 2/ + 2/ Il problem è scheulbile nche con RM in qunto sois l conizione i Lyu&Lyln, precismente: U 0.65 < U lub = ( )

4 L scheulzione el problem perioico trmite EDF è l seguente: L scheulzione el problem misto trmite EDF è l seguente: Esercizio 2.b (6 punti). Sino ti i seguenti processi perioici: τ τ 2 τ 3 τ 4 φ i C i 2 2 T i Dire, giustiicno l rispost, se il problem to è scheulbile trmite EDF. Si consieri poi il processo sot rel-time J con =0 e C =3. Si pplichi TBS e si riporti l scheulzione proott e il tempo i rispost per J. Si pplichi successivmente TBS* e si riporti l scheulzione proott e il tempo i rispost per J.

5 Il ttore i utilizzzione el problem perioico è: U Il problem è quini scheulbile con EDF. Applico TBS. Il ttore i utilizzzione el server è U s = = TBS ssegn un eline l Cs processo J pri : + = 3. L scheulzione risultnte è l seguente: U s Il tempo i rispost è 0. Applico TBS*. Riporto le iterzioni: = 3 = ( ) = ( ) ( ) I ( next _ r I ( = 9 () () (2) (2) (3) (3) (4) (4) = 9 = = 6 = = 5 = = 4 ) = 4 = 4 = ) = / 4, next _ r2 = 5 / 5, next _ r3 = / mx(0, 9/ 4 ) + mx(0, 8/5 ) + 2 mx(0, 2 / p ( ( ( ( (3) () (2) (4) ) + mx(0, ) + mx(0, ) = 3 5/ 4 ) + mx(0, 5/5 2 / 4 ) + mx(0, /5 ) + mx(0, / 4 ) = 4 L scheulzione risultnte è l seguente: ) = 6 ) = 5 ) = 2 Il tempo i rispost è 3.

6 Esercizio 3 (6 punti). Si escriv il meccnismo egli interrupt e come questo viene utilizzto l sistem opertivo per gestire l scheulzione ei processi.

7 Esercizio 4 (6 punti). Si escriv l pil protocollre ISO/OSI speciicnone sinteticmente ogni livello.