Fearless SIMD v1.0 გამოვიდა: Rust-ის ბიბლიოთეკა SIMD-ს unsafe კოდის გარეშე

Linebender-მა გამოაქვეყნა fearless_simd v1.0 — Rust-ის ბიბლიოთეკა, რომლის მიზანია SIMD-ის კოდიდან unsafe ამოღება. SIMD ერთი ინსტრუქციით რამდენიმე მნიშვნელობის ერთდროულ დამუშავებას ნიშნავს. განცხადება პროექტის ბლოგზე 2026 წლის 22 სექტემბერს გამოქვეყნდა — პირველი პროტოტიპიდან დაახლოებით რვა წლის შემდეგ. ბიბლიოთეკა სამ დონეს ფარავს: ავტოვექტორიზაცია და მულტივერსიონირება, სრულფასოვანი პორტაბელური SIMD აბსტრაქციები და აპარატურულ ინსტრუქციებზე უსაფრთხო წვდომა.

წარმადობა

პორტაბელური SIMD აბსტრაქციების ხშირი კრიტიკაა, რომ ისინი წარმადობას კარგავენ. პლატფორმაზე დამოკიდებული კიდური შემთხვევების მქონე ოპერაციებისთვის, მაგალითად swizzle-ის ან მცურავი წერტილის მაქსიმუმისთვის, ბიბლიოთეკა ორ ვარიანტს იძლევა: ზუსტს, რომელიც ყველგან ერთნაირ შედეგს აბრუნებს, და სწრაფს, რომელიც პლატფორმაზე დამოკიდებულ შედეგს იძლევა, როცა კიდური შემთხვევები მოსალოდნელი არ არის.

ალგორითმები აპარატურის ბუნებრივ ვექტორულ სიგანეზე შეიძლება დაიწეროს; ფიქსირებული ზომებიც მხარდაჭერილია. გუნდმა გაუმჯობესებები Rust-სა და LLVM-შიაც შეიტანა. სადაც პორტაბელური ოპერაციები საკმარისი არ არის, კოდი პლატფორმის ინსტრუქციებზე გადადის ზედმეტი დანახარჯების გარეშე.

უსაფრთხოება

ავტორების თქმით, სხვა SIMD აბსტრაქციები unsafe კოდითაა სავსე — საძიებო სიტყვის მოძებნა ათასობით ბლოკს აჩვენებს. fearless_simd-ში ad-hoc unsafe აღარ საჭიროებს. ამას ორი მცირე კომპონენტი უზრუნველყოფს: kernel! მაკრო, რომელიც კომპილატორის target feature 1.1-ს იყენებს ინსტრუქციების უსაფრთხოდ გამოსაძახებლად, და უსაფრთხო transmute მოდული bytemuck-ისა და zerocopy-ს მსგავსად, რომელიც _mm_loadu_epi32-ის ტიპის ჩატვირთვისა და ჩაწერის ინსტრუქციებს ერთი მრავალჯერადი wrapper-ით ცვლის. თუ ეს ორი თვითკმარი ნაწილი მეხსიერების თვალსაზრისით უსაფრთხოა, დანარჩენი კოდიც ავტომატურად უსაფრთხოა.

ერგონომიკა და სტაბილურობა

ფუნქციების მულტივერსიონირება Rust-ში რთული იყო: ადრინდელი გადაწყვეტები ან #[inline(always)] ანოტაციას მოითხოვდა, ან ყოველ გამოძახებაზე დანახარჯს ამატებდა, რაც პატარა ფუნქციებს აზიანებს. v1.0-თან ერთად გამოდის fearless_simd_macros v0.1 #[simd] ატრიბუტით, რომელიც ამ გადაწყვეტილებებს ავტომატურად იღებს; ხელით მიდგომაც ხელმისაწვდომია.

პროექტი v1.0-სა და ყველა შემდგომ ვერსიაზე უსაფრთხოების განახლებებს სამი წლის განმავლობაში გვპირდება და API-ის დარღვევის გარეშე f16 ტიპის, ისევე როგორც SVE-ისა და RISC-V-ის ვექტორული გაფართოებების მხარდაჭერას გეგმავს.

გამოყენება და გზა std::simd-ისკენ

Fearless SIMD უკვე 30 კრატის პირდაპირი დამოკიდებულებაა, არაპირდაპირ კი ათასზე მეტის. გუნდი std::simd-ის სტაბილიზაციას მიესალმება, თუმცა თვლის, რომ ეს კრატს ზედმეტს არ გახდის: სტანდარტული ბიბლიოთეკა მხოლოდ აუცილებელს მოიცავს, მულტივერსიონირებასა და აპარატურის სიგანის ვექტორებს კი ეკოსისტემას უტოვებს. თუ std::simd დასტაბილურდება, პროექტი მასზე გადასვლას გეგმავს — საკუთარი კოდის შესამცირებლად და იშვიათი პლატფორმების მხარდასაჭერად.