ИТМиВТ - Институт точной механики и вычислительной техники С. А. Лебедева РАН
Институт точной механики и вычислительной техники им. С. А. Лебедева РАН - научно-исследовательский институт в области информационных технологий, вычислительной техники и микроэлектроники
English
Главная страница Контактная информация Карта сайта и поиск
Об институте Решения Проекты Образование

Универсальная технология оптимизирующей компиляции

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

Сильные стороны

Предлагаемый подход позволит автоматизировать не менее 70 % всей работы по созданию оптимизирующих систем для новейших аппаратных решений.

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

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

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

Следует отметить огромную коммерческую ценность новой технологии для всех компаний, разрабатывающих аппаратные решения и для компаний которые хотят эффективно использовать эти аппаратные решения для своих приложений. В настоящий момент многие компании (ORACLE, SAP, ARAMCO и др.) содержат целые отделы инженеров, которые осуществляют анализ работы современных коммерческих оптимизирующих компиляторов на своих собственных приложения и по долгу ждут ответной реакции на неоптимальности от фирм производителей компиляторов. Предлагаемый подход позволит таким компаниям обзавестись собственным компилятором без увеличения существующих расходов на оптимизацию своих приложений с использованием компиляторов других фирм.

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

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

Возможности

Широкий круг потенциальных потребителей новой технологии. Помимо уже упоминавшихся производителей аппаратного и программного обеспечения необходимо упомянуть о сфере образования. В некоторых университетах мира уже давно существуют научные центры, изучающие проблемы построения оптимизирующих компиляторов. Однако для успешной работы в этом направлении необходимо иметь полигон для проверки новых идей на прототипе. Из-за этой проблемы многие всемирно известные университеты не могут начать исследовательскую работу в этой области. Предлагаемый подход сделает возможным решение этой проблемы в сфере образования. Мощная система пофазных выдач информации может быть лучшим инструментом для изучения оптимизаций. На базе технологии можно делать исследовательские проекты любой сложности, включая простейшие студенческие работы.

Реализация проекта, помимо материальных выгод, принесет мировую известность фирме-производителю.

Помимо продажи собственно базовых элементов технологии, мы будем делать компиляторы на заказ и заниматься консультативной (сопроводительной) деятельностью. Среди прочих достоинств технологии — быстрое выведение компании производителя на рынок ценных бумаг и тиражирование основного принципа проекта на другие области программного обеспечения.

Воздействие технологии на отрасль

Мы предлагаем универсальную технологию оптимизирующей компиляции, которую можно портировать на любую существующую систему компиляции. Мы предлагаем набор инструментов, который позволяет быстро строить оптимизирующие компиляторы любых типов и конфигураций. Оптимизирующие блоки позволяют:

  • Оптимизировать существующие компиляторы
  • Создать автоматический распараллеливатель для многоядерных архитектур
  • Создавать новые оптимизирующие компиляторы
  • Создавать компиляторы времени исполнения
  • Оценить эффективность новых архитектур
  • Облегчить освоение новых технологий программирования
  • Помочь в разработке новых языков программирования
  • Помочь в учебном освоении технологии компиляции

Блоки могут быть использованы везде, где нужно оптимизировать работу приложений, получить максимальную эффективность работы вычислительных ресурсов.

 

© 1948—2016 «ИТМиВТ»
Версия для печати Контактная информация