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

интервал писателя и читателя, т.е. при условиях S 1k  0 и S 2k  0 . События S 1
и S2 будут сохраняться до тех пор, пока условия S 1k  0 и S 2k  0 не
изменяться. Повторное зарождение событий S 1 и S 2 для очередного
писателя и читателя возможно после окончания работы предыдущего
писателя и читателя соответственно. Исходя из рассмотренных условий
события S 1 и S 2 могут быть представлены следующими уравнениями:
                                                  1     1          1
                           S1 (t  1)  S1,З ( S k  S n )  S1 S k 
                                                   2     2           2
                                                                        ,      (6.24)
                           S 2 (t  1)  S 2,З ( S k  S n )  S 2 S k 
где S1,З и S 2,З - события, определяющие заявку на запись и чтение;
       1      2
      S n и S n - события являются заключительными в процедуре записи или
чтения при обращения к РР писателей и читателей и обеспечивающими
выход писателей и читателей из критических участков соответственно.
     Условия зарождения событий S 1k и S 2k , определяющих входы в
критические интервалы писателей и читателей, должны в соответствии с
алгоритмом взаимодействия процессов удовлетворять требованиям как по
взаимоисключению, так и по приоритетности взаимодействующих процессов
при обращении к РР. В связи с этим уравнения, определяющие события S 1k и
  2
S k представим в следующем общем виде, который соответствует
формальному представлению их в системе (6.9):
                            1                 1    1     1 1
                           S k (t  1)  S1 S пр S вз  S k S n 
                                                                               (6.25)
                             2                 2    2     2 2
                           Sk  (t  1)                       .
                                         S 2 S пр S вз S k S n 
         Первая часть уравнений (6.25), определяющая зарождение событий S 1k
и S 2k , представлена конъюнкцией из трех событий:
       S 1 и S 2 - события, определяющие ожидающего писателя и читателя;
       1       2
     S пр и S пр - события, обеспечивающие условия приоритетности
процессов записи и чтения в соответствии с требованиями алгоритма
взаимодействия процессов;
       1       2
      S вз и S вз - события, обеспечивающие взаимоисключение процессов
записи и чтения на основе несовместимости событий S 1k и S 2k , т.е. для них
должно выполняться условие: S1k S k2  S1k S 2k  1, откуда S 1вз  S k2, а S вз
                                                                              2
                                                                                  S1k .
      Вторая часть уравнений (6.25), определяющая условие сохранения
событий S 1k и S 2k , обеспечивает занятие критических интервалов до тех пор,
пока не закончится процесс записи (при S1n  1) или чтения (при S 2n  1) .
     Исходя из требований алгоритма взаимодействия процессов,
приоритетность процессов записи и чтения зависит от состояния СчЧ, от

                                                                                     179