Справочник по Ada 95
E.4.1 Пragma Asynchronous
Данный подраздел описывает pragma Asynchronous, который позволяет удалённому вызову подпрограммы возвратить значение до завершения выполнения соответствующего тела удалённой подпрограммы.
Синтаксис
Форма pragma Asynchronous следующая:
pragma Asynchronous(local_name);
Правила легитимности
local_name pragma Asynchronous должен обозначать:
- Одну или несколько удалённых процедур; все формальные параметры процедур должны быть типа in;
- Первый подтип удалённого типа доступа к процедуре; все формальные параметры указанного профиля типа должны быть типа in;
- Первый подтип удалённого типа доступа к типу класса.
Статическая семантика
Pragma Asynchronous — это pragma представления. При применении к типу, он задаёт аспект асинхронности, связанный с типом.
Динамическая семантика
Удалённый вызов считается асинхронным, если это вызов процедуры или вызов через значение типа доступа к процедуре, к которым применяется pragma Asynchronous. Кроме того, если pragma Asynchronous применяется к удалённому типу доступа к типу класса, то вызов диспетчеризации на процедуре с управляющим операндом, обозначенным значением типа, является асинхронным, если все формальные параметры процедуры имеют тип in.
Требования к реализации
Асинхронные удалённые вызовы процедур должны быть реализованы таким образом, чтобы соответствующее тело выполнялось не более одного раза в результате вызова.
