Мультипрограммный режим работы микропроцессора

Лекция
7

1.
Мультипрограммный режим МП

2.
Переключение задач

II. Прерывания и особые случаи

1.
Понятие прерывания

2.
Порядок обработки прерываний

3.
Контроллер приоритетных прерываний

4.
Каскадное включение контроллеров
приоритетных прерываний

1.Мультипрограммный режим мп

►Многозадачностью
(мультипрограммным режимом работы)
называют такой способ организации
работы системы, при которой в ее памяти
одновременно содержатся программы и
данные для выполнения нескольких
процессов обработки информации (задач).

В
этом режиме должна
обеспечиваться:

• взаимная
  защита программ и данных,
  относящихся к различным задачам,

• а
  также возможность
  перехода от выполнения одной задачи к
  другой
  (переключение).

Под
задачей
(процессом)
понимается последовательность
взаимосвязанных действий, ведущих к
достижению некоторой цели.

В
вычислительной технике под задачей
понимается конкретная сущность, которая
тесно связана с архитектурой процессора
и обладает своим виртуальным адресным
пространством и состоянием.

Проще,

задача
— это программа, которая выполняется
или ожидает выполнения, пока выполняется
другая программа.

Задача
(процесс)
может находиться в следующих состояниях:

• порождение
  — подготавливаются условия для первого
  исполнения на процессоре;

• активное
  состояние
  (счет) — программа исполняется на
  процессоре;

• ожидание
  — программа не исполняется по причине
  занятости какого-либо ресурса;

• готовность
  — программа не исполняется, но для
  исполнения предоставлены все необходимые
  в текущий момент ресурсы, кроме
  центрального процессора;

• окончание
  — нормальное или аварийное завершение
  программы, после которого процессор и
  другие ресурсы ей не предоставляются.

►Применительно
к компьютерам в определение задачи
обычно включаются ресурсы, необходимые
для достижения цели. Понятие «ресурс»
строго не определено. Будем
считать, что всякий потребляемый объект
(независимо от формы его существования),
обладающий некоторой практической
ценностью для потребителя, является
ресурсом,
это, например:

• объем
  оперативной памяти,

• время
  для счета на процессоре,

• дисковое
  пространство и т.д.

Основные
черты мультипрограммного режима:

• в
  оперативной
  памяти
  находятся несколько программ в состояниях
  активности,
  ожидания
  или готовности;

• время
  работы процессора
  разделяется между программами,
  находящимися в памяти в состоянии
  готовности;

• параллельно
  с работой процессора происходит
  подготовка и обмен с несколькими
  внешними устройствами (ВУ).

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

При
этом скорость
работы самого процессора и номинальная
производительность ЭВМ не
зависят
от использования мультипрограммирования.

►Мультипрограммный
режим
имеет в ЭВМ аппаратную
и программную поддержку.

◊ Аппаратура,
используемая при организации
мультипрограммного режима, включает:

▪ контроллеры
ОЗУ и внешних устройств, которые могут
работать параллельно с процессором,

▪ систему
прерывания,

▪ аппаратные
средства защиты программ и данных и т.
д.

◊ Программная
составляющая
содержит:

▪ мультизадачную
ОС,

▪ драйверы
внешних устройств,

▪ обработчики
прерываний и другие средства.

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

Эффективность
работы
мультипрограммной ЭВМ можно оценить:

• количеством
  задач,
  выполненных в единицу времени (пропускная
  способность), и

• временем
  выполнения
  отдельной программы.

Важное
значение при анализе работы ЭВМ имеет
определение степени использования ее
ресурсов. Для этого применяются следующие
показатели:

■
коэффициент
загрузки устройства:

,

где

— время занятости устройства

за общее время

работы ЭВМ;

■
средняя
длина очереди запросов к устройству

:

,

г
де

—
длина очереди к устройству

на интервале времени

.

Рис.
1. 
Оценка показателей работы мультипрограммной
ЭВМ

