Hier is een overzicht van hun belangrijkste kenmerken en gebruik:

* Synchronisatiemechanisme: Semaforen voorkomen race-omstandigheden, waarbij meerdere processen die tegelijkertijd toegang proberen te krijgen tot dezelfde bron en deze kunnen wijzigen, tot onvoorspelbare en onjuiste resultaten kunnen leiden. Ze handhaven een bevel tot gecontroleerde toegang.

* Tegenwaarde: Een semafoor behoudt een niet-negatieve gehele waarde. Deze waarde vertegenwoordigt het aantal beschikbare middelen of vergunningen.

* `sem_wait()` (of `sem_trywait()`): Deze bewerking verlaagt de waarde van de semafoor. Als de waarde groter is dan nul, wordt deze verlaagd en gaat het proces verder. Als de waarde nul is, blokkeert (wacht) het proces totdat de waarde van de semafoor groter wordt dan nul (een ander proces verhoogt deze met `sem_post`). `sem_trywait()` is een niet-blokkerende versie; het retourneert een fout als de semafoorwaarde nul is.

* `sem_post()`: Deze bewerking verhoogt de waarde van de semafoor. Als een proces tijdens het wachten op de semafoor wordt geblokkeerd, wordt een van de wachtende processen geactiveerd.

* Typen: Linux biedt benoemde en naamloze semaforen.

* Niet nader genoemde semaforen: Deze worden gemaakt met `sem_init()` en zijn alleen toegankelijk binnen het proces of de threadgroep waar ze zijn gemaakt. Ze worden doorgaans gebruikt voor synchronisatie binnen één proces.

* Genoemde semaforen: Deze worden gemaakt met `sem_open()` en bestaan ​​in het gedeelde geheugen van het systeem. Ze zijn toegankelijk voor meerdere processen, waardoor communicatie tussen processen (IPC) mogelijk wordt. Benoemde semaforen worden geïdentificeerd door een unieke naam.

* Binaire semaforen: Een semafoor met een maximale waarde van 1 wordt vaak een binaire semafoor genoemd. Het werkt als een mutex-vergrendeling (wederzijdse uitsluiting), waardoor slechts één proces tegelijk toegang heeft tot de gedeelde bron.

* Semaforen tellen: Een semafoor met een waarde groter dan 1 is een tel-semafoor. Het kan meerdere exemplaren van een bron vertegenwoordigen, waardoor meerdere processen gelijktijdig toegang hebben tot de bron tot aan de waarde van de semafoor.

Voorbeeld (conceptueel):

Stel je een printer voor die door meerdere processen wordt gedeeld. Een tel-semafoor kan worden gebruikt om de toegang te controleren:

1. Initialisatie: De semafoor wordt geïnitialiseerd op het aantal printers (bijvoorbeeld 3).

2. Proces 1 wil afdrukken: Het roept `sem_wait()` aan. De semafoorwaarde wordt verlaagd (3 wordt 2) en het proces gaat verder met afdrukken.

3. Proces 2 wil afdrukken: Het roept `sem_wait()` aan. De semafoorwaarde wordt verlaagd (2 wordt 1) en het proces gaat verder met afdrukken.

4. Proces 3 wil afdrukken: Het roept `sem_wait()` aan. De semafoorwaarde wordt verlaagd (1 wordt 0) en het proces gaat verder met afdrukken.

5. Proces 4 wil afdrukken: Het roept `sem_wait()` aan. De semafoorwaarde is 0, dus het proces blokkeert totdat er een printer beschikbaar komt.

6. Proces 1 voltooit het afdrukken: Het roept `sem_post()` aan. De semafoorwaarde wordt verhoogd (0 wordt 1) en proces 4 wordt geactiveerd.

Belangrijke bibliotheken: In Linux worden semaforen doorgaans benaderd met behulp van de POSIX-semafoorfuncties die zijn gedeclareerd in ``. Merk op dat de specifieke implementatie enigszins kan variëren tussen verschillende Unix-achtige systemen.