Ruby-ს კოდის ბაზა იყენებს ახალ JIT კომპილატორ ZJIT-ს

Ruby ენის საცნობარო იმპლემენტაციის კოდურ ბაზას დაემატა ახალი JIT კომპილატორი, ZJIT, რომელიც პოზიციონირებულია, როგორც Ruby JIT-ის შემდეგი თაობა. ZJIT შევა Ruby 3.5-ის შემდეგ მთავარ ვერსიებში, სადაც ის ხელმისაწვდომი იქნება როგორც დამატებითი ფუნქცია YJIT JIT კომპილატორთან ერთად და შესაძლოა, ჩაანაცვლოს იგი Ruby 3.6-ში. YJIT-ის მსგავსად, ახალი JIT კომპილატორი Rust-ში არის დაწერილი. ორივე JIT კომპილატორი შეიქმნა Shopify-ის დეველოპერების გუნდის მიერ, როგორც ინიციატივის ნაწილი, რომელიც მიზნად ისახავს Ruby-ს პროგრამების მუშაობის გაუმჯობესებას, რომლებიც იყენებენ Rails ჩარჩოს და იძახებენ უამრავ მეთოდს.

YJIT-ისგან განსხვავებით, ახალი JIT კომპილატორი არ გარდაქმნის YARV ვირტუალური მანქანის ბაიტკოდს დაბალი დონის შუალედურ წარმოდგენად (არსებითად თითქმის პირდაპირ მანქანის კოდში), არამედ გარდაქმნის ბაიტკოდს მაღალი დონის შუალედურ წარმოდგენად SSA (Static Single Assignment), რომელზეც შესაძლებელია დამატებითი ოპტიმიზაციის ფაზების განხორციელება და ოპტიმიზაციის შესრულება კოდის დიდი ბლოკების გათვალისწინებით, მხოლოდ მიმდინარე ოპერაციებზე დაყრდნობის ნაცვლად.

ZJIT ერთდროულად ასრულებს მთელი მეთოდის კომპილაციას, ხოლო YJIT-ს მხოლოდ ძირითადი ბლოკების კომპილაცია შეუძლია. ტიპების პროფილირებისთვის, ZJIT იყენებს კლასიკურ JIT არქიტექტურას, რომელიც იყენებს ინტერპრეტატორის დაგროვილ ისტორიულ ტიპის მონაცემებს YJIT-ში გამოყენებული Lazy Basic Block Versioning (LBBV) ტექნიკის ნაცვლად.

მაღალი დონის IR-ის გამოყენება მოაგვარებს YJIT-ის მასშტაბირების პრობლემებს, ჩაუყრის საფუძველს მრავალდონიანი JIT კომპილაციის მომავალი დანერგვისთვის, შესაძლებელს გახდის მოწინავე ოპტიმიზაციას (მაგალითად, უფრო აგრესიული შიდა განლაგება) და გაამარტივებს JIT-ის სხვადასხვა პლატფორმაზე ადაპტაციას. ტრადიციული ტიპის პროფილირების მოდელზე დაბრუნება კოდს სირთულეს მოხსნის და ახალ კონტრიბუტორებს მონაწილეობის საშუალებას მისცემს (YJIT-ის მიერ LBBV-ის გამოყენების შედეგად პროექტი სხვა კონტრიბუტორებისთვის გაუგებარი გახდა და მხოლოდ Shopify-ის თანამშრომლების მიერ შემუშავებულიყო).

წყარო: opennet.ru