Slajd12

Implementacje semaforów (2/4)

■ Semafor z kolejką oczekujących - wstrzymane procesy są przechowywane w kolejce prostej i wznawiane w tym samym porządku w jakim były wstrzymywane (FIFO).

-    Walt (S) - Jeśli S>0, to S:= S-1, w przeciwnym przypadku wstrzymaj wykonanie tego procesu. Dołącz ten proces na koniec kolejki.

-    signai (S) - Jeśli są procesy wstrzymane przez ten semafor, to wznów proces znajdujący się na początku kolejki, w przeciwnym przypadku S:= S+1.

Programowanie współbieżne z zastosowaniem semaforów. .. 12