Помимо
средней длины очереди важна также и
динамика изменения ее длины (рис.
1).

По
значениям
k_q,

L_q
и изменениям во времени значения
L_q
можно
определить наиболее
дефицитный ресурс
в системе, т.е. ее «узкое место».

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

►Коэффициент
мультипрограммирования
(КМ) — это количество программ, обрабатываемых
одновременно в мультипрограммном
режиме.

● Анализ
показывает, что с увеличением коэффициента
мультипрограм-мирования
пропускная
способность ЭВМ будет увеличиваться,
стремясь к некоторому пределу,
определяемому характеристиками ресурсов
ЭВМ.

● В
то же время каждая
программа будет выполняться в общем
случае более длительное время
из-за необходимости ожидания освобождения
ресурсов,
занятых другими программами. При
увеличении коэффициента
мультипрограммирования
изменение значений показателей
эффективности зависит от того, в каком
состоянии находится система: ▪перегрузки
или ▪недогрузки.
Если
какие-либо ресурсы
ЭВМ
задействованы достаточно интенсивно,
то добавление новой программы, активно
использующей эти ресурсы, будет
малоэффективным.

►Микропроцессор
для поддержки
мультипрограммного режима работы
использует определенный
набор аппаратных средств.

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

●
В
качестве такого раздела в универсальных
микропроцессорах выступает сегмент
состояния задачи
TSS,
который является небольшим сегментом
данных с неразрешенными операциями
считывания и записи, — доступ
к нему не разреша-ется никаким программам,
даже на самом высоком уровне
привилегий.
К сегментам TSS
может обращаться только
сам процессор.

●
Для
поддержки работы с сегментом состояния
задачи служит 16-разрядный ▪
регистр
задачи
TR,
в который заносится селектор дескриптора
TSS,
и связанный с TR
программно недоступный ▪
64-разрядный «теневой» регистр,
в который загружается дескриптор
TSS.
Дескрипторы сегментов состояния задач
хранятся только в глобальной
таблице дескрипторов
GDT.

● Для
переключения задач используется шлюз
задачи.

►Сегмент
состояния задачи
TSS
состоит из двух частей (рис.
3):

▪

Обязательная
часть
TSS
объемом 104
байта
содержит информацию, необходимую
для рестарта данной задачи после ее
вызова на исполнение,
а также некоторую другую информацию.
▪
Дополнительная
часть
может содержать: ◊ какую-либо
информацию о задаче, используе-мую ОС
(имя задачи, комментарии и т.д.) и ◊
битовую
карту ввода/вывода (БКВВ),
определяющую устройства ввода/вывода,
к которым разрешено обращение данной
задачи при определенных ситуациях.

Рис.
3. 
Структура сегмента состояния задачи
TSS

●

Содержимое
ряда полей

TSS

не
изменяется при решении задачи

(на рис.
3 они помечены *
):
▪
селектор
LDT
данной задачи (т.е. регистр LDTR),
▪
регистр
управления CR3
(базовый адрес каталога
таблиц страниц),
▪
поля
SSi
и ESPi,
которые
определяют начальные адреса стеков при
переключении к задачам с более высоким
уровнем привилегий,
что обеспечивает их более надежную
защиту.

При
переключении задачи процессор может
перейти к другой локальной
таблице дескрипторов
LDT
и перезагрузить базовый регистр каталога
страниц CR3.
Это
позволяет назначить каждой задаче свое
отображение логических адресов на
физические,
что служит дополнительным средством
защиты, так как задачи можно изолировать
и предотвратить их взаимодействие друг
с другом.

● Поле
селектора возврата (первая
строка TSS)
обеспечивает связь данной задачи с
вызвавшей ее программой. Селектор
возврата
— это селектор
TSS
предыдущей
задачи,
при выполнении которой произошел вызов
данной задачи (TR
предыдущей задачи, если предполагается
возврат к ней).

