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

но они таки тратятся? и по многу раз

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

а зачем на это тратиться - если это инвариант еще с момента установки?

Но это теоретизация конечно 🙂

LTO + PGO

суперскаляр тратит эти ресурсы постоянно и без остановки

ну как сказать, предикторы там бывает тратят всего пару бит на предсказание перехода :)

Я скорее про компилятор в микрокод

Какой инвариант?

код, и целевой процессор, не меняются для заданного продукта.  Нет смысла его каждый раз перекомпилировать, обнаруживая, что это Скайлейк. То что будет Скайлейк было известно еще в момент установки (тогда и надо AOTить), или, в рамках гомогенной инфраструктуры большого ДЦ одной компании, еще в момент билда

>Почему, например, Google Play, зная целевой процессор моего телефона, сразу не компилирует и не оптимизирует все скачиваемые программы и не отдает их нативно?

Забавно, что они в один момент такую фичу сделали. Но потом пользователи начали жаловаться, что, видите ли, уставнока и обновление приложения занимает "слишком много" времени и отключили

Да, но исполняется то он по разному, разные реальные CFG, тем самым разные ограничения на данные

я имел в виду, что компилировать и кешировать все варианты надо в облаке, в Гугле. Еще до отдачи бинарников по сети

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

не умрут. Вариантов процессоров - исчислимое количество. Сторедж в гугле (яндексе, майкрософт, любом облаке) номинально бесконечен

Это так, но они же там все любят деньги считать. И если есть возможность сократить расходы на сторадж, этим 100% воспользуются.

Для начала могу посоветовать писать его название правильно, тогда и в гугле может что то начнет находиться.

https://www.youtube.com/watch?v=OUHqiQIc2Ho&feature=youtu.be

Лекция "Языки программирования и методы трансляции"

Визуализация машинного кода: просто и наглядно. Условное выражение в Питоне: мне нравится. Генерируем машинный код для выражений: множители, слагаемые, простые выражения и просто выражения. Генерация кода для стандартных функций: ABS, MAX, MIN - нетривиально, ODD - совсем нетривиально. Генерация кода для операторов: присваивание, вызов стандартной процедуры. Первая работающая программа, созданная программирующей программой, то есть компилятором!