Оптимизирующие и двоичные компиляторы.
Проекты
Оптимизирующий компилятор для SPARC-архитектуры
Используется в качестве инструмента создания эффективного кода для машин "Эльбрус-90 микро" со SPARC-совместимым микропроцессором. Наряду с высоким качеством кода для одного процессора поддерживается автоматическое распараллеливание программ для многопроцессорных систем с общей и многомашинных систем с распределенной памятью.
Совершенствование технологии оптимизирующей двоичной компиляции
Исследуются методы и возможность создания высокоэффективных систем двоичной компиляции для архитектур, не имеющих специальной аппаратной поддержки технологии двоичной совместимости.
Оптимизирующий компилятор для микропроцессора "Эльбрус"
Поддерживает архитектурные решения микропроцессора "Эльбрус" и используется для совершенствования самой технологии оптимизирующей компиляции применительно к архитектурам с явно выраженным параллелизмом исполнения команд. Кроме того, используется для семантических моделей реализации языков высокого уровня (C, C++, Fortran-90), которые поддерживаются архитектурой, обеспечивающей защищенное программирование (32-, 64-, 128-разрядной).
Технология двоичной компиляции кодов Intel x86 -> Эльбрус
- динамический двоичный компилятор
- статический оптимизирующий двоичный компилятор
- мини-операционная система
- база данных двоично-транслированных кодов
Используется для реализации на базе микропроцессора "Эльбрус" технологии двоичной совместимости с платформой Intel x86 на всех классах программ, включая операционные системы. Данная технология позволит выполнять на микропроцессоре "Эльбрус" двоичные программы платформы IA-32 быстрее, чем на микропроцессорах Intel.
Библиотека математических функций для платформы Эльбрус
Оптимизированные программы реализации комбинаторных функций, функций линейной алгебры, операций с комплексными числами, многочленами, векторами и матрицами,.
Мультимедийная библиотека для платформы Эльбрус
Оптимизированная программная реализация функций цифровой обработки сигналов, создание и обработка двухмерных и трехмерных изображений, обработка видеоизображений.
Двоичный транслятор приложений Intel x86 ->Эльбрус
Транслятор приложений обеспечивает эффективное исполнение двоичных пользовательских кодов платформы Intel х86 микропроцессором Эльбрус.
Управление проектами и тестированием
Многоуровневый, кросс-платформенный, программно-аппаратный комплекс средств, выполняющий общее сопровождение процесса разработки на всех этапах его жизненного цикла.
Включает в себя средства:
- адаптивного тестирования, обеспечивающие постоянный текущий контроль качества компонентов проекта,
- регрессионного тестирования, обеспечивающие общий контроль состояния проекта на различных целевых платформах.
Отличительные свойства:
- контроль вычислительных ресурсов с использованием grid-технологий,
- разделение средств управления и данных за счет использования сервера режимов тестирования.
- средств пользовательского графического интерфейса
Тестовая база проектов по тематике "Компиляторы"
Пакеты тестирования являются комплексными продуктами, разрабатываемыми на строгой методологической базе. Все тестовые пакеты содержат переносимые вспомогательные инструменты, обеспечивающие исполнение тестов пакета и анализ результатов.
Генератор тестов на языке Ассемблер х86
Генератор обеспечивает управление автоматическим созданием тестов с детерминированным поведением, охватывающих всю систему команд х86 и имеющих сколь угодно сложные графы управления потока данных.
Тестовый пакет ОСТеТ
Пакет служит для оценки работоспособности оптимизирующих преобразований применительно к компиляторам с языка С. Содержит 2800 примеров, обеспечивающих контроль более чем 30 оптимизаций.
Тестовый пакет ANSIVS
Пакет оценки соответствия компилятора с языка С стандарту ISO 9899: 1990. Содержит более 8000 примеров.
Пакет тестирования пользовательской библиотеки
Пакет оценки соответствия компилятора c языка С стандарту ISO 14882:1998.
 |
|
Tel: +7 (495) 363-9665 | Fax: +7 (495) 363-9599 | E-mail:
|
| 
