Linux-ის ბირთვის Rust მხარდაჭერა ტორვალდის კრიტიკას ემუქრება

ლინუს ტორვალდსმა განიხილა პატჩები, რომლებიც ახორციელებდა Linux-ის ბირთვისთვის Rust ენაზე დრაივერების შექმნის შესაძლებლობას და რამდენიმე კრიტიკული კომენტარი გააკეთა.

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

კიდევ ერთი პრობლემა იყო მცდელობა გამოიყენოს მცურავი წერტილი ან 128-ბიტიანი ტიპები, რომლებიც მიუღებელია ისეთი გარემოებისთვის, როგორიცაა Linux kernel. ეს უფრო სერიოზული პრობლემა აღმოჩნდა, რადგან ამ დროისთვის Rust-ის ძირითადი ბიბლიოთეკა განუყოფელია და წარმოადგენს ერთ დიდ ბლოგს - არ არსებობს საშუალება მოითხოვოთ მხოლოდ ზოგიერთი ფუნქცია, რაც ხელს უშლის ამა თუ იმ პრობლემური ფუნქციის გამოყენებას. პრობლემის გადაჭრას შეიძლება დასჭირდეს ცვლილებები rust compiler-სა და ბიბლიოთეკებში, თუმცა ამ დროისთვის გუნდს ჯერ არ აქვს სტრატეგია, თუ როგორ განახორციელოს ენების ბიბლიოთეკების მოდულირება.

გარდა ამისა, ტორვალდმა აღნიშნა, რომ მოწოდებული მძღოლის მაგალითი უსარგებლო იყო და გვირჩია, მაგალითად გამოგვეყენებინა დრაივერი, რომელიც აგვარებს ერთ-ერთ რეალურ პრობლემას.

განახლება: Google-მა გამოაცხადა მონაწილეობა ინიციატივაში Rust-ის მხარდაჭერის Linux-ის ბირთვში გადატანის მიზნით და წარმოადგინა ტექნიკური მიზეზები Rust-ის დანერგვისთვის მეხსიერების შეცდომების გამო წარმოქმნილ პრობლემებთან საბრძოლველად. Google თვლის, რომ Rust მზად არის შეუერთდეს C-ს, როგორც ენას Linux-ის ბირთვის კომპონენტების განვითარებისთვის. სტატიაში ასევე მოცემულია Rust ენის გამოყენების მაგალითები ბირთვის დრაივერების შესაქმნელად, Android პლატფორმაში მათი გამოყენების კონტექსტში (Rust აღიარებულია, როგორც ოფიციალურად მხარდაჭერილი ენა ანდროიდის განვითარებისთვის).

აღნიშნულია, რომ Google-მა მოამზადა Rust-ში დაწერილი დრაივერის საწყისი პროტოტიპი Binder-ის ინტერპროცესული საკომუნიკაციო მექანიზმისთვის, რომელიც საშუალებას მისცემს დეტალურად შეადაროს Binder-ის იმპლემენტაციების შესრულება და უსაფრთხოება C-სა და Rust-ში. მისი ამჟამინდელი ფორმით, ნამუშევარი ჯერ არ არის დასრულებული, მაგრამ ბირთვის ფუნქციონალობის თითქმის ყველა ძირითადი აბსტრაქციისთვის, რომელიც აუცილებელია Binder-ისთვის, მომზადდა ფენები Rust კოდში ამ აბსტრაქციების გამოსაყენებლად.

წყარო: opennet.ru