-W¨ahrend ein Prozess auf eine Bedingung (z. B. count > 0 bei fetch) wartet, muss der Monitor fur andere Prozesse freigegeben werden, ¨ sonst k¨onnen sich Prozesse gegenseitig blockieren: z.B. kein Prozess kann deposit ausfuhren und dadurch wartet ¨ fetch unendlich

-Als L¨osung gibt es fur Monitore auf Sprachebene das folgende Konzept der Bedingten Synchronisation, mit zwei Operationen: -cwait(c)Prozess gibt Monitor frei und wartet auf das nachfolgende csignal(c), d. h. das Eintreten der Bedingung c. Nach dem Erhalten des Signals, setzt er im Monitor fort. -csignal(c) Ein wartender Prozess wird geweckt und belegt den Monitor. Gibt es keinen wartenden Prozess, hat die Prozedur keinen Effekt.

-Die wartenden Prozesse werden (wie auch bei der Signalisierung oderden Semaphoren) in einer Warteschlange verwaltet.

-Die Bedingungen werden durch logische Bedingungsvariablenimplementiert