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

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

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

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

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

• გაკეთდა გადასვლა Rust 1.58.0-ის სტაბილურ გამოშვებაზე, როგორც საცნობარო შემდგენელზე. პროექტისთვის აუცილებელ ცვლილებებს შორის, რომლებიც ჯერ კიდევ არ არის ჩართული Rust-ის მთავარ ინსტრუმენტთა ნაკრების შემადგენლობაში, არის დროშა „-Zsymbol-mangling-version=v0“ (მოსალოდნელია Rust 1.59.0-ში) და „maybe_uninit_extra“ რეჟიმი (მოსალოდნელია Rust 1.60.0-ში. .XNUMX) აღინიშნება..
• დაემატა ავტომატური შემოწმებები შესაფერისი Rust ხელსაწყოების ხელმისაწვდომობისთვის და გააფართოვა Rust-ის მხარდაჭერის სისტემაში ტესტირების შესაძლებლობა.
• შემოთავაზებულია ახალი აბსტრაქციები მოწყობილობის იდენტიფიკატორის ცხრილებზე ("IdArray" და "IdTable") წვდომისთვის Rust კოდიდან.
• დამატებულია ფენები ტაიმერთან დაკავშირებულ ფუნქციებზე წვდომისთვის (საათის ჩარჩო).
• პლატფორმის დრაივერები ახლა განისაზღვრება ნიშან-თვისებების დანერგვით.
• დაემატა ახალი მაკრო პლატფორმის დრაივერების რეგისტრაციის გასამარტივებლად და შემოთავაზებულია ახალი ზოგადი დრაივერის შაბლონი.
• დამატებულია მაკროები "dev_*" სტრუქტურებისთვის.
• დამატებულია "{read,write}*_relaxed" მეთოდები IoMem ტიპისთვის .
• წაიშალა FileOpener თვისება ფაილის ოპერაციების გასამარტივებლად.
• დრაივერის რეგისტრაციისას მიღებულ არგუმენტებს დაემატა პარამეტრი „ThisModule“.
• შემოთავაზებულია სტანდარტული შაბლონი Rust ენაზე ბირთვის მოდულების შესაქმნელად.

წყარო: opennet.ru