Компьютерное моделирование. Тарасов В.Н - 65 стр.

а если это не удается, т.е. блок B отказывает транзакту во входе, то в блок,
указанный в поле C. Если и эта попытка неудачна, то транзакт задерживается в
блоке TRANSFER до изменения условий в модели, делающего возможным
вход в один из блоков B или C, причем при одновременно возникшей возмож-
ности предпочтение отдается блоку B. Например:
           TRANSFER BOTH,MET1,MET2.
      Блок TRANSFER показан на рисунке 7.7.



                                           (B)
                                TRANSFER



                      Рисунок 7.7 – Блок TRANSFER
      Для занятия и освобождения каналов обслуживания многоканальных
устройств (МКУ) используется пара блоков ENTER (войти) и LEAVE (поки-
нуть), имеющих следующий формат:
                ENTER A,B
                LEAVE A,B.
      В поле A указывается номер или имя МКУ, в поле B число каналов
МКУ, занимаемых при входе в блок ENTER или освобождаемых при входе в
блок LEAVE. Обычно поле B пусто, и в этом случае по умолчанию занимается
или освобождается один канал.
      При входе транзакта в блок ENTER текущее содержимое МКУ увели-
чивается на число единиц, указанное в поле B. Если свободная емкость МКУ
меньше значения поля B, то транзакт не может войти в блок ENTER и остает-
ся в предыдущем блоке, образуя очередь в списке текущих событий.
      При входе транзакта в блок LEAVE текущее содержимое МКУ умень-
шается на число единиц, указанное в поле B. Не обязательно освобождается
такое же число каналов МКУ, какое занималось при входе данного транзакта
в блок ENTER, однако текущее содержимое МКУ не должно становиться от-
рицательным.
      Блоки ENTER и LEAVE показаны на рисунке 7.8.




                   Рисунок 7.8 - Блоки ENTER и LEAVE


                                                                         65