В
TSS отсутствуют
поля для хранения регистров управления
CR0
и CR2.
Это означает, что их содержимое не
меняется при переключении задач.
Следовательно,
страничное преобразование и условия
работы с FPU являются глобальными для
всех задач. Для каждой задачи может быть
свой каталог
таблиц страниц,
но страничное
преобразование может быть разрешено
или запрещено только для микропроцессорной
системы в целом.

● Объем
дополнительной
части
TSS
зависит от количества служебной
инфор-мации ОС, определяемой характером
решаемой задачи, и размеров применяе-мой
битовой карты ввода/вывода. Доп. часть
может вообще отсутствовать.

● Каждый
бит битовой карты ввода/вывода БКВВ
соответствует однобайто-вому порту
ввода/вывода. Когда для задачи определена
БКВВ, ей предостав-ляется дополнительная
возможность выполнения команд
ввода/вывода.

Если
обычная защита по привилегиям запрещает
ввод/вывод, то
МП обращается к БКВВ для проверки
возможности ввода/вывода на конкретных
устройствах. Если соответствующие этим
адресам биты карты содержат нули,
то операции ввода/вывода разрешаются.

В
противном случае формируется особый
случай нарушения защиты.
Т.о., БКВВ обеспечивает свободный доступ
к незащищенным портам ввода/вывода.

● За
последним байтом БКВВ в TSS
должен следовать заключительный
байт,
состоящий из одних
единиц.

Адрес
этого байта должен соответствовать
границе сегмента, определенной
дескриптором TSS.

После
поле предела должна быть указана длина
не менее 104 байт.

Если
указанный размер сегмента меньше 104
байт, то происходит прерывание.

►
Байт
доступа
дескриптора TSS
имеет следующий вид (рис.
4).

Рис.
4. 
Байт доступа дескриптора сегмента
состояния задачи

У
него ряд
особенностей
по сравнению с дескрипторами обычных
сегментов.

▪ Бит
занятости
B
устанавливается в 1
при переключении на данную задачу.
Используется для обнаружения попытки
вызова задачи, выполнение которой
прервано. Переключение
задач производится,
только если B
= 0.

При
B
= 1
возникает прерывание.

Установка
B
=
1
в TSS
производится командами JMP
и CALL,
переключающими МП на выполнение данной
задачи. При этом другие обращения в МП
системе к этой задаче будут запрещены.

● Значение
M
= 0
обеспечивает совместимость с
микропроцессором i286, в котором впервые
появился мультипрограммный
режим работы.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #

4.1. Мультипрограммирование

Мультипрограммирование

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

Суть мультипрограммного режима работы ОС заключается в том, что пока одна программа (один вычислительный процесс) ожидает завершения очередной операции ввода-вывода (подпись «Вв» на оси ординат), другая программа (процесс) может быть поставлена на решение (рис. 5). Это позволяет более полно использовать имеющиеся ресурсы (например, как видно из рисунка, центральный процессор начинает меньше простаивать) и уменьшить общее (суммарное) время, необходимое для решения некоторого множества задач.

Рисунок 5 – Пример выполнения двух программ в мультипрограммном режиме

На рис. 5 в качестве примера изображена гипотетическая ситуация, при которой благодаря совмещению во времени двух вычислительных процессов общее время их выполнения получается меньше, чем если бы их выполняли по очереди (запуск одного начинался бы только после полного завершения другого). Видно, что время выполнения каждого процесса в общем случае больше, чем если бы каждый из этих процессов выполнялся как единственный.

При мультипрограммировании повышается пропускная способность системы, но отдельный процесс никогда не может быть выполнен быстрее, чем если бы он выполнялся в однопрограммном режиме (всякое разделение ресурсов замедляет работу одного из участников за счет дополнительных затрат времени на ожидание освобождения ресурса). При мультипрограммировании программы совместно используют не только процессор, но и другие ресурсы компьютера (оперативную и внешнюю память, устройства ввода-вывода, данные). Мультипрограммирование призвано повысить эффективность использования вычислительной системы, однако эффективность может пониматься по-разному. Наиболее характерными критериями эффективности вычислительных систем являются:

