Неофициальный отзыв 7 (Блоки динамического предсказания переходов высокопроизводительных суперскалярных RISC микропроцессоров ответственного применения)

Экз. № 4~-. УТВЕРЖДАЮ Иог ФГ «'5 ОТЗЫВ на автореферат диссертации Барских Михаила Евгеньевича «Блоки динамического предсказания переходов высокопроизводительных суперскалярных К1ЯС микропроцессоров ответственного применения», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.05 - «Элементы и устройства вычислительной техники и систем управления» Судя по автореферату, диссертация Барских М.Е. посвящена актуальной проблематике развития методического обеспечения и технологии разработки доверенных отечественных микропроцессоров класса «система на кристалле», обладающих повышенной производительностью, а также предоставляющих расширенные возможности обоснования требуемого уровня защищенности создаваемых с их применением вычислительных средств от деструктивных информационных воздействий, основанных на использовании недекларированных возможностей аппаратной платформы и программного обеспечения. Одним из направлений создания высокопроизводительных микропроцессоров является разработка и применение архитектурных решений, обеспечивающих оптимизацию использования вычислительных ресурсов процессора на основе предсказания ветвлений, позволяющего заблаговременно осуществлять выборку подлежащих выполнению инструкций до момента фактического выполнения соответствующих уловных переходов.

В данной связи в контексте обеспечения требуемой производительности ИБС микропроцессоров с архитектурой КОМДИВ важными задачами являются разработка и обоснование решений блока динамического предсказания условных переходов, ориентированных на использование в составе указанных микропроцессоров. Судя по тексту автореферата, решению указанных задач и посвящена диссертационная работа Барских М.Е. Автором проведен анализ существующих алгоритмов и схем динамического предсказания ветвлений, применяемых в современных процессорах; разработан метод тестирования КТЬ-моделей сложнофункциональных блоков микропроцессоров с архитектурой КОМДИВ; предложена и успешно применена методика валидации и доказательства корректности функционирования разрабатываемого блока динамического предсказания ветвления; предложена и успешно применена методика оптимизации блоков динамического предсказания ветвлений для использования в составе микропроцессоров с архитектурой КОМДИВ. Результаты проведенных исследований и разработок успешно применены при проведении в НИИСИ РАН работ по созданию микропроцессоров 1890ВМ6Я, 1890ВМ8Я и 1890ВМ9Я, а также 1890ВМ108.

С точки зрения удобства восприятия материала автореферат выиграл бы, если бы автор привел в нем содержательную информацию об архитектуре и предназначении микропроцессоров КОМДИВ. Кроме этого, в тексте автореферата отмечены отдельные опечатки. Указанные замечания не меняют общей положительной оценки результатов диссертации Барских М.Е.

Судя по автореферату, диссертационное исследование выполнено на высоком научно-техническом уровне. Полученные результаты обладают новизной и представляют несомненный методический интерес, а также имеют большое практическое значение. В целом, судя по тексту автореферата, диссертация Барских М.Е. удовлетворяет требованиям раздела 2 Положения о порядке присуждения ученых степеней, а ее автор заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.05 - «Элементы и устройства вычислительной техники и систем управления». Юрий Юрьевич Сидорин Начальник службы ФГУП «НТЦ Атлас» Помощник Генерального директора ФГУП «НТЦ «Атлас» по научной работе к.ф.-м.н., с.н.с. й Сергеевич Мартынов «Ж>~~~~го~в . ~Я> .':-Аб ~.' ФЯ" Кд" Федеральное государственное унитарное предприятие "Научно-технический центр "Атлас" (ФГУП «НТЦ «Атлас») Адрес: 127018, г.

Москва, ул. Образцова, д. 38 Тел.: +7 (495) 689-41-42 Факс: +7 (495) 689-23-52 Е-та11: а11авфвс~пе1,щ ЖеЬ: Ь11:/МеЬ.з1спе1хи/ .