3.12.2. Тесты планируемости задач и классификация задач
Вопрос (
Тест, который определяет, может ли множество готовых задач быть спланированным таким образом, что каждая задача завершится в заданный для нее предельный срок, называется тестом планируемости.
)Вопрос
Различают достаточный, точный и необходимый тест планируемости. При этом разработка точного теста планируемости относится к классу нерешаемых проблем.
Алгоритмы достаточных тестов могут быть чуть проще, но могут дать отрицательное решение для задач, которые на самом деле могут быть спланированы.
Если отрицательное решение дает необходимый тест планируемости, то задачи точно не планируются. Но при положительном результате есть вероятность, что задачи не планируются.
Эти свойства отображаются следующей диаграммой:
Если достаточный
тест планируемости положительный, эти
задачи определенно планируемы
Если необходимый
тест планируемости отрицательный, эти
задачи определенно непланируемы
Точный тест
планируемости
Достаточный тест
планируемости
Необходимый тест
планируемости
Возрастающая сложность множества задач
Классификация задач с точки зрения планируемости
Вопрос {
По количеству временной информации, используемой для планирования, задачи делятся на периодические, спорадические и апериодические.
)Вопрос
Для периодической задачи, начиная с момента времени первого запроса на выполнение, известны все последующие моменты запросов (на основе добавления известного периода к моменту начального запроса).
Вопрос (
Обозначим через pi период i-й задачи, через ci – время выполнения i-й задачи. Тогда необходимый тест планируемости формулируется следующим образом:
Множество периодических задач планируемо, если
m = mi = ci/pi <= 1
Отношение mi = ci/pi называется фактором полезности i-й задачи и обозначает долю времени, которую i-я задача требует сервиса от процессора.
)Вопрос
Вопрос (
Кроме перечисленных временных параметров используют следующие:
di – предельный интервал завершения – разность между предельным сроком завершения и временем запроса;
li – неопределенность задачи – разность между di и ci.
)Вопрос
Для спорадической задачи времена запроса не известны априори.
Чтобы хоть как-то решить задачу планирования, необходимо задать минимальный интервал между парой запросов для каждой из спорадических задач.
Для апериодической задачи вообще нет никаких ограничений на моменты запросов.
Для решения проблемы планирования чрезвычайно важно знание будущего поведения задач.
Если планировщик не имеет сведений о будущих моментах запросов спорадической задачи, то проблема планирования не разрешима.
Т.е. для разрешения проблемы планирования должны быть сделаны предположения о будущих моментах запросов.