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

UptoLike

Составители: 

111
простая частьво время ее работы. Предварительный анализ
набора задач с взаимными исключениями может состоять,
например, в выявлении так называемых запрещенных областей
времени, в течение которых нельзя назначать выполнение задач,
содержащих критические секции.
Введение ограничивающих предположений о поведении набора
задач.
При таком подходе планирование приближается к статическому.
В качестве примера алгоритма для жестких систем реального времени с
независимыми задачами и одним процессором, рассмотрим разработанный в
1973 году Лью и Лейландом [4]. Алгоритм является динамическим, то есть он
использует вытесняющую многозадачность и основан на относительных
статических (неизменяемых в течение жизни задачи) приоритетах.
Алгоритм основан на следующих предположениях:
Запросы на выполнение всех задач набора, имеющих жесткие
ограничения на время реакции, являются периодическими.
Все задачи независимы. Между любой парой задач не существует
никаких ограничений на предшествование или на взаимное
исключение.
Срок выполнения каждой задачи равен ее периоду p
i
.
Максимальное время выполнения каждой задачи c
i
известно и
постоянно.
Время переключения контекста можно игнорировать.
Максимальный суммарный коэффициент загрузки процессора
Σ
c
i
/p
i
при существовании n задач не превосходит n (2
1/
n
– 1). Эта величина
при стремлении n к бесконечности приблизительно равна In 2, то
есть 0,7.
                                    111



        простая часть – во время ее работы. Предварительный анализ
        набора задач с взаимными исключениями может состоять,
        например, в выявлении так называемых запрещенных областей
        времени, в течение которых нельзя назначать выполнение задач,
        содержащих критические секции.
     − Введение ограничивающих предположений о поведении набора
        задач.
     При таком подходе планирование приближается к статическому.
     В качестве примера алгоритма для жестких систем реального времени с
независимыми задачами и одним процессором, рассмотрим разработанный в
1973 году Лью и Лейландом [4]. Алгоритм является динамическим, то есть он
использует вытесняющую многозадачность и основан на относительных
статических (неизменяемых в течение жизни задачи) приоритетах.
     Алгоритм основан на следующих предположениях:
     − Запросы на выполнение всех задач набора, имеющих жесткие
        ограничения на время реакции, являются периодическими.
     − Все задачи независимы. Между любой парой задач не существует
        никаких ограничений на предшествование или на взаимное
        исключение.
     − Срок выполнения каждой задачи равен ее периоду pi.
     − Максимальное время выполнения каждой задачи ci известно и
        постоянно.
     − Время переключения контекста можно игнорировать.
     − Максимальный суммарный коэффициент загрузки процессора Σ ci/pi
        при существовании n задач не превосходит n (21/ n – 1). Эта величина
        при стремлении n к бесконечности приблизительно равна In 2, то
        есть 0,7.