ВИРТУАЛЬНЫЕ МАШИНЫ И КОМПИЛЯТОРЫ

Это  наши  базовые специализации

java баннер1100x170_3

Мы тестировали платформу Java Virtual Machine  (JVM), разрабатывали программные инструменты, выпустили 14 релизов сертификационной сюиты JCK в многолетнем партнерстве с ее автором, компанией Sun Microsystems. Этот опыт успешно применяется нами  для других проектов по разработке системного ПО.

Российская реализация платформы Джава (Москва, с 2012)

Реализована российская  Джава-машина под архитектуру российских процессоров "Эльбрус". Это полностью отечественная безопасная система, свободная от закладок в “железе” и ПО, а также поддерживающая все встроенные средства безопасности языка программирования Джава. Cейчас идет работа над увеличением производительности виртуальной машины, портируются новые приложения и технологические решения.

Свойства:

  • Реализована на основе виртуальной Джава-машины OpenJDK с открытым исходным кодом
  • Разработан собственный динамический компилятор “на лету” (JIT), оптимизированный под платформу Эльбрус
  • Портированы под архитектуру Эльбрус специализированные библиотеки (OpenGL, OpenCV и др.), ряд широко известных приложений и библиотек с открытым кодом (Apache Tomcat, Apache Derby, Eclipse, Apache Jmetter и др.)

Технологии:
J2SE class libraries (OpenJDK), Java virtual machines, Just-In-Time compilers, interpreters, C, C++, Assembler

Российская реализация платформы JavaScript для платформы "Эльбрус" (Москва, с 2016)

Идет портирование виртуальной машины для языка JavaScript V8 от браузера Chrome с открытым исходным кодом на платформу "Эльбрус". Работа идет по нескольким направлениям:

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

Технологии: из проекта Chromium

Портирование виртуальной машины С# на платформу "Эльбрус" (Москва, с 2016)

Реализация поддержки языка C# на платформе "Эльбрус". За основу взят проект Mono, реализующий совместимый с .NET Framework набор инструментов (компилятор с языка C#, виртуальная машина Common Language Runtime, и др.)

Технологии: Common Language Runtime (CLR), .NET Framework, Just-In-Time compilers, Ahead-Of-Time compilation, LLVM, C#, C, C++, Assembler

Новая облачная реализация платформы J2SE (Ireland, 2011-2015)

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

Технологии:
J2SE class libraries (Apache Harmony, OpenJDK), Java virtual machines, Just-In-Time compilers, C, C++, Mercurial

Разработка оптимизирующих компиляторов для Fortran 77/90/95/F2K (разные заказчики, 199х-20хх)
  • внешние и внутренние интерфейсы
  • новые и недостающие свойства
  • оптимизация производительности
Разработка тестовых систем и сюит для J2SE API (Sun Microsystems, 199х -20хх)

Тестирование Java стандарта была сделано для широкого набора библиотек:

Core Java packages (java.lang and subpackages)
Basic mathematics API
Java Management Extension API (javax.management)
Sound API (javax.sound)
Printing API (javax.print)
XML processing (DOM, SAX) API
Image I/O API (javax.imageio)
Java utility API (java.util)
Networking API (java.net)
Java I/O API (java.io, java.nio)
Implementation of CJK and other character encodings
Java security API (JAAS, JCE, JSSE)

Проекты по сертификационному тестированию платформы Java описаны здесь.