60. Группировка по взаимному исключению.

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

61. Пересмотр проекта путем инверсии задач

Идея инверсии задач впервые была сформулирована в методе структурного программирования Джексона и в системе разработки Джексона. Такая инверсия способствует уменьшению числа задач в системе. В предельном случае параллельное решение можно вообще свести к последовательному.

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

Существует три вида инверсии задач: инверсия нескольких экземпля­ров задачи, инверсия последовательных задач и темпоральная инверсия.

С помощью инверсии нескольких экземпляров задачи все однотипные задачи заменяются одной, выполняющей те же функции. Инверсия последовательных задач применяется главным образом тогда, когда между двумя или более задачами осуществляется сильно связанный обмен сооб­щениями. При темпоральной инверсии, которая напоминает слабые формы темпо­ральной группировки, две или более периодические задач – внутренние, ввода/вывода или входящие в темпоральную группу – объединяют­ся.

62. Разработка архитектуры задач

Критерии разбиения на задачи можно применять к аналитической модели следующим образом. В каждом случае нужно сначала решить, будет ли объект из аналитической модели отображаться на активный или пассивный объект проект­ной модели:

– задачи интерфейса с устройством. Начните с объектов интерфейса устройств, взаимодействующих с внешним миром.

– управляющие задачи. Рассмотрите все зависящие от состояния управляю­щие объекты. Отобразите их на управляющие задачи.

– периодические задачи. Проанализируйте внутренние периодические дея­тельности, которые оформляются как периодические задачи. Выясните, есть ли среди них такие, которые запускаются одним и тем же событием. В этом случае их можно связать в одну задачу, применив критерий темпоральной группировки. Возможно, удастся также задействовать критерий последова­тельной группировки для объединения ряда других задач;

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

Начальная диаграмма параллельной кооперации. После разбиения системы на параллельные задачи рисуется начальная диаграмма параллельной кооперации, на которой представлены все задачи. Интерфей­сы задач на ней все еще показываются в виде простых сообщений, как на диаграммах кооперации из аналитической модели.