Sezione critica

Struttura semaforo passivo
• Nel caso passivo, il semaforo diventa una
struttura dati contenente:
– la singola variabile intera S, che conta il numero
di slot associati alla risorsa
– una lista di processi che attendono lo sblocco
della risorsa
typedef struct {
int valore;
struct processo *p;
} semaforo;
puntatore alla lista dei
processi in attesa di
entrare nella sezione
critica
41