Reklama

dozór

(guard)

wyrazenie boolowskie zwiazane z operacja jezyka Orca, nie powodujace efektów ubocznych (takze d o z ó r p u s t y, równowazny wartosci "prawda"). Po wywolaniu operacji oblicza sie jej dozory. Jesli wszystkie maja wartosc "falsz", to wywolujacy operacje proces jest opózniany do czasu, gdy którys z dozorów przyjmie wartosc "prawda"; wówczas nastepuje wykonanie wystepujacego po nim ciagu instrukcji. Zob. tez stróz, opiekun, synchronizacja.

Reklama

Podobne hasła:

Encyklopedia Internautica
Reklama
Reklama
Reklama