C.7.2 Пакет Task_Attributes

Существует следующий языковой обобщенный библиотечный пакет:

При обработке экземпляра Task_Attributes в заданном активном разделе неявно создается объект фактического типа, соответствующего формальному типу Attribute, для каждой задачи (этого раздела), которая существует и еще не завершена. Этот объект действует как определяемый пользователем атрибут задачи. Задача, созданная ранее в разделе и еще не завершенная, имеет этот атрибут с этого момента. Каждая задача, созданная впоследствии в разделе, будет иметь этот атрибут при создании. Во всех этих случаях начальное значение данного атрибута равно Initial_Value.

Операция Value возвращает значение соответствующего атрибута T.

Операция Reference возвращает значение доступа, которое обозначает соответствующий атрибут T.

Операция Set_Value выполняет любые завершающие действия со старым значением атрибута T и присваивает Val этому атрибуту (см. 5.2 и 7.6).

Эффект операции Reinitialize такой же, как у Set_Value, где параметр Val заменяется на Initial_Value.

Для всех операций, объявленных в этом пакете, Tasking_Error генерируется, если задача, идентифицированная T, завершена. Program_Error генерируется, если значение T равно Null_Task_Id.

После завершения задачи все ее атрибуты завершаются, если они не были завершены ранее. Когда завершается главный экземпляр Ada.Task_Attributes, соответствующий атрибут каждой задачи завершается, если он не был завершен ранее.

Если пакет Ada.Task_Attributes инстанцирован с контролируемым типом, и контролируемый тип имеет пользовательские операции Adjust или Finalize, которые, в свою очередь, обращаются к атрибутам задач с помощью любой из вышеперечисленных операций, то вызов Set_Value инстанцированного пакета представляет собой ограниченную ошибку. Вызов может выполняться как ожидается или может привести к бесконечному блокированию вызывающей задачи и, впоследствии, некоторым или всем задачам раздела.

Ошибка возникает при попытке получить доступ к значению доступа, возвращаемому данным вызовом Reference, после последующего вызова Reinitialize для того же атрибута задачи или после завершения связанной задачи.

Если значение Task_Id передается в качестве параметра любой из операций, объявленных в этом пакете, и соответствующий объект задачи больше не существует, выполнение программы является ошибочным.

Доступ к атрибуту задачи с помощью значения типа Attribute_Handle является ошибкой, если он выполняется одновременно с другим таким доступом или вызовом любой из операций, объявленных в пакете Task_Attributes. Доступ к атрибуту задачи является ошибкой, если он выполняется одновременно с или после завершения атрибута задачи.

Для данного атрибута данной задачи реализация должна выполнять объявленные в этом пакете операции атомарно по отношению к любой из этих операций того же атрибута той же задачи. Зерно́ любого механизма блокировки, необходимого для достижения такой атомарности, определяется реализацией.

После завершения атрибутов задачи реализация должна освободить любое хранилище, связанное с атрибутами.

Реализация должна документировать ограничения на количество атрибутов на задачу, если таковые существуют, и ограничения на общее хранилище для значений атрибутов на задачу, если такие ограничения существуют.

Кроме того, если эти ограничения могут быть сконфигурированы, реализация должна документировать, как их настроить.

Реализация должна документировать следующие метрики: Задача, вызывающая следующие подпрограммы, должна выполняться с достаточно высоким приоритетом, чтобы не быть прерванной в течение периода измерения. Этот период начинается непосредственно перед вызовом и заканчивается непосредственно после завершения вызова. Если атрибуты задачи T обращаются в тестах измерения, ни одна другая задача не должна обращаться к атрибутам этой задачи в течение периода измерения. Для всех описанных здесь измерений тип Attribute должен быть скалярным типом, размер которого равен размеру предопределенного типа Integer. Для каждого измерения должны быть задокументированы два случая: один, где обращаются к атрибутам вызывающей задачи (то есть, используется значение по умолчанию для параметра T), и другой, где T идентифицирует другую, не завершенную, задачу.

Следующие вызовы (подпрограмм в пакете Task_Attributes) должны быть измерены:

Реализация может не создавать объект, соответствующий атрибуту задачи, до тех пор, пока его значение не будет установлено в значение, отличное от Initial_Value, или пока не будет вызван Reference для атрибута задачи. Аналогично, когда значение атрибута должно быть повторно инициализировано значением Initial_Value, объект может быть вместо этого завершен и его хранилище освобождено, чтобы быть повторно созданным, когда это потребуется позже. В то время как объект не существует, функция Value может просто вернуть Initial_Value, а не неявно создать объект.

Реализация имеет право устанавливать ограничения на максимальное количество атрибутов, которые может иметь задача, максимальный размер каждого атрибута и максимальный размер хранилища, выделенного для всех атрибутов задачи.

Некоторые реализации ориентированы на области, в которых использование памяти во время выполнения должно быть полностью детерминированным. Для таких реализаций рекомендуется, чтобы хранилище для атрибутов задач предварительно выделялось статически, а не из кучи. Это можно сделать, либо установив ограничения на количество и размер атрибутов задачи, либо используя предварительно выделенное хранилище для первых N объектов атрибутов, а кучу - для остальных. В последнем случае N следует документировать.

Завершение атрибутов задачи и освобождение связанного хранилища должны выполняться как можно скорее после завершения задачи.