V8 обнаруживает переменные int и обрабатывает их более эффективно?

Question

Это больше о Node.JS, в котором используется двигатель V8. Это механизм JavaScript, который также используется для Google Chrome.

Я слышал о том, что V8 работает очень быстро, не только для узла, но и для браузеров. Тем не менее, одна вещь, которую я замечаю о JavaScript, заключается в том, что типы не кодируются для переменных.

Для этого в Java вам понадобится переменная типа Object для всего. Это было бы значительно менее эффективными в, например, for петля:

for (var i = 0; i < array.length; i++) {} 

Мой вопрос, как же V8 обрабатывать типы переменных? Знает ли он, что переменная i всегда либо int, либо long? (Я вижу это как маловероятно, Beause, i++ имеет возможность конвертировать long в double.)

Или V8 обрабатывать вещи таким образом, что это не имеет значения? Я думаю, что некоторые простые примеры того, что создаст компилятор JIT, будут полезны. И Java, и JavaScript имеют JIT-компиляторы для преобразования кода в C.

Я не программист на C, но мне любопытно узнать, как обрабатываются типы, и если Java действительно эффективнее в этой области. (Да, я знаю, что I/O будет гораздо более значимым для большинства программ, чем обработка типа)

Answer 1

Одним словом: Yes.

V8 компилирует код в промежуточный байткод, то «горячих точек» анализируются компилятором «Коленчатый вал», и если он определяет, что определенные переменные никогда не будут чем-то другим, кроме целого числа, двойника, строки или т. д., он генерирует машинный код с «распакованным».

Он выполняет эту оптимизацию только на ветвях, которые уже пройдены; другие откладываются до тех пор, пока информация о фактических задействованных типах не будет рассчитана «регулярным» движком, а затем введена в оптимизированный код.

В дополнение к этому, V8 может переводить по существу статические иерархии прототипов в «классическое» наследование объектов на языке C++ для повышения производительности на «сложных» типах.

Он может выполнять все это только в коде, который называется «часто»; как циклы или часто называемые функции.

Связанный со статьей (частью серии), объясняет это в значительной степени, Подробнее, и, безусловно, стоит прочитать.

EDIT: Но, конечно же, статически типизированный язык, как Java будет оптимизировать как большая часть кода, насколько это возможно во время компиляции, так что должен опережать Javascript во всех, кроме игрушечных тестов. Тем не менее, V8 закрывает пробел между ними, и Javascript гораздо более «забавен» для написания, чем Java или C++, поэтому первоначальное прототипирование или разработка программ, где пользователь является самым большим источником латентности, означает, что Javascript часто является лучшим выбором , по моему мнению.