Протокольный монитор
Cтраница 1
 |
Протокольный монитор. [1] |
Протокольный монитор представляет собой группу задач, взаимодействующих друг с другом через специально созданный для этой цели механизм межзадачной связи. [2]
 |
Средства обработки спецификаций. [3] |
Для того чтобы полученные после обработки спецификаций загрузочные модули могли исполняться и корректно взаимодействовать друг с другом, был разработан специальный компонент - протокольный монитор. Протокольный монитор - важнейший элемент ИК Архитектор, являющийся по сути дела его операционной системой. Задачи, стоящие перед протокольным монитором, заключаются в формировании среды для исполнения протокольных модулей, поддержания конструкций языка спецификаций и обеспечения динамики выполнения модулей. [4]
 |
Средства обработки спецификаций. [5] |
Для того чтобы полученные после обработки спецификаций загрузочные модули могли исполняться и корректно взаимодействовать друг с другом, был разработан специальный компонент - протокольный монитор. Протокольный монитор - важнейший элемент ИК Архитектор, являющийся по сути дела его операционной системой. Задачи, стоящие перед протокольным монитором, заключаются в формировании среды для исполнения протокольных модулей, поддержания конструкций языка спецификаций и обеспечения динамики выполнения модулей. [6]
Динамика выполнения протокольного объекта заключена в описании автоматов, каждый из которых обладает свойством РКА. Протокольная среда ( протокольный монитор) обеспечивает при поступлении события ( таймерного или интерфейсного) через ТДС к объекту автоматический поиск нужного автомата, его запуск, определение и исполнение правила в зависимости от текущего состояния и типа входного события. Язык ОСА позволяет декомпозировать объект на подавтоматы для повышения выразительности спецификаций и упрощения реализации. Группа подавтоматов одного объекта использует общий контекст. В результате одного входного события может быть вызвано исполнение нескольких подавтоматов. В этом случае исполнение происходит строго последовательно ( всегда в данный момент исполняется только один подавтомат), поэтому конфликтных ситуаций при работе с общим контекстом не возникает. [7]
 |
Средства обработки спецификаций. [8] |
Рассмотрим программные средства для поддержания реализаций, к которым относятся протокольный монитор и протокольный отладчик. [9]
ТДС и вставляет в нее это сообщение. Заметим, что в языке отсутствует явный оператор для приема сообщений ( событий), так как протокольный монитор периодически просматривает все очереди ТДС и вызывает для каждого события нужный автомат, в котором в зависимости от типа события произойдет тот или иной переход. В этом и заключается прием сообщений. Оператор прд запрещается применять в предикатах и пост-предикатах. [10]
 |
Средства обработки спецификаций. [11] |
Для того чтобы полученные после обработки спецификаций загрузочные модули могли исполняться и корректно взаимодействовать друг с другом, был разработан специальный компонент - протокольный монитор. Протокольный монитор - важнейший элемент ИК Архитектор, являющийся по сути дела его операционной системой. Задачи, стоящие перед протокольным монитором, заключаются в формировании среды для исполнения протокольных модулей, поддержания конструкций языка спецификаций и обеспечения динамики выполнения модулей. [12]
Описание контекста состоит из указания выбранной формы и описания структуры. Не разрешается при описании структуры контекста использование непосредственной формы ( см. разд. Это объясняется тем, что ряд полей контекста скрыт от пользователя для нужд протокольного монитора. Поэтому местоположение конкретных полей внутри контекста распределяется препроцессором, а пользователь имеет доступ к ним только по именам. Контекст содержит набор атрибутов, которые доступны при исполнении правил автоматов. [13]
Особую роль при реализации протокольных систем играет протокольный отладчик. Его эффективность была по достоинству оценена разработчиками протоколов в процессе одного из самых сложных этапов - отладке реализаций. Протокольный отладчик использует образы протоколов и структур событий ( сообщений), полученных на этапе препроцессорной обработки, и файл трассы, полученной протокольным монитором на этапе динамического исполнения протокольных модулей. Файл трассы содержит информацию о последовательностях возникновения в системе событий и работе протокольных модулей. При каждом запуске протокольного модуля, для которого задан режим трассирования, в этот файл попадают метка времени запуска протокольного модуля, события, вызвавшие запуск протокольного модуля, события, выработанные в результате работы протокольного модуля, контекст, имя правила перехода в соответствии с исходной спецификацией, который выполняет в данный момент модуль, и, возможно, дополнительные диагностические сообщения. Файл трассы имеет динамически определяемый размер и циклически переиспользуется таким образом, что всегда сохраняется последняя история работы протокольного монитора. В настоящее время размер файла выбран так, что в файле сохраняется динамика работы за последние 40 мин. [14]
Подсистема САГА будет автоматически разбирать и формировать сообщения в соответствии с заданными описаниями. В общем случае это происходит следующим образом. Протокольный монитор перед вызовом протокольного объекта настраивает указатель сбт на событие, которое явилось причиной этого вызова. Автоматически по информации, находящейся в стандартной части события, производится настройкой указателя кнт на нужный контекст. Событие и контекст неявно связаны с образами структур, заданных в их описании. [15]
Страницы: 1 2