Операционные системы. Часть 1. Основы управления ресурсами. Рощин А.В. - 109 стр.

                                  109



в результате исчерпывающего тестирования всех возможных сценариев
поведения управляемого объекта и управляющих программ, либо в
результате построения статического расписания, либо в результате выбора
математически обоснованного динамического алгоритма планирования. При
построении расписания надо иметь в виду, что для некоторых наборов задач
в принципе невозможно найти расписания, при котором удовлетворялись бы
заданные временные характеристики. С целью определения возможности
существования расписания могут быть использованы различные критерии.
Например, в качестве простейшего критерия может служить условие, что
разность между предельным сроком выполнения задачи (после появления
запроса на ее выполнение) и временем ее вычисления (при условии
непрерывного выполнения) всегда должна быть положительной. Очевидно,
что такой критерий является необходимым, но недостаточным. Точные
критерии, гарантирующие наличие расписания, являются очень сложными в
вычислительном отношении.
     В мягких системах реального времени предполагается, что заданные
временные ограничения могут иногда нарушаться, поэтому здесь обычно
применяются менее затратные способы планирования.
     В зависимости от характера возникновения запросов на выполнение
задач полезно разделять их на два типа: периодические и спорадические.
Начиная с момента первоначального запроса все будущие моменты запроса
периодической задачи можно определить заранее путем прибавления к
моменту начального запроса величины, кратной известному периоду. Времена
запросов на выполнение спорадических задач заранее не известны.
     Предположим, что имеется периодический набор задач {Ti} с периодами
pi, предельными сроками di, и требованиями ко времени выполнения ci. Для
проверки    возможности      существования     расписания     достаточно
проанализировать расписание на периоде времени, равном, по крайней мере,