Конференции

64-я Всероссийская научная конференция МФТИ

Список разделов ФРКТ - Cекция микропроцессорных технологий

В Cекцию микропроцессорных технологий будут принимать научные работы, которые освещают вопросы об архитектуре универсальных и специализированных вычислительных систем; САПР элементах и узлах; проектировании кристаллов; системном программировании; операционных системах, компиляторах.

  • Использование MLIR для высокоуровневых оптимизаций

    В данной работе рассказывается о MLIR - инструменте, упрощающем проведение высокоуровневых оптимизаций при компляции, а также рассматривается пример применения этого инструмента.

  • Использование SPIRV-link для ранней линковки compute кернелов и/или графических шейдеров

    Обзор метода компоновки программ, исполняемых на графических вычислителях, на уровне представления SPIRV. Использование данного метода в экосистеме векторного компилятора intel.

  • Улучшение предсказания завершений циклов за счет добавления инструкции предопределения числа итераций

    В данной работе исследуется влияние предсказания завершения циклов на точность модуля прогнозирования ветвлений, а также улучшения точности предсказаний за счет совместного проектирования аппаратной части и расширения системы команд, покрывающие случаи динамического изменения числа итераций циклов.

  • Использование аппаратных возможностей Intel GPU для ускорения численного решения дифференциальных уравнений в частных производных на примере уравнения Лапласа

    Обзор аппаратных возможностей графических процессоров Intel для вычислений на примере численного решения уравнения Лапласа

  • Методика повышения точности анализа поведения кэшей при однопоточной симуляции

    Работа описывает подход, позволяющий увеличить точность однопоточной симуляции многопоточных приложений с точки зрения поведения кэшей с помощью отображения доступов в память сторонних потоков на временную ось симулируемого потока

  • Оптимизация методов восстановления символьной информации ELF-файлов

    Разработана программа Symrec для восстановления таблицы символов у интерактивных мобильных приложений. Была измерена скорость обработки по сравнению с существующими типовыми решениями. Оптимизации инструментации кода с помощью битовых операций, а также выборочная обработка инструкций перехода позволили добиться ускорения работы алгоритма и сокращения расхода по памяти. Дополнительно была внедрена удобная система логирования. Все измерения проводились на пакете тестов SPEC 2017.

  • Исследование точности современных алгоритмов предподкачки данных в суперскалярных процессорах

    В данной работе проведен сравнительный анализ статических и динамических механизмов предподкачки с целью проверить актуальность статических механизмов предподкачки в современных вычислительных системах. Были оценены метрики покрытие и точность на тестовом наборе SPEC CPU 2017 для трех рассматриваемых механизмов предподкачки. По результатам измерения метрик на примерах конкретных приложений были выявлены основные недостатки статических и динамических механизмов предподкачки. 

  • Исследование улучшений предсказания переходов, зависящих от данных памяти

    В работе представлена техника улучшения предсказания условных переходов, зависящих от данных памяти и результат ее применения на тестовом наборе

  • Верификация статической двоичной оптимизирующей трансляции под RISC архитектуры

    Оптимизация программ позволяет повысить производительность современных вычислительных систем. Одним из типов оптимизаций является статическая двоичная трансляция, а примером такого оптимизатора является BOLT.
    BOLT проводит ряд оптимизаций, генерируя новый исполняемый файл. Однако чем сложнее становится процедура трансляции, тем выше шанс возникновения проблем и ошибок.
    В ходе данной работы было предложено ознакомиться с данными ошибками и обеспечить верификацию оптимизированных BOLT'ом приложений.

  • Исследование предподкачки данных с использованием информации о потоке управления

    Был исследован потенциал метода предподкачки, учитывающего граф потока управления. Были исследованы приложения из SPEC CPU 2017, с наибольшим покрытием для данного метода предподкачки.

  • Исследование оптимальной пропускной способности модуля предсказания переходов для суперскалярного микропроцессора

    Работа посвящена анализу пропускной способности модуля предсказания переходов.

  • Гетерогенное исполнение аналитических запросов и почему это сложно

    Работа посвящена оптимизации гибридных аналитических запросов в гетерогенных средах.