Развитие технологии динамического сравнения трасс

Контрольная точка исходной платформы
Динамическое сравнение трасс
Отладочные печати
Контрольная точка целевой платформы
Трассировка исполнения
ВК
Программный симулятор
Средства отладки двоичного транслятора (1)
2/8

Технология динамического сравнения трасс (1)
3/8

4/8
Технология динамического сравнения трасс (2)
Проявление ошибки
Исполнение
(трансляция)
0

Контрольная точка исходной платформы
Динамическое сравнение трасс
Отладочные печати
Контрольная точка целевой платформы
Трассировка исполнения
ВК
Средства отладки двоичного транслятора (2)
5/8
Программный симулятор
Задача:
перенести технологию динамического сравнения трасс на реальную машину

Организация процесса сравнения на реальном ВК
Необходимо организовать процесс сравнения (работу ведущей и ведомой систем) на одном ВК
Частая пересылка трассировочных пакетов по сетевому соединению является “узким” местом:
6/8
Основные предпосылки и решения:
в ОЗУ ВК одновременно размещены оба транслятора
ведущая система накапливает трассы в неиспользуемой в режиме двоичной совместимости памяти ВК
функциональность сравнения перенесена из менеджера сравнения в ведомую систему (эталонный транслятор)
независимость контекстов исходной платформы обеспечивается с помощью технологии контрольной точки исходной платформы

Переключение
Переключение
ВК
Исполнение
0
Процесс сравнения на реальном ВК
Цикл сравнения (n)
Ведущая
система
Ведомая
система
Восстановление контекста исходной платформы ведомой системы
Сохранение контекста исходной платформы ведомой системы
7/8
Ведущая
система
Восстановление контекста исходной платформы ведущей системы
Память исходной платформы
Отлажив. транслятор
Эталонный транслятор
ОЗУ ВК
Трасса
Сохранение контекста исходной платформы ведущей системы
Удаленная машина с менеджером сравнения:
сервер контрольных точек
Сохранение контекста целевой платформы

Заключение
В результате проделанной работы:
предложена и реализована эффективная модель организации процесса динамического сравнения трасс на ВК Э3М (найдено >20 ошибок, одна из которых аппаратная);
реализованы дополнительные средства для разбора расхождений состояний в отсутствие возможности трассировки работы вычислительной системы;
определены направления дальнейших работ по развитию технологии динамического сравнения трасс (в частности, решение проблемы точного воспроизведения запуска системы сравнения, завершившегося расхождением).
8/8