Στο συνέδριο Open-Source Summit 2022 που βρίσκεται σε εξέλιξη αυτές τις μέρες, στην ενότητα FAQ, ο Linus Torvalds ανέφερε τη δυνατότητα πρώιμης ενσωμάτωσης στοιχείων στον πυρήνα Linux για την ανάπτυξη προγραμμάτων οδήγησης συσκευών στο Rust. Είναι πιθανό ότι οι ενημερώσεις κώδικα με δυνατότητα Rust θα γίνουν δεκτές στο επόμενο αρχείο καταγραφής αλλαγών που θα σχηματίσουν τη σύνθεση του πυρήνα 5.20, που έχει προγραμματιστεί για τα τέλη Σεπτεμβρίου.
Ένα αίτημα έλξης στον πυρήνα δεν έχει σταλεί ακόμη στον Torvalds, αλλά το σύνολο ενημερώσεων έχει αναθεωρηθεί περαιτέρω, αφαιρεθεί από τις βασικές σημειώσεις, έχει δοκιμαστεί στον κλάδο του Linux-next για αρκετό καιρό και έχει τεθεί σε κατάσταση κατάλληλη για δημιουργία επιπέδων αφαίρεσης σε υποσυστήματα πυρήνα, προγράμματα οδήγησης γραφής και λειτουργικές μονάδες. Η υποστήριξη Rust παρουσιάζεται ως μια επιλογή που δεν είναι ενεργοποιημένη από προεπιλογή και δεν έχει ως αποτέλεσμα τη συμπερίληψη του Rust στις απαιτούμενες εξαρτήσεις κατασκευής για τον πυρήνα.
Οι προτεινόμενες αλλαγές καθιστούν δυνατή τη χρήση της Rust ως δεύτερης γλώσσας για την ανάπτυξη προγραμμάτων οδήγησης και λειτουργικών μονάδων πυρήνα. Η χρήση του Rust για την ανάπτυξη προγραμμάτων οδήγησης θα σας επιτρέψει να δημιουργήσετε ασφαλέστερα και καλύτερα προγράμματα οδήγησης με ελάχιστη προσπάθεια, χωρίς προβλήματα όπως η πρόσβαση σε μια περιοχή μνήμης μετά την απελευθέρωσή της, η κατάργηση αναφοράς μηδενικών δεικτών και οι υπερβάσεις buffer.
Ο ασφαλής χειρισμός της μνήμης παρέχεται στο Rust κατά το χρόνο μεταγλώττισης μέσω ελέγχου αναφοράς, παρακολούθησης της ιδιοκτησίας αντικειμένου και της διάρκειας ζωής του αντικειμένου (πεδίο), καθώς και μέσω αξιολόγησης της ορθότητας της πρόσβασης στη μνήμη κατά την εκτέλεση του κώδικα. Το Rust παρέχει επίσης προστασία έναντι υπερχείλισης ακεραίων, απαιτεί υποχρεωτική αρχικοποίηση τιμών μεταβλητών πριν από τη χρήση, χειρίζεται καλύτερα τα σφάλματα στην τυπική βιβλιοθήκη, εφαρμόζει την έννοια των αμετάβλητων αναφορών και μεταβλητών από προεπιλογή, προσφέρει ισχυρή στατική πληκτρολόγηση για την ελαχιστοποίηση των λογικών σφαλμάτων.
Πηγή: opennet.ru