Условия ожидания
Осталось рассмотреть еще одно правило синхронизации. Оно имеет отношение к двум вопросам:
- как можно заставить клиента ожидать выполнения некоторого условия (как это сделано в условных критических интервалах);
- что означают утверждения, в частности, предусловия, в контексте параллелизма?