задачи
Содержание
9.1. СПЕЦИФИКАЦИИ ЗАДАЧ И ТЕЛА ЗАДАЧ
9.2. ЗАДАННЫЕ ТИПЫ И ЗАДАЧНЫЕ ОБЪЕКТЫ
9.3. ВЫПОЛНЕНИЕ И АКТИВИЗАЦИЯ ЗАДАЧИ
9.4. ЗАВИСИМОСТЬ ЗАДАЧ. ЗАВЕРШЕНИЕ ЗАДАЧ
9.5. ВХОДЫ, ВЫЗОВЫ ВХОДОВ И ОПЕРАТОРЫ ПРИНЯТИЯ
9.6. ОПЕРАТОРЫ ЗАДЕРЖКИ, ДЛИТЕЛЬНОСТЬ И ВРЕМЯ
9.7. ОПЕРАТОРЫ ОТБОРА
9.7.2.
УСЛОВНЫЕ ВЫЗОВЫ ВХОДОВ
9.8. ПРИОРИТЕТЫ
9.9. АТРИБУТЫ ЗАДАЧ И ВХОДОВ
9.10. ОПЕРАТОРЫ ПРЕКРАЩЕНИЯ
9.11. РАЗДЕЛЯЕМЫЕ ПЕРЕМЕННЫЕ
9.12. ПРИМЕР ИСПОЛЬЗОВАНИЯ ЗАДАЧИ
Выполнение программы без задач определено в терминах последовательного выполнения ее действий в соответствии с правилами, сформулированными в других главах данного руководства. Можно предположить, что эти действия выполняет один
логический процессор.
Под
параллельным
выполнением задач понимают следующее. Предполагается, что каждую задачу выполняет отдельный логический процессор. Различные задачи (на различных логических процессорах) выполняются независимо, за исключением точек их синхронизации.
Некоторые задачи могут иметь
входы.
Вход задачи может быть
вызван
другими задачами. Задача
принимает
вызов одного из своих входов выполнением оператора принятия этого входа. Синхронизация достигается посредством
рандеву
между задачей, вызывающей вход, и задачей, принимающей вызов. Некоторые входы имеют параметры; вызовы и операторы принятия таких входов, имеющих параметры, являются основным средством обмена значениями между задачами.
Свойства каждой задачи определяются соответствующим
задачным модулем,
который состоит из
спецификации задачи
и
тела задачи.
Задачные модули представляют собой одну из четырех форм программных модулей, из которых может состоять программа. Другие три формы — это подпрограммы, пакеты и настраиваемые модули. В данной главе описываются свойства задачных модулей, задач и входов и операторы, влияющие на взаимодействие задач (т. е. операторы вызова входов, принятия, задержки, отбора и прекращения).
Примечание.
Параллельные задачи (параллельные логические процессоры) могут быть реализованы на многомашинных комплексах, многопроцессорных ЭВМ или чередующимся выполнением на одном
физическом процессоре.
С другой стороны, если реализация способна определить, что тот же результат получается при параллельном выполнении частей одной задачи на различных физических процессорах, то можно принять и такой способ выполнения;
в этом случае несколько физических процессоров реализуют один логический процессор.
Ссылки:
вход 9.5, настраиваемый модуль 12, оператор вызова входа 9.5, оператор задержки 9.6, оператор прекращения 9.10, оператор принятия 9.5, оператор отбора 9.7, пакет 7, подпрограмма б, программный модуль 6, рандеву 9.5, спецификация задачи 9.1, тело задачи 9.1.
