Η σκουριά θα σώσει το Linux: Ο Greg Kroah-Hartman επιβεβαιώνει το τέλος του πειράματος

Βασικά σημεία:
  • Ο Greg Kroah-Hartman ανακοίνωσε στο Rust Week 2026 ότι η χρήση του Rust στον πυρήνα του Linux δεν αποτελεί πλέον πείραμα και γίνεται επίσημο πρότυπο.
  • Η ομάδα Linux αντιμετωπίζει σχεδόν 13 αναφορές ευπάθειας καθημερινά, οι οποίες προκαλούνται κυρίως από ανθρώπινο λάθος στη γλώσσα C.
  • Ο μεταγλωττιστής του Rust ανιχνεύει αυτόματα σφάλματα μνήμης και διακοπές λειτουργίας, γεγονός που θα μπορούσε να μειώσει τις βλάβες του συστήματος έως και 80%.
  • Θα εφαρμοστεί ένα σύστημα που θα επισημαίνει τα δεδομένα υλικού ως «μη αξιόπιστα», αναγκάζοντας τους προγραμματιστές να τα επικυρώνουν πριν τα χρησιμοποιήσουν.
  • Ο τρέχων κώδικας C (36 εκατομμύρια γραμμές) δεν θα ξαναγραφεί. Το Rust θα χρησιμοποιηθεί μόνο για την ανάπτυξη νέων ελεγκτών και υποσυστημάτων.

Εβδομάδα Σκουριάς 2026

Κατά τη διάρκεια του πρόσφατου συνεδρίου Rust Week 2026 που πραγματοποιήθηκε στην Ουτρέχτη, Greg Kroah-Hartman, ένας από τους κύριους υπεύθυνους για τη συντήρηση του πυρήνα του Linux, Ανέβηκε στη σκηνή με ένα πολύ σαφές μήνυμα: Η σκουριά είναι η σωτηρία που χρειάζεται το έργο..

Με έναν εκπληκτικό αριθμό σχεδόν δεκατριών ειδοποιήσεων ασφαλείας (CVE) δημοσιεύτηκε καθημερινάΗ ομάδα ανάπτυξης αντιμετωπίζει έναν σχεδόν μη διαχειρίσιμο όγκο σφαλμάτων. Σύμφωνα με τον Κρόα-Χάρτμαν, που έχει αντιμετωπίσει αυτά τα τρωτά σημεία από το 2005, Η ευθύνη βαρύνει τις κλασικές αδυναμίες της γλώσσας C όσον αφορά τον χειρισμό μνήμης και σφαλμάτων.ένα πρόβλημα που ο Rust υπόσχεται να μετριάσει δραστικά.

Το μήνυμα ήταν άμεσο και ξεκάθαρο. Μπροστά σε ένα κοινό γεμάτο προγραμματιστές, ο έμπειρος προγραμματιστής Ομολόγησε ότι η ομάδα εμπιστεύεται πλήρως την κοινότητα αυτής της σύγχρονης γλώσσας. για να διαφυλάξουν τα θεμέλια της σύγχρονης πληροφορικής. Για αυτούς, Η φάση των δοκιμών αποτελεί πλέον παρελθόν, Δεδομένου ότι η χρήση της Rust στον πυρήνα είναι μια απόλυτη πραγματικότητα, θα συνεχίσουν με πλήρη ταχύτητα να την ενσωματώνουν στα πιο κρίσιμα εξαρτήματα.

Ο εφιάλτης του κώδικα C και η αυτόματη λύση του Rust

Για να καταδείξουν το πραγματικό πρόβλημα που αντιμετωπίζουν καθημερινάΟ προγραμματιστής υπενθύμισε ένα ελάττωμα στον κώδικα Bluetooth που πέρασε απαρατήρητο για δεκαπέντε χρόνια.που προκαλείται απλώς από τον μη έλεγχο ενός δείκτη μνήμηςΑνέφερε επίσης ένα σφάλμα στον κώδικα Xen όπου κάποιος ξέχασε να ανοίξει μια κλειδαριά.Αυτές οι μικρές ανθρώπινες παραλείψεις συσσωρεύονται με την πάροδο του χρόνου και καταλήγουν να προκαλούν διακοπές λειτουργίας του συστήματος ή να ανοίγουν πόρτες σε κυβερνοεπιθέσεις. Το μεγάλο πλεονέκτημα του Rust είναι ότι εντοπίζει αυτά τα σφάλματα ενώ ο κώδικας μεταγλωττίζεται.πριν φτάσει στη φάση της αναθεώρησης. Εάν ένας προγραμματιστής ξεχάσει να ελέγξει για σφάλμα ή να απελευθερώσει έναν πόρο, το πρόγραμμα απλώς αρνείται να μεταγλωττίσει.

