Каждый транзакт одновременно может находиться только в одном из следующих списков:
списке текущих событий(Current Events Chain (CEC),
списке будущих событий( Future Events Chain(FEC),
списке задержки прибора или памяти (Facility or Storage Delay Chain ),
списке отложенных прерываний прибора( Facility Pending Chain),
списке пользователя (User Chain).
Каждый транзакт одновременно может находиться в любом количестве:
списков прерываний приборов (Interrupt Chains),
списков групп транзактов (Group Chains),
списков повторных попыток (Retry Chains).
Список текущих событий(СТС) - это связный список транзактов, готовых к входу в блоки в текущий момент модельного времени. СТС составляется в порядке приоритетов. Активный транзакт обычно возвращается в СТС впереди равных ему по приоритету. Когда активный транзакт прекращает движение по модели и помещается для ожидания в один из списков, активным становится транзакт с наибольшим приоритетом в СТС. Если СТС оказывается пустым, в него помещаются транзакты из списка будущих событий с ближайшим временем активизации и происходит переключение модельного времени. Транзакты, имеющие в СБС одинаковое время активизации, помещаются в СТС в порядке приоритетов. Транзакт с наибольшим в СТС приоритетом становится активным транзактом.
Список будущих событий (СБС) - это упорядоченный по времени список, содержащий транзакты, ожидающие наступления более поздних моментов модельного времени. Единственный способ поместить транзакт в СБС - использовать блоки ADVANCE и GENERATE. Для исключения транзакта из СБС могут использоваться блоки PREEMPT и DISPLACE.
Списки повторных попыток. Транзакты, для которых не удовлетворяются условия входа в блок, помещаются в список повторных попыток соответствующего объекта. Каждый транзакт в списке повторных попыток ожидает изменения значения СЧА объекта. Когда значение СЧА меняется, любой транзакт в списке повторных попыток объекта может быть повторно активизирован. В этом случае он помещается в СТС. Когда транзакт становится активным, повторяется проверка заданных условий. Если во время повторной попытки все условия выполняются, транзакт входит в следующий блок. Когда транзакт входит в блок, он автоматически исключается из всех списков повторных попыток.
Опубликовал Kest
March 30 2014 21:58:13 ·
0 Комментариев ·
4698 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
