> -- Vlad писал(а):
> почему AWAIT не является составной частью EXCLUSIVE?

Потому что EXCLUSIVE нужен сам по себе без относительно того существует ли AWAIT или его нет в природе вовсе.

> -- Vlad писал(а):
> По-моему было бы логичней, если бы весь блок EXCLUSIVE выполнялся атомарно, а условие стояло только на входе в такой блок.

Первое что приходит на ум это то что мы можем не захотеть ждать:
## Код:
```
PROCEDURE f;
BEGIN
  ...
  BEGIN{EXCLUSIVE}
    IF ~condition THEN
      IF не-хотим-ждать THEN
        RETURN
      ELSE
        AWAIT(condition)
      END
    END;
    ...
  END;
  ...
END f;
```
