Механизм отложенных записей в память для динамической двоично-транслирующей системы
| Вид материала | Документы |
- Рототипа динамической интеллектуальной системы «Коралловый риф», предназначенной для, 33.25kb.
- Авлен прототип динамической интеллектуальной системы (дис) «Умный светофор», предназначенный, 32.25kb.
- Списки, очереди, стеки, деревья, 484.58kb.
- Данная работа посвящена описанию прототипа динамической интеллектуальной системы, реализованному, 30.77kb.
- Лекция 5 Внутренняя память, 178.2kb.
- Динамика Солнечной системы, 11.55kb.
- Для студентов заочной формы обучения По курсам «мп системы АиУ», «Проектирование, 79.93kb.
- Название доклада, 54.94kb.
- Исследование режима динамической силовой литографии для системы «металл-полимер», 268.73kb.
- Содержание: 1 предисловие, 1023.19kb.
МЕХАНИЗМ ОТЛОЖЕННЫХ ЗАПИСЕЙ В ПАМЯТЬ ДЛЯ ДИНАМИЧЕСКОЙ ДВОИЧНО-ТРАНСЛИРУЮЩЕЙ СИСТЕМЫ
Петров И.А.
E-mail: masmas@mcst.ru
При отладке динамической двоично-транслирующей системы (ДТС) часто обнаруживаются ошибки, которые проявляются либо только на специфичных прикладных программах, либо при повторении определённой последовательности запуска. Также при исполнении оптимизированного кода встречаются ошибки, которые проявляют себя случайным образом, что значительно усложняет их повтор и поиск. Не менее сложны ситуации, когда после исполнения оттранслированного оптимизированного кода в памяти машины оказываются неверные данные. В таком случае трудно установить, на каком именно этапе произошла их порча.
Для решения этой проблемы при отладке двоичного транслятора вычислительного комплекса “Эльбрус-3М” в двоичный транслятор был встроен механизм, позволяющий перехватывать обращения в память по записи, производимые оптимизированным кодом, и после отката окружения к состоянию, соответствующему состоянию до начала работы оптимизированного кода, повторять их в режиме интерпретатора или шаблонного транслятора. Работа данного механизма возможна благодаря наличию в комплексе аппаратной защиты от обращений в память по записи.
При исполнении команд исходной платформы используется специальный счётчик. Перед началом исполнения участка оптимизированного кода состояние окружения сохраняется: регистры соответствующие исходной платформе, счётчик команд исходной платформы и некоторая вспомогательная отладочная информация, необходимая для произведения отката состояния, а также для работы системы. Затем в процессе работы оптимизированного кода производится перехват всех обращений в память по записи и сохранение старых и новых значений соответствующих ячеек памяти в буфер.
По завершении работы (стандартному или аварийному) оптимизированного участка производится восстановление изменённых ячеек памяти, а также выполняется откат окружения к сохранённому состоянию. Перед этим состояние окружения также сохраняется, как и перед входом в оптимизированный участок. Затем выполняется повторное исполнение аналогичного участка кода, но уже в неоптимизированном режиме. Обращения в память по записи также перехватываются и сверяются с теми, что были сохранены в буфер ранее. При расхождениях в их последовательности, значениях и размерах производится остановка исполнения и выдача отладочных данных для разбора ситуации.
По счётчику команд исходной платформы отслеживается момент, когда следует заканчивать режим повторного исполнения и когда начинается просто штатная работа системы в неоптимизированном режиме. Кроме того, по окончанию повтора исполнения выполняется сравнение конечных состояний окружения после оптимизированного и неоптимизированного режимов работы.
Данная система позволяет реагировать на расхождения в работе оптимизированного кода “на лету”, что удобно при отладке редко повторяемых ошибок.