Χάρη σε αυτήν την αυτόματη επαλήθευση, οι υπεύθυνοι για την αναθεώρηση του κώδικα Δεν χρειάζεται πλέον να χάνουν χρόνο ψάχνοντας για μικρές λεπτομέρειες και μπορούν να επικεντρωθούν στην πραγματική λογική του προγράμματος. Ο Kroah-Hartman εκτιμά ότι αυτές οι ιδιότητες από μόνες τους θα εξαλείψουν το εξήντα τοις εκατό των τρεχόντων σφαλμάτων του πυρήνα. Επιπλέον, αυτός ο νέος τρόπος εργασίας έχει ήδη επηρεάσει τον κώδικα C, αναγκάζοντας τους προγραμματιστές να καθαρίσουν τις διεπαφές τους και να υιοθετήσουν ασφαλέστερες τεχνικές, αποδεικνύοντας ότι η απλή ύπαρξη του Rust έχει ήδη βελτιώσει το Linux.

Πέρα από τα μπλοκ μνήμης, Η ομιλία ανέλυσε μια φιλοσοφία ζωτικής ασφάλειας βασισμένο σε ένα παλιό ρητό της Microsoft: υποθέτουν ότι οποιαδήποτε δεδομένα εισέρχονται στο σύστημα είναι κακόβουλαΗ Kroah-Hartman εξήγησε ότι εργάζονται πάνω σε μια μέθοδο εντός του Rust για να χαρακτηρίζουν ρητά τα δεδομένα ως "μη αξιόπιστα" εντός του ίδιου συστήματος τύπων.

Έτσι, Ο μεταγλωττιστής θα αναγκάσει τον προγραμματιστή να επικυρώσει αυτές τις πληροφορίες πριν μπορέσει να τις χρησιμοποιήσει ή να έχει πρόσβαση σε αυτές.Αυτό είναι ιδιαίτερα σημαντικό σήμερα, καθώς οι προγραμματιστές είναι επιφυλακτικοί όχι μόνο με το λογισμικό χρήστη αλλά και με το ίδιο το υλικό, το οποίο συχνά συνοδεύεται από εργοστασιακά ελαττώματα ή μπορεί ακόμη και να έχει σχεδιαστεί κακόβουλα. Συγκεντρώνοντας όλες τις επικυρώσεις σε ένα μόνο σημείο, οι έλεγχοι ασφαλείας θα είναι πολύ πιο γρήγοροι και ακριβέστεροι.

Εξέλιξη χωρίς ξαναγραφή από την αρχή

Παρά τον ενθουσιασμό του, ο ειδικός Ξεκαθάρισε ότι η Σκουριά δεν είναι μαγεία.Ως παράδειγμα, ανέφερε ένα μικρό κομμάτι κώδικα γραμμένο σε αυτήν τη γλώσσα, σχεδιασμένο να εμφανίζει έναν κωδικό QR όταν το σύστημα παρουσίαζε σφάλμα, κάτι που τελικά προκαλούσε προβλήματα μνήμης επειδή κανείς δεν σκέφτηκε να ελέγξει το μέγεθος της προσωρινής μνήμης δεδομένων. Η σκουριά μπορεί επίσης να αποτύχει αν δεν χρησιμοποιηθεί με προσοχή και κοινή λογική. Για αυτόν τον λόγο, κανείς στον οργανισμό δεν σκέφτεται να ξαναγράψει τις 36 εκατομμύρια γραμμές κώδικα C που ήδη διαθέτει το Linux. Ο κανόνας είναι απόλυτος: Ο παλιός κώδικας θα παραμείνει ως έχει και τα νέα εργαλεία θα χρησιμοποιηθούν μόνο για τη δημιουργία σύγχρονων ελεγκτών.

Επί του παρόντος, π.χ.Ο πυρήνας έχει μόνο περίπου 113.000 γραμμές στο Rust.ως επί το πλείστον προσωρινές προσαρμογές για να γεφυρωθεί το χάσμα μεταξύ των δύο γλωσσών. Ωστόσο, τεράστια έργα όπως το σύστημα εσωτερικής επικοινωνίας Android (Βιβλιοδέτης) Βρίσκονται ήδη στη μέση της διαδικασίας μετάβασηςπράγμα που σημαίνει ότι σύντομα δισεκατομμύρια τηλέφωνα θα χρησιμοποιούν αυτόν τον κώδικα καθημερινά.

Το έργο υποθέτει αυτήν την αλλαγή ως μια φυσική εξέλιξη, όπου τα παλιά προγράμματα οδήγησης C απλώς θα πάψουν να χρησιμοποιούνται με την πάροδο των ετών, καθώς το νέο υλικό απαιτεί προγράμματα που δημιουργούνται από την αρχή με σύγχρονες εγγυήσεις ασφαλείας.


Προσθήκη ως προτιμώμενης πηγής στην Google