Laboratorio Sistemi Operativi - Semafori

I semafori di System V sono organizzati in gruppi chiamati set di semafori. Ogni set contiene un numero definito di semafori.

System call per creare o aprire un set di semafori. Specifica il numero di semafori nel set.

System call per inizializzare i semafori in un set (SETVAL o SETALL), o per rimuovere il set (IPC_RMID).

System call per eseguire operazioni sui valori dei semafori in un set. Consente di gestire le acquisizioni e il rilascio di risorse condivise in modo atomico.

Valore speciale per semget() che indica la creazione di un nuovo set di semafori. Il set è creato con un ID unico e non condiviso.

Un bit di permesso che permette all'utente di eseguire un file come se fosse l'utente che lo possiede.

Un bit di permesso che permette ad un gruppo di eseguire un file come se fosse il gruppo che lo possiede.

Un bit di permesso che impedisce a chiunque non sia il proprietario di spostare o eliminare un file.

Consente all'utente di leggere il contenuto di un file.

Consente all'utente di modificare il contenuto di un file.

Consente all'utente di eseguire un file.

Consente al gruppo del file di leggere il file.

Consente al gruppo del file di modificare il file.

Flag per semget() per creare un nuovo set di semafori se non esiste già.

Flag per semget() per impedire la creazione di un set di semafori se esiste già.

Numero di semaforo all'interno del set di semafori (per semctl()).

Argomento per semctl() che specifica l'operazione da eseguire sul set di semafori.

Operazione cmd per semctl() per inizializzare il valore di un semaforo.

Operazione cmd per semctl() per rimuovere un set di semafori.

Inizializza un semaforo specifico nel set a un valore dato. Richiede permessi di scrittura sul semaforo.

Restituisce il valore attuale di un semaforo specifico nel set. Richiede permessi di lettura sul semaforo.

Restituisce i valori attuali di tutti i semafori in un set. Richiede permessi di lettura sul set di semafori.

Inizializza tutti i semafori in un set con i valori specificati in un array. Richiede permessi di scrittura sul set di semafori.

Controllare l'accesso a una risorsa condivisa, assicurando che solo un processo alla volta possa accedere alla risorsa.

Restituisce il PID dell'ultimo processo che ha eseguito un'operazione semop() su un semaforo specifico.

semop() con una singola operazione di valore zero

Potrebbe causare problemi di concorrenza, se non gestito correttamente.

Questa call restituisce il numero di processi in attesa di un incremento del valore del semaforo, ovvero il valore semncnt.

Questa call restituisce il numero di processi in attesa che il valore del semaforo diventi 0, ovvero il valore semzcnt.

Struttura contenente le informazioni di permessi del set di semafori. Consente di gestire l'accesso al set.

Membro della struttura semid_ds che tiene traccia dell'ultima volta in cui il valore del semaforo è stato modificato da un'operazione semop() o SEM_UNDO.

Membro della struttura semid_ds che tiene traccia dell'ultima volta in cui il set di semafori è stato modificato usando semctl() (esempio: SETALL o SETVAL).

Si verifica quando due o più processi cercano di accedere e modificare lo stesso semaforo contemporaneamente, portando a risultati imprevedibili.

Si utilizza una combinazione di semget() con IPC_CREAT e IPC_EXCL e semctl() per inizializzare il semaforo prima che il processo successivo cerchi di accedervi.

Questa chiamata crea un nuovo set di semafori, ma solo se un set con lo stesso key non esiste già.

Utilizza la chiamata semctl() con il comando SETVAL per assegnare un valore iniziale al semaforo.

Utilizzando semctl() con IPC_STAT, il processo può verificare lo stato del semaforo e aspettare che il sem_otime sia diverso da 0, indicando che è stato utilizzato.

Utilizzando semop(), i processos possono eseguire operazioni sui semafori (acquisizione o rilascio di risorse).

Se semget() restituisce -1 con errno uguale a EEXIST, significa che un semaforo con lo stesso key è già stato creato da un altro processo.

Il valore sem_op in semop() specifica l'operazione da eseguire sul semaforo. Un valore positivo indica il rilascio di risorse, mentre un valore negativo indica l'acquisizione.

L'implementazione richiede di gestire la creazione del semaforo, la sua inizializzazione e l'attesa che il semaforo sia pronto prima che altri processi tentino di utilizzarlo.