· пропускная способность – количество задач, выполняемых вычислительной системой в единицу времени;

Рекомендуемые материалы

· удобство работы пользователей, заключающееся, в частности, в том, что они имеют возможность интерактивно работать одновременно с несколькими приложениями на одной машине;

· реактивность системы – способность системы выдерживать заранее заданные (возможно, очень короткие) интервалы времени между запуском программы и получением результата.

Как было отмечено выше в п. 2.2, в зависимости от выбранного критерия эффективности, ОС делят на системы пакетной обработки, системы разделения времени и системы реального времени, каждая из которых имеет свои особенности реализации мультипрограммирования, причем некоторые ОС могут поддерживать несколько режимов. Учитывая все это, рассмотрим более подробно особенности реализации мультипрограммирования для каждого из рассмотренных типов ОС.

4.1.1. Мультипрограммирование в системах пакетной обработки

Мультипрограммирование в системах пакетной обработки

Для повышения пропускной способности компьютера стремятся к обеспечению минимизации простоев (например, из-за отсутствия соответствующих данных) всех его устройств, и прежде всего центрального процессора. Естественным решением, ведущим к повышению эффективности использования процессора, является переключение процессора на выполнение другой задачи, у которой есть данные для обработки. Такой подход к реализации мультипрограммирования положен в основу пакетных систем.

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

Для достижения этой цели в системах пакетной обработки используется следующая схема функционирования. В начале работы формируется пакет заданий, каждое из которых содержит требование к системным ресурсам. Из пакета заданий формируется мультипрограммная «смесь», то есть множество одновременно выполняемых задач. Для одновременного выполнения выбираются задачи, предъявляющие разные требования к ресурсам, так, чтобы обеспечивалась сбалансированная загрузка всех устройств вычислительной машины. Например, в мультипрограммной смеси желательно одновременное присутствие вычислительных задач и задач с интенсивным вводом-выводом.

Таким образом, выбор нового задания из пакета заданий зависит от внутренней ситуации, складывающейся в системе, то есть выбирается «выгодное» в некотором смысле задание. Следовательно, в вычислительных системах, работающих под управлением пакетных ОС, невозможно гарантировать выполнение того или иного задания в течение определенного периода времени. Кроме того, переключение процессора с выполнения одной задачи на выполнение другой происходит по инициативе самой активной задачи, например, когда она отказывается от процессора из-за необходимости выполнить операцию ввода-вывода. Поэтому существует высокая вероятность того, что одна задача может надолго занять процессор и выполнение интерактивных задач станет невозможным.

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

4.1.2. Мультипрограммирование в системах разделения времени

Мультипрограммирование в системах разделения времени

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

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

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

4.1.3. Мультипрограммирование в системах реального времени

Мультипрограммирование в системах реального времени

Еще одна разновидность мультипрограммирования используется ОСРВ, предназначенных, как отмечено выше в п. 2.2, для управления с помощью компьютера различными техническими объектами или технологическими процессами. Критерием эффективности этих систем является способность выдерживать заранее заданные интервалы времени между запуском программы и получением результата (управляющего воздействия). Это время называется временем реакции системы, а соответствующее свойство системы – реактивностью. Требования ко времени реакции зависят от специфики управляемого процесса.

В ОСРВ «мультипрограммная смесь» представляет собой фиксированный набор заранее разработанных программ, а выбор программы на выполнение осуществляется по прерываниям (исходя из текущего состояния объекта) или в соответствии с расписанием плановых работ.

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

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

4.1.4. Мультипрограммирование при мультипроцессорной обработке

Мультипрограммирование при мультипроцессорной обработке

