Выделение задач в подсистеме лифта
Рассмотрим архитектуру задач Подсистемы Лифта для нераспределенного случая. На диаграмме кооперации Выбор Этажа Назначения (см. рис.5) нужно обратить внимание на объект интерфейса устройства, который получает входную информацию от актера, и затем проследить цепочку взаимодействий. Объект Интерфейс Кнопки Лифта выделяется в самостоятельную задачу Интерфейс Кнопок Лифта с помощью критерия асинхронного интерфейса устройства ввода. Применив инверсию задач, мы проектируем одну задачу, которая будет отвечать за все кнопки лифта, вместо того чтобы иметь по одной задаче на каждую кнопку. Задача Интерфейс Кнопок Лифта активизируется прерыванием, возникающим при нажатии любой кнопки. Затем она считывает входную информацию от кнопки и посылает запрос Диспетчеру Лифта, а сама тем временем готовится к приходу следующего прерывания. Диспетчер Лифта, который является объектом-координатором, получает сообщения от Интерфейса Кнопок Лифта в данном прецеденте и от Планировщика в прецеденте Вызов Лифта (см. рис.6). Он выделяется в координирующую задачу, активизируемую приходом сообщения Запрос Планировщика или Запрос Лифта. Состояние и План Движения Лифта - это пассивный объект абстрагирования данных, у которого нет своего потока управления. Рассмотрим далее прецедент Остановка Лифта на Этаже на рис.7. Объект Интерфейс Датчика Прибытия становится асинхронной задачей интерфейса устройства ввода - Интерфейс Датчиков Прибытия - по тем же причинам, что и в случае с задачей Интерфейс Кнопок Лифта. Он посылает номер этажа объекту Управление Лифтом, о котором речь пойдет ниже. Разберем диаграмму состояний Управление Лифтом на рис.13. Здесь есть зависящий от состояния управляющий объект, который исполняет диаграмму состояний. На этапе анализа все аспекты физического объекта «лифт», связанные с управлением, были отображены на управляющий объект Управление Лифтом (см. рис.7 и 9). Если имеется несколько лифтов, то управляются они независимо, так что в модели присутствует по одному такому объекту для каждого лифта. В ходе разбиения на задачи каждый объект Управление Лифтом отображается на отдельную задачу Контроллер Лифта. Любая задача исполняет диаграмму состояний для своего лифта, как показано на рис.13. Задача Контроллер Лифта взаимодействует с несколькими объектами интерфейса устройств вывода, которые работают непосредственно с внешней средой, в частности с мотором, дверью и лампочками лифта. Все эти устройства пассивны (то есть не генерируют прерываний), следовательно, асинхронные задачи не нужны. Каждый запрос на вывод информации выполняется по требованию, поэтому не нужны и периодические задачи. Кроме того, вызывающая задача обязана дожидаться завершения вывода, поэтому нет необходимости и в пассивной задаче вывода. Таким образом, объект вывода на устройство не стоит выделять в самостоятельную задачу, он объединяется с задачей Контроллер Лифта в соответствии с критерием группировки задач. Например, если Контроллер Лифта инициирует действие Закрыть Дверь, он ждет ответа Дверь Закрыта, поскольку лифт не может начать движение, пока дверь не закроется. Рассмотрим выполнение задачи Контроллер Лифта подробнее. Она получает сообщение Приближается к Этажу, находясь в состоянии Лифт Едет (см. рис.8). Затем Контроллер Лифта посылает сообщение объекту Состояние и План Движения Лифта, требуя Проверить Этот Этаж. Состояние изменяется только в том случае, если в соответствии с планом лифт должен остановиться на данном этаже. При этом объект Состояние и План Движения Лифта отправляет сообщение Приближается к Нужному Этажу, которое переводит Контроллер Лифта в состояние Лифт Останавливается и инициирует действие Стоп. Объекту Интерфейс Мотора передается сообщение Стоп (см. рис.7). Контроллер Лифта выходит из этого состояния только при получении ответа Лифт Остановился от Интерфейса Мотора. Таким образом, Контроллер Лифта и Интерфейс Мотора неспособны работать одновременно. Аналогичный анализ показывает, что одновременно не могут исполняться также объекты Контроллер Лифта и Интерфейс Двери. Следовательно, на основе критерия группировки задач допустимо объединить объекты Интерфейс Мотора и Интерфейс Двери с задачей Контроллер Лифта. Диспетчер Лифта (всего один экземпляр в нераспределенном решении) реализуется асинхронно по отношению к задаче Контроллер Лифта, так как запрос к лифту может прийти в любой момент. Поэтому Диспетчер Лифта вычленяется в отдельную задачу-координатор, которая активизируется асинхронно по событию Запрос Лифта или Запрос Планировщика и обычно исполняется независимо от задачи Контроллер Лифта. Единственное взаимодействие между двумя задачами возникает, когда лифт находится в состоянии Стоит и поступает новый запрос. В этом случае Диспетчер Лифта активизирует задачу Контроллер Лифта. Итак, в нераспределенной системе управления лифтами Подсистема Лифта разбивается на четыре задачи: Интерфейс Кнопок Лифта, Интерфейс Датчиков Прибытия, Диспетчер Лифта и Контроллер Лифта. Имеется по одному экземпляру первых трех задач и столько экземпляров четвертой задачи, сколько есть лифтов. Все экземпляры задачи Контроллер Лифта идентичны и исполняют собственную копию диаграммы состояний Управление Лифтом. Предварительная архитектура задач изображена на начальной диаграмме параллельной кооперации (рис.19). 9.2. Выделение задач в подсистеме этажа Перейдем к архитектуре задач в Подсистеме Этажа, изображенной на рис.17. Объект Интерфейс Кнопки Этажа выделяется в самостоятельную задачу Интерфейс Кнопок Этажа на основе критерия асинхронного интерфейса устройства ввода и критерия группировки задач. В случае нераспределенного решения задача Интерфейс Кнопок Этажа отвечает за обработку ввода от всех кнопок этажа. Она активизируется прерыванием, обрабатывает его и посылает Запрос на Обслуживание объекту Планировщик, после чего готова к приходу следующего прерывания. Лампочки этажа и направления - это пассивные устройства вывода. С ними взаимодействуют объекты Интерфейс Лампочки Этажа и Интерфейс Лампочки Направления. Бывает так, что различные экземпляры задачи Контроллер Лифта одновременно посылают запросы лампочкам. В таком случае необходимо иметь для каждого устройства задачу-монитор ресурса, которая сможет сериализовать обработку параллельных запросов. Итак, выявилась потребность в задачах Монитор Лампочек Этажа и Монитор Лампочек Направления. Все объекты Интерфейс Лампочки Этажа отображаются на задачу Монитор Лампочек Этажа. Все объекты Интерфейс Лампочки Направления отображаются на задачу Монитор Лампочек Направления. Задачи, из которых состоит Подсистема Этажа в нераспределенной системе управления лифтами, показаны на рис.19. Вместо этого допустимо завести единственный монитор ресурсов для лампочек этажа и направления, однако первоначальное решение обладает большей гибкостью. Выделение задач в подсистеме планировщика В случае нераспределенного решения Планировщик — это подсистема, которая состоит из одного объекта-координатора, выделенного в задачу. Задача Планировщик активизируется по запросу, в частности после получения Запроса на Обслуживание, и выбирает лифт, наиболее подходящий для его удовлетворения. Поскольку речь идет о нераспределенном решении, очевидно, что Планировщик может напрямую читать Состояние и План Движения Лифта. Следовательно, различные экземпляры задачи Контроллер Лифта не обязаны посылать Планировщику сообщения Прибыл и Отбыл. Архитектура задач для нераспределенного случая представлена на рис.19.
|