Создание задачи
Напомним, что тип задачи может рассматриваться как шаблон для создания реальных объектов-задач.
Типы и объекты задач могут быть описаны в любой описательной части, включая тело задачи.
Для любого типа задачи, спецификация и тело должны быть описаны вместе, в одном и том же модуле (тело задачи, как правило, помещается в конце описательной части).
Объект задачи может быть создан в процессе элаборации описания какого-либо объекта, расположенного где-либо в описательной части, или в процессе обработки аллокатора (выражение в виде "new ...").
Все задачи, которые созданы в результате элаборации описаний объектов, расположенных в одной описательной части (включая внутренние компоненты описываемых объектов), активируются вместе.
Подобным образом, все задачи созданные в процессе обработки одиночного аллокатора, также активируются вместе.
Выполнение объекта-задачи имеет три основные фазы:
Активация - элаборация описательной части тела задачи, если она есть (локальные переменные для тела задачи создаются и инициализируются в процессе активации задачи). Активатор идентифицирует задачу, которая создала и активировала задачу.
Нормальное выполнение - выполнение инструкций, видимых внутри тела задачи.
Завершение - выполнение любого кода завершения (finalization), ассоциированного с любым объектом в описательной части задачи.
Вновь созданная задача находится в неактивированом (unactivated) состоянии.
Затем, система времени выполнения осуществляет ассоциирование с этой задачей потока управления (thread of control).
Если элаборация задачи терпит неудачу, то задача сразу переходит в прекращенное (terminated) состояние.
В противном случае, задача переходит в работоспособное (runnable) состояние и начинает выполнять код инструкций тела задачи.
Если этот код выполняет некоторые операции, которые блокируют выполнение задачи (рандеву, защищенные операции, задержки выполнения...), то задача переходит в приостановленное (sleep) состояние, а затем возвращается обратно в работоспособное состояние.
Когда задача выполняет альтернативу завершения (terminate alternative) или нормальным образом завершает свое выполнение, она переходит в прекращенное (terminated) состояние.
Задача индицирует свою готовность к началу завершения выполнением инструкции end.
Кроме того, задача может начать процесс своего завершения в результате необработанного исключения, в результате выполнения инструкции отбора select с альтернативой завершения или в случае выполнения инструкции принудительного завершения abort.
Задача, которая окончила свою работу называется завершенной (completed) или прекращенной (terminated), в зависимости от наличия активных задач которые от нее зависят.
Каждая задача имеет владельца (master), которым может являться задача, подпрограмма, инструкция блока или инструкция принятия рандеву accept, содержащая описание объекта-задачи (или, в некоторых случаях, ссылочного типа который ссылается на тип-задачи).
Говорят, что задача зависит от своего владельца.
Задачу, которая осуществляет выполнение владельца, называют ведущей или родительской задачей (parent task).
Таким образом, для каждой задачи существует родительская задача от которой она также зависит.
Приняты следующие правила:
Если задача была описана как объект, то ее родительская задача - это та задача, которая содержит описание объекта задачи.
Если задача была описана как часть аллокатора new, то ее родительская задача - это та задача, которая содержит соответствующее описание ссылочного типа.
Когда родительская задача создает новую, дочернюю задачу (child task), ее выполнение приостанавливается на время активации ее дочерней задачи (немедленно, если дочерняя задача создана аллокатором, или после завершения процесса элаборации соответствующей описательной части).
Как только все дочерние задачи завершают свою активацию, родительская задача и все ее дочерние задачи продолжают свое выполнение независимо.
Если задача, в процессе своей активации, создает другую задачу, то, перед тем как продолжить свое выполнение, она также должна ждать пока активируется ее дочерняя задача.
Существует концептуальная задача, называемая задачей окружения
(environment task), которая ответственна за элаборацию всей программы.
В общем случае, задача окружения - это поток управления операционной системы, который осуществляет инициализацию системы времени выполнения и выполняет головную подпрограмму Ады.
Перед вызовом головной подпрограммы Ада-программы, задача окружения осуществляет элаборацию всех библиотечных модулей, указанных в спецификаторе with головной подпрограммы.
В результате процесса элаборации происходит создание и активация задач уровня библиотеки до вызова головной подпрограммы Ада-программы.
