Справочник по Ada 2005
D.10 Синхронизация задач
Этот раздел описывает определяемый языком частный семафор (объект приостановки), который может использоваться для операций приостановки в два этапа и в качестве простого строительного блока для реализации очередей более высокого уровня.
Статическая семантика
Существует следующий определяемый языком пакет:
package Ada.Synchronous_Task_Control is
pragma Preelaborate(Synchronous_Task_Control);
pragma Preelaborate(Synchronous_Task_Control);
type Suspension_Object is limited private;
procedure Set_True(S : in out Suspension_Object);
procedure Set_False(S : in out Suspension_Object);
function Current_State(S : Suspension_Object) return Boolean;
procedure Suspend_Until_True(S : in out Suspension_Object);
private
... -- не задаётся языком
end Ada.Synchronous_Task_Control;
procedure Set_True(S : in out Suspension_Object);
procedure Set_False(S : in out Suspension_Object);
function Current_State(S : Suspension_Object) return Boolean;
procedure Suspend_Until_True(S : in out Suspension_Object);
private
... -- не задаётся языком
end Ada.Synchronous_Task_Control;
Тип Suspension_Object является типом по ссылке.
Динамическая семантика
Объект типа Suspension_Object имеет два видимых состояния: True и False. При инициализации его значение устанавливается в False.
Операции Set_True и Set_False являются атомными относительно друг друга и относительно Suspend_Until_True; они устанавливают состояние в True и False соответственно.
Current_State возвращает текущее состояние объекта.
Процедура Suspend_Until_True блокирует вызывающую задачу до тех пор, пока состояние объекта S не станет True; в этот момент задача становится готовой, а состояние объекта становится False.
Ошибка_программы генерируется при вызове Suspend_Until_True, если другая задача уже ожидает на этом объекте приостановки. Suspend_Until_True — это потенциально блокирующая операция (см. 9.5.1).
Требования к реализации
Реализация должна позволять вызывать Set_False и Set_True во время любой защищенной операции, даже той, у которой приоритет потолка находится в диапазоне Interrupt_Priority.
