"Переход транзактов в блок, отличный от последующего. Блок ТRАNSFЕR (ПЕРЕДАТЬ)"
Иногда возникает необходимость передать транзакт безусловным образом в блок, отличный от последующего. Это можно выполнить, используя блок ТRANSFER (ПЕРЕДАТЬ) в режиме безусловной передачи. Использование блока в этом режиме показано на рис. 19.1. Операнд A при таком использовании блока не участвует.
Рис.19.1
Операнд | Значение | Результат по умолчанию |
A | Не используется | ----- |
B | Позиция блока, в который должен перейти транзакт | Ошибка |
Это означает, что в колонке 19, от которой заполняются операнды, должна стоять запятая. Наличие запятой указывает на безусловный режим использования блока.
Операнд В указывает положение,занимаемое блоком, в который транзакт должен сделать попытку входа. Для краткости такой блок мы в дальнейшем просто будем именовать "В блоком". Положение блока может задаваться либо символически, либо в виде номера блока. Символическое имя использовать значительно более удобно.
На рис. 19.1 в скобках указан операнд В. Скобки используют только на блок-схеме модели; они не являются частью операнда и их не надо использовать в блоке ТRANSFER.
В режиме безусловной передачи блок ТRANSFER не может отказывать транзакту во входе. Когда транзакт входит в блок, он сразу же пытается войти в В блок.Если последний отказывает в этом, транзакт остается в блоке ТRANSFER и в цепи текущих событий. При каждом последующем просмотре цепи (либо при возобновлении просмотра в процессе выполнения фазы просмотра, либо в начале следующего выполнения фазы просмотра) снова делается попытка поместить транзакт в В блок.Возможно, что при каком-то просмотре попытка будет успешной.
Как уже было указано, такое использование блока ТRANSFER называется режимом безусловной передачи блока ТRANSFER. Существуют и альтернативные режимы использования блока ТRANSFER. Некоторые из них будут рассмотрены позднее. Использование блока ТRANSFER в режиме безусловной передачи проиллюстрировано в примере моделирования 2В.
Главная Содержание главы 1