Лекция 6. ОС РВ_ использующие статико-динамическую модель вычислений (1185205), страница 2
Текст из файла (страница 2)
Для того чтобы проверить корректность расписания в любом случае, можно предложить модификацию модели вычислений. В модифицированной модели вычислений необходимо запретить выполнение задач с низким приоритетом, если есть задачи с более высоким приоритетом, для которых уже начался директивный интервал, но еще не поступили все сообщения.
Разбиение задачи на подзадачи
-
Слайд 21: Подход к решению задачи
Данная задача может быть разделена на две подзадачи:
-
Задача построения привязки разделов к процессорам.
-
Задача построения расписания окон.
При решении первой из указанных задач критерием оптимизации решения является загрузка физического канала сообщениями. Однако при этом алгоритм должен строить привязку с учетом того, чтобы алгоритм мог построить расписание, в котором все работы будут выполняться с соблюдением условий корректности. Чтобы это обеспечить, предлагается добавить два ограничения на привязку, создаваемую на первом этапе решения задачи:
-
ограничение на максимальную загрузку процессора;
-
выполнение критерия планируемости набора работ на каждом процессоре.
В качестве простейшего примера критерия планируемости набора работ можно привести следующие критерии:
-
длительность критических путей в графе зависимостей не превышает периода соответствующих задач;
-
суммарная загрузка процессора задачами не превышает 100%.
Существуют более сложные критерии планируемости набора задач, зависящие от свойств набора задач, наличия вытеснений, выбранного планировщика и т. д. Подробное описание выходит за рамки темы лекции.
Адаптация расписаний
Поскольку процесс разработки ИУС РВ является итерационным, может возникать ситуация, когда некоторые параметры системы изменились после того, как конфигурация была построена. Например, произошло обновление прикладного ПО или изменение вычислительного модуля. В этом случае возникает задача адаптации конфигурации к внесенным изменениям. При этом желательно минимизировать изменения в конфигурации системы.
Возможны следующие ситуации:
-
Изменились временные или частотные характеристики данных. Например, изменилась частота отдельных задач, либо изменилась производительность процессоров модуля, из-за чего поменялись характеристики длительности выполнения задач. В этом случае, необходимо в первую очередь проверить корректность конфигурации с новыми данными – возможно, расписание сохранило корректность.
-
Изменился состав задач в разделе или их относительные приоритеты. В этом случае необходимо заново задать приоритеты задач для тех модулей, которые были затронуты изменениями.
-
Возникла необходимость изменить привязку разделов к процессорам. Это может произойти при изменении количества модулей или добавлении новых разделов. В этом случае необходимо изменить привязку разделов к процессорам и перестроить расписание окон для тех модулей, которые были затронуты изменениями.