Операционные системы. Лекция 3
1. Классификация процессов ОС
1.1 По времени существования
1.2 По генеалогии
1.3 По связности
1.4 По динамике
2. Формальная модель ОС
1
Классификация процессов
по времени существования
Пакетный процесс – нет ограничений на
время существования
Процесс реального времени – процесс
должен быть выполнен
до наступления
конкретного момента времени или в конкретный
момент
Интерактивный
процесс
–
время
существования процесса должно быть не более
интервала времени допустимой реакции ВС на
запросы пользователей
2
Классификация процессов
по генеалогии
Порождающий процесс(родитель)
Порождённый процесс(потомок)
Между
процессами
устанавливается
управляющая связь и отношение вида
«порождающий-порождённый»
3
Классификация процессов по связности
Изолированные–
между
процессами
нет
какого-либо рода связи
Информационно-независимые
–
процессы используют совместно некоторые
ресурсы, но информацией не обмениваются
Взаимодействующие – между процессами
есть информационные связи:
явные- с помощью обмена сообщениями
неявные – с помощью разделяемых структур
данных
Конкурирующие
–
конкурируют
использование некоторых ресурсов
за
4
Классификация процессов по динамике
Последовательные–
интервалы времени
существования процессов не пересекаются
Параллельные
рассматриваемом
одновременно
–
процессы
на
интервале
существуют
Комбинированные – на рассматриваемом
интервале найдётся хотя бы одна точка, в
которой существует один процесс, но не
существует другого, и хотя бы одна точка, в
которой оба процесса существуют одновременно
5
Формальная модель ОС
Т={t0, tk } – время функционирования ОС
Gt =
Gtp – граф процессов, вершинами которого является множество процессов P={p0, p1, …, pn }
Gtr – граф ресурсов, вершинами которого является множество ресурсов R={r0, r1, …, rg},
Ориентированное ребро αab=(pa, pb) указывает , что вершина pb находится в отношении иерархического
подчинения к
вершине pa, (процесс pb является потомком процесса pa. )
Неориентированное ребро
αab=(pa, pb) указывает, что существует связь между процессами pa и pb.
pj∈ Gtp связан некоторый граф ресурсов Gtr(pj), требуемых для нормального развития pj .
Вершинами графа Gtr(pj) будут некоторые ресурсы rj∈R, которые могут быть соединены между собой ориентированными
С каждой вершиной-процессом
или неориентированными ребрами.
Ориентированное ребро
определяет память, то
α
ab
=(ra, rb)
указывает , что ресурс
rb
является потомком ресурса
ra(например
, если
ra
rb определяет один из сегментов памяти)
Все вершины графа Gt расположены по уровням, причем на нулевом уровне находится единственная вершина p 0.
На уровнях ui≥1 расположены вершины, каждая из которых зависит хотя бы от одной вершины предыдущего уровня
ui-1 и не зависит ни от одной вершины последующих уровней. Одноуровневые вершины не зависят друг от друга.
Над Gt можно выполнять следующие базовые операции
F={f1, f2, f3, f4, f5}:
.добавление новой вершины в граф (порождение процесса или ресурса);
.добавление ребра (установление связи);
.удаление вершины (уничтожение процесса или ресурса);
.удаление ребра (удаление связи);
.изменение состояния вершины (изменения состояния процесса или ресурса)
6