5783291203

Semafory c.d.

•    Semafory stanowią wysokopoziomowe narzędzie synchronizacji dostępne w systemach scentralizowanych - ze wspólną pamięcią. Semafor jest obiektem współdzielonym pomiędzy synchronizowanymi wątkami/procesami

•    Operacje opuszczania i podnoszenia danego semafora są niepodzielne (atomowe)

•    Klasyczna definicja semafora nie dopuszcza możliwości testowania zmiennej semaforowej; istnieją implementacje dające taką możliwość

•    Do rozwiązania pewnych problemów programowania współbieżnego konieczna jest znajomość stanu zmiennej semaforowej. W przypadku, gdy implementacja semafora jest zgodna z definicją klasyczną konieczna może być obsługa dodatkowej zmiennej globalnej ustawianej w sekcji krytycznej