Фаза - начальная

• цикличность: зависит от уровня поддержки байт кода (фаза 1 - задача: Описание модели байт кода JVM)
• последовательность: задачи внутри фазы могут следовать хаотично, кроме смены версии.

Фаза - стабилизация разработки

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

Фаза - безопасность

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

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

Фаза - масштабирование решения

• цель: охватить большинство решений на java и jvm
• цикличность: зависит от уровня поддержки байт кода (фаза 1 - задача: Описание модели байт кода JVM)
• последовательность: задачи внутри фазы могут следовать хаотично, кроме смены версии.

Разные компиляторы Java, Scala, Kotlin и их версии могут генерировать такой байт-код который будет отличаться друг от друга и не поддерживать.

Цель фазы - сделать возможным использовать решения на популярных JVM языках.

Фаза - развитие сетевого протокола

• цель: расширение методов работы по сети
• цикличность: не предполагается
• последовательность: задачи внутри фазы могут следовать хаотично, кроме смены версии.

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

Фаза - мониторинг

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

Мониторинг подразумевает расстановки в байт коде контрольных точек - вызовов методов, которые будут сообщать о текущем исполняемом участке кода.

Фаза - де компиляция

• цель: иметь возможность просматривать в читабельном виде код и его-же компилировать в байт-код
• цикличность: зависит от уровня поддержки байт кода (фаза 1 - задача: Описание модели байт кода JVM)
• последовательность: задачи внутри фазы могут следовать хаотично, кроме смены версии.

Формально в сервис передается байт код, из которого нелегко понять его предназначение.

Крайне желательно иметь возможность его декомпилировать и компилировать обратно,

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

Фаза - трансляция в SQL

• цель: масштабирование меж-языковых средств, за пределы jvm.
• цикличность: зависит от уровня поддержки де компиляции
• последовательность: задачи внутри фазы могут следовать хаотично, кроме смены версии.

Совсем не обязательно, что это может быть SQL, это могут быть другие средства - например MongoDB или REST который работает со сложной структурой входящей/исходящей информации - например IMAP протокол или WebDAV.

Цель выяснить возможность оперировать с тем или иным сетевым сервисом в рамках типа безопасного языка Java / JVM.

Потенциально это может быть другой язык программирования: SQL, JavaScript, C#, Bash/batch, Python, Delphi, …

Источники информации

• Теоритическая база
  • Книга - Альфред Ахо, Рави Сети, Джеффри Ульман, Моника Лам “Компиляторы. Принципы, технологии, инструменты”
  • Грамматика - Нормальная форма Бэкуса (BNF)
  • Абстрактное синтаксическое дерево (AST)
  • Машина Тьюринга
  • Полнота по Тьюрингу
  • Тьюринг-полнота
  • Неожиданная полнота по Тьюрингу повсюду
  • Проблема остановки
  • Алгоритмическая разрешимость
  • Задача разрешимости
  • Система типов
  • Вывод типов
  • Просто о Хиндли-Милнере
  • JVM Stacks and Stack Frames
  • Виртуальная машина Java (Стек)
  • Memory Layout of Objects in Java
  • Заголовок Java объекта
• ASM
  • Руководство пользователя ASM
  • The Java® Virtual Machine Specification
  • ASM javadoc
  • Wrong Stack Size calculated by ASM library
• stackoverflow.com
  • How to serialize a lambda?
  • What is a bootstrap method?
  • Get bytecode from loaded class
  • Function.Function of Java 8 with multiple parameters
  • Java annotation processing with source code manipulation
  • Can a java lambda have more than 1 parameter?
• Invoke Dynamic
  • An Introduction to Invoke Dynamic in the JVM
  • Что там с JEP-303 или изобретаем invokedynamic
  • Invokedynamic: роскошь или необходимость?
  • LambdaMetafactory
• TCP
  • Основные отличия Java IO и Java NIO
  • Основы программирования TCP-сокетов на Java