semaphore: semafor

Wynaleziona w 1968 roku przez Edsgera Dijkstrę technika synchronizacji procesów. W najbardziej podstawowej postaci semafor jest liczbą całkowitą z dwiema funkcjami zwyczajowo nazywanymi P i V. Proces chcący uzyskać dostęp do sekcji krytycznej (critical-section) wywołuje funkcję P na rzecz odpowiedniego semafora. Jeśli wartość tego semafora wynosi przynajmniej 1, zostaje ona zmniejszona o 1 i proces uzyskuje dostęp do sekcji krytycznej. Jeśli wartość semafora wynosi 0 lub mniej, proces musi poczekać aż inny proces zwolni semafor, czyli wywoła na jego rzecz funkcję V, która zwiększa o 1 wartość semafora. Zobacz również binary semaphore.