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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

189
Рис.6.11. Диаграмма возможных связей действующих
лиц-философов и вилок в задаче «обедающие философы»
На рис.6.11 введены следующие обозначения: Ф
1
, …, Ф
5
– философы;
В
1
, …, В
5
– вилки (ресурсы); Е
1
, …, Е
5
– тарелки философов; БС – общее
блюдо спагетти.
Для формализации алгоритма управления взаимодействующими
процессами, позволяющим избежать тупиковые ситуации, определим
следующий состав событий, которые реализуются в алгоритме управления:
S
i
З
- событие, свидетельствующее о том, что i-философ почувствовал
потребность в утолении голода (заявка i-го философа на обслуживание);
S
i
– событие, свидетельствующее о том, что заявка на обслуживание i-
го философа принята (событие, характеризующее i-го философа, как
философа ожидающего трапезу);
S
i
k
- событие, свидетельствующее о том, что ожидающий i-й философ
перешел в состав обедающих философов (событие, обеспечивающее вход i-
го процесса в критический интервал);
S
Еi
– событие, свидетельствующее об активном выполнении i-м
философом процедуры трапезы;
S
ik
– событие, свидетельствующее о том, что i-й философ закончил
трапезу и положил вилки на стол (освободил ресурсы);
S
Вi
– событие, свидетельствующее о том, что i-я вилка взята
философом;
S
i
pk
- событие, свидетельствующее о факте окончания i-го процесса.

Ф
4
Ф
3
Ф
5
Ф
1
Ф
2
В
1
В
2
В
5
В
4
В
3
Е
4
Е
3
Е
5
Е
1
Е
2
                                    Ф1

                         В1                   В2
                                    Е1
               Ф5                                       Ф2
                          Е5                  Е2



                    В5                             В3
                               Е4        Е3



                    Ф4              В4             Ф3

           Рис.6.11. Диаграмма возможных связей действующих
         лиц-философов и вилок в задаче «обедающие философы»

     На рис.6.11 введены следующие обозначения: Ф1, …, Ф5 – философы;
В1, …, В5 – вилки (ресурсы); Е1, …, Е5 – тарелки философов; БС – общее
блюдо спагетти.
     Для формализации алгоритма управления взаимодействующими
процессами, позволяющим избежать тупиковые ситуации, определим
следующий состав событий, которые реализуются в алгоритме управления:
        i
      S З - событие, свидетельствующее о том, что i-философ почувствовал
потребность в утолении голода (заявка i-го философа на обслуживание);
     Si – событие, свидетельствующее о том, что заявка на обслуживание i-
го философа принята (событие, характеризующее i-го философа, как
философа ожидающего трапезу);
        i
      S k - событие, свидетельствующее о том, что ожидающий i-й философ
перешел в состав обедающих философов (событие, обеспечивающее вход i-
го процесса в критический интервал);
      SЕi – событие, свидетельствующее об активном выполнении i-м
философом процедуры трапезы;
      Sik – событие, свидетельствующее о том, что i-й философ закончил
трапезу и положил вилки на стол (освободил ресурсы);
      SВi – событие, свидетельствующее о том, что i-я вилка взята
философом;
      i
     S pk - событие, свидетельствующее о факте окончания i-го процесса.



                                                                          189

Страницы