Мультипроцессорная обработка – это способ организации вычислительного процесса в системах с несколькими процессорами, при котором несколько задач (процессов, потоков) могут одновременно выполняться на разных процессорах системы.

Мультипроцессорные вычислительные системы начали появляться с середины 80-х гг. и к настоящему моменту обычным делом является наличие нескольких процессоров даже в архитектуре персонального компьютера. Более того, многопроцессорность теперь является одним из необходимых требований, которые предъявляются к компьютерам, используемым в качестве центрального сервера крупной вычислительной сети.

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

Мультипроцессорная организация системы приводит к усложнению всех алгоритмов управления ресурсами. Так, например, требуется планирование работы процессов не для одного, а для нескольких процессоров, что гораздо сложнее. Сложности заключаются и в возрастании числа конфликтов по обращению к устройствам ввода-вывода, данным, общей памяти и совместно используемым программам. Необходимо предусмотреть эффективные средства блокировки при доступе к разделяемым информационным структурам ядра. Все эти проблемы должна решать ОС путем синхронизации процессов, ведения очередей и планирования ресурсов. Более того, сама ОС должна быть спроектирована так, чтобы уменьшить существующие взаимозависимости между собственными компонентами.

Мультипроцессорные системы разделяют на симметричные и несимметричные (асимметричные). При этом следует четко разделять, к какому аспекту мультипроцессорной системы относится эта характеристика – к типу архитектуры или к способу организации вычислительного процесса. Сначала рассмотрим особенности такого разделения с точки зрения архитектуры.

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

В настоящее время функции поддержки симметричной мультипроцессорной обработки данных имеются во всех популярных ОС, таких как MS Windows NT Workstation 4.0, Microsoft Windows Server 2003, Windows XP Professional, QNX Neutrino.

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

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

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

Масштабирование в асимметричной архитектуре реализуется иначе, чем в симметричной. В связи с тем, что требование «единого корпуса» отсутствует, система может состоять из нескольких устройств, каждое из которых содержит один или несколько процессоров – масштабирование по горизонтали. Каждое такое устройство называется кластером, а вся мультипроцессорная система – кластерной.

Рассмотрев особенности организации мультипроцессорных систем с точки зрения архитектуры, отметим особенности их организации с точки зрения вычислительного процесса.

Асимметричное мультипроцессирование является наиболее простым способом организации вычислительного процесса в системах с несколькими процессорами. Этот способ иногда условно называют «ведущий-ведомый». Функционирование системы по принципу «ведущий-ведомый» предполагает выделение одного из процессоров в качестве «ведущего», на котором работает ОС и который управляет всеми остальными «ведомыми» процессорами. В этом случае «ведущий» процессор берет на себя функции распределения задач и ресурсов, а «ведомые» процессоры работают только как обрабатывающие устройства и никаких действий по организации работы вычислительной системы не выполняют. Учитывая то, что ОС работает исключительно на одном процессоре и функции управления централизованы, то такая система по сложности схожа с ОС однопроцессорной системы.

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

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

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

4.1.5. Роль прерываний при мультипрограммировании

Роль прерываний при мультипрограммировании

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

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

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

В зависимости от источника все прерывания делят на два класса:

· аппаратные (внешние и внутренние);

· программные.

Аппаратные (англ. Interrupt Request – IRQ) – события от периферийных устройств или события в микропроцессоре, возникающие вследствие подачи некоторой аппаратурой электрического сигнала, который передается на специальный вход прерывания процессора. При этом внешними будут прерывания, инициированные периферийными устройствами (например, нажатия клавиш клавиатуры, движение мыши, сигнал от таймера, сетевой карты или дискового накопителя), а внутренними – те, что происходят в микропроцессоре.

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

Внутренние прерывания, называемые также исключениями (англ. exception), происходят в микропроцессоре и инициируются синхронно выполнению программы при появлении аварийной ситуации в ходе исполнения некоторой инструкции программы – возникают непосредственно в ходе выполнения тактов команды («внутри» выполнения). Примерами исключений являются деление на нуль, ошибки защиты памяти, обращения по несуществующему адресу, попытка выполнить привилегированную инструкцию в пользовательском режиме и т.п.

