Моделирование систем управления. Шалобанов С.В. - 33 стр.

UptoLike

Составители:

Рубрика:

Поместить в

буфер

Использовать

В'

Произвести

Удалить из бу-

фера

Производитель Потребитель

Рис. 2.7. Сетевая модель задачи о производителе-потребителе

с ограниченным буфером

Отсутствие меток в позиции В' соответствует полностью заполненному

буферу. В этом случае переход «поместить в буфер» запрещен, и произво-

дитель будет ожидать события «удалить из буфера», которое приведет к по-

явлению разрешающей метки в В'.

2. Задача

о чтении-записи

Пусть имеются процессы двух типов: процессы чтения и процессы за-

писи. Все процессы совместно используют общий файл или элемент дан-

ных. Процессы чтения не изменяют этот общий объект в отличие от процес-

сов записи. Таким образом, каждый процесс записи должен исключать все

другие процессы чтения и записи, в

то время как несколько процессов чте-

ния могут иметь доступ к разделяемым данным одновременно. Задача со-

стоит в определении структуры управления, которая не приведет к тупику и

не допустит нарушения критерия взаимного исключения. На рис. 2.8 иллю-

стрируется решение задачи, когда количество процессов чтения ограничено

числом s (s < n).