Условия ожидания

Осталось рассмотреть еще одно правило синхронизации. Оно имеет отношение к двум вопросам:

как можно заставить клиента ожидать выполнения некоторого условия (как это сделано в условных критических интервалах);
что означают утверждения, в частности, предусловия, в контексте параллелизма?