Отечественные компании-разработчики компиляторов
В этом разделе хотел бы представить отечественные компании и организации,
разрабатывающие компиляторы.
Для части из них — это основной род деятельности, для других — одно из направлений.
Конечно, некоторым не нравится, что народ у нас отвлекается от добычи полезных ископаемых.
Но лично мне хотелось бы, чтобы Россия прекратила международную специализацию по экспорту углеводородов и потреблению этанола.
Интерстрон (Москва)
Сайт компании Интерстрон,
Блог Евгения Зуева, ведущего разработчика, и
его сайт.
Интерстрон разработал компилятор переднего плана Си++.
История этой разработки: Е.А. Зуев. «Редкая профессия».
Статья о русских ключевых словах для C++:
«Русские плюсы».
Цитата с сайта компании:
Есть целый ряд успешных применений компилятора C++ как отечественными компаниями, так и зарубежными.
Головной продукт Интерстрона — компилятор переднего плана (КПП).
Это полностью оригинальная разработка, являющаяся основой многих продуктов компании.
Получаемое в результате работы КПП промежуточное представление содержит полную информацию об исходном проекте.
Технология создания полных компиляторов языков C/C++ основана именно на КПП.
Скомпилированный КПП проект может быть исполнен на Виртуальной Машине (ВМ).
ВМ представляет собой программную модель некоего идеализированного компьютера,
архитектура которого адекватна соответствующему языку программирования.
Оптимизирующие технологии (Москва)
Сайт компании Оптимизирующие технологии.
Предлагают технологию, позволяющую существенно упростить как модификацию существующих компиляторов, так и создание новых.
Разработанная ими Универсальная Библиотека Трансляции (УБТ) состоит из большого числа реализованных алгоритмов анализа и оптимизаций,
а также промежуточного представления, способного отражать семантику программы,
написанной на любом известном императивном языке программирования.
Реализация указанных алгоритмов выполнена в виде библиотеки строительных блоков.
Это дает возможность гибкого использования только тех элементов библиотеки, которые необходимы для решения задачи пользователя.
Промежуточное представление и развитая инфраструктура позволяют эффективно создавать новые системы трансляции и анализа.
В журнале «Секрет Фирмы» (№ 7 от 06.07.2009) вышло интервью
с гендиректором «Оптимизирующих технологий» Александром Дроздовым:
...Александр Дроздов с партнерами хотят "подсадить" мировых гигантов типа AMD и Intel на российские разработки,
чтобы вдохнуть вторую жизнь в многоядерные процессоры...
Есть и более раннеe упоминание об этих разработках.
ЗАО «МЦСТ» (Москва)
Сайт ЗАО «МЦСТ».
На протяжении всей истории коллектива эльбрусовских программистов, главным приоритетом было создание оптимизирующих компиляторов,
реализация в промышленных компиляторах методов генерации эффективных объектных кодов для новых архитектур,
рассчитанных на достижение высшей производительности вычислительного процесса.
Постоянный поиск новых решений при создании оптимизирующих компиляторов потребовал уделить особое внимание исследованиям,
направленным на тщательный анализ динамических характеристик программ и поиск возможности повышения их производительности.
Сейчас уже можно говорить о научном направлении, связанном с созданием сверхэффективных программ.
Идеи и решения в этой области оформлены в ряде патентов США.
Важнейшим принципом работы коллектива является решение проблемы защищенного программирования на уровне архитектуры,
что неизменно отмечается как характерная особенность всех его проектов.
Полученные в этой области результаты позволили предложить пользователям реализацию С++ обычным оптимизирующим компилятором,
которая имеет уровень защищенности, свойственный программированию на Java.
Обеспечение совместимости компьютерных платформ на базе технологии двоичной компиляции.
Работами эльбрусовских программистов существенно продвинута как сама
техника переноса и оптимизации под целевую платформу кодов исходной программы, так и её аппаратная поддержка.
Научно-исследовательский институт
системных исследований РАН (Москва)
Одно из направлений деятельности — разработка и развитие языка КуМир,
а так же система для изучения азов программирования младшими школьниками и дошкольниками ПиктоМир
КуМир
В НИИСИ РАН разработана и начиная с осени 2008 года свободно распространяется на условиях лицензии GNU 2.0
кроссплатформенная реализация учебной системы программирования КуМир,
поддерживающая школьный алгоритмический язык с русским синтаксисом, введенный в советскую школу академиком А.П. Ершовым в 1985 году.
Кумир реализован над Qt4 и работает под MS Windows, Linux и MAC OS.
... это не только язык с русской лексикой, но и в какой-то мере язык с русским синтаксисом,
Для повышения читаемости программ помимо русской лексики в язык введен ещё ряд возможностей.
В частности, язык Кумир допускает многословные имена переменных и процедур
(скажем "Шаг вправо" пишется без подчеркивания, через пробел);
допускает размещение отрицания "не" между словами многословного имени логической переменной/процедуры
(скажем, если есть логическая процедура с именем "Клетка закрашена",
то отрицание можно написать в форме "Клетка не закрашена",
а не в двусмысленной для носителя русского языка форме "не Клетка закрашена");
допускает запись условий в виде -1<х<1 вместо -1<х и х<1 ;
допускает запись цикла в формах <нц 5 раз ...> и <нц 33 раза ...> и др.
Школьный Алгоритмический Язык — алголоподобный псевдокод с русской лексикой —
был придуман А.П.Ершовым в момент введения в систему школьного образования СССР предмета
"Основы информатики и вычислительной техники" и первоначально предназначался
для "безмашинного" школьного курса информатики.
Школьный алгоритмический язык с русским синтаксисом использовался и
продолжает использоваться во многих школьных учебниках, включая учебники по информатике.
Многоплатформенная реализация системы Кумир выполнена по классической схеме:
никакой инкрементальной компиляции не происходит, программа полностью перекомпилируется при любом переходе курсора на новую строку.
ПиктоМир
ПиктоМир позволяет ребенку "собрать" из пиктограмм на экране компьютера несложную программу, управляющую виртуальным исполнителем-роботом.
ПиктоМир в первую очередь ориентирован на дошкольников, ещё не умеющих писать или на младшеклассников, не очень любящих писать.
При желании, ПиктоМир-программу можно сохранить в КуМире и продолжить работу над ней в КуМире.
Лаборатория оптимизирующих компиляторов
Института точной механики и вычислительной техники им. С. А. Лебедева РАН (Москва)
Сайт лаборатории оптимизирующих компиляторов ИТМ и ВМ.
...лабораторией оптимизирующих компиляторов ИТМиВТ была разработана инновационная Универсальная технология оптимизирующей компиляции.
Эта технология предлагает уникальное решение острейших проблем,
с которыми столкнулись ведущие мировые создатели процессоров, вычислительных комплексов и программного обеспечения.
Отдел компиляторных технологий
института системного программирования РАН (Москва)
Сайт отдела компиляторных технологий ИСП РАН.
Отдел «Компиляторных технологий» специализируется как в применении компиляторных методов
решения проблем в различных областях информатики, так и в разработке современных оптимизирующих компиляторов.
Наш первый проект по разработке компилятора был запущен в начале 80-х годов.
На данный момент исследовательская работа сконцентрирована в областях параллельного программирования,
новых технологий компиляции и обеспечении безопасности систем и данных.
НТЦ Модуль (Москва)
Сайт НТЦ Модуль.
Компания разрабатывает процессорные интегральные схемы специализированной архитектуры.
В состав ПО поддержки этих СБИС входят: компилятор C/C++, ассемблеры/дизассемблеры
специализированных наборов команд, отладчики, симуляторы, графическая среда разработки
ПО, сопутствующие утилиты.
Студия Артемия Лебедева
Сайт языка Parser.
Язык предназначен для Web-программирования.
Разработчики языка Parser: Константин Моршнев, Александр Петросян, Михаил Петрушин.
Удивительно, но иногда бывают вакансии с требованием знания этого языка.
JetBrains (Санкт-Петербург, Москва, Бостон, Прага, Мюнхен)
Сайт JetBrains.
Компания, известная разработкой IDE для Java — IntelliJ IDEA.
Наверное, единственная в России и СНГ коммерческая организация, рискнувшая заняться разработкой собственного языка Kotlin,
а не изготовлением компиляторов к существующим.
Разработчик языка Kotlin — Андрей Бреслав, у него есть блог.
Цитат с сайта компании:
В последние годы назрела потребность в новом языке, компилируемом в переносимый байт-код для виртуальной машины Java.
Появилось несколько проектов по созданию таких языков и один из них — Kotlin,
статически типизированный объектно-ориентированный язык.
Ныне в JetBrains разработкой языка занимается более 20 человек.
Tibbo (Тайвань, Москва)
Тайваньская компания Tibbo с российскими корнями и московским представительством разработала язык Jancy.
Язык Jancy разработан её российскими сотрудниками. Это компилируемый язык, но скриптовый по назначению.
Его особенности:
- Безопасные толстые указатели на данные и безопасная адресная арифметика — при этом с поддержкой стекового выделения;
- Высокая степень ABI-совместимости и совместимости на уровне исходных кодов с C,
что выливается в возможность вызывать функции скрипта напрямую их хостового C++ приложения, а также копипастить определения C-структур;
- Реактивное программирование (Excel-подобный пересчёт специально объявленных выражений при изменении правой части);
- Исключения в виде синтаксического сахара над стандартной моделью кодов ошибок;
- Встроенный генератор инкрементальных лексеров.
Altium (Санкт-Петербург)
Компания Altium занимается разработкой ПО для разработки электроники.
В ноябре 2015 г. им требовался разработчик компиляторов C/C++.
Астрософт (Санкт-Петербург)
Компания АстроСофт разрабатывает свой компилятор языков программирования C/C++ с 1999 года. К проекту привлекаются исключительно российские специалисты, на разработку потрачено в общей сложности более 170 человеколет. За это время созданы несколько пакетов средств разработки на базе компилятора UCC, которые используются в производственных процессах крупных промышленных компаний.
За счет архитектуры адаптация компилятора к новой платформе занимает около 2 месяцев в зависимости от сложности процессора и методов низкоуровневой оптимизации. Адаптация включает в себя настройку правил кодогенерации, в то время как основной исходный код компилятора остается неизменным.
Сферы применения:
-
оборонно-промышленный комплекс
-
системы безопасности и связи
-
авионика
-
приборо- и станкостроение
-
компьютерная периферия
Эксельсиор (Новосибирск)
Раздел сайта, посвящённый разработке компиляторов.
Со дня основания в 1999 г., основной работой компании Эксельсиор является разработка инструментов для программирования.
Эксельсиор работает с открытыми компиляторными платформами GNU и LCC, сделал собственную платформу для построения оптимизирующих компиляторов,
разрабатывал различные компоненты компиляторов с нуля,
а также делал вспомогательные инструменты программиста: линкеры, отладчики, профилировщики и т.п.
Кратко о направлениях деятельности:
- C/С++, Java, Modula-2, нестандартные языки программирования,
- Архитектуры x86, MIPS, VAX, PowerPC, m68k,
- Платформы GCC and LCC,
- Трансляторы исходных текстов на другие языки.
Унипро (Новосибирск)
Раздел сайта, посвящённый разработке компиляторов.
Кратко о направлениях деятельности:
- Инструментарий для сертификационного тестирования технологий J2SE, J2ME
- Инструмент покрытия кода Java
- Разработка компиляторов Fortran
- Библиотеки интервальной арифметики
Статья, где упоминается УниПро.
Институт Космических и Информационных Технологий Сибирского Федерального Университета (Красноярск)
Под руководством профессора, доктора технических наук Александра Ивановича Легалова на кафедре
вычислительной техники был разработан функционального языка параллельного программирования "Пифагор".
Сайт: Эволюционное расширение программ в языке "Пифагор", смотри так же
язык программирования Пифагор в Википедии.
Ансис (Казань)
Сайт Ансис.
Среди заявленных направлений деятельности — анализ исходных кодов, технологии статического и динамического анализа исходного кода.
Компания размещала объявление о вакансии: «Compiler, YACC, static analysis».
СиПроВер (Тула)
Сайт СиПроВер.
Хотя компания не занимается разработкой компиляторов, но направление её деятельности очень близко к этому.
Её продукт — статический анализатор кода для C/C++/C++11 «PVS-Studio».
Другие компании, размещавшие объявления о вакансии разработчика компиляторов
В январе 2008 г. искала разработчиков компиляторов компания «Sun Microsystems» (Санкт-Петербург).
В июне 2009 г. — компания «Segnetics» (Санкт-Петербург),
она же.
«Лаборатория Касперского» объявляло о найме системного программиста.
Профиль предполагаемой работы тесно связан с компиляторами.
В ноябре 2015 г. московской компании (конкретных сведений о ней нет)
требовался разработчик компиляторов.
Так же в Новосибирске (Академгородок) требовались разработчики для совместного проекта
Parallels-НГУ «Компилятор для языка PHP», требования: знание C++ и знакомство с LLVM.
Не отделяю Россию от Украины, поэтому для полноты обзора напишу, что в течение ряда лет
Компания Program-Ace (Харьков) в течение ряда лет (как минимум, 2004-2006 г.) искала разработчиков
компилятора C/C++.
Но, видимо, задумки не привели к появлению готового компилятора.
На сайте компании program-ace.com.ua среди предлагаемых продуктов компилятора нет.
Есть предположение, что в Белоруссии тоже есть компании, работающие в этом направлении.
За эту гипотезу говорит то, что в Белоруссии существует поддержка ИТ на государственном уровне.
Но пока что это так и остаётся предположением без подтверждающих фактов,
хотя на этот счёт есть слухи:
По Минску должен быть прикол — там, по слухам, какой-то местный IT-монстр продвигает собственный язык программирования,
за его пределами неиспользуемый.
...
Читал на одном закрытом форуме 5-7 лет назад.
Якобы всего в Минске тогда было три основных крупных работодателя по части софтостроения, и в одном был такой прикол…
Смотри так же:
Опубликовано: 2012.09.25, последняя правка: 2022.04.21 20:07
Отзывы
2013/06/25 18:11, Анатолий Кушниренко #
Уважаемые коллеги!
Не могли бы вы добавить в ваш замечательный список ПИКТОМИР — ещё одну свободно распространяемую разработку НИИСИ РАН.
С уважением! Анатолий Кушниренко, зав. отделом НИИСИ РАН, agk_@mail.ru
2013/06/26 15:00, Автор сайта #
Добавил Добавить свой отзыв
Написать автору можно на электронную почту
mail(аt)compiler.su
|
