Руководство по Ada (Ada 2022)
9.9 Атрибуты задач и входов
Динамическая семантика
Для префикса T, являющегося типом задачи (после любого неявного разыменования), определены следующие атрибуты:
T'Callable
Возвращает значение True, если задача, обозначенная T, является доступной, и False в противном случае; задача доступна, если она не завершена и не находится в аномальном состоянии. Значение этого атрибута имеет тип Boolean.
T'Terminated
Возвращает значение True, если задача, обозначенная T, завершена, и False в противном случае. Значение этого атрибута имеет тип Boolean.
Для префикса E, обозначающего вход задачи или защищённого блока, определён следующий атрибут. Этот атрибут разрешается использовать только в теле задачи или защищённого блока, но за исключением, в случае входа в задачу, любого программного блока, являющегося внутренним по отношению к телу задачи.
E'Count
Возвращает количество вызовов, ожидающих в очереди на вход E текущей инстанции блока. Значение этого атрибута имеет тип universal_integer.
ПРИМЕЧАНИЕ 1 Для атрибута Count вход может быть как отдельным входом, так и входом семейства входов. Имя входа или семейства входов может быть как прямым именем, так и расширенным именем.
ПРИМЕЧАНИЕ 2 Внутри задач, с помощью запроса атрибута E'Count алгоритм может позволить увеличить значение этого атрибута для входящих вызовов входа и уменьшить его, например, с помощью вызовов с таймером. Вызов условного входа также может временно увеличить это значение, даже если условный вызов не принят.
ПРИМЕЧАНИЕ 3 Внутри защищённых блоков, с помощью запроса атрибута E'Count в барьер входа для входа E алгоритм может позволить оценить условие барьера как до, так и после помещения данного вызывающего в очередь.
