Спецификация поведения задачи

Коммуникации между задачами и синхронизация

Следующий шаг после разбиения системы на параллельные задачи – опреде­ление интерфейсов задач. Теперь необходимо представить интерфейсы в форме обмена сообщениями, синхронизации по со­бытиям или доступа к скрывающим информацию объектам.. В случае слабо связанного обмена сообщениями, называемого также асинхронным обменом, производитель посылает сообщение потребителю и продолжает работать, не дожидаясь ответа. Поскольку производитель и потребитель функци­онируют с разной скоростью, то между ними может существовать FIFO-очередь. Если в момент, когда потребитель запрашивает сообщение, его не оказывается, потребитель приостанавливается. В ситуации сильно связанного (синхронного) обмена сообщениями с ответом производитель посылает потребителю сообщение и ждет ответа. При поступле­нии сообщения потребитель принимает его, обрабатывает, генерирует ответ и от­правляет его назад. После этого производитель и потребитель продолжают функ­ционировать. Если сообщений нет, потребитель приостанавливается.

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

Синхронизация по событию. Возможны три вида такой синхронизации: по внешнему событию, по собы­тию таймера и по внутреннему событию. Внешнее событие поступает из внешне­го источника, как правило, в виде прерывания от устройства ввода/вывода. Внут­реннее событие обеспечивает внутреннюю синхронизацию между двумя задачами. Событие таймера предназначено для периодической активизации задачи. Собы­тия изображаются в UML с помощью нотации асинхронных сообщений.

Задачи могут обмениваться данными также с помощью пассивного скрываю­щего информацию объекта.

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

Спецификация поведения задачи (СПЗ) описывает ее интерфейс, структуру, вре­менные характеристики, относительный приоритет, логику упорядочения событий и обнаруживаемые ошибки. Интерфейс задачи – это способ ее взаимодействия с другими задачами. Структура говорит о том, как данная задача появилась (посредством какого критерия разбиения). Временные характеристики – это частота активизации и ожидаемое время выполнения. Полученная информация исполь­зуется для планирования в реальном времени.

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

Дата добавления: 2014-01-07