Sezione critica

More documents

Recommendations

Info

Semaforo passivo: wait() • La funzione wait(S) si estende con il supporto di accodamento dei processi void wait(semaforo S) { S.valore--; if (S.valore < 0) { ; } } block(); mette il processo in stato di attesa 42
Semaforo passivo: signal() • La funzione signal(S) si estende con il supporto di prelievo di un processo dalla coda void signal(semaforo S) { S.valore++; if (S.valore
Page 1 and 2: Sincronizzazione • Nell'informati
Page 3 and 4: Accesso esclusivo a dati condivisi
Page 5 and 6: Bounded buffer: produttore • L'al
Page 7 and 8: Bounded buffer: concorrenza • Se
Page 9 and 10: Bounded buffer: concorrenza • reg
Page 11 and 12: Bounded buffer: concorrenza T 0 : p
Page 13 and 14: Sezione critica • Siano dati n pr
Page 15 and 16: Protezione delle sezioni critiche
Page 17 and 18: Meccanismi attivi e passivi • Le
Page 19 and 20: La soluzione di Peterson • Due pr
Page 21 and 22: La soluzione di Peterson • Sono v
Page 23 and 24: La soluzione di Peterson • Sono v
Page 25 and 26: Modello di locking/unlocking • Il
Page 27 and 28: Supporto hardware al locking • Se
Page 29 and 30: Locking/Unlocking con TestAndSet
Page 31 and 32: Istruzione Swap • L'istruzione Sw
Page 33 and 34: locco Locking/Unlocking con Swap 1
Page 35 and 36: Semafori • Le soluzioni al proble
Page 37 and 38: wait() e signal() • Lo scheletro
Page 39 and 40: Semafori attivi e passivi • Il mo
Page 41: Struttura semaforo passivo • Nel
Page 45 and 46: Problemi: stallo • Nell'implement
Page 47 and 48: Problemi: attesa indefinita • In
Page 49 and 50: Problemi tipici di sincronizzazione

Sezione critica

Create successful ePaper yourself

Delete template?

Save as template?