Описание формальной модели операционной системы

Учебное пособие

Издается в авторской редакции

ИД №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

[email protected]

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

Рассмотрим работу блоков ОС в виде формальной модели для абстрактной многопроцессорной ЭВМ. Т=[t₀,t₁], где t₀ –время инициирования, t₁- время уничтожения системы. Структура ОС в некоторый момент времени tєT может быть представлен графом Г_t, где Р={p₀,p₁…p_n}- класс процессов, R ={r₁, r₂,…,r_q} – класс ресурсов. Элементы множеств являются вершинами графа Г_t. Считаем, что P и R конечные и непустые множества. Т.к. ОС является динамически изменяющейся системой, то в некоторый момент времени t₁, t₂ єT; t₁≠t₂ структура может быть представлена графами Г_t1­, Г_t2. Рассмотрим изменение графа Г_t, отражающего структуру ОС в любой момент времени tєT. Выделим в некоторое множество σ все возможные вершины и ребра, которые могут быть получены [t₀,t_k]. Каждый элемент множества σ (вершину или ребро) обозначим через σ_j j≥1. Определим множество Е как совокупность правил, фиксирующих изменение структуры графа Г_t для любого tєT. Каждое правило из множества Е будет иметь вид:

Где номер правила.

означает, что в момент времени tєT заменяется на набор элементов

означает номер правила, на которое осуществляется переход, если активен или блокирован.

Пусть V – множество номеров правил из Е. σ₀ некоторый начальный процесс, инициирующий работу системы. Тогда М – формальная модель ОС, может быть определена:М=<Т,σ, Е, V, σ₀>