Операционные системы. Определение ОС

1.

Операционные системы. Лекция 1
1. Определение ОС
2. Место ОС в многоуровневой архитектуре
ВС
3. Процессы ОС
3.1 Определение процесса ОС
3.2 Формализованное описание
программного процесса
3.3 Логическая модель процесса. Граф
состояния для логической модели
3.4 Физическая модель процесса. Граф
состояния для физической модели
1

2.

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

3.

Многоуровневая структура
ВСВС
Многоуровневая
структура
Интерфейс пользователя
Уровень пользователя
Интерфейс ППО
Прикладное программное обеспечение
UI, GUI
API
Интерфейс ОС
Операционная система
Интерфейс драйверов
Драйверы внешних устройств
Интерфейс аппаратуры
Аппаратура ВС
3

4.

Определение процесса ОС
Процесс
Процесс
(лат. processus – прохождение, продвижение) –
(лат. processus – прохождение, продвижение) – закономерное, последовательное изменение явления, его
переход в другое явление(развитие).
закономерное, последовательное изменение явления, его
переход в другое явление(развитие)
ГОСТ 19781-83
Процесс – система действий,
реализующая
определённую
функцию
в
ВС
и
оформленная так, что управляющая программа ВС может
перераспределять ресурсы этой системы в целях
обеспечения мультипрограммирования
Неформальное определение процесса(А. Шоу)
Последовательный процесс есть работа, производимая
последовательным процессором при выполнении программы
с её данными
4

5.

Формализованное описание программного
процесса
Трек процесса – упорядоченная по времени последовательность векторов
состояния
S0
S1
S2
Si
In
Si - вектор состояния процесса
In – инициатор развития процесса
Si (контекст процесса) – информация для процессора,
необходимая для развития процесса:
- выполняемая команда(активная часть вектора, выполнение которой
вызывает изменение параметров)
адрес следующей команды
другие параметры
Процесс = Инициатор + Трек + Процессор
5

6.

Логическая(абстрактная) модель процесса
Логическая(абстрактная) модель процесса
Граф состояний для логической модели процесса
выполняющийся
(активный)
не выполняющийся
(пассивный)
не выполняющийся
(пассивный)
Каждый процесс имеет собственный процессор
Модель обеспечивает решение процессорнонезависимых задач(взаимодействие процессов,
синхронизация)
6

7.

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

8.

Физическая модель процесса
Граф состояний для физической модели процесса
Готовый
выполнить
прервать
освободить
Блокированный
Выполняющийся
запросить
Прерывание процесса
S0
S1
S2
Si
Сохранение вектора состояния процесса(контекста) с целью его будущего
восстановления
Прерывание выполнения и перевод процесса в очередь готовых или блокированных
8

9.

Граф состояний физической модели
процесса
планирование
диспетчеризация
приостановить
активизировать
создать
Готовый
приостановленный
Готовый активный
приостановить
освободить
активизировать
Блокированный
приостановлен-ный
приостановить
приостановленный
выполнить
прервать
освободить
Блокированный
активный
выполняющийся
запросить
активный
выполняющийся
9