Программные прерывания возникают (синхронно) при исполнении особой команды процессора, которая имитирует прерывание, т.е. переход на новую последовательность инструкций. Этот класс прерываний отличается от предыдущих тем, что они по своей сути не являются «истинными» прерываниями. Этот механизм был специально введен для того, чтобы переключение на системные программные модули происходило не просто как переход на подпрограмму, а точно таким же образом, как и обычное прерывание. Этим, прежде всего, обеспечивается автоматическое переключение процессора в привилегированный режим с возможностью исполнения любых команд ОС.

Механизм обработки прерываний независимо от архитектуры вычислительной системы подразумевает выполнение некоторой последовательности шагов.

Шаг 1. Установление факта прерывания (прием сигнала запроса на прерывание) и идентификация прерывания (в ОС идентификация прерывания иногда осуществляется повторно, на шаге 4).

Шаг 2. Запоминание состояния прерванного процесса вычислений. Состояние процесса выполнения программы определяется, прежде всего, значением счетчика команд (адресом следующей команды), содержимым регистров процессора, и может включать также спецификацию режима (например, режим пользовательский или привилегированный) и другую информацию.

Шаг 3. Управление аппаратно передается на подпрограмму обработки прерывания. В простейшем случае в счетчик команд заносится начальный адрес подпрограммы обработки прерываний, а в соответствующие регистры – информация из слова состояния.

Шаг 4. Сохранение информации о прерванной программе, которую не удалось спасти на шаге 2 с помощью аппаратуры. В некоторых процессорах предусматривается запоминание довольно большого объема информации о состоянии прерванных вычислений.

Шаг 5. Собственно выполнение программы, связанной с обработкой прерывания. Эта работа может быть выполнена той же подпрограммой, на которую было передано управление на шаге 3, но в ОС достаточно часто она реализуется путем последующего вызова соответствующей подпрограммы.

Шаг 6. Восстановление информации, относящейся к прерванному процессу (этап, обратный шагу 4).

Шаг 7. Возврат на прерванную программу.

Следует отметить, что шаги 1-3 реализуются аппаратно, а шаги 4-7 – программно.

Главные функции механизма прерываний – это:

· распознавание или классификация прерываний;

· передача управления соответствующему обработчику прерываний;

· корректное возвращение к прерванной программе.

На рис. 6 показано, что при возникновении запроса на прерывание естественный ход вычислений нарушается и управление передается на программу обработки возникшего прерывания (обработчик прерываний, процедура обслуживания прерываний, англ. Interrupt Service Routine). При этом средствами аппаратуры сохраняется (как правило, с помощью механизмов стековой памяти) адрес той команды, с которой следует продолжить выполнение прерванной программы.

Рисунок 6 – Обобщенная схема обработки прерывания

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

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

Из рис. 6 видно, что в схеме обработки прерывания имеется две служебные секции – в первой осуществляется сохранение контекста прерванных вычислений, а в заключительной – наоборот, восстановление этого контекста. Для того, чтобы система не среагировала повторно на сигнал запроса на прерывание, выполняется защита от повторного срабатывания, поэтому система обработки обычно автоматически «закрывает» (отключает) прерывания, и необходимо позже в подпрограмме обработки прерываний вновь включать систему прерываний. В конце первой секции подпрограммы обработки осуществляется установка режимов приоритетов обработки прерываний. Таким образом, на время выполнения центральной секции прерывания разрешены. На время работы заключительной секции подпрограммы обработки система прерываний вновь должна быть отключена, и после восстановления контекста опять включена. Поскольку эти действия необходимо выполнять практически в каждой подпрограмме обработки прерываний, во многих ОС первые секции подпрограмм обработки прерываний выделяются в специальный системный программный модуль – супервизор прерываний.

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

