Spis treœci - Patrz

jest deklaracją semafora SEM o wartości początkowej 4. Podobny sposób inicjowaniaprzyjmiemy także dla zmiennych innych typów.Dijkstra operację podnoszenia oznaczył literą V od pierwszej litery holenderskiegosłowa vrimakenn verhogen, co znaczy zwolnić lub zwiększyć, a operację opuszczania literą Pod holenderskiego słowa passeren lub proberen, co znaczy przejść lub próbować. V(5)oznacza zatem podniesienie semafora 5, a P(S) jego opuszczenie.W literaturze na określenie operacji podniesienia i opuszczenia używa się także słówwait i signal. Tych samych słów używa się jednak na oznaczenie opisanych w następnymrozdziale operacji na zmiennych typu condition. Aby uniknąć ewentualnych nieporozumień,pozostaniemy przy oznaczeniach P i V.3.1.3 Semafor binarnyW odróżnieniu od semafora ogólnego semafor binarny nie jest zmienną całkowitą leczzmienną logiczną albo, inaczej mówiąc, pojedynczym bitem. Semafor binarny może zatemprzyjmować tylko wartości 0 lub 1 (true lub false).Definicja klasycznaWedług definicji klasycznej podnoszenie semafora binarnego to wykonanie instrukcji:• S := la jego opuszczenie to wykonanie instrukcji• czekaj, aż S = 1; S := 0.Z przyczyn, które już omówiliśmy, przyjmiemy w tej książce definicję „praktyczną".Definicja „praktyczna "Według definicji „praktycznej" operacji opuszczenia semafora binarnego odpowiadawykonanie instrukcji:• jeśli S = 1, to S := 0, w przeciwnym razie wstrzymaj działanie procesuwykonującego tę operację;a operacji podniesienia — instrukcja:• jeśli są procesy wstrzymane w wyniku wykonania operacji opuszczaniasemafora S, to wznów jeden z nich, w przeciwnym razie S := 1.NotacjaSemafor binarny, ze względu na swą prostotę, jest łatwiejszy do realizacji niż semaforogólny (przekonują o tym odpowiednie przykłady w dalszych rozdziałach). Będziemypodkreślać, wyjątkowość semafora binarnego dodając przy deklaracji słowo binary. Operacjępodnoszenia semafora binarnego będziemy oznaczać literami VB a opuszczania - literami PB.W istocie większość semaforów używanych w przykładach i rozwiązaniach zadań w tymrozdziale to semafory binarne.Związek między semaforem binarnym a ogólnym34