2016: бой JS-компиляторов

Ой-вэй, не прошло и месяца, как обновление Javascript-компилятора выкатил webkit.org. То-есть там круто, ребята заменяют LLVM на что-то более узкоспециализированное.

https://webkit.org/blog/5852/introducing-the-b3-jit-compiler/

LLVM в вебкитовском Джаваскрипте используется(вался?) для оптимизации критических фрагментов кода. То-есть, упрощённо, сначала JS компилится совсем быстрым компилятором, а потом те фрагменты, которые активно используются во время рантайма, компилятся ещё раз с оптимизациями.

Вообще, LLVM очень крут, это звездная академическая разработка, очень тщательно вылизанная. Чем LLVM круче компиляторов, условно, предыдущего поколения можно в презентации вот посмотреть.

Тем не менее, вебкит решил, что можно сделать ещё круче, в одно базовое соображение: IR (intermediate representation, промежуточное представление) между двумя специализированными компиляторами может быть компактнее и проще полного IR LLVM.

Это похоже на историю с Флипбордом, который придумал собственный упрощённый DOM с рендером прямо в битмап на клиенте.

Новый IR называется B3 IR, в статье есть его описание и масса любопытных идей и наблюдений, из которых он родился. Вообще, оптимизации там такие… уж очень специфические. Если сравнивать с авиацией, это примерно как “мы сделали новые законцовки крыльев и экономим 1% топлива”. Но их там много и сразу.

С учётом того, что какие-то невообразимые совершенно ресурсы оказались задействованы в создании высокоэффективного JS-компилятора/рантайма сразу в нескольких существенных организациях, и жестокой конкуренции, я сделаю прогноз.

Думаю, в 2017 javascript overall превзойдёт Java по скорости.

И ещё один прогноз, уже совсем волюнтаристский. Думаю, к ~2020 мы увидим ОС, предположительно для IoT, в которой JS-engine будет на той же роли, на которой сейчас в Андроиде Dalvik.

Про аккуратность моделей

Я когда-то давно приводил в одной лекции пример, как кусок уголка в два пальца длиной может радикально улучшить лётные качества самолёта. Это про F4 Corsair времён второй мировой.

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

Модель F4U есть в моём любимом симуляторе, AeroflyFS, и в этой модели наваренного уголка на правом крыле нет. Ну я решил проверить, имеет ли место резкое асимметричное сваливание в имитации – без особой, впрочем, надежды. А модель возьми и окажись такой аккуратной, что оба явления в полный рост имеют место.

Я вот видео трёхминутное снял, заодно можно мою технику посадки этого гроба заценить, прекрасную ящетаю. Сваливание где-то с 40-й секуды. Сории за бубнёж на фоне, не подрасчитал с микрофоном, а перозвучивать было лень.

Обожаю такую дотошность в реализациях.

UPD. Хехе, а уголок то есть на модели, на видео видно его в конце. И всё равно валится.