Сборники трудов ИСП РАН


Средства трассировки ОС РВ семейства «Багет»

Годунов А.Н. (НИИСИ, Москва, Россия)
Чемерев Ф.Н. (НИИСИ, Москва, Россия)

Аннотация

Статья посвящена проблемам построения средств трассировки систем жесткого реального времени. В настоящее время практически в каждой операционной системе реального времени (ОС РВ) имеются программные средства трассировки событий. Их задача состоит в поиске «обычных» программных ошибок (с которыми не справляются традиционные отладчики) и ошибок реального времени. При этом приходится анализировать не только последовательности событий, но и «утечки» памяти, динамику состояний процессора и потоков управления (профилирование), состояний семафоров, мьютексов и других средств синхронизации, а также очереди потоков управления, ожидающих освобождения необходимых им ресурсов. Рассматривается методология проектирования программ просмотра и анализа журналов событий (трасс), сформированных приложениями реального времени. Рассмотрены особенности отображения (в том числе, в виде деревьев) журналов событий и временных диаграмм состояний объектов анализируемой системы, представленных наборами данных, содержащими большое количеством записей. Предложено формальное описание моделей данных трассировки, механизмов их визуализации и механизмов управления запросами к записям трассы и состояниям объектов. Эффективность указанных моделей и механизмов подтверждена опытом эксплуатации программы просмотра и анализа протоколов событий ОС РВ семейства «Багет», реализованной с помощью библиотеки графических элементов GTK+.

Ключевые слова

ОСРВ; операционная система реального времени; средства трассировки; журнал событий; профилирование; Model/View/Controller; индексация записей

Издание

Труды Института системного программирования РАН, том 31, вып. 4, 2019, стр. 7-28.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2019-31(4)-1

Для цитирования

Годунов А.Н., Чемерев Ф.Н. Средства трассировки ОС РВ семейства «Багет». Труды Института системного программирования РАН, том 31, вып. 4, 2019, стр. 7-28. DOI: 10.15514/ISPRAS-2019-31(4)-1.

Полный текст статьи в формате pdf Вернуться к содержанию тома