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

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

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

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

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

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

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

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

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

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