а планирование?

я в отличие от вас могу долго примеры приводить, чего там нет, а хотелось бы

есть много видов девиртуализаций в джите: конкретных методов из горячих циклов аля EqualityComparer, GetType, есть Guarded devirtualization, есть девиртуализации из инлайнинга и когда джит может проследить переменную (благодаря сса!) все ее асайнменты

ну собственно я так и думал что будет названа дивиртуализация и ничего больше)

ой, векторизация

но уже два назвал

это все условные девиртуализации

в дотнете если ты не знал все методы невиртуальные подефолту, это не джава

нам не так нужна девиртуализация с откатом (у которой куча минусов хватает)

это как-то сильно влияет?

ладно убегаю, но если появится на самом деле дельное утверждение - отвечу :) исходники джита я хорошо знаю

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

А в чем там минусы, кстати?
Вот например главный минус в том, что вы описали, это безобразно раздувающийся код, который сильно ограничивает дальнейшие оптимизации, делая инлайнинг скорее вредным.

А в силу отсутствия отката как явления, необходимо компилировать все холодные пути в т.ч.

джит делает очень много всего, у него есть фаза пипхол оптимизаций, циклов (есть луп хоистинг, немного анролиг, новые скоро подъедут), потом он всё это переводит в SSA форму и проводит сложные оптимизации аля Value Numbering для CSE, assert propogation и удаления баунд чеков

когда я услышал что джит просто переводит ил в асм я сразу понял что ты знаком слишком поверхностно ну или это популярный психологический прием что-то негативное заявить дабы в глазах обществ выглядить специалистом, не надо так :-)

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

вот поэтому эпл даже для родной платформы в своем ЯП тягает за собой рантайм до сих пор :))

хотя вроде к 5 или какой там версии устаканили аби

То, что вы описываете правда, там действительно все это есть. Вопрос главный в том, работает ли это на реальном коде или только на синтетических бенямарках, которые пишут разработчики.

log(sqrt(x)) -> 0.5*log(x) :)