Организация обработки прерывания при участии супервизора представлена на рис. 7

Рисунок 7 – Обработка прерывания при участии супервизора

Как видно из представленной схемы, здесь отсутствует возврат в прерванную ранее программу непосредственно из самой подпрограммы обработки прерывания. Для прямого возврата достаточно адрес возврата сохранить в стеке, что и делает аппаратура процессора. При этом стек легко обеспечивает возможность возврата в случае вложенных прерываний, поскольку он всегда реализует дисциплину LCFS. Супервизор прерываний сохраняет в дескрипторе текущей задачи рабочие регистры процессора, определяющие контекст прерываемого вычислительного процесса. Далее он определяет ту подпрограмму, которая должна выполнить действия, связанные с обслуживанием настоящего (текущего) запроса на прерывание. Наконец, перед тем, как передать управление на эту подпрограмму, супервизор прерываний устанавливает необходимый режим обработки прерывания (осуществляется маскирование, определяющее запрет некоторых сигналов прерывания). После выполнения подпрограммы обработки прерывания управление вновь передается ядру ОС. На этот раз уже на тот модуль, который занимается диспетчеризацией задач (см. п. 3). И уже диспетчер задач, в свою очередь, в соответствии с принятой дисциплиной распределения процессорного времени (между выполняющимися вычислительными процессами) восстановит контекст той задачи, которой будет решено выделить процессор.

Сигналы, вызывающие прерывания, формируются вне процессора или в процессоре, и могут возникать одновременно. В связи с этим, еще одним неотъемлемым элементом обработки прерываний является приоритет прерываний, с помощью которого они ранжируются по степени важности и срочности. О прерываниях, имеющих одинаковое значение приоритета, говорят, что они относятся к одному уровню приоритета прерываний. Так, со всей очевидностью, прерывания от схем контроля процессора должны обладать наивысшим приоритетом (действительно, если аппаратура работает неправильно, то не имеет смысла продолжать обработку информации), а например, программные прерывания – самым низким.

Вместе с этой лекцией читают «7.3. Информационные технологии экспертной деятельности».

На рис. 8 изображен обычный порядок (приоритеты) обработки прерываний в зависимости от типа прерываний.

Рисунок 8 – Распределение прерываний по уровням приоритета

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

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

Мультипрограммный режим работы

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

В режиме мультипрограммирования в основной памяти одновременно находится несколько программ, загруженных для выполнения. Число одновременно выполняемых программ определяет уровень мультипрограммирования. Центральный процессор в каждый момент времени может выполнять лишь одну из программ. Таким образом, параллельно выполняемые программы конкурируют между собой за обладание ресурсами вычислительной системы и в первую очередь за время центрального процессора. Каждая программа представляется в системе как задача (процесс). Таким образом, принято говорить об одновременно выполняемых задачах (или процессах), основой которых являются соответствующие программы, причем задача является единицей мультипрограммирования.

Задача, обладающая в текущий момент центральным процессором, называется активной. Она выполняется до тех пор, пока не окажется в состоянии ожидания какого-либо события (например, завершения операции ввода-вывода) или не будет прервана по каким-либо причинам операционной системой. Остальные задачи (кроме активной) находятся в состоянии готовности использования центрального процессора, либо ожидания какого-либо события (завершения операции ввода-вывода, истечения заданного интервала времени, завершения выполнения какой-либо программы и т.д.). После перевода активной задачи в состояние ожидания выбирается одна из готовых для выполнения задач, которая становится активной.

Программы, одновременно претендующие на использование центрального процессора, в мультипрограммном режиме упорядочиваются по приоритетам. В случае конфликтов управление получает программа с наивысшим приоритетом. Она переводится в активное состояние. Остальные конкурирующие программы, находящиеся в состоянии готовности, получают управление, если программы с более высокими приоритетами окажутся в состоянии ожидания.

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