Получить доступ

Что такое escape analysis и какой эффект она даёт?

SeniorJIT и производительность
Коротко

JIT выясняет, покидает ли объект метод или поток. Если нет — скалярная замена: объект разбирается на поля в регистрах, аллокация исчезает. Плюс снятие блокировок на объекте, не видимом другим потокам.

  • Часто называют «размещением на стеке» — технически это скалярная замена
  • Работает только после встраивания вызовов
  • Объект, переданный в невстроенный метод или сохранённый в поле, убегает

А ещё Поэтому мелкие временные объекты в горячем коде иногда бесплатны

Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.

Подробно

Если объект создан внутри метода и ссылка на него никуда не передаётся, его существование в куче необязательно. Тогда применяется скалярная замена: объект разбирается на отдельные поля, которые живут в регистрах, и аллокация исчезает вовсе. Часто это называют размещением на стеке, хотя технически чаще происходит именно скалярная замена. Второй эффект — устранение блокировок: синхронизация по объекту, видимому лишь одному потоку, бессмысленна и удаляется. Практический вывод, важный для собеседования: это одна из причин, почему в Java не стоит вручную экономить на создании короткоживущих объектов — JIT нередко устраняет их сам, а преждевременная оптимизация лишь портит читаемость.

Что хотят услышать

  • Суть анализа.
  • Скалярная замена и снятие блокировок.
  • Ограничения.

Частые ошибки

  • Полагаться на escape analysis как на гарантию — это оптимизация по возможности, а не контракт.
  • Считать, что объект физически размещается на стеке.

Проверьте себя

Один верный вариант. Подумайте, потом откройте ответ.

Показать варианты и ответ
  • ✓Анализ того, покидает ли объект границы метода или потока; если нет, JIT может разложить его на поля в регистрах и снять ненужные блокировки
  • ✗Анализ экранированных символов в строковых литералах при компиляции
  • ✗Проверка того, что исключения не покидают границ метода
  • ✗Механизм отслеживания утечек памяти в куче на этапе выполнения

Что спросят дальше

  • Почему встраивание метода часто является условием для escape analysis?
  • Как проверить, что оптимизация действительно применилась?

Разбор темы

Связанные вопросы

Закрытая бета

Подсказки на собеседовании — в реальном времени

sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.

  • Промокод на 2 часа — сверх пробных 30 минут
  • Программа для Windows — скачать сразу, войти — через Яндекс ID или VK ID
  • Прямая связь с разработчиком: что улучшить — сделаем