34. Типовые задачи взаимодействия асинхронных процессов. Спецификация дисциплины межпроцессного взаимодействия с использованием сетей Петри

Спросить Красюка…

35. Задача «о читателях и писателях». Требования адекватности спецификации и предметной интерпретации. Задача «о производителе и потребителе»

Похоже, что тут чисто по конспекту. Задача «о производителе и потребителе» в лекциях не рассматривалась, но по-моему, это фактически наши сети Петри с FIFOиLIFO: два процесса, работающих в общем случае с разной скоростью, требуется буфер для выравнивания скоростей. Буфер может быть как с дисциплинойFIFO, так иLIFO.

Спросить Красюка…

Читатели и писатели.

Содержательная постановка задачи: Писатели получают доступ к ресурсу, реализуют операцию записи, эту операцию может выполнять только один процесс из группы писателей. Этот процесс получает ресурс в монопольное пользование, забирает все k фишек из позиции Pi. После выполнения возвращает все k фишек Pi. Писатели имеют приоритет. Читатели используют ресурс || - но.

Имеется множество процессов. Общая потребность в ресурсе.

Pi – состояние потребления ресурса.

P2 – выполнение операции чтения.

P4 –позволяет данной группе процессов обращаться к ресурсу для чтения/записи.

Читать могут одновременно k процессов.

Каждый процесс из группы писателей “помирает голоду”, нет приоритета для писателей.

Писатель может никогда не получить доступ к ресурсу. Не выдержан приоритет.

Murata

Ничего не изменилось. Писатели ресурс не получают, т.к.. Один читатель работает с ресурсом. Писатели стоят, читатели работают.

Р2 – чтение, Р4 – запись, Р3 – ресурс.

Реализация приоритетов процессам из группы писатели. Есть заявка от писателя => доступ читателей к ресурсу онулируется. => возбудитсяt2. Пока есть читатели сработает обнуление. Р3 гарантирует, что не осталось ни одного читателя.

36. Задача «о курильщиках сигарет». Особенности задачи, используемые синхропримитивы.

3 курильщика. Сигареты делают сами из 3 – х ресурсов: бумага, табак, спички. Каждый из них обладает одним ресурсом. Существует четвёртый процесс = маклер, он имеет неограниченные все 3 ресурса и выбрасывает по 2. Как организовать их взаимодействие, чтобы исключить возможность блокировки.

Что тут за особенности и синхропримитивы непонятно… Спросить у Красюка…

Задача о Курильщиках сигарет.

Имеется 4 процесса, они могут быть разделены на 2 группы: курильщики и маклер. Чтобы курить, курильщикам нужно 3 ресурса: табак, бумага и спички. У одного курильщика только один ресурс. У маклера есть все 3 ресурса. В один момент времени он выставляет на рынок 2 ресурса. Как организовать взаимодействие без возможных дедлоков.

Маклер выкидывает 2 товара, возбуждаются переходы ts (ждет, хватает ресурсы), tq (курит), tl(готовит сигареты)

Синхропримитивы: семафоры +?

37. Спецификация асинхронных интерфейсов взаимодействия процессов.

Согласно показаниям Андреева В.О. здесь нужно рассказывать про рандеву, то есть следующий вопрос…

38. Понятие «рандеву». Виды рандеву.

Рандеву – одновременное выполнение одного и того же действия двумя процессами. Рассмотрены три вида: синхронное, ассиметричное и асинхронное.

Есть основание полагать, что на центральной сети не хватает одной дуги… 

39. Буферизация асинхронных процессов с различной дисциплиной взаимодействия.

Согласно показаниям Андреева В.О. здесь нужно рассказывать про FIFOиLIFO, то есть вопросы 41 и 42…

40. Средства реализации межпроцессного взаимодействия системы PARIX. Формализованные спецификации.

Согласно показаниям Андреева В.О. здесь нужно рассказывать о чем-то на тему "Сети Петри и Send / Recive"… Остается узнать, что это значит…

41. Спецификация взаимодействия через буфер с дисциплиной FIFO.

Здесь, по всей видимости, нужно ещё привести анализ «живости сети» - построить дерево достижимых маркировок.

42. Спецификация взаимодействия через буфер с дисциплиной LIFO.

Здесь, по всей видимости, нужно ещё привести анализ «живости сети» - построить дерево достижимых маркировок.

- 38-