Системный вызов позволяет приложению обратиться к ОС с просьбой выполнить то или иное действие (процедуру) ОС. ОС для программиста выглядит как библиотека системных вызовов, с помощью которых можно выполнять действия, запрещенные в пользовательском режиме (например, обмен данными с устройствами ввода - вывода).
Требования к реализации системных вызовов:
· Обеспечивать переключение в защищенный режим
· Обладать высокой скоростью вызова процедур ОС
· Обеспечивать единообразное обращение к системным вызовам для всех аппаратных платформ, на которых работает ОС
· Быть легко расширяемой новыми вызовами
· Обеспечивать контроль со стороны ОС за корректным использованием вызовов.
Первое требование выполнимо только если реализовывать системные вызовы в виде программных прерываний.
(Некоторые из этих требований противоречат друг другу. Например, скорость работы требует векторных прерываний, но они привязывают нас к особенностям аппаратной платформы и не позволяют легко вводить новые прерывания.)
ОС может выполнять системные вызовы:
- по децентрализованной схеме
- по централизованной схеме (используется в большинстве ОС)
При централизованной обработке системных вызовов в ОС существует ДИСПЕТЧЕР СИСТЕМНЫХ ВЫЗОВОВ.
Перед выполнением прерывания приложение передает ОС:
- номер системного вызова (который будет индексом в таблице прерываний, реализующих системные вызовы)
* через стек
* через РОН
- агрументы для системного вызова
* через РОН
* через стек
* через массив
Потом приложение генерирует прерывание с определенным и единственным номером вектора (INT 2Eh – Windows NT, INT 80h - Линукс).
Диспетчер прерываний – простая программа, которая:
· Сохраняет содержимое регистров процессора в системный стек
· Проверяет, адекватный ли номер вызова поступил (не вышел ли за границу таблицы системных вызовов)
· Передает управление соответствующей процедуре ОС для реализации системного вызова.
А уже процедура ОС извлекает из системного стека аргументы и выполняет заданное действие. Если системный вызов сложный, то она вызывает необходимые модули из подсистемы управления памятью, ввода-вывода и тд.
После завершения работы процедура возвращает управление диспетчеру прерываний, кроме этого передает ему КОД завершения вызова.
Диспетчер восстанавливает регистры процессора, помещает КОД в определенный регистр и выполняет инструкцию возврата из прерывания (восстанавливает непривилегированный режим работы процессора).
Это т.н табличный способ организации системных вызовов, он принят практически во всех ОС, легко расширяем.
ОС может выполнять системные вызовы:
- в синхронном режиме
- в асинхронном режиме
Синхронный системный вызов (блокирующий) – процесс делает вызов, потом честно останавливается, ждет его результатов, после чего может возобновить работу.
Асинхронный системный вызов – процесс делает вызов и продолжает работу, периодически проверяя, не готовы ли уже нужные ему данные.
Большинство системных вызовов синхронны, но в последнее время асинхронные вызовы используются все чаще. Это дает больше возможностей разработчиками сложных приложений, кроме того, они особенно нужны в ОС на основе микроядерной архитектуры (в таких ОС часть ОС работает в пользовательском режиме, и этой части нужно свободно организовывать свою работу.)
Основы синхронизации процессов и потоков. Понятие гонок. Критическая секция кода и исключение гонок. Блокирующие переменные. Понятие семафора и его использование для целей синхронизации. Синхронизация и проблема тупиков. Синхронизирующие объекты в операционных системах.
