Презентация на тему Эквивалентность семафоров, мониторов и сообщений

семафоры
Semaphore mut_ex = 1; /* Для организации взаимоисключения */
При

входе в монитор

При нормальном выходе из монитора

void mon_enter (void){
P(mut_ex);
}

void mon_exit (void){
V(mut_ex);
}

Semaphore ci = 0; int fi = 0; /* Для каждой условной переменной */

Для операции wait

void wait (i){
fi += 1;
V(mut_ex); P(ci);
fi -= 1;
}

Для операции signal

void signal_exit (i){
if (fi) V(ci);
else V(mut_ex);
}

семафоры
буфер
Для каждого процесса: Semaphore ci = 0;
Очередь на чтение
Очередь

на запись

Один на всех: Semaphore mut_ex = 1;

Чтение

P(mut_ex)

Есть msg?

– встать в очередь

– V(mut_ex)

– P(ci)

– прочитать

– есть кто на запись?

– V(mut_ex)

– удалить

– V(cj)

Semaphore cj = 0;

Один на всех: Semaphore mut_ex = 0;

-нет

Pi

-да

M1

-нет

Pj

-да

Semaphore cj = 1;

семафоры
буфер
Для каждого процесса: Semaphore ci = 0;
Очередь на чтение
Очередь

на запись

Один на всех: Semaphore mut_ex = 1;

Запись

P(mut_ex)

Есть место?

– встать в очередь

– V(mut_ex)

– P(ci)

– записать

– есть кто на чтение?

– V(mut_ex)

– удалить

– V(cj)

Semaphore cj = 0;

Один на всех: Semaphore mut_ex = 0;

-нет

Pj

-да

M1

-нет

Pi

-да

Semaphore cj = 1;

M2

M3

M4

мониторы
Monitor sem {
int count;

Condition ci; /* для каждого процесса */
очередь для ожидающих процессов;
void P(void){
if (count == 0) { добавить себя в очередь;
ci.wait;
}
count = count -1;
}
void V(void){
count = count+1;
if(очередь не пуста) { удалить процесс Pj из очереди;
cj.signal;
}
}
{ count = N; }
}

сообщения
send (A, “P, P1”);

receive (P1, msg);

P1

Pm

A

int count = 1;

P0

Для
ожидания

while(1) {
receive (A, msg);
if(это “P” сообщение){
if(count > 0) {count = count -1;
send (Pi, msg); }
else добавить в очередь;
}
else if(это “V” сообщение) {

P1

send (A, “V,Pm”);
receive (Pm, msg);

Pm

…

send(Pi, msg);
if(есть ждущие){
удалить из очереди;
send (Pk, msg); }
else count = count+1;
}
}

P:

V:

“P, P1”

int count = 0;

P1

msg

ожидания

целом

2 Предотвращение тупиков

3 Обнаружение тупиков

4 Восстановление после тупиков

менеджером памяти

времени работает с небольшим набором адресов памяти – это

принцип локальности

Принцип локальности связан с особенностями человеческого мышления

переменных описываются идентификаторами, формируя символьное адресное пространство
Оперативная физическая память

может быть представлена в виде массива ячеек с линейными адресами.
Совокупность всех доступных физических адресов в вычислительной системе – это ее физическое адресное пространство

Как ?

Когда ?

и
БУП
Исходная программа
Компилятор
Объектный
модуль
Редактор связей
Загрузочный модуль
Этап компиляции
Этап загрузки
Этап выполнения

допустимых идентификаторов переменных
Логическое адресное пространство – совокупность всех допустимых

адресов, с которыми работает процессор
Физическое адресное пространство – совокупность всех доступных физических адресов в вычислительной системе

адресного пространства процесса на физическое адресное пространство
Распределение памяти между

конкурирующими процессами
Контроль доступа к адресным пространствам процессов
Выгрузка процессов (целиком или частично) во внешнюю память
Учет свободной и занятой памяти

2
Задание 3
Задание 4
Очередь заданий









Процесс 1
Процесс 2
Процесс

3

фрагментация – «потеря» части памяти, выделенной процессу, но не

используемой им