Linux-ის ბირთვის პატჩების მეათე ვერსია Rust ენის მხარდაჭერით

მიგელ ოჯედამ, Rust-for-Linux-ის პროექტის ავტორმა, შესთავაზა v10 კომპონენტების გამოშვება Rust ენაზე მოწყობილობის დრაივერების განვითარებისთვის, Linux-ის ბირთვის დეველოპერების განსახილველად. ეს არის პატჩების მეთერთმეტე გამოცემა, პირველი ვერსიის გათვალისწინებით, გამოქვეყნებული ვერსიის ნომრის გარეშე. Rust-ის მხარდაჭერის ჩართვა დამტკიცებულია Linusum Torvalds-ის მიერ Linux 6.1 ბირთვში ჩართვისთვის, გაუთვალისწინებელი პრობლემების გამორიცხვის მიზნით. განვითარებას აფინანსებს Google და ISRG (ინტერნეტ უსაფრთხოების კვლევის ჯგუფი), რომელიც არის Let's Encrypt პროექტის დამფუძნებელი და ხელს უწყობს HTTPS-ს და ტექნოლოგიების განვითარებას ინტერნეტის უსაფრთხოების გასაუმჯობესებლად.

პაჩების წინა ვერსიის მსგავსად, v10 გამოშვება შემცირებულია მინიმუმამდე, რაც საკმარისია Rust ენაზე დაწერილი ბირთვის მარტივი მოდულის შესაქმნელად. წინა ვერსიისგან განსხვავებები მცირე რედაქტირებამდე მოდის, ცვლის sizeof ARRAY_SIZE-ით kallsyms.c-ში და პატჩების ადაპტირებას v6.0-rc7 ბირთვზე. მოსალოდნელია, რომ მინიმალური პატჩი, რომლის ზომა შემცირდა კოდის 40-დან 13 ათას ხაზამდე, გაამარტივებს Rust-ის მხარდაჭერას მთავარ ბირთვში. მინიმალური მხარდაჭერის შემდეგ, იგეგმება არსებული ფუნქციონირების ეტაპობრივი გაზრდა, Rust-for-Linux-ის ფილიალიდან სხვა ცვლილებების გადატანა.

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

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

წყარო: opennet.ru