Лекция: Описание формальной модели операционной системы.
Учебное пособие
Издается в авторской редакции
ИД №06318 от 26.11.01.
Подписано в печать Формат 60х90 1/16. Бумага офсетная.
Печать трафаретная. Усл. печ. л. 13,5. Тираж экз. Заказ
Издательство Байкальского государственного университета
экономики и права
640003, Иркутск, ул. Ленина, 11
Отпечатано в ИПО БГУЭП.
Декабря с 10.00 до 18.00
Стоимость двухдневного семинара 20 000 тенге
Предусмотрена скидка 50% участникам из одной семьи с общим бюджетом.
Участие в тренинге только по предварительной оплате.
Подробности и запись по телефонам 8 775 159 15 14,
8 7172 402 905 (после 20.00),
8 7172 29 93 78
rk_company@mail.ru
Описание формальной модели операционной системы.
Рассмотрим работу блоков ОС в виде формальной модели для абстрактной многопроцессорной ЭВМ. Т=[t0,t1], где t0 –время инициирования, t1 — время уничтожения системы. Структура ОС в некоторый момент времени tєT может быть представлен графом Гt, где Р={p0,p1…pn}- класс процессов, R ={r1, r2,…,rq} – класс ресурсов. Элементы множеств являются вершинами графа Гt. Считаем, что P и R конечные и непустые множества. Т.к. ОС является динамически изменяющейся системой, то в некоторый момент времени t1, t2 єT; t1≠t2 структура может быть представлена графами Гt1, Гt2. Рассмотрим изменение графа Гt, отражающего структуру ОС в любой момент времени tєT. Выделим в некоторое множество σвсе возможные вершины и ребра, которые могут быть получены [t0,tk]. Каждый элемент множества σ(вершину или ребро) обозначим через σjj≥1. Определим множество Екак совокупность правил, фиксирующих изменение структуры графа Гt для любого tєT. Каждое правило из множества Ебудет иметь вид:
Где номер правила.
означает, что в момент времени tєT заменяется на набор элементов
означает номер правила, на которое осуществляется переход, если активен или блокирован.
Пусть V – множество номеров правил из Е. σ0 некоторый начальный процесс, инициирующий работу системы. Тогда М – формальная модель ОС, может быть определена: М=<Т,σ, Е, V, σ0>