Slajd5

Zmienne warunkowe (1/2)

Zmienne warunkowe - służą do synchronizacji wewnątrz monitora.

Zmienna warunkowa (conditions) - struktura na której można wykonać trzy operacje:

■    wait (C) - wywołujący proces zostaje zatrzymany i umieszczony w kolejce prostej procesów zatrzymanych na warunku C.

■    signai(C) - jeśli kolejka związana ze zmienną warunkową C jest niepusta, to reaktywowany jest pierwszy proces z kolejki.

■    is_not_empty (c) - jeśli kolejka związana ze zmienną warunkową C jest niepusta, to zwraca wartość True.

m Część języków programowania oraz przykłady rozwiązywania problemów programowania współbieżnego używają także operacji is_einptY (c), będącej odwrotnością operacji is_not_emptY(C).

Programowanie współbieżne z zastosowaniem monitorów. Zmienne warunkowe. 5