Общие вопросы

Q: Что такое VM5277? Это виртуальная машина? A: Нет, несмотря на название. VM5277 — это компилятор языка J8B (Java-подобный синтаксис) в нативный ассемблерный код для 8-битных микроконтроллеров. Никакой виртуальной машины на МК не выполняется — только нативный код. Название историческое и отражает архитектурную идею: для мощных устройств в будущем планируется легковесная JVM, для слабых — трансляция в ассемблер.

Q: Проект бесплатный? A: Да. Весь проект распространяется под лицензией Apache 2.0. Исходный код открыт и всегда будет открыт. Использование в коммерческих продуктах разрешено. Автор оставляет за собой право в будущем предлагать платные расширения (эксклюзивные платформы, специализированные драйверы, продвинутые оптимизации, улучшенное качество кода), но открытая кодовая база навсегда остаётся доступной для fork'а и самостоятельного развития сообществом.

Q: Проект разрабатывает один человек? Что будет, если вы забросите? A: Да, проект разрабатывается одним человеком. На текущий момент пройден путь от идеи до работающего компилятора, ассемблера, RTOS и инструментария — это около 1 года активной разработки. Объём проделанной работы и вложенного времени делают риск прекращения разработки крайне низким. Код открыт под Apache 2.0 — сообщество также сможет продолжить развитие. Даже в случае прекращения активной разработки вы получаете работающий компилятор и RTOS под открытой лицензией — это не облачный сервис, который могут отключить.

Для пользователей (тех, кто пишет прошивки)

Q: На каких микроконтроллерах это работает прямо сейчас? A: Сейчас поддерживается AVR: ATmega168p, ATmega328p (Arduino Uno), Attiny2313a и другие. Добавление нового МК того же семейства — это, как правило, формирование конфигурационного файла по шаблону, а не переписывание кода. Поддержка PIC и STM8 архитектурно проработана, реализация запланирована на ближайшее будущее. При этом код на J8B пишется сразу с расчётом на кроссплатформенность — когда появится поддержка новых архитектур, ваша бизнес-логика не потребует переписывания.

Q: Чем J8B лучше Arduino C++? A:

  • Читаемость: Java-подобный синтаксис без заголовочных файлов, дефайнов, указателей и ручного управления памятью.
  • Кросс-платформенность: бизнес-логика не привязана к архитектуре МК. При смене платформы меняется только нижний слой, разработка которого - наша задача.
  • RTOS из коробки: многозадачность через Thread API, а не через самодельные конечные автоматы.
  • Исключения: try-catch и stack trace прямо на МК.
  • Скорость сборки: компиляция в разы быстрее Arduino IDE.
  • Эффективность кода: компилятор и RTOS включают в сборку только то, что реально задействовано в программе. Нет мёртвого кода, нет раздутой стандартной библиотеки «на всякий случай». ООП-конструкции частично разрешаются на этапе компиляции и не создают накладных расходов в рантайме. По размеру прошивки и расходу ОЗУ результат сопоставим с хорошо написанным кодом на Си — и заметно компактнее типичного C++ с виртуальными методами и шаблонами.

Q: Чем J8B хуже Arduino C++?

  • Качество кода: проект в альфе — есть баги, не все фичи реализованы, тестирование пока не всестороннее.
  • Платформы: сейчас только AVR. Поддержка PIC и STM8 в разработке — если нужно прямо сегодня, придётся подождать.
  • Экосистема: готовых библиотек и драйверов крайне мало. На старте многое придётся писать самому или адаптировать.
  • Сообщество: его пока нет, а значит нет и готовых ответов на Stack Overflow, туториалов, примеров от других пользователей.

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

Q: Какой размер прошивки получается? Не раздует ли ООП мой код? A: Компилятор генерирует оптимизированный ассемблерный код, близкий по эффективности к ручному. ООП-конструкции (классы, интерфейсы) разрешаются на этапе компиляции и не создают накладных расходов в рантайме — там, где нужны служебные данные (например, таблицы виртуальных методов для интерфейсов), они минимальны и включаются в сборку только если вы реально используете полиморфизм. Конкретные цифры: пример с enum и выводом — 1204 байта (3% памяти ATmega328p), пример с исключениями и трассировкой стека — 2389 байт (7.5%).

Q: Могу ли я использовать существующие Arduino-библиотеки? A: Нет — иначе это был бы клон или прослойка над Ардуино - это другой язык и другая экосистема. Но вы можете:

  • Обернуть нужный функционал в native-метод на ассемблере.
  • Переиспользовать логику, переписав её на J8B (обычно это проще, чем кажется).
  • В перспективе — использовать готовые библиотеки и драйверы из runtime библиотеки VM5277.

Q: Как отлаживать программу? Нужен ли дорогой программатор? A: Нет, достаточно USB-UART адаптера. Сейчас реализовано:

  • Вывод в консоль (логи, значения переменных).
  • Трассировка исключений с именами методов и номерами строк.
  • Обновление прошивки без перетыкания проводов.

В разработке: полноценный отладчик верхнеуровневого языка.

Q: Какую IDE использовать? A: На текущем этапе достаточно любого текстового редактора — сборка запускается из командной строки одной командой. Также поддерживается сборка через Maven. Для тех, кто предпочитает IDE: доступен плагин для IntelliJ IDEA (приоритетное направление, бета-версия) и NetBeans (слабый приоритет, черновая версия) — с подсветкой синтаксиса, деревом проекта и запуском компиляции из IDE. В планах — LSP-сервер для поддержки VS Code, Kate и других редакторов.

