Please enable JavaScript.
Coggle requires JavaScript to display documents.
I SEMAFORI, Garantiamo la mutua esclusione, Utilizziamo meccanismi di…
I SEMAFORI
-
Sezione critica
Come viene gestita?
-
2.Se la risorsa è libera il gestore ne assicura un uso esclusivo per tutta la durata dell'elaborazione
3.Se la risorsa fosse occupata il gestore ne impedisce l'accesso gestendo la richiesta, per esempio, con una coda di attesa
4.Quando il processo **termina deve effettuare delle operazioni per rilasciare** la risorsa in modo che possa essere utilizzata da altri processi.
-
-
Semafori di Dijkstra
La risorsa passata come parametro ai semafori assume valori maggiori o uguali a 0.
Abbiamo anche in questo caso 2 primitive:
-P(S): serve per decrementare il semaforo e accedere alla risorsa;
-V(S): serve per incrementare il semaforo e rilasciare la risorsa.
Inoltre, questo tipo di semafori possono essere utilizzati per indicare la molteplicità di una risorsa e introducono una coda:
-se trovo un semaforo a rosso,risveglio un processo che è già presente nella coda e gli assegno la risorsa;
-viceversa se non c'è nessuno in coda allora incremento il semaforo;
-
-