Как может встроить Java в границы виртуальных функций?

Question

Я читаю некоторые материалы о том, может ли Java быть быстрее, чем C++, и натолкнулась на следующую цитату:

«Java может быть быстрее, чем C++, потому что JIT могут встроить границы виртуальных функций».

(http://www.jelovic.com/articles/why_java_is_slow.htm)

Что это значит? Означает ли это, что JIT может встроить вызовы виртуальных функций (потому что предположительно имеет доступ к информации о времени выполнения), тогда как C++ должен вызывать функцию через ее таблицу vtable?

Благодаря

Тарас

Answer 1

Ответ на ваш вопрос: Да: это то, что означает цитируемый текст.

JIT проанализирует все загруженные классы. Если он может определить, что существует только один возможный метод, который можно вызвать в любой заданной точке, он может избежать отправки и (если необходимо) встроенного тела метода.

Напротив, компилятор C++ не знает всех возможных подтипов и поэтому не может определить, может ли эта оптимизация быть выполнена для (виртуального) метода. (И к тому времени, когда компоновщик работает, слишком поздно ...)

Другие ответы говорят, что вы можете сделать эту оптимизацию вручную на C++ ... но это предполагает, что вы (программист) можете сделать анализировать себя и изменять методы от виртуального до не виртуального. Но если вы ошибаетесь, у вас есть ошибка для отслеживания.

Кстати, мы можем предположить, что эта оптимизация стоит для среднего приложения Java. Если бы это было не так, то компиляторы JIT не реализовали бы его. В конце концов, бесполезная оптимизация только заставит Java-приложения запускаться медленнее.

Answer 2

За что его стоит, Java, C++, Ассамблея будет обеспечивать сравнительно одинаковую производительность.

Да, более высокая производительность может быть достигнута с помощью handoptimzed C++, C или Asm ... однако, для приложений приложений там (попробуйте все, кроме серьезных графических приложений), это не узкое место, более низкая стоимость реализации компенсирует любую воспринимаемую более низкую производительность.

Answer 3

Поскольку компиляция байт-кода Java в машинный код отложена до выполнения, для JVM можно выполнить profile-guided optimization и другие оптимизации, для которых требуется информация, доступная до тех пор, пока код не будет запущен. Это может даже включать «деоптимизацию», когда ранее сделанная оптимизация отменяется, так что могут произойти другие оптимизации.

Дополнительная информация об этом может быть найдена в разделе adaptive optimization в Википедии, которая включает в себя оптимизацию, связанную с inlining.