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

          Событие S m - определяет начало процедуры обращения к
критическому ресурсу (согласующему буферу); выражение для события S m
определяется в соответствии с уравнением (6.16в).
          События S 1p и S 2p - определяют непересекающиеся операции
записи и чтения из буфера; выражения для них имеют вид:
                       S 1p (t  1)  S m S 1k  S1p ( S БП  S КС),
                                                                       (6.20)
                       S 2p (t    1)    S m S k2      S 2p S БO .
      Из выражения (6.20) следует, что запись в буфер заканчивается только
тогда, когда буфер будет полон ( S БП  1) или когда закончится поступление
 записываемой информации в буфер, хотя буфер может быть еще не полон
   (при S КС  1 ); чтение из буфера осуществляется до тех пор, пока буфер
                      полностью не очистится (при S БО  1 ).
         События S 1n и S 2n , обеспечивающие выход взаимодействующих
процессов из соответствующих критических участков, определяются
следующим образом:
                         1                 1
                       S n (t  1)  S p ( S БП  S КС),
                         2                 2
                                                                       (6.21)
                       S n (t  1)  S p S БO .
                       1          2
         События     Sr   и    Sr     -   символизируют   ожидание
взаимодействующими процессами окончания процедуры записи и чтения из
буфера, чтобы продолжить свою работу, прерванную обращением к
согласующему буферу; выражения для них имеет вид:
                             1                           1    1
                         S r (t  1)  ( S 1  S r ) S n ,
                                                                       (6.22)
                                                              2
                         S 2r (t    1)  ( S 2     S 2r ) S n .
 Таким образом, общая сводная система канонических уравнений НД СКУ,
 представляющая алгоритм управления взаимодействующими процессами
  задачи «производители-потребители», когда процессы взаимодействуют
     через согласующий буфер с числом слов N1, будет представлена
                      следующими выражениями:




                                                                           175