Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 195 стр.

комбинация заявок не удовлетворяющая условию S y  1 , то следует
произвести повторную инициализацию системы управления, для которой
будут работать уравнения системы (6.37).

                 Контрольные вопросы к главе 6.
      1.   Какие разделяемые ресурсы называют критическими?
      2.   Как описать событие, если его зарождение необходимо задержать
до появления другого события?
      3.   Как описать событие, если его истинность необходимо сохранить
до появления другого события?
      4.   Что понимается под критическим интервалом (или критическим
участком)? Каковы основные требования к критическим участкам при
организации доступа к разделяемым данным параллельных процессов?
      5.   В     чем      отличительная      особенность    формализации
несовместимости событий при их возможном одновременном и
неодновременном зарождении?
      6.   Из каких составных частей должно состоять описание событий,
определяющих входы процессов в свои критические интервалы? Каким
требованиям к критическим интервалам должны удовлетворять описания
таких событий?
      7.   Из каких составных частей должно состоять описание событий,
определяющих прием заявок на обслуживание процессов при обращении к
разделяемым данным? Каким требованиям к критическим интервалам
должны удовлетворять описания таких событий?
      8.   Как формализуется событие, определяющее начало процедуры
обращения к критическому ресурсу (захват разделяемого ресурса)?
      9.   Для какой цели состояния согласующего буфера, играющего
роль критического ресурса в задаче «производители-потребители»,
характеризуют двумя событиями (буфер полон и буфер пустой)? Как это
обстоятельство используется при формализации события, определяющего
зарождение события входа в критический интервал?
      10. Как формализуются события, определяющие ожидание
процессами окончания процедуры обращения к критическому ресурсу?
      11. В чем заключается особенность алгоритма взаимодействия
процессов в задаче «читатели-писатели», обеспечивающая предотвращение
бесконечного откладывания реализации процессов как писателей из-за
наплыва читателей, так и читателей из-за наплыва писателей?
      12. Как можно формализовать события, характеризующие
ожидающих и работающих писателей и читателей? В чем основная разница в
описаниях таких событий?
      13. В чем заключаются характерные тупиковые ситуации, которые
могут возникнуть при реализации задачи «обедающие философы»?

                                                                     195