5783291202

Semafory

•    Historycznie pierwsze wysokopoziomowe narzędzie realizacji synchronizacji procesów (Dijkstra)

•    Implementowane w różnych języka programowania (np. Java, C (pthread))

•    Semafor to zmienna całkowitoliczbowa + trzy dopuszczalne operacje

•    Dostępne operacje: inicjalizacja, wait, signal

•    wait (s):

jeżeli s>0, to 5=5-1, w przeciwnym wypadku proces, który wykonał funkcję wait zostaje zawieszony

•    signal(s):

jeżeli istnieją procesy (lub proces) zawieszone wskutek wcześniejszego wykonania operacji wait na danym semaforze, to wznów jeden z procesów zawieszonych; w przeciwnym wypadku s=s+l

•    Istnieją różne warianty semaforów: ogólne, binarne, uogólnione. Różne semafory wykorzystywane są do rozwiązania różnych problemów synchronizacji

•    Definicja semafora nie specyfikuje polityki wznawiania procesów zawieszonych na semaforze. Zależy to od konkretnej implementacji