Операционные системы. Управление центральным процессором и объединение ресурсов

Сентябрь 7, 2022

Главная
Алгебра
Операционные системы. Управление центральным процессором и объединение ресурсов

Содержание

2. Управление центральным процессором… Общие аспекты
3. Общие аспекты Контекст процесса, переключение контекста Дисциплины обслуживания Модели многопоточности
4. Контекст процесса Контекст – хранит состояние регистров, состояние программного счетчика, режим работы процессора, незавершенные операции ввода-вывода,
5. Process Control Block Регистровый контекст процесса: программный счетчик (адрес команды, которая должна быть выполнена для него
6. Переключение контекста Переключение процессора с выполнения команд одного потока на выполнение команд другого называют переключением контекста.
7. Вопрос Как Вы думаете какое влияние оказывает частое переключение контекста на производительность системы? Почему?
8. Переключение контекста и производительность системы Время, затраченное на переключение контекста, не используется вычислительной системой для совершения
9. Сопутствующие факторы, влияющие на производительность При переключении контекста происходят аппаратные действия, влияющие на производительность: очистка конвейера
10. Методы снижения ресурсоемкости переключения контекста Использование многопоточности при переключении контекста между потоками одного процесса, регистр CR3
11. Классификация дисциплин обслуживания (1)
12. Классификация дисциплин обслуживания (2) Бесприоритетные дисциплины – выбор из очереди производится без учета относительной важности задач
13. Линейные бесприоритетные дисциплины FCFS (First-Come, First-Served) обслуживание процессов в порядке поступления SJF (Shortest-Job-First) обслуживание самого короткого
14. First-Come, First-Served (очередь) FCFS (или FIFO) – самая простая дисциплина обслуживания, в соответствии с которой процессы
15. Пример FCFS – Вариант 1 Время ожидания процессов: P1 = 0; P2= 24; P3 = 27.
16. Пример FCFS – Вариант 2 Время ожидания процессов: P1 = 6; P2 = 0; P3 =
17. Shortest Job First Эффект, продемонстрированный примерами FSFS, носит название эффекта сопровождения (convoy effect) – увеличение среднего
18. Пример SJF Среднее время ожидания: (0 + 6 + 3 + 7)/4 = 4. Распределение процессора
19. Shortest-Remaining-Time-First Обслуживание самого короткого процесса первым. Если приходит новый процесс, время активности которого меньше, чем оставшееся
20. Пример SRTF Среднее время ожидания: (9 + 1 + 0 + 2)/4 = 3. Распределение процессора
21. Квантование времени (1) Квантование времени (или Round Robin) – бесприоритетная циклическая дисциплина обслуживания: каждый процесс (поток)
22. Квантование времени (2) Квантование времени реализует вытесняющую многозадачность – если всего n процессов в очереди готовых
23. Производительность квантования времени если q велико, то стратегия фактически эквивалентна стратегии FCFS; если q мало, то
24. Многоуровневая очередь Поскольку процессы в системе могут иметь различную специфику (например, пакетные и интерактивные), то на
25. Виды диспетчеризации между очередями При данной смешанной стратегии необходима также диспетчеризация между очередями, т.е. стратегия выбора
26. Пример многоуровневой очереди
27. Модели многопоточности Многие к одному (Many-to-One) Несколько потоков пользовательского уровня отображаются в один поток ядра (многопоточность
28. Многопоточность на уровне пользователя можно реализовать в ОС, не поддерживающей потоки без каких-либо изменений в ОС;
30. Скачать презентацию

Слайд 2

Управление центральным процессором…
Общие аспекты

Слайд 3

Общие аспекты
Контекст процесса, переключение контекста
Дисциплины обслуживания
Модели многопоточности

Слайд 4

Контекст процесса
Контекст – хранит состояние регистров, состояние программного счетчика, режим работы

процессора, незавершенные операции ввода-вывода, информация о выполненных системных вызовах.
Для хранения информации, необходимой для совершения операции над процессом, используется структура данных PCB (Process Control Block – блок управления процессом).
Конкретный состав PCB зависит ОС и обычно содержит:
регистровый контекст процессора – все регистры и программный счетчик;
системный контекст процессора (контекст ядра ОС).
Кроме того к контексту процесса относят пользовательский контекст процесса, который включает код и данные, находящиеся в адресном пространстве процесса.

Слайд 5

Process Control Block
Регистровый контекст процесса:
программный счетчик (адрес команды, которая должна быть

выполнена для него следующей);
содержимое регистров.
Системный контекст процессора:
состояние процесса;
данные для планирования использования процессора и управления памятью;
учетная информация;
сведения об устройствах ввода-вывода, связанных с процессом.

Слайд 6

Переключение контекста
Переключение процессора с выполнения команд одного потока на выполнение команд

другого называют переключением контекста.

Слайд 7

Вопрос
Как Вы думаете какое влияние оказывает частое переключение контекста на производительность

системы?
Почему?

Слайд 8

Переключение контекста и производительность системы
Время, затраченное на переключение контекста, не используется

вычислительной системой для совершения полезной работы и представляет собой накладные расходы, снижающие производительность системы. Оно меняется от машины к машине и обычно находится в диапазоне от 1 до 1000 микросекунд.
Чем чаще происходит переключение контекста, тем система более реактивна, но при этом обладает меньшей пропускной способностью, т.к. чаще происходит переключение контекста.

Слайд 9

Сопутствующие факторы, влияющие на производительность
При переключении контекста происходят аппаратные действия, влияющие

на производительность:
очистка конвейера команд и данных процессора;
очистка TLB, отвечающего за страничное отображение линейных адресов на физические.
Кроме того, следует учесть следующие факты, влияющие на состояние системы:
содержимое кэша (особенно кэша 1-го уровня) накопленное и «оптимизированное» под выполнение одного потока оказывается совершенно неприменимым к новому потоку, на который происходит переключение;
при переключении контекста, на поток, который до этого долгое время не использовался, многие страницы могут физически отсутствовать в оперативной памяти, что порождает подгрузку вытесненных страниц из вторичной памяти.

Слайд 10

Методы снижения ресурсоемкости переключения контекста
Использование многопоточности
при переключении контекста между потоками

одного процесса, регистр CR3 не меняется и содержимое TLB сохраняется
Размещение ядра ОС в адресном пространстве пользовательского процесса
при переключении контекста между user-space и kernel-space (и обратно), что, например, происходит при выполнении системных вызовов, регистр CR3 не меняется и содержимое TLB сохраняется
Минимизация перемещения потоков при диспетчеризации в SMP-системе
улучшается эффективность работы кэша 2-го уровня
Оптимизация восстановления контекста потока под операции с регистрами общего назначения
реальное сохранение/восстановление контекста регистров сопроцессора плавающей точки и MMX/SSE контекст происходит при первом обращении нового потока

Слайд 11

Классификация дисциплин обслуживания (1)

Слайд 12

Классификация дисциплин обслуживания (2)
Бесприоритетные дисциплины – выбор из очереди производится без

учета относительной важности задач и времени их обслуживания.
Приоритетное обслуживание – отдельным задачам предоставляется преимущественное право перейти в состояние ВЫПОЛНЕНИЯ.
Фиксированные приоритеты – являются величиной постоянной на всем жизненном цикле процесса.
Динамические приоритеты – изменяются в зависимости от некоторых условий в соответствии с определенными правилами. Для реализации динамических приоритетов необходимы дополнительные затраты, но их использование предполагает более справедливое распределение процессорного времени между процессами.

Слайд 13

Линейные бесприоритетные дисциплины
FCFS (First-Come, First-Served)
обслуживание процессов в порядке поступления
SJF (Shortest-Job-First)
обслуживание самого короткого

процесса первым без прерывания при поступлении более короткого процесса
SRTF (Shortest-Remaining-Time-First)
обслуживание самого короткого процесса первым с прерыванием при поступлении процесса более короткого, чем остаток выполняющегося

Слайд 14

First-Come, First-Served (очередь)
FCFS (или FIFO) – самая простая дисциплина обслуживания, в

соответствии с которой процессы получают доступ к процессору в порядке поступления.
FCFS – реализует невытесняющую многозадачность.
(с) 2004 Deitel & Associates, Inc.

Слайд 15

Пример FCFS – Вариант 1
Время ожидания процессов:
P1 = 0; P2= 24; P3 =

27.
Среднее время ожидания: (0 + 24 + 27)/3 = 17.

Распределение процессора между процессами

Слайд 16

Пример FCFS – Вариант 2
Время ожидания процессов:
P1 = 6; P2 = 0; P3 =

3.
Среднее время ожидания:
(6 + 0 + 3)/3 = 3.

Распределение процессора между процессами

Слайд 17

Shortest Job First
Эффект, продемонстрированный примерами FSFS, носит название эффекта сопровождения (convoy effect) –

увеличение среднего времени ожидания процессов в случаях, если короткий процесс обслуживается после долгого процесса.
Для решения этой проблемы появилась стратегия Shortest Job First (SJF, обслуживание самого короткого задания первым) – стратегия диспетчеризации процессора, при которой процессор предоставляется в первую очередь наиболее короткому процессу из имеющихся в системе.

Слайд 18

Пример SJF
Среднее время ожидания:
(0 + 6 + 3 + 7)/4

= 4.

Распределение процессора между процессами

Слайд 19

Shortest-Remaining-Time-First
Обслуживание самого короткого процесса первым.
Если приходит новый процесс, время активности которого

меньше, чем оставшееся время активного процесса, – прерывание активного процесса.
Достоинство – сокращение среднего времени ожидания.
Недостаток – прерывание активного процесса будет приводить к дополнительным издержкам, связанным со сменой контекста процессора.

Слайд 20

Пример SRTF
Среднее время ожидания:
(9 + 1 + 0 + 2)/4

= 3.

Распределение процессора между процессами

Слайд 21

Квантование времени (1)
Квантование времени (или Round Robin) – бесприоритетная циклическая дисциплина

обслуживания:
каждый процесс (поток) получает небольшой квант процессорного времени, обычно – 10-100 миллисекунд;
после того, как это время закончено, процесс прерывается и помещается в конец очереди готовых.
(с) 2004 Deitel & Associates, Inc.

Слайд 22

Квантование времени (2)
Квантование времени реализует вытесняющую многозадачность – если всего n

процессов в очереди готовых к выполнению, и квант времени – q, то каждый процесс получает 1/n процессорного времени порциями самое большее по q единиц за один раз.
Ни один процесс не ждет больше, чем (n-1)q единиц времени.
(с) 2004 Deitel & Associates, Inc.

Слайд 23

Производительность квантования времени
если q велико, то стратегия фактически эквивалентна стратегии FCFS;
если

q мало, то q должно быть большим, чем время переключения контекста процессора, иначе слишком велики окажутся накладные расходы на переключения с одного процесса на другой.

Обычно стратегия квантования времени имеет худшую пропускную способность, чем SJF, но лучшую реактивность.

Производительность квантования времени зависит от q:

Слайд 24

Многоуровневая очередь
Поскольку процессы в системе могут иметь различную специфику (например, пакетные

и интерактивные), то на практике в ОС очередь готовых процессов может быть разделена на две очереди (по сути это уже 2 уровня приоритетов):
основная (интерактивные процессы);
фоновая (пакетные процессы).
Каждая очередь имеет свой собственный алгоритм диспетчеризации:
основная – квантование времени;
фоновая – FCFS.

Слайд 25

Виды диспетчеризации между очередями
При данной смешанной стратегии необходима также диспетчеризация между

очередями, т.е. стратегия выбора процессов из той или иной очереди.
Различаются следующие виды диспетчеризации между очередями:
с фиксированным приоритетом – обслуживание всех процессов из основной очереди, затем – из фоновой. При этом имеется вероятность «голодания» фоновых процессов.
выделение отрезка времени – каждая очередь получает некоторый отрезок времени ЦП, который она может распределять между процессами; например, 80% на основную очередь; 20% на фоновую очередь.

Слайд 26

Пример многоуровневой очереди

Слайд 27

Модели многопоточности
Многие к одному (Many-to-One)
Несколько потоков пользовательского уровня отображаются в

один поток ядра (многопоточность на уровне пользователя)
Один к одному (One-to-One)
Каждый поток пользовательского уровня отображается в один поток ядра (однопоточность или многопоточность на уровне ядра) – Windows 2000+
Многие ко многим (Many-to-Many)
Несколько потоков пользовательского уровня могут отображаться в несколько потоков ядра (комбинация 2-х предыдущих вариантов) – Solaris, Windows 2000+ (fibers)

Слайд 28

Многопоточность на уровне пользователя
можно реализовать в ОС, не поддерживающей потоки без

каких-либо изменений в ОС;
высокая производительность, поскольку процессу не нужно переключаться в режим ядра и обратно;
управление потоками возлагается на программу пользователя, которая может использовать собственные алгоритмы планирования потоков с учетом их специфики.

блокировка одного потока процесса приводит к блокировке всех потоков в рамках одного процесса;
приложение не может работать в многопроцессорном режиме;
невытесняющая многопоточность в рамках процесса – процессор не может быть принудительно отдан другому потоку в рамках одного процесса;
внутри одного потока нет прерываний по таймеру, поэтому невозможно управлять потоками в режиме квантования времени.

Операционные системы. Управление центральным процессором и объединение ресурсов

Содержание

Управление центральным процессором…Общие аспекты

Общие аспектыКонтекст процесса, переключение контекстаДисциплины обслуживанияМодели многопоточности

Контекст процессаКонтекст – хранит состояние регистров, состояние программного счетчика, режим работы

Process Control BlockРегистровый контекст процесса:программный счетчик (адрес команды, которая должна быть

Переключение контекстаПереключение процессора с выполнения команд одного потока на выполнение команд

ВопросКак Вы думаете какое влияние оказывает частое переключение контекста на производительность

Переключение контекста и производительность системыВремя, затраченное на переключение контекста, не используется

Сопутствующие факторы, влияющие на производительностьПри переключении контекста происходят аппаратные действия, влияющие

Методы снижения ресурсоемкости переключения контекстаИспользование многопоточности при переключении контекста между потоками

Классификация дисциплин обслуживания (1)

Классификация дисциплин обслуживания (2)Бесприоритетные дисциплины – выбор из очереди производится без

Линейные бесприоритетные дисциплиныFCFS (First-Come, First-Served)обслуживание процессов в порядке поступленияSJF (Shortest-Job-First)обслуживание самого короткого

First-Come, First-Served (очередь)FCFS (или FIFO) – самая простая дисциплина обслуживания, в

Пример FCFS – Вариант 1Время ожидания процессов: P1 = 0; P2= 24; P3 =

Пример FCFS – Вариант 2Время ожидания процессов: P1 = 6; P2 = 0; P3 =

Shortest Job FirstЭффект, продемонстрированный примерами FSFS, носит название эффекта сопровождения (convoy effect) –

Пример SJFСреднее время ожидания: (0 + 6 + 3 + 7)/4

Shortest-Remaining-Time-FirstОбслуживание самого короткого процесса первым.Если приходит новый процесс, время активности которого

Пример SRTFСреднее время ожидания: (9 + 1 + 0 + 2)/4

Квантование времени (1)Квантование времени (или Round Robin) – бесприоритетная циклическая дисциплина

Квантование времени (2)Квантование времени реализует вытесняющую многозадачность – если всего n

Производительность квантования времениесли q велико, то стратегия фактически эквивалентна стратегии FCFS;если

Многоуровневая очередьПоскольку процессы в системе могут иметь различную специфику (например, пакетные

Виды диспетчеризации между очередямиПри данной смешанной стратегии необходима также диспетчеризация между

Пример многоуровневой очереди

Модели многопоточностиМногие к одному (Many-to-One) Несколько потоков пользовательского уровня отображаются в

Многопоточность на уровне пользователяможно реализовать в ОС, не поддерживающей потоки без

Похожие презентации

Управление центральным процессором…
Общие аспекты

Общие аспекты
Контекст процесса, переключение контекста
Дисциплины обслуживания
Модели многопоточности

Контекст процесса
Контекст – хранит состояние регистров, состояние программного счетчика, режим работы

Process Control Block
Регистровый контекст процесса:
программный счетчик (адрес команды, которая должна быть

Переключение контекста
Переключение процессора с выполнения команд одного потока на выполнение команд

Вопрос
Как Вы думаете какое влияние оказывает частое переключение контекста на производительность

Переключение контекста и производительность системы
Время, затраченное на переключение контекста, не используется

Сопутствующие факторы, влияющие на производительность
При переключении контекста происходят аппаратные действия, влияющие

Методы снижения ресурсоемкости переключения контекста
Использование многопоточности
при переключении контекста между потоками

Классификация дисциплин обслуживания (2)
Бесприоритетные дисциплины – выбор из очереди производится без

Линейные бесприоритетные дисциплины
FCFS (First-Come, First-Served)
обслуживание процессов в порядке поступления
SJF (Shortest-Job-First)
обслуживание самого короткого

First-Come, First-Served (очередь)
FCFS (или FIFO) – самая простая дисциплина обслуживания, в

Пример FCFS – Вариант 1
Время ожидания процессов:
P1 = 0; P2= 24; P3 =

Пример FCFS – Вариант 2
Время ожидания процессов:
P1 = 6; P2 = 0; P3 =

Shortest Job First
Эффект, продемонстрированный примерами FSFS, носит название эффекта сопровождения (convoy effect) –

Пример SJF
Среднее время ожидания:
(0 + 6 + 3 + 7)/4

Shortest-Remaining-Time-First
Обслуживание самого короткого процесса первым.
Если приходит новый процесс, время активности которого

Пример SRTF
Среднее время ожидания:
(9 + 1 + 0 + 2)/4

Квантование времени (1)
Квантование времени (или Round Robin) – бесприоритетная циклическая дисциплина

Квантование времени (2)
Квантование времени реализует вытесняющую многозадачность – если всего n

Производительность квантования времени
если q велико, то стратегия фактически эквивалентна стратегии FCFS;
если

Многоуровневая очередь
Поскольку процессы в системе могут иметь различную специфику (например, пакетные

Виды диспетчеризации между очередями
При данной смешанной стратегии необходима также диспетчеризация между

Модели многопоточности
Многие к одному (Many-to-One)
Несколько потоков пользовательского уровня отображаются в

Многопоточность на уровне пользователя
можно реализовать в ОС, не поддерживающей потоки без