Как работает JIT?

JIT: Just-In-Time компиляция

Что такое JIT?

JIT (Just-In-Time) — это техника компиляции кода, при которой исходный код компилируется в машинный код во время выполнения программы, а не до запуска. Это гибридный подход между интерпретацией и компиляцией.

Как это работает?

Исходный код (Dart)
    ↓
[Интерпретация / Байт-код]
    ↓
[Профилирование во время выполнения]
    ↓
[Горячий код определён]
    ↓
[JIT компиляция в машинный код]
    ↓
[Выполнение оптимизированного машинного кода]

Пример JIT в Dart VM

Когда вы запускаете Dart код:

void main() {
  // Первый проход: интерпретация
  for (int i = 0; i < 1000; i++) {
    int result = fibonacci(i);
  }
}

int fibonacci(int n) {
  if (n <= 1) return n;
  return fibonacci(n - 1) + fibonacci(n - 2);
}

1. Dart VM интерпретирует эту функцию
2. Видит что fibonacci() вызывается 1000 раз (горячий код)
3. Компилирует её в машинный код через JIT
4. Следующие вызовы выполняются быстрее на порядок

JIT vs AOT

Стадии JIT компиляции

1. Интерпретация (холодный код)

Время выполнения: 100x медленнее чем машинный код
Память: минимум (только интерпретатор)

2. Профилирование

VM отслеживает:
- Сколько раз вызвана функция
- Типы аргументов
- Результаты
- Горячие петли

3. Оптимизирующая компиляция

Если функция вызвана > 10,000 раз:
- Компилируется в машинный код
- Применяются оптимизации (inlining, speculative optimization)
- Кэшируется в памяти

Спекулятивная оптимизация (Speculative Optimization)

Это мощный инструмент JIT:

void processData(dynamic value) {
  int result = value + 10; // value может быть int или String
}

JIT видит что в 99% случаев value это int, и:

1. Компилирует оптимизированный код для int
2. Добавляет guard check в начало
3. Если появляется String — падает обратно в интерпретацию

Advantages of JIT

• Адаптивная оптимизация — видит реальные данные
• Холодный старт не критичен — медленные функции просто выполняются медленнее
• Профилирование в продакшене — может собирать информацию
• Полиморфизм — может специализировать код под типы

Disadvantages of JIT

• Задержка при компиляции — первый запуск медленнее
• Потребление памяти — нужно держать компилятор в памяти
• Непредсказуемость — GC pauses во время компиляции
• Сложность отладки — оптимизированный код может вести себя иначе

JIT в Flutter

Flutter использует AOT для iOS/Android (предкомпилирует в машинный код), но Dart VM поддерживает JIT для:

• Development mode — быстрая горячая перезагрузка
• VM тестирование — встроенный тестовый режим
• Desktop Apps — когда нужна гибкость

// flutter run: использует JIT для быстрой разработки
// flutter build apk: использует AOT для продакшена

Пример: JIT vs Интерпретация

void benchmark() {
  // Интерпретация: ~100ms
  // После JIT: ~1ms
  int sum = 0;
  for (int i = 0; i < 1000000; i++) {
    sum += i * 2;
  }
  print(sum);
}

Pervый вызов: интерпретация → 100ms Второй вызов: JIT компилирован → 1ms

Заключение

JIT — это балансирование между скоростью развития и скоростью выполнения. Dart VM использует JIT для профилирования и оптимизации горячего кода, что даёт выигрыш в production. Для мобильных приложений Flutter использует AOT, но JIT остаётся важным для development workflow.