Slajd11

Implementacje semaforów (1/4)

■    Semaforze zbiorem oczekujących - proces sygnalizujący wznawia jeden ze wskazanych procesów.

■    Walt (S) - Jeśli S>0, to S:= S-1, w przeciwnym przypadku wstrzymaj wykonanie tego procesu.

■    signai (S) - Jeśli są procesy wstrzymane przez ten semafor, to wznów jeden z nich, w przeciwnym przypadku S:= S+1.

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