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

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

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

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

პატჩების ახალი ვერსია აგრძელებს პატჩების პირველი, მეორე, მესამე, მეოთხე და მეხუთე გამოცემის განხილვისას გაკეთებული კომენტარების აღმოფხვრას. ახალ ვერსიაში:

• ინსტრუმენტთა ნაკრები განახლებულია Rust 1.59.0-ის გამოსაშვებად. ალოკ ბიბლიოთეკის ვარიანტი ასევე სინქრონიზებულია Rust-ის ახალ ვერსიასთან, რაც გამორიცხავს "პანიკური" მდგომარეობის შესაძლო წარმოქმნას, როდესაც ხდება შეცდომები, როგორიცაა მეხსიერების ამოწურვა. ასამბლერის ჩანართების გამოყენების შესაძლებლობა (“feature(global_asm)”) დასტაბილურდა.
• დამატებულია მხარდაჭერა Rust-ში მასპინძელი პროგრამების შესაქმნელად, რომლებიც გამოიყენება ბირთვის შედგენის დროს.
• წინასწარ გენერირებული სამიზნე პლატფორმის სპეციფიკაციების ფაილების მიწოდების ნაცვლად, ისინი დინამიურად იქმნება ბირთვის კონფიგურაციის საფუძველზე.
• დამატებულია HAVE_RUST ბირთვის პარამეტრი, რათა ჩართოს არქიტექტურები, რომლებიც მხარს უჭერენ Rust-ს.
• აბსტრაქციები შემოთავაზებულია Rust კოდში გამოსაყენებლად ტექნიკის ფსევდო შემთხვევითი რიცხვების გენერატორისთვის.
• დაშვებულია შეცდომის კოდების გამოყენება „Error::“ პრეფიქსის გარეშე (მაგალითად, „return Err(EINVAL)“) C-ში შეცდომის კოდების დამუშავების მიახლოებით.
• დამატებულია "CString" ტიპი მორგებული C-სტრინგებისთვის. Formatter და Buffer ტიპები გაერთიანდა.
• დამატებულია Bool და LockInfo ტიპები.
• გამარტივდა დაწნული საკეტების განხორციელება.

წყარო: opennet.ru