czekaj na c (ang. wait) – wywoływana przez wątek, który chce zaczekać na spełnienie warunku W trakcie oczekiwania nie zajmuje on monitora i nazywany jest wątkiem oczekującym. powiadom c (ang. signal lub notify) – wywoływana przez wątek, aby powiadomić czekające wątki, że został spełniony. Nazywamy go wątkiem powiadamiającym.
Zmienne warunkowe z blokowaniem Oryginalne prace C.A.R. Hoare’a oraz Pera Brinch Hansena proponowały zmienne warunkowe z blokowaniem. Monitory pracujące w ten sposób są często nazywane monitorami Hoare’a.
W zmiennych warunkowych z blokowaniem wątek powiadamiający jest blokowany do czasu, aż powiadomiony wątek oczekujący nie opuści monitora lub nie zatrzyma się w ponownym oczekiwaniu na warunek.
Zakładamy, że występują dwie główne kolejki wątków:
e jest kolejką wejściową. s jest kolejką wątków powiadamiających.
Ponadto każda zmienna warunkowa posiada własną kolejkę wątków oczekujących na spełnienie warunku. Zazwyczaj gwarantuje się uczciwość obu kolejek (tzn. wchodzący do nich wątek nie będzie wybierany w nieskończoność, co głodziłoby pozostałe).
Poniżej przedstawione są implementacje poszczególnych operacji monitora.