Rops
Mislim da je stvar u tomu što najviše jedna dretva smije biti u monitoru u jednom trenutku. Ako bismo samo napisali funkciju uvrstiti_u_red_uvjeta ta dretva nakon oslobađanja ne treba ponovno ispitivati monitor i to bi bilo krivo.
Ovako s funkcijom čekati_u_redu_uvjeta prvo uvrstimo opisnik dretve u neki od redova uvjeta, a onda nakon oslobađanja te dretve (svih dretvi) iz reda uvjeta, ona prvo mora ući u monitor kako bi nastavila izvršavanje.
Mene je zbunjivalo to što red nakon reda pišu dvije funkcije, uvrstiti_u_red_uvjeta i uci_u_monitor, ali ta j_funkcija udji_u_monitor se odvija tek nakon što se dretva oslobodi iz reda uvjeta