Реализация системных вызовов. Использование механизма прерываний для реализации системных вызовов

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

 

Требования к реализации системных вызовов:

· Обеспечивать переключение в защищенный режим

· Обладать высокой скоростью вызова процедур ОС

· Обеспечивать единообразное обращение к системным вызовам для всех аппаратных платформ, на которых работает ОС

· Быть легко расширяемой новыми вызовами

· Обеспечивать контроль со стороны ОС за корректным использованием вызовов.

 

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

 

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

 

ОС может выполнять системные вызовы:

- по децентрализованной схеме

- по централизованной схеме (используется в большинстве ОС)

 

При централизованной обработке системных вызовов в ОС существует ДИСПЕТЧЕР СИСТЕМНЫХ ВЫЗОВОВ.

 

Перед выполнением прерывания приложение передает ОС:

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

* через стек

* через РОН

- агрументы для системного вызова

* через РОН

* через стек

* через массив

Потом приложение генерирует прерывание с определенным и единственным номером вектора (INT 2Eh – Windows NT, INT 80h - Линукс).

 

Диспетчер прерываний – простая программа, которая:

· Сохраняет содержимое регистров процессора в системный стек

· Проверяет, адекватный ли номер вызова поступил (не вышел ли за границу таблицы системных вызовов)

· Передает управление соответствующей процедуре ОС для реализации системного вызова.

 

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

 

После завершения работы процедура возвращает управление диспетчеру прерываний, кроме этого передает ему КОД завершения вызова.

 

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

 

Это т.н табличный способ организации системных вызовов, он принят практически во всех ОС, легко расширяем.

 

ОС может выполнять системные вызовы:

- в синхронном режиме

- в асинхронном режиме

 

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

 

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

 

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

 

Основы синхронизации процессов и потоков. Понятие гонок. Критическая секция кода и исключение гонок. Блокирующие переменные. Понятие семафора и его использование для целей синхронизации. Синхронизация и проблема тупиков. Синхронизирующие объекты в операционных системах.