Презентация на тему Механизмы синхронизации. (Тема 10)

0;
while (some condition) {
while(lock); lock =

1;
critical section
lock = 0;
remainder section
}

Process B

shared int lock = 0;
while (some condition) {
while(lock); lock = 1;
critical section
lock = 0;
remainder section
}

while(lock);
lock = 1;
critical section
critical section
critical section

while(lock); while(lock); while(lock); while(lock); while(lock);

critical section
critical section
critical section
critical section
critical section

while(lock); while(lock); while(lock); while(lock); while(lock);

critical section
critical section
lock = 0;
remainder section
remainder section

while(lock);
lock = 1;
critical section
critical section
critical section

A

B

A

B

A

B

критической секции ?
ЦПУ вместо полезных вычислений производит проверку

условия, которое изменится только в один из следующих квантов времени ?
Существенное снижение КПД ?
ОС могла бы следить за тем, когда кого пускать в критическую секцию ?
Процессы должны сообщать ОС о входе в критическую секцию и выходе из неё

любого процесса к которой, за исключением момента ее инициализации,

может осуществляться только через две атомарные операции: P и V.

Proberen
P(S): пока S == 0 процесс блокируется;
S = S – 1;
Verhogen
V(S): S = S + 1;

Мьютекс – двоичный семафор (0 или 1)

обращаться никакие два процесса
Производитель не может писать в полный

буфер, должен ждать освобождения хоть одной ячейки буфера
Потребитель не может читать из пустого буфера, должен ждать заполнения хоть одной ячейки буфера

Producer
while(1) {
produce_item;
put_item;
}

Consumer
while(1) {
get_item;
consume_item;
}

empty = N;
Semaphore full = 0;
Producer
while(1) {

produce_item;

P(empty);
P(mutex);
put_item;
V(mutex);
V(full);


}

Consumer
while(1) {


P(full);
P(mutex);
get_item;
V(mutex);
V(empty);

consume_item;
}

+: нет бесполезной работы системы по проверке в цикле
-: сложность отслеживания корректности размещения семафоров

класса в ООП), содержит переменные, определяющие его состояние, и

функции-методы.
В любой момент времени только один процесс может быть активен, т. е. находиться в состоянии готовность или исполнение, внутри данного монитора
Условные переменные – переменные монитора, над которыми могут производиться две примитивные операции:
wait – процесс блокируется на данной переменной
signal – процесс, заблокированный на данной переменной, разблокируется

переменных ;

  void m1(...){...
}
void

m2(...){...
}
...
void mn(...){...
}

  {
блок инициализации
внутренних переменных;
}
}

condition full, empty;
int

count;

void put() {
if(count == N) full.wait;
put_item();
count += 1;
if(count == 1) empty.signal;
}

void get() {
if (count == 0) empty.wait;
get_item();
count -= 1;
if(count == N-1) full.signal;
}

{
count = 0;
}

}

Producer:
while(1) {
produce_item;
ProducerConsumer.put();
}


Consumer:
while(1) {
ProducerConsumer.get();
consume_item;
}

+: семафоры расставит компилятор, использование монитора простое
-: необходима поддержка мониторов языком/компилятором

message процессу P
receive(Q, message)
получить сообщение message от процесса Q

непрямая

адресация
send(A, message)
послать сообщение message в почтовый ящик A
receive(A, message)
получить сообщение message из почтового ящика A

send(buf, item);
}
Consumer
while(1) {
receive(buf, item);
consume_item;
}
+: встроенный механизм

взаимоисключения, тривиальность использования
-: невозможность реализации сложных алгоритмов синхронизации