Meccanismi di Sincronizzazione: Semafori, Wait, Signal e il Problema dei Filosofi Commensali
Classificato in Informatica
Scritto il in
italiano con una dimensione di 3,59 KB
Semaforo: Strumento di Sincronizzazione
Il semaforo è uno strumento di sincronizzazione fondamentale per risolvere i problemi delle sezioni critiche e i problemi di concorrenza. Si tratta di una variabile intera a cui è possibile accedere solo attraverso due operazioni atomiche: Wait e Signal.
Quando un processo modifica il valore di un semaforo, gli altri processi non possono farlo contemporaneamente. Viene inizializzato con un valore non negativo. L'operazione Wait (o P) diminuisce il valore del semaforo. Se il valore risultante è negativo, il processo viene bloccato. L'operazione Signal (o V) aumenta il valore del semaforo. Se il valore risultante è positivo, un processo bloccato dall'operazione Wait viene sbloccato.
La definizione formale... Continua a leggere "Meccanismi di Sincronizzazione: Semafori, Wait, Signal e il Problema dei Filosofi Commensali" »