Editing Monitor (synchronization) (section)

===Implicit signaling===

Another approach to signaling is to omit the '''signal''' operation. Whenever a thread leaves the monitor (by returning or waiting), the assertions of all waiting threads are evaluated until one is found to be true. In such a system, condition variables are not needed, but the assertions must be explicitly coded. The contract for wait is

 '''wait''' {{var|P}}:
     '''precondition''' {{var|I}}
     '''modifies''' the state of the monitor
     '''postcondition''' {{var|P}} '''and''' {{var|I}}