Развитие технологии динамического сравнения трасс Научный руководитель: Ермолович Александр Владленович Московский Физико-Технический Институт Роман А. Соколов 112 группа ЗАО МЦСТ

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

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

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

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

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

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

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

Спасибо за внимание! Q&A