Нов JIT компилатор ZJIT е приет в кодовата база на Ruby

В кодовата база на еталонната реализация на езика Ruby е добавен нов JIT компилатор ZJIT, позициониран като следващото поколение Ruby JIT. ZJIT ще бъде част от следващото значително издание Ruby 3.5, където ще бъде достъпен като опция паралелно с JIT компилатора YJIT, а в версия Ruby 3.6 е възможно да го замени. Както YJIT, новият JIT компилатор е написан на езика Rust. И двата JIT компилатора са създадени от екипа на разработчиците от компанията Shopify в рамките на инициатива за увеличаване на производителността на Ruby приложения, използващи рамката Rails и извикващи много методи.

За разлика от YJIT, новият JIT компилатор не трансформира байткод на виртуалната машина YARV в ниско ниво междинно представяне (в същност почти директно в машинен код), а преобразува байткода в висококачествено междинно представяне SSA (Static Single Assignment), върху което могат да бъдат реализирани допълнителни фази на оптимизация и да се провежда оптимизация с оглед на големи блокове код, вместо да се основава само на текущите операции.

ZJIT извършва компилация наведнъж на целия метод, докато YJIT може да манипулира компилацията само на базовите блокове. За профилирането на типове ZJIT реализира класическа архитектура на JIT, използваща натрупаните от интерпретатора исторически данни за типовете, вместо прилаганата в YJIT техника за версиониране на базовите блокове (LBBV — Lazy Basic Block Versioning).

Използването на висококачествено междинно представяне ще реши проблемите с разширяемостта, възникнали в YJIT, ще положи основите за реализиране в бъдеще на многостепенна JIT компилация, ще позволи прилагането на разширени оптимизации (например, по агресивно inlinе-разгръщане) и ще опрости адаптирането на JIT за различни платформи. Връщането към традиционния модел на профилиране на типове ще избави кода от усложнения и ще даде възможност да се привлече нови участници (използването на LBBV в YJIT доведе до това, че проектът беше неразбираем за другите участници и се развиваше само от служителите на Shopify).

Източник: opennet.ru