Architettura degli elaboratori 2 - T. Vardanega 1

Transcript

1 " % &'( &( È ) Architettura degli elaboratori - T. Vardanega Pagina Architettura degli elaboratori - T. Vardanega Pagina define N / posizioni del contenitore / typedef int semaforo; / P decrementa, V incrementa, 0 blocca / semaforo mutex = ; semaforo non-pieno = N; semaforo non-vuoto = 0; void produttore(){ void consumatore(){ while(){ while(){ prod = produci(); P(&non-vuoto); P(&non-pieno); P(&mutex); P(&mutex); prod = preleva(); inserisci(prod); V(&mutex); V(&mutex); V(&non-pieno); V(&non-vuoto); Il corretto ordinamento di P e V è critico Architettura degli elaboratori - T. Vardanega Pagina 3 &'( P(&mutex); / accesso esclusivo al contenitore / P(&non-pieno); / attesa spazi nel contenitore /,%-. / Architettura degli elaboratori - T. Vardanega Pagina &0..(. &3.63.7( &/( ". % 8." Architettura degli elaboratori - T. Vardanega Pagina Architettura degli elaboratori - T. Vardanega Pagina 6 Architettura degli elaboratori - T. Vardanega

2 7 % 9& /(. Wait&:;( <= =< Signal&:;(<= =< > Architettura degli elaboratori - T. Vardanega Pagina 7 monitor PC condition non-vuoto, non-pieno; integer contenuto := 0; procedure inserisci(prod : integer); if contenuto = N then wait(non-pieno); <inserisci nel contenitore>; contenuto := contenuto ; if contenuto = then signal(non-vuoto); function preleva : integer; if contenuto = 0 then wait(non-vuoto); preleva := <preleva dal contenitore>; contenuto := contenuto ; if contenuto = N- then signal(non-pieno); end monitor; procedure Produttore; while true do prod := produci; PC.inserisci(prod); procedure Consumatore; while true do prod := PC.preleva; Architettura degli elaboratori - T. Vardanega Pagina Wait, Signal &(. Signal Wait Signal?%. synchronized. wait&( notify&( synchronized 8.wait&( %. / Architettura degli elaboratori - T. Vardanega Pagina 9 Architettura degli elaboratori - T. Vardanega Pagina 0 class monitor{ private int contenuto = 0; public synchronized void inserisci(int prod){ if (contenuto == N) blocca(); <inserisci nel contenitore>; contenuto = contenuto ; if (contenuto == ) notify(); public synchronized int preleva(){ if (contenuto == 0) blocca(); prod = <preleva dal contenitore>; contenuto = contenuto - ; if (contenuto == N-) notify(); return prod; private void blocca(){ try{wait(); catch(interruptedexception exc) {; static final int N = < >; static monitor PC = new monitor(); // PC.inserisci(prod); // produttore // prod = PC.preleva(); // consumatore 8 / A 8 &(, &(.. & ( Architettura degli elaboratori - T. Vardanega Pagina Architettura degli elaboratori - T. Vardanega Pagina Architettura degli elaboratori - T. Vardanega

3 9 < < Send&.( < Receive&.( < 0 0?? 0 &B(? 0 Architettura degli elaboratori - T. Vardanega Pagina 3 Architettura degli elaboratori - T. Vardanega Pagina & ( / Send(canale, msg){ Receive(canale, vtg){ if canale->stato { if canale->stato { canale->casella = msg; vtg = canale->casella; canale->stato = false; canale->stato = false; <sveglia destinatario>; <sveglia mittente>; canale->stato = true; canale->stato = true; canale->casella = msg; &canale->casella = &vtg; <sospendi mittente>; <sospendi destinatario>; Architettura degli elaboratori - T. Vardanega Pagina msg canale->casella Visione lato mittente Memoria copia Visione lato destinatario Memoria Architettura degli elaboratori - T. Vardanega Pagina 6 vtg canale->casella Una sola scrittura nella memoria del destinatario Casella postale (mailbox) ad posizione 7 C?.? %?" vtg ".. C & ( Architettura degli elaboratori - T. Vardanega Pagina &'D( 9 &( &( Architettura degli elaboratori - T. Vardanega Pagina 8 Architettura degli elaboratori - T. Vardanega 3

4 void produttore(){ message msg; prod = produci(); receive(consumatore,&msg); crea(&msg,prod); send(consumatore,&msg); while (); Restituisce messaggi vuoti Inizialmente N, poi per volta Invia messaggi con prodotto void consumatore(){ message msg; crea(&msg, ); for(i=0;i<n;i) send(produttore,&msg); receive(produttore,&msg); prod = estrai(&msg); send(produttore,&msg); while (); E 8. E Architettura degli elaboratori - T. Vardanega Pagina 9 prod prod 8? Architettura degli elaboratori - T. Vardanega Pagina &'(. &( &(? G 8 Architettura degli elaboratori - T. Vardanega Pagina Architettura degli elaboratori - T. Vardanega Pagina ilosofi a cena - &'( 3 void filosofo_i_esimo(){ medita(); P(f[i]); P(f[(i)%N]); mangia(); 3 V(f[(i)%N]); while (); L accesso alla prima forchetta non garantisce l accesso alla seconda H Architettura degli elaboratori - T. Vardanega Pagina 3 ilosofi a cena - 3 &( void filosofo_i_esimo(){ OK = 0; medita(); P(f[i]); if (f[(i)%n]) { sleep(t); P(f[(i)%N]); OK = ; while (OK); mangia(); V(f[(i)%N]); while (); Un attesa a durata fissa difficilmente genera una situazione differente Architettura degli elaboratori - T. Vardanega Pagina Architettura degli elaboratori - T. Vardanega

5 ilosofi a cena Architettura degli elaboratori - T. Vardanega Pagina 0 Architettura degli elaboratori - T. Vardanega Pagina 6 0. &( 8 I 0 9 Architettura degli elaboratori - T. Vardanega Pagina 7 Architettura degli elaboratori - T. Vardanega Pagina 8 0.,% " % " ", ) 8 Architettura degli elaboratori - T. Vardanega Pagina 9 0 C H, Architettura degli elaboratori - T. Vardanega Pagina 30 Architettura degli elaboratori - T. Vardanega