Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Монитор
Содержание
- 1. Монитор
- 2. 7. Монитор 2002 v.0.2Монитор (2)monitor Буфер; сonstant
- 3. 7. Монитор 2002 v.0.2Процедура доступа monitor Буфер; .
- 4. 7. Монитор 2002 v.0.2Обеспечивается взаимное исключение доступа к
- 5. 7. Монитор 2002 v.0.2Механизм синхронизации - сигналыtype Сигнал;
- 6. 7. Монитор 2002 v.0.2Использование сигналов в монитореvar Полон,
- 7. 7. Монитор 2002 v.0.2Использование сигналов в мониторе (2)function
- 8. 7. Монитор 2002 v.0.2ПоставщикБуферvar Полон, Пуст: Сигнал;procedure Записатьfunction ПрочитатьПотребительЗаписать(D)D:=ПрочитатьОчереди, связанные с монитором
- 9. 7. Монитор 2002 v.0.2Задача «Читатели-Писатели»ИнформационныйфондП1П2ПNЧ1Ч2ЧMM Читателей и N
- 10. 7. Монитор 2002 v.0.2Схема реализацииmonitor ЧП;var МожноЧитать,
- 11. 7. Монитор 2002 v.0.2Начало чтенияprocedure НачалоЧтения(); begin
- 12. 7. Монитор 2002 v.0.2Конец чтенияprocedure КонецЧтения(); begin
- 13. 7. Монитор 2002 v.0.2Начало записиprocedure НачалоЗаписи(); begin
- 14. 7. Монитор 2002 v.0.2Конец записиprocedure КонецЗаписи(); begin
- 15. 7. Монитор 2002 v.0.2Реализация механизма семафоров через мониторmonitor
- 16. 7. Монитор 2002 v.0.2Реализация механизма семафоров через монитор
- 17. Скачать презентанцию
7. Монитор 2002 v.0.2Монитор (2)monitor Буфер; сonstant ДлинаБуфера = 100; var СамБуфер: array[1..ДлинаБуфера] of Данное; var СчетчикЗаписей: integer; procedure Записать(d: Данное); begin ...
Слайды и текст этой презентации
Слайд 27. Монитор 2002 v.0.2
Монитор (2)
monitor Буфер;
сonstant ДлинаБуфера = 100;
var СамБуфер: array[1..ДлинаБуфера] of Данное;
var СчетчикЗаписей: integer;
procedure Записать(d: Данное);begin
...
end;
function Прочитать(): Данное;
begin
...
end;
begin
СчетчикЗаписей:= 0;
end Буфер.
Пример:
![7. Монитор 2002 v.0.2Монитор (2)monitor Буфер; сonstant ДлинаБуфера = 100; var СамБуфер: array[1..ДлинаБуфера] of Данное;](/img/thumbs/52fe56ed94643cdee0c683d4530d0760-800x.jpg "Монитор 7. Монитор 2002 v.0.2Монитор (2)monitor Буфер; сonstant ДлинаБуфера = 100; var СамБуфер:")
Слайд 37. Монитор 2002 v.0.2
Процедура доступа
monitor Буфер;
. . .
procedure Записать(d:
Данное);
begin
...
end;
function Прочитать(): Данное;
begin
...
end;
begin
СчетчикЗаписей:= 0;
end Буфер.
Поставщик:
loop
D:= Производство();
Буфер.Записать(D);
endloop.
Потребитель:
loop
D:= Буфер.Прочитать();
Обработка(D);
endloop.
Слайд 47. Монитор 2002 v.0.2
Обеспечивается взаимное исключение доступа к ресурсам, описанным в
мониторе (Буфер.Записать(D) и Буфер.Прочитать()- не могут выполняться одновременно)
Управление ОчередьДоступа (например,
FIFO) обеспечивает очередность доступа процессов к монитороуПроцедура доступа (2)
Поставщик
Буфер
procedure Записать
function Прочитать
Потребитель
Записать(D)
D:=Прочитать
Слайд 57. Монитор 2002 v.0.2
Механизм синхронизации - сигналы
type Сигнал;
Операции над сигналами:
var
S: Сигнал;
wait(S):
поставить активный процесс в очередь, связанную с сигналом
Ssend(S):
первый процесс из очереди S ставится в очередь готовых;
check(S):
возвращает кол-во процессов, ждущих
в очереди S
Слайд 67. Монитор 2002 v.0.2
Использование сигналов в мониторе
var Полон, Пуст: Сигнал;
procedure Записать(d:
Данное);
begin
if(СчетчикЗаписей => ДлинаБуфера) then
wait(Полон)endif
ЗаписатьДанноеВБуфер(d);
СчетчикЗаписей:= СчетчикЗаписей + 1;
send(Пуст)
end;
Слайд 77. Монитор 2002 v.0.2
Использование сигналов в мониторе (2)
function Прочитать(): Данное
begin
if(СчетчикЗаписей = 0) then
wait(Пуст)
endifПрочитать:= ЧтениеЗаписиИзБуфера();
СчетчикЗаписей:= СчетчикЗаписей - 1;
send(Полон)
end;
Слайд 87. Монитор 2002 v.0.2
Поставщик
Буфер
var Полон,
Пуст: Сигнал;
procedure Записать
function Прочитать
Потребитель
Записать(D)
D:=Прочитать
Очереди, связанные
с монитором
Слайд 97. Монитор 2002 v.0.2
Задача «Читатели-Писатели»
Информационный
фонд
П1
П2
ПN
Ч1
Ч2
ЧM
M Читателей и N Писателей получают доступ
к Информационному Фонду
Реализовать механизм, позволяющий обеспечить следующее условие:
в каждый момент времени могут работать не болееодного Писателя или не более M Читателей
Слайд 107. Монитор 2002 v.0.2
Схема реализации
monitor ЧП;
var МожноЧитать,
МожноПисать: Сигнал;
КтоТоПишет: boolean;
Читатели: 0..M;
procedure НачалоЧтения;
procedure КонецЧтения;
procedure НачалоЗаписи;
procedure КонецЗаписи;
begin
КтоТоПишет:=
false;Читатели:= 0;
end ЧП.
Читатель:
loop
ЧП.НачалоЧтения();
РаботаСФондомЧ();
ЧП.КонецЧтения();
РазноеЧ;
endloop.
Писатель:
loop
ЧП.НачалоЗаписи();
РаботаСФондомП();
ЧП.КонецЗаписи();
РазноеП;
endloop.
Слайд 117. Монитор 2002 v.0.2
Начало чтения
procedure НачалоЧтения();
begin
if(КтоТоПишет)or(check(МожноПисать)>0) then
wait(МожноЧитать)
endif
Читатели:= Читатели + 1;
send(МожноЧитать) end;
Слайд 127. Монитор 2002 v.0.2
Конец чтения
procedure КонецЧтения();
begin
Читатели:= Читатели -
1;
if(Читатели = 0) then
send(МожноПисать)
endifend;
Слайд 137. Монитор 2002 v.0.2
Начало записи
procedure НачалоЗаписи();
begin
if(Читатели > 0)or(КтоТоПишет)
then
wait(МожноПисать)
endif;
КтоТоПишет:= true;
end; 
Слайд 147. Монитор 2002 v.0.2
Конец записи
procedure КонецЗаписи();
begin
КтоТоПишет:= false;
if(check(МожноЧитать) > 0) then
send(МожноЧитать)
else
send(МожноПисать)endif;
end;
Слайд 157. Монитор 2002 v.0.2
Реализация механизма семафоров через монитор
monitor Семафор;
var Счетчик: 0..1;
S: Сигнал;
procedure P;
begin
if(Счетчик = 0) then
wait(S)
endif;Счетчик = 0;
end;
procedure V;
begin
Счетчик:= 1;
send(S);
end;
begin
Счетчик:= 1;
end Семафор.
Слайд 167. Монитор 2002 v.0.2
Реализация механизма семафоров через монитор (2)
Задача Ri:
loop
. . .
Семафор.Р();
КритическаяСекция_i
Семафор.V();
. . .endloop.
Parbegin
R1;
R2;
. . .
Rn
Parend.