Q: Что нужно для старта? A: Минимальный набор:

  • Плата Arduino Uno или любая с ATmega168p/328p. Также поддерживаются другие чипы ATmega и ATtiny.
  • Для плат без встроенного USB-UART — внешний USB-UART адаптер.
  • Компьютер с Windows, GNU/Linux или macOS — инструменты на Java работают везде (в альфа-версии тестировались только на GNU/Linux).
  • 5 минут на установку и первую прошивку.

Q: Где взять примеры кода? A: В репозитории проекта в папке examples/j8b/: helloworld, gpio, исключения, enum и другие. Каждый пример содержит готовый pom.xml и собирается одной командой: mvn j8b:run -Parduino-uno Или напрямую из IDE через плагин. После сборки — сразу готовая прошивка.

Для разработчиков и интересующихся архитектурой

Q: Почему вы написали свой компилятор, а не использовали LLVM/GCC? A: Задача VM5277 — не только компиляция, но и глубокая интеграция с собственной RTOS и системой исключений. Использование готового бэкенда не дало бы нужного уровня контроля над кодогенерацией и не позволило бы реализовать фичи вроде try-catch на устройствах с 2 КБ ОЗУ. Кроме того, одна из целей проекта — максимальная скорость сборки без тяжёлых зависимостей.

Q: На чём написан компилятор? A: Полностью на Java, без сторонних зависимостей. Собирается через Maven. Может работать как JAR (требуется JRE 8+) или как нативный исполняемый файл через GraalVM Native Image (JRE не требуется).

Q: Как устроен процесс компиляции? A: Исходный код J8B → парсинг (AST) → семантический анализ → промежуточное представление → генерация ассемблерного кода под целевую платформу → встроенный ассемблер → HEX-прошивка. Весь процесс — возможен одной командой, без внешних инструментов.

Q: Что такое J8B? Это подмножество Java? A: J8B — самостоятельный язык с Java-подобным синтаксисом, спроектированный специально для 8-битных МК. От Java отличается:

  • Нет наследования классов (с наследованием интерфейсов) — архитектура строится на композиции.
  • Нет generics.
  • Примитивы адаптированы под 8-битное железо: bool, byte, char, short, int, fixed (Q7.8 с фиксированной точкой), enum. Все целые, кроме fixed, — беззнаковые.
  • Нет сборщика мусора — управление памятью через RTOS (подсчет ссылок).
  • Небольшие отличия в синтаксисе: например, оператор for с else.
  • Встроенная поддержка многозадачности и аппаратных абстракций — в активной разработке.

Q: Как устроена RTOS? A: RTOS написана на ассемблере для каждой платформы отдельно — это даёт полный контроль над размером кода и быстродействием критичных участков. Включает: динамическое выделение памяти, вытесняющую многозадачность, таймеры, блокировки, системные вызовы, драйверы ввода-вывода. Предоставляет высокоуровневый API для J8B (Thread, System, Math и т.д.).

Q: Как работают исключения при 2 КБ ОЗУ? A: Механизм исключений реализован на уровне компилятора и RTOS. Информация о типах исключений и обработчиках вычисляется на этапе компиляции. Stack trace собирается средствами RTOS в компактном бинарном виде, а в человекочитаемый формат (имена методов, номера строк) разворачивается уже на хосте — утилитой прошивальщика с использованием отладочной информации. Накладные расходы на МК минимальны: никакой виртуальной машины, никакого хранения имён методов в прошивке.

Q: Что с поддержкой прерываний? A: Низкоуровневые прерывания полностью под контролем RTOS. Пользователю не нужно лезть в ассемблер для типовых задач — всё уже обёрнуто в высокоуровневые конструкции языка и runtime-библиотеки: классы Thread, GPIO, Timer и другие. Тот же мигающий светодиод по таймеру — это несколько строк на J8B, без единой мысли о прерываниях.

Доступ к прерываниям опосредован — через API RTOS: таймеры, блокировки, ожидание событий. J8B — язык для бизнес-логики, весь hard realtime остаётся внутри RTOS. Единственный случай, когда может понадобиться ассемблер — вы пишете что-то узкоспециализированное, и тогда используете нативные методы.

Q: Как я могу помочь проекту? A: На текущем этапе наиболее ценная помощь:

  • Распространять проект — рассказывать о нём, показывать коллегам. Чем больше пользователей, тем быстрее развитие.
  • Тестировать на реальном железе — запустить примеры на своих платах, проверить на разных ревизиях чипов.
  • Писать тесты — unit-тесты семантики компилятора и всего остального. Этого очень не хватает.
  • Давать обратную связь — особенно по работе frontend-компилятора: что удобно, что непонятно, что сломалось.
  • Сообщать об ошибках — в баг-трекер GitHub или напрямую на почту.
  • Помочь с плагинами для IDE — плагины для IntelliJ IDEA и NetBeans сырые, документации по API NetBeans мало, поэтому особенно ценен опытный разработчик плагинов, который поможет вывести их на более качественный уровень.

Q: Когда будет поддержка PIC/STM8? A: Я планировал в Q2 2026, но сильно засел на багфиксинге и доработках проекта - скорее всего ближе к концу 2026 года. Архитектура компилятора и RTOS изначально спроектированы под мультиплатформенность, кодогенераторы для новых архитектур не требуют переписывания фронтенда, но есть более приоритетные задачи.

Q: Планируется ли поддержка 32-битных МК? A: Да, но не ранее STM8. Для слабых 32-битных устройств — нативная компиляция, для мощных — легковесная JVM. Это стратегическое направление развития, но приоритет сейчас — стабилизация и расширение на 8-битном сегменте.

Ссылки:

Сайт-визитка: https://vm5277.ru

P.S. Ждите